Gottlob Frege: 1848, Siglo 19, Alemania
PhD en Matemática.
La verdad matemática es la verdad lógica.
Antonio de Nebrija: 1492 publico el libro.
Primer filólogo que se dedico a estudiar una lengua romance *la castellana* (cuando aun no era considerada una lengua cultura)
La Base para la creación de todo nuestro lenguaje (Español):
Monema: unidad mínima de la lengua que tiene significado y significante.
Tiene 2 partes:
Lexema: el significado de la palabra, la raíz.
Morfema: el significado gramatical (genero, numero, persona, tiempo)
Fonema: unidad fonológica que no puede descomponerse en unidades sucesivas menores y que es capaz de distinguir significados.
Alfred Tarski: 1901-1983, lógico, matemático y filosofo polaco.
*La verdad de Tarski*
Gerhard Gentzen, matemático alemán
*Investigations into Logical Deductions (1965)*
Introdujo la noción de sistema de deducción natural, un sistema que simplifica notablemente el proceso demostrativo.
La lógica se suele caracterizar como el estudio de la relación de consecuencia.
Enfoque Sintáctico: la idea clave es la demostración.
Enfoque Semántico: los conceptos fundamentales son la interpretación y los modelos.
La demostración es una secuencia finita de pasos donde el ultimo paso es .. y donde cada paso produce una formula nueva que se justifica para una regla de deducción.
En una interpretación con dominio D, una fbf cerrada toma el valor 1 (verdadero) o 0 (falso).
Sintaxis: relaciones simbólicas entre los signos
Semántica: significado de las palabras. Pragmática: contextos en los
Cual es el valor real de las palabras. que utilizamos esas palabras.
VALIDEZ
1 = verdadero
0 = falso
Si A=1, y B=0
Si A=0 y se deduce válidamente de B, quiere decir que al menos un elemento de B es 0.
2.4 Relacion entre el enfoque semántico y el enfoque sintáctico
