Lógica

         Historia de la Lógica

        La lógica, como disciplina formal, se remonta a la antigua Grecia, específicamente al trabajo de Aristóteles en el siglo IV a.C. Aristóteles es considerado el padre de la lógica por su desarrollo del silogismo (una forma de razonamiento deductivo que se convirtió en la base de la lógica formal), sin embargo, elementos de pensamiento lógico se pueden rastrear en otras culturas antiguas, como en China e India.

        En la Edad Media, la lógica aristotélica fue profundamente estudiada y desarrollada por filósofos islámicos y cristianos. Durante el Renacimiento y la Edad Moderna, la lógica evolucionó con contribuciones significativas de pensadores como Leibniz y Descartes, quienes buscaron sistematizar el conocimiento y el razonamiento. 

        El siglo XIX marcó un cambio crucial con la obra de Boole y De Morgan, quienes introdujeron el álgebra booleana y formalizaron las reglas de inferencia lógica. Este periodo sentó las bases para la lógica matemática moderna, y ya en el siglo XX la lógica experimentó un auge significativo con la obra de Russell, Whitehead, Gödel, y Turing, quienes ampliaron la lógica a campos como la teoría de la computación y la lógica modal.

         Pensadores/Pensadoras en Lógica

        Aristóteles (384-322 a.C.): Filósofo griego, considerado el fundador de la lógica formal a través de su obra "Organon".

        George Boole (1815-1864): Matemático inglés, creador del álgebra booleana, que es fundamental para la lógica matemática y la informática.

        Gottfried Wilhelm Leibniz (1646-1716): Filósofo y matemático alemán, pionero en el desarrollo de una lógica simbólica.

        Bertrand Russell (1872-1970): Filósofo y lógico británico, coautor de "Principia Mathematica", que intentó formalizar todas las matemáticas utilizando la lógica.

        Kurt Gödel (1906-1978): Lógico y matemático austriaco, conocido por sus teoremas de incompletitud que demostraron los límites de la lógica formal.

        Alan Turing (1912-1954): Matemático y lógico británico, conocido por su trabajo en la teoría de la computación y la formulación de la "Máquina de Turing".

         Contenido de Lógica

• Lógica Proposicional
• Tablas de Verdad
• Reglas de Inferencia
• Lógica de Predicados
• Cuantificadores
• Álgebra de Predicados
• Reglas de Inferencia
• Teoría de Conjuntos
• Ejercicios de Conjuntos
• Demostraciones
• Generalidad y Demostración
• Principio de Inducción