Filosofía en español
Filosofía en español
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, &c.
Diccionario filosófico · 1965:415-416
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, &c.
Diccionario de filosofía · 1984:386