HISTORIA DE LA LOGICA

EDAD ANTIGUA: IMAGEN

En Mesopotamia, se basó en un conjunto lógico de axiomas y asunciones, a través del examen e inspección de los síntomas
de una paciente, ¿?
Aristóteles: descubridor del principio del tercio excluido. Introdujo el uso de variables. Explicación sintáctica y semántica de las
proposiciones. Desarrollo la lógica de predicados. Desarrollo el silogismo. Desarrollo la lógica formal de ahí que se le conozca como el
PADRE DE LA LÓGICA FORMAL.

PARMENIDES DE ELEA

Se cree que fue el creador del principio de IDENTIDAD. Consideró que la razón es la única capaz de conocer el ser y la verdad de las
cosas.

ZENON DE ELEA

Apoyo la posición de Parménides. Dio origen al método dialéctico, al razonamiento hipotético y a la reducción al absurdo. Sus
argumentaciones se conocen como aforias.

DEMÓCRITO

Ideó el principio DE LA RAZÓN SUFICIENTE.

SÓCRATES

En su lucha contra los sofistas utilizo el método MAYÉUTICO.

PROTAGORAS

Fue el primero en utilizar las oraciones en el plano sintáctico y semántico.

PLATÓN

En su obra EL SOFISTA, trato de las afirmaciones y negaciones. Descubrió el principio dela CONTRADICCIÓN O NO CONTRADICCIÓN.
Teorizo y esquematizo la división y la definición lógica. Empleo el método axiomático.
Estoicos desarrolla la lógica Verdadero – Falso de las proposiciones.
Teofrasto y Eudemo aportaron los silogismos hipotéticos condicionales perteneciente a la lógica de las proposiciones los Megariacos
plantean el significado de las proposiciones “Si - entonces”

EDAD MEDIA: se basa en el trabajo de Aristóteles, es recogida por los sacerdotes y cultivado mayormente en los conventos,
escuelas y universidades de Europa Occidental.
Los estudios de los lógicos profesionales estuvo dirigido al comentario del Organon
Porfirio

En su obra Introductio in Praedicamenta, un comentario de la obra Categorías de Aristóteles, Porfirio describe cómo las
cualidades atribuidas a las cosas pueden ser clasificadas, rompiendo con el concepto filosófico de substancia como una
relación de género/especie. De esta manera, puede incorporar la lógica aristotélica al neoplatonismo, especialmente la
doctrina de las categorías del ser interpretada en los términos de las entidades. El Isagoge, traducción al latín de esta obra
realizada por Boecio, se convirtió en un libro de texto básico en las escuelas medievales, 2 creándose el marco para el
desarrollo filosófico-teológico medieval de la lógica y el problema de los universales.
RAMÓN LLUL, quien dio el primer paso en la elaboración de un lenguaje completo automático para el razonamiento.

PEDRO HISPANO, las Summulae logicales, texto tratado introductorio, de los predicables, de los predicamentos, de los silogismos, de
los lugares o tópicos, de las suposiciones, de las falacias, de los relativos, de las ampliaciones, de las apelaciones, de las restricciones y
de las distribuciones.

GUILLERMO DE OCAM
GUILLERMO DE SHYRESWOOD termina el manual de lógica escolástica más antiguo, en donde formula por primera vez
el esquema de división dicotómica conocido como "árbol de Porfirio" y, también, enuncia por primera vez los famosos versos
mnemotécnicos sobre la reducción de los silogismos a los modos de la primera figura aristotélica:
TOMAS HOBBE: Considera al razonamiento como una especie de cálculo de signos. Desarrolla la lógica formal como combinación de
nombres de acuerdo a las reglas establecidas.

EDAD MODERNA

Bacon, Francis: En su Novum Organum, hace la primera formulación moderna del método científico, Se le conoce como el “Padre de la
Lógica Inductiva”
LEIBNIZ, GOTTFRIED WILHELM (1646-1716), , quien introdujo el cálculo lógico llamado MATHESIS UNIVERSALIS que fuese
operacionalmente mecánico, inequívoco y no cuantitativo que permitiera acabar con todas las disputas y controversias. También
desarrollo el cálculo de la lógica proposicional. Estableció la ley de la tautología.

LEONHARD EULER (1707-1783), Es otro de los de la lógica matemática introdujo los diagramas que llevan su nombre para ilustrar
geométricamente los silogismos.

A. de MORGAN (1806-1871,, enuncia las leyes de transitividad y expresa rigurosamente las leyes distributivas de la negación, que llevan
ahora su nombre. (Ley de Morgan)

BOOLE, GEORGE (1815-1864),.La primera formulación propiamente algebraica de la lógica, estableciendolas leyes para la ejecución de
las operaciones y dando una interpretación coherente de los resultados, se debe a George Boole, quien es así el creador de la lógica
simbólica moderna. Boole funda el cálculo proposicional, enuncia las leyes del cálculo de clases, hace una sistematización de la lógica
de la probabilidad y formula explícitamente la dualidad de las operaciones algebraicas corresponden a las leyes de la lógica.

VENN, John. (1834-1923) Fue el que trato de encontrar la significación lógica de operaciones como la sustracción y la división. El mérito
de Venn es básicamente el haber aclarado los procedimientos de Boole representando los procesos algebraicos en los diagramas de
Venn.

FREGE, GOTTLOB (1848-1925), intentó deducir los principios de la aritmética de los principios de la lógica. Enfrentándose a la
ambigüedad del lenguaje normal y a la insuficiencia de los sistemas lógicos disponibles, inventó muchas notaciones simbólicas, como
cuantificadores y variables, estableciendo así las bases de la lógica matemática moderna.

Es el personaje más resaltante de esta época, su obra: CONCEPTOGRAFIA, marca el comienzo de la lógica moderna y de ahí que a
Frege se le puede considerar el PADRE DELA LÓGICA MODERNA. Frege es el primero en formular de manera clara y concisa la distinción
entre variable y constante, introduce la diferenciación igualmente precisa entre lenguaje y metalenguaje.

RUSSELL, BERTRAND,

. En su obra PRINCIPIA MATHEMATICA, propone que las matemáticas pueden reducirse a una rama de la lógica., realizan
un tratamiento detallado del cálculo preposicional, el cálculo de clases y el cálculo de relaciones, establecen la teoría de los
tipos, analizan las paradojas, hacen una crítica refinada y profunda de la lógica simbólica, y crean el lenguaje formalizado
que más se utiliza en la actualidad.

WITTGENSTEIN En la evolución filosófica de Wittgenstein pueden distinguirse dos épocas distintas: un primer periodo, representado
por el Tractatus, y otro posterior, representado por las Investigaciones filosóficas. A lo largo de la mayor parte de su vida, sin embargo,
Wittgenstein, de modo coherente, concibió la filosofía como un análisis conceptual o lingüístico. En el Tractatus defendió que la
“filosofía pretende la clarificación lógica de las ideas”. En las Investigaciones filosóficas, sin embargo, mantenía que la “filosofía es un
combate contra el hechizamiento de nuestra inteligencia por medio del lenguaje”.

JAN LUKASIEWICZ (1878-1950). Se ocupó de la lógica de sentencias, de la lógica plurivalente, de la lógica modal, del
silogismo aristotélico y de la historia de la lógica, Lukasiewicz inventó un simbolismo que evita los paréntesis y puntos. Se
preocupó de la axiomática de la lógica de sentencias formulando un interesante sistema de tres axiomas
En 1917 construyó el primer sistema de lógica plurivalente. Expone así la idea que dio origen a la lógica trivalente.

TARSKI, Alfred (1902)

Lógico y matemático, notable representante de la Escuela Lvoviano-Varsoviana. También es fundador de la semántica formal, que
estudia las significaciones de los juicios y conceptos en lógica. Estudia también los problemas de la construcción de las teorías
deductivas, de lametalógica, la semiótica, define el concepto de verdad en los lenguajes formalizados, estableció que cada enunciado
es demostrable, es verídico pero no cada enunciado verídico es demostrable, etc. Obras principales: "Lógica, semántica,
metamatemáticas" (1956), "Lógica, metodología y filosofía de la ciencia" (1962).