LOGICA

MODERN
A
Friedrich Ludwig Gottlob
Frege. es el fundador de
la moderna Lógica
matemática y el padre
de la Lógica Formal
contemporánea
Surge en el siglo XIX y nos
habla más propiamente
de lo que se conoce como
lógica matemática en la
que se aplican principios
matemáticos a la lógica
antigua
Frege crea símbolos (por eso
también se le llama Lógica
Simbólica) para estas
proposiciones y para sus
conectivos, establece reglas
para calcular el nivel de verdad
lógica de dichas proposiciones.
Él inventa una teoría de
cuantificación lógica. Como
decíamos, su principio
fundamental es considerar el
valor veritativo o de verdad de
los enunciados que contienen
conectivas lógicas como “y” “si”,
“o”, etc., el cual está definido
únicamente por las
combinaciones de los valores de
verdad de los enunciados
(premisas o variables) ligados
por dichas conectivas.