-
Parménides de Elea fue un filósofo griego. Nació entre el 530 a. C. y el 515 a. C. en la ciudad de Elea, colonia griega de Magna Grecia.
Defiende lo siguiente: el ser es uno, inmóvil y perfecto; el no ser no existe, no puede ser dicho, no puede ser pensado. Una posición tan radical debe ser defendida contra las opiniones comunes, para lo cual Parménides prepara cuidadosamente sus argumentos. -
Zenón de Elea fue un filósofo griego nacido en Elea, perteneciente a la escuela eleática. Es el principal expositor de Parménides. Zenón utiliza de manera sistemática el razonamiento por reducción al absurdo, que consiste en suponer como hipótesis A lo contrario de lo que se quiere demostrar, derivar de allí una contradicción B y no-B, concluyendo finalmente la negación de la hipótesis, no-A. El supuesto implícito es que lo que conduce a contradicciones debe ser falso.
-
Sócrates fue un filósofo clásico griego considerado como uno de los más grandes, tanto de la filosofía occidental como de la universal. Observa con desagrado cómo en los discursos políticos, jurídicos y filosóficos de su tiempo se manejan conceptos abstractos (virtud, bien, valor, justicia...) al tiempo que se insiste en el origen convencional de los mismos. Sócrates tratará de anclar dichos conceptos en la realidad social.
-
Platón (427-347 a.C) fue un filósofo griego seguidor de Sócrates y maestro de Aristóteles. En 387 fundó la Academia de Atenas. Se preocupó por construir argumentos y contrargumentos sobre un mismo tema objeto de debate. Organizó todo tipo de argumentos: deductivos, inductivos, analogía, comparación de opuestos, etc.
-
Corresponde al período que tiene lugar entre los siglos IV y
III a.C. en la Grecia clásica. Los principales autores son Aristóteles, cuya obra
lógica ha ejercido gran influencia en la historia del pensamiento, y el estoico
Crisipo, de cuyas obras apenas nos ha llegado nada. -
Aristóteles (384-322 a.C.) fue un filósofo, polímata y científico nacido en la ciudad de Estagira, al norte de Antigua Grecia. La teoría lógica de Aristóteles, en sentido estricto, es su doctrina del silogismo categórico, expuesta en los Primeros Analíticos. De las Categorías es importante su doctrina de los individuos y los términos.
-
Zenón de Citio el Estoico, nació en Citio, Chipre, en aquel tiempo colonia griega. Fue un filósofo, fundador de la escuela filosófica estoica, que inició hacia el 300 a. C. en Atenas. Desarrolló las ideas lógicas de los megáricos y estimuló en esa dirección a sus discípulos.
-
Fecharemos la Edad Media entre los años 400 y 1400 aproximadamente. O si se prefiere pensar en términos de historia de la lógica, entre las traduciones de Boecio del Órganon y las últimas obras de Guillermo de Okcham y Duns Scoto.
Las contribuciones medievales a la lógica son acerca de la semántica del latín técnico empleado en los razonamientos y acerca también de lo que hoy llamaríamos metalógica. -
Boecio 480 d.C fue un filósofo y poeta latino romano, actividad que compaginó con su faceta como estadista, traductor de filosofía griega y autor de tratados sobre distintas disciplinas como la música, la aritmética o la astronomía. Ha sido llamado “el último romano y el primer medieval”, es importante en la historia de la lógica como traductor de las Categorías y sobre la interpretación.
-
Pedro Abelardo (1079-1142) fue un filósofo, teólogo, poeta y monje francés. En la controversia filosófica, característica de la Edad Media, acerca de la naturaleza de los universales, sostenía las ideas del conceptualismo. Al mismo tiempo, polemizaba contra el realismo natural escolástico.
-
Puede datarse entre los siglos XI a XV.Se estudiaban y discutían los compendios de Guillermo de Shyreswood, Pedro Hispano, Guillermo de Ockham, Juan Buridán o Alberto de Sajonia. Con el redescubrimiento de las obras de Aristóteles, se organiza y amplía su doctrina lógica, al tiempo que se hacen contribuciones y se plantean nuevos problemas.
-
Pedro Hispano, (1210-1277) es el nombre con el que se conoce al autor del Tractatus, más tarde conocido como Summulae logicalis magistri Petri Hispani, un importante manual de lógica que se utilizó en las universidades europeas desde el siglo XIII hasta el XVII. Destacan como manual de lógica en el cual se recoge el conocimiento considerado estándar sobre esta materia en la Baja Edad Media.
-
Gottfried Leibniz (1646-1716)propuso la creación de una characteristica universalis o lengua artificial que pudiera representar las ideas simples del pensamiento.
Dicha lengua sería unívoca y además permitiría la mecanización del pensamiento mediante la manipulación reglada de los símbolos del lenguaje. -
Antoine Arnauld (1612-1694) y Pierre Nicole (1625-1695), comúnmente llamada Lógica de Port-Royal. Se trata de una obra influida tanto por la crítica de los humanistas como por el cartesianismo. Pero, sobre todo, es una obra influyente: su enfoque y el campo de problemas abordado serán considerados como materia estándar de la lógica hasta el surgimiento de la lógica simbólica.
-
Immanuel Kant (1724-1804) Fue un filósofo y científico alemán de la Ilustración. Fue el primero y más importante representante del criticismo y precursor del idealismo alemán. Es considerado como uno de los pensadores más influyentes de la Europa moderna y de la filosofía universal. Crítica de la razón pura (1781):“Lo curioso de la lógica es que tampoco haya sido capaz, hasta hoy, de avanzar un solo paso. Según todas las apariencias se halla, pues, definitivamente concluida”.
-
Es el período que abarca desde la década de 1840 hasta el presente, a un nivel ya internacional. Boole en Inglaterra y Frege en Alemania son los precursores. Durante la primera mitad del siglo XX, la lógica se utilizaba sobre todo para formalizar el discurso científico, en especial el matemático, por lo que estaba muy ligada a la filosofía de la ciencia.
-
George Boole (1815-1864) Fue un matemático y lógico británico. Como inventor del álgebra de Boole, que marca los fundamentos de la aritmética computacional moderna, Boole es considerado como uno de los fundadores del campo de las ciencias de la computación. La aportación fundamental de Boole es la de utilizar
ecuaciones algebraicas para representar afirmaciones lógicas. -
Charles S. Peirce (1839-1914) fue un filósofo, lógico y científico estadounidense. Es considerado el fundador del pragmatismo y el padre de la semiótica moderna o teoría de los signos, junto a Ferdinand de Saussure. Es sin duda el lógico más importante de este período. Reconoció que una de las principales limitaciones de la lógica de Aristóteles era su incapacidad para dar cuenta de las relaciones entre individuos.
-
Gottlob Frege (1848-1925) Publicó en 1879 la que se considera obra fundacional de la lógica simbólica. Su título completo era Conceptografía. Un lenguaje de fórmulas, semejante al de la aritmética, para el pensamiento puro. Allí se proponía
fundamentar el razonamiento matemático mediante un lenguaje artificial que sustituyera por completo las expresiones de lenguaje natural que aparecen en los libros de matemáticas, -
El primer manual de lógica simbólica fueron los Elementos de lógica teórica(1928) de David Hilbert y Wilhem Ackermann. Se
trata del primer manual de lógica simbólica que puede considerarse contemporáneo debido a su notación, estilo, selección de los temas y organización interna. En su primera edición de 1928 plantea con una claridad hasta
entonces desconocida los problemas metamatemáticos de la corrección, completud y decidibilidad de un cálculo lógico con respecto de un conjunto de tautologías.
