Semántica booleana
La semántica lógica ( "razonamiento", "pensamiento", "razón" ) es una sección de la lógica que estudia la relación de los símbolos lingüísticos con los objetos que designan y el contenido que expresan [1] .
La semántica lógica como ciencia
Sistema formalLa semántica como ciencia exigente solo se puede aplicar a lenguajes que tienen una textura y un sistema formal establecidos [1] [2] . La semántica lógica resuelve el problema de encontrar formas y métodos de interpretación de los sistemas formales , para que actúen como efectos de formalización de doctrinas significativas. En la semántica lógica, se reconoce la teoría de la referencia , basada en el concepto de verdad , y la teoría del sentido. La clarificación del concepto de "sensibilidad" tropieza con problemas fundamentales , estimulados por la versatilidad de este concepto.
Análisis semánticoExisten diferentes formas de análisis semántico : el método de extensión e intensión , la forma de nombrar obras, la doctrina de los signos incompletos, el concepto de designadores sólidos, etc. Los métodos de análisis semántico del significado y valor de las expresiones creadas en Semántica lógica tienen todas las posibilidades de ser aplicados al análisis de lenguajes naturales . Sin embargo, estos métodos no se consideran necesarios en el caso final. Es necesario tener en cuenta las propiedades lingüísticas específicas de las expresiones del lenguaje natural, cuyos significados también dependen del contexto de consumo, de las cualidades comunicativas, de los presupuestos de un hablante nativo y otras razones [1] .
Desarrollo de la semántica lógica
La semántica lógica progresiva se remonta a los trabajos de H. Frege . Sin embargo, el estudio de la semántica lógica como una sección especial de las ciencias naturales debe datarse a principios de los años 30, cuando comienzan a aparecer los trabajos de A. Tarsky , a saber, su obra básica "El concepto de verdad en lenguajes formalizados" (1935). ). En 1942?1947. Se publica la edición en tres volúmenes "Research on Semantics" de R. Carnap [1] .
Realización de lógicas y métodosEn los años de la posguerra se lograron resultados significativos en las doctrinas de los modelos, en particular, en la doctrina , que consideraba la relación entre las cualidades sintácticas de las fórmulas y las cualidades de sus modelos. Fue durante este período que la semántica comenzó a formarse para varios tipos de lógica modal , lógica intuicionista , relevante, no monótona y muchas otras clases de cálculos regulares. Se están desarrollando varios métodos para construir semánticas con lagunas de verdad y estimaciones saturadas, teoría de juegos, situacional y otros. En las últimas décadas se proyecta una convergencia de la semántica y la pragmática . Al construir la semántica se aportan matices pragmáticos específicos: contextos para el consumo de expresiones, propiedades explícitas del sujeto del trabajo cognitivo.
Véase también
- Metodología
- Metalenguaje
- Doctrina
- Pragmática
- Lingüística
- Referencia
- símbolo del lenguaje
- Semántica
Notas
- ↑ 1 2 3 4 Semántica lógica . autor24.ru. Fecha de acceso: 22 de enero de 2017.
- ↑ P. V. Tavanets . Semántica Lógica y Lógica Modal . - Ciencia, 1967-01-01. — 290 págs. Archivado el 15 de febrero de 2018 en Wayback Machine .
Literatura
- Carnap R. Importancia y necesidad. M., 1959;
- Hintikka J. Estudios lógicos y epistemológicos. M., 1980;
- Montague R. Pragmática y Lógica Intensional. — En: Semántica de las lógicas modales e intensionales. M., 1981;
- Smirnov V. A. Estudios semánticos modernos de lógica modal e intensional.
- Kripke S. Consideración semántica de la lógica modal.
- Kripke S. Identidad y necesidad. - En el libro: Novedades en lingüística extranjera , vol. XIII. M., 1982;
- Quine W. Referencia y modalidad.
- Lewis K. Tipos de significado. — En el libro: Semiótica. M., 1983;
- Pyatnitsyn BN Semántica lógica y lógica modal. -M., 1967;
- Smirnova ED Semántica lógica y fundamentos filosóficos de la lógica. M., 1986;
- Smirnova E. D. Fundamentos de la semántica lógica. M., 1990;
- Maldita sea M. ¿Qué es la teoría del significado ? - En el libro: Filosofía, lógica, lenguaje. M., 1987;
- Finn VK Conclusiones plausibles y razonamiento plausible. - "Resultados de la ciencia y la tecnología". Ser.: Teoría de la probabilidad, estadística matemática , cibernética teórica. M., 1988, pág. 3-84;
- Carnap R. Introducción a la Semántica. Estudios en Semántica. Cambr., 1942, vol. YO;
- Elena Dmítrievna Smirnova. Lenguajes Formalizados y Problemas de Semántica Lógica . - Editorial de la Universidad de Moscú, 1982-01-01. — 190 págs.
Enlaces
- enciclopedia _ iphras.ru. Fecha de acceso: 22 de enero de 2017.
 diccionarios y enciclopedias |
|---|
| Lógicas | |||||||||
|---|---|---|---|---|---|---|---|---|---|
| Filosofía • Semántica • Sintaxis • Historia | |||||||||
| Grupos lógicos |
| ||||||||
| Componentes |
| ||||||||
| Lista de símbolos booleanos | |||||||||