Semántica lógica
No figura en el Diccionario filosófico marxista · 1946
No figura en el Diccionario filosófico abreviado · 1959
Diccionario filosófico · 1965:415-416
Semántica lógica
Parte de la lógica que estudia el significado de las expresiones del
lenguaje; en un sentido más estricto, parte de la metalógica que
estudia las interpretaciones (Interpretación y modelo) de los cálculos
lógicos (Lenguaje formalizado). Los conceptos fundamentales de la
semántica lógica se pueden dividir en dos grupos: 1) los que entran en
la denominada teoría de la designación del concepto; su aplicación a
las expresiones de determinado lenguaje depende de manera esencial de
la interpretación que se elija (conceptos de veracidad, de
designación, de cumplimentabilidad, de nominación [Nombre], de
extensionalidad, de veracidad sintética, y otros); 2) conceptos que
pertenecen a la denominada teoría del sentido (sentido [Significación
y sentido], sinonimia, veracidad analítica y otros); se definen en
relación con todas las interpretaciones posibles del lenguaje de que
se trate. En el examen metateórico (Metateoría) de los lenguajes
formalizados, hay que recurrir necesariamente al análisis semántico,
dado que muchos hechos esenciales (por ejemplo, los que se refieren al
problema de la completitud y del carácter no contradictorio del
lenguaje) no pueden establecerse en el marco del examen puramente
sintáctico (Sintaxis lógica). Como ha puesto de relieve Alfred
Tarski, la descripción de las propiedades semánticas del lenguaje
conduce a antinomias semánticas del tipo de “el mentiroso”. De ahí
que el análisis de las propiedades semánticas de cualquier lenguaje ha
de llevarse a cabo en un metalenguaje lógicamente más rico
(Metalenguaje y objeto-lenguaje). Gottlob Frege fue el primero en
examinar circunstanciadamente las cuestiones de la semántica lógica.
Han contribuido en mucho al desarrollo de la semántica lógica los
lógicos polacos de la Escuela de Lvov-Varsovia, y también Rudolf
Carnap, Willard Quine, Alonzo Church y J. G. Kemeny. La
investigación de las propiedades semánticas de los lenguajes de la
ciencia y de los lenguajes naturales va adquiriendo una importancia
cada día mayor en el terreno de las aplicaciones prácticas en virtud
del progreso de la lingüística matemática, de la traducción mecánica,
de los métodos para la elaboración automática de la información, etc.
Diccionario de filosofía · 1984:386
Semántica lógica
Sección de la lógica, que estudia la significación de las expresiones
del lenguaje; en un sentido más exacto, sección de la metalógica, que
estudia las interpretaciones (Interpretación y modelo) de los cálculos
lógicos (Lenguaje formalizado). En el caso del estudio metateórico
(Metateoría) de los lenguajes formalizados, hay que recurrir
necesariamente al análisis semántico, puesto que muchos hechos
sustanciales (por ejemplo, los relativos a los problemas de la
plenitud y del carácter no contradictorio) no pueden ser establecidos
en el marco del examen puramente sintáctico (Sintaxis lógica). La
investigación de las propiedades semánticas del lenguaje de la ciencia
y de los lenguajes naturales adquiere una significación aplicada cada
vez mayor, en virtud del desarrollo de la lingüística matemática:
traducción mecanizada, etc.