Lógica simbólica
ii
Indice.
1 Introducción.1.1 Definición de lógica simbólica ................................................................. 11.2 El objeto de estudio de la lógica ............................................................. 11.3 Lenguaje natural y lenguaje simbólico .................................................... 21.4 La simbolización del leguaje lógico ......................................................... 3
De la lógica clásica a la lógica simbólica
2 La lógica griega ............................................................................................... 42.1 Aristóteles ............................................................................................... 42.1.1 Cuantificación de los enunciados ................................................... 62.1.2 Oposición entre enunciados ........................................................... 72.1.3 Conversión de enunciados ............................................................. 82.1.4 Silogismos y figuras ........................................................................ 92.1.5 Silogismos: premisas y validez ..................................................... 112.1.6 La inducción y la deducción .......................................................... 122.2 Los estoicos .......................................................................................... 122.2.1 El criterio de verdad ...................................................................... 132.2.2 El asentimiento y la epoché .......................................................... 132.2.3 El nominalismo estoico ................................................................. 132.2.4 La proposición y el razonamiento ................................................. 143 Del medioevo al álgebra lógica ..................................................................... 16
3.1 Boecio y el “cuadrado lógico de la oposición” de las
proposiciones categóricas .................................................................. 173.2 Pedro Hispano ...................................................................................... 203.3 De Llull a Leibniz ................................................................................... 213.3.1 Raimundo Lulio ............................................................................. 223.3.2 Leibniz .......................................................................................... 233.4 La lógica de Port-Royal ......................................................................... 253.5 Kant: lógica formal y lógica trascendental ............................................. 253.6 El siglo XIX ............................................................................................ 264 Boole ............................................................................................................. 275 La lógica simbólica ........................................................................................ 285.1 Gottlob Frege ........................................................................................ 285.2 Giuseppe Peano ................................................................................... 325.2.1 La formalización de la aritmética .................................................. 335.3 Russell y los Principia Matemática ........................................................ 355.3.1 La teoría de los tipos .................................................................... 365.3.2 La teoría de las descripciones ...................................................... 375.3.3 Los Principia Matemática .............................................................. 38