-
(ca. 510-440 a.C.) defiende lo siguiente: el ser es uno,
inmóvil y perfecto; el no ser no existe, no puede ser dicho, no puede ser pensado. -
Fundada por Euclides de Megara (ca. 450-380 a.C.), La obra lógica de esta escuela se desarrolla entre los años 400-275 a.C.
-
-
Aristóteles crea sus 6 (5) obras lógicas:
Kategoríai
Perì hermeneías
Analyticà prótera
Analyticà hystera
Topiká
Perí sophistikon elénkhon: (aunque algunos compiladores consideran que Perí sophistikon elénkhon es en realidad el último capítulo de Topiká) -
Perteneció a la escuela megárica de la que fue uno de sus líderes.
-
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 han llegado nada. El objeto de la lógica era la validez de los argumentos tal y como estos se plasman de forma escrita.
-
El fundador de esta escuela es Zenon de Citio (ca. 336-264 a.C.), quien desarrollo las ideas lógicas de los megáricos y estimulo en esa dirección a sus discípulos
-
Corresponder al periodo 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 han llegado nada. El objeto de la lógica era la validez de los argumentos tal y como estos se plasman de forma escrita.
-
Decía que: para que un condicional sea verdadero
basta con que no se dé el caso de que el antecedente sea verdadero y el consecuente sea
falso. -
Zenon de Citio desarrollo las ideas lógicas de los megáricos y estimulo en esa dirección a sus discípulos Cleantes (ca. 330-232 a.C.) y Crisipo (ca. 281-208 a.C.).
A partir de Crisipo, tratan de derivar cualquier
afirmación universalmente valida a partir de cinco esquemas indemostrables, los themata, que en realidad son reglas de inferencia. -
Dice al comienzo de su inacabada" de dialéctica" que la dialéctica es la ciencia de bien argumentar, esta afirmación parece asumir que la lógica era parte de la dialéctica.
-
Ha sido llamado "el ultimo 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-
-
(ca. 490-430 a.C.) Zenon utiliza de manera sistemática el
razonamiento por reducción al absurdo -
Su "Dialéctica" se limitaba a comentar las categorías de Aristóteles y es también un claro ejemplo del tipo de lógica que se hacia en la época.
-
Puede datarse entre los siglos XI a XV, si tomamos el periodo en sentido muy amplio, pero también puede restringirse a los siglos XII a XIV, si nos atenemos a las principales contribuciones. En varias universidades se estudiaban y discutían compendios de Guillermo de Shyreswood, Pedro Hispano, Guillermo de Ockham, Jean Buridán o Alberto de Sajonia. Con el redescubrimiento de las obras de Aristóteles, se organizan, amplía su doctrina lógica, se hacen contribuciones y plantean nuevos problemas.
-
Las traducciones de Boecio fueron las principales obras que conocieron los filósofos de la edad media hasta que a mediados del siglo XII el resto de tratados de lógica, sobre todo los aristotélicos fueron conocidos a través de traducciones directas del árabe.
-
Las summulae que el escribió estacan como manual de lógica en el cual se recoge el conocimiento considerado estándar sobre esta materia en la baja edad media
-
Una de las primeras summulae es la de Guillermo de shyreswood que contiene una exposición completa de la silogística.
-
Se inicia con la publicación de "La Lógica o el Arte de Pensar" de los jansenistas Antoine Arnauld y Pierre Nicole.
-
Tras 1662 la investigación en lógica se paralizó casi por completo.
Esto inspiró las celebres palabras de Kant. -
Es el periodo 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.
Una fuente de la lógica simbólica contemporánea es la tradición algebraica de la segunda mitad del siglo XIX. -
Su aportación mas importante al lenguaje de la lógica consistió sin duda en el modo de cuantificar variables, consiguió unificar la lógica de enunciados, la de predicados y la de relaciones mediante una sintaxis. Además cuantifica sobre variables en cualquier lugar de la expresión incluyendo así las conectivas proporcionales dentro del alcance de un cuantificador.
-
La aportación de Boole fue utilizar ecuaciones algebraicas para representar afirmaciones lógicas.
-
Publico la que se considera obra fundacional de la lógica simbólica, allí se proponía fundamentar el razonamiento matemático mediante un lenguaje artificial que sustituyera por completo las expresiones del lenguaje natural que aparecen en los libros de matemáticas, así como mediante comas de calculo que sustituyese las reglas intuitivas que los matemáticos dan por bunas al razonar
-
La publicación de los "Principia Mthematica" fue el eco que buscaba encontrar el planteamiento de Frege. Bertrand Russell y Alfred N. Whitehead ofrecen en principia una presentación de la lógica Frege y tratan además de llevar acabo su programa logicista.
-
El primer manual de lógica simbólica fueron los "Elementos de lógica teórica" de David Hilbert y Wilhem Ackermann, aunque en este breve tratado no se ofrecen muchas innovaciones técnicas tiene varias virtudes que conviene repasar
