-
470 BCE
Parménides (510-440 a.C.)
Decía: el ser es uno, inmóvil y perfecto; el no ser no existe, no puede ser dicho, no puede ser pensado. -
450 BCE
Zenón de Elea (490-430 a.C.)
Supongamos que el movimiento entre 1 punto 1 y 1 punto 2
es posible; entonces hay que alcanzar primero el punto intermedio 1.5, pero antes el 1.25, y así hasta el infinito. -
420 BCE
Sócrates (470-399 a.C.)
él trata de anclar los conceptos de virtud, bien, valor, justicia, etc., en la realidad social y no en los discursos tendenciosos, descubriendo en ellos estabilidad. -
410 BCE
Los megáricos (450-380 a.C.)
son una escuela griega de filosofía fundada en el sigo V a.C. por Euclides de Megara (discípulo de Sócrates) decían: “Sócrates habla griego” y sigue “No es cierto que Sócrates no hable griego” -
Period: 400 BCE to 300 BCE
Logica Antigua
Son en las que mas se desarrollo la logica -
350 BCE
Aristoteles (384-322 a.C.)
divide los juicios categóricos según la cantidad (juicios particulares y
universales) y la cualidad (juicios afirmativos y negativos), con estos desarrolla dos teorías, teoría
de la inferencia inmediata, y teoría de la conversión. De la inferencia inmediata tenemos cuatro
reglas.
La lógica de Aristoteles era estudiada con independencia de consideraciones filosóficas. -
300 BCE
Euclides (300 A.c)
Supongamos que hay un último número primo, al que llamaremos P; construyamos Q como la suma de 1 más el producto de todos los primos hasta P; Q es mayor que P, por otro lado, Q no es compuesto porque al descomponerlo en primos siempre quedara 1 como resto contradicción con la hipótesis inicial, luego hay infinitos números primos. -
250 BCE
Los estoicos (300-200 a.C.)
el fundador de la escuela es Zenón de Citio, quien desarrollo ideas lógicas e inculco a sus discípulos (Celantes y Crispo) estas ideas. Los estoicos tenían cinco reglas de inferencia, que eran esquemas indemostrables. Como ejemplo a estas reglas: “Aristóteles es
varón” y “Aristóteles es sabio” daba “Aristóteles es varón y sabio”. Existen afirmaciones que no son ni verdades ni falsas. -
490
Alta Edad Media
Boecio (472/480-524/525), que 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, llevadas a cabo entre finales del siglo V y principios del VI, que junto a su traducción de la Isagoge de Porfirio fueron las principales obras de lógica que conocieron los filósofos de la Edad Media hasta que a mediados del siglo XII -
Period: 1100 to 1500
Logica Escolastica
En las universidades se da el redescubrimiento de las obras de Aristoteles. Se organiza y amplia su doctrina logica, se hacen contribuciones y se plantean nuevos problemas. -
1200
Autores de edad media
Filósofos destacados que estudiaban y analizaban la ramificación de la
lógica:
Boecio (472/480-524/525)
Marciano Capella (ft. 420)
San Agustín (354-430)
Alcuino de York (735-804)
Pedro Abelardo (1079-1142)
Guillermo de Shyreswood (m. 1249)
Pedro Hispano (ca. 1210-1277)
Guillermo de Ockham (1295-1349)
Juan Buridán (m. ca. 1358) -
1400
Baja Edad Media:
En los siglos XII, XIII y XIV se desarrollaron extraordinariamente en Europa la teología, la filosofía y la lógica. Esta última, en particular, se desarrolló a partir de la segunda mitad del siglo XII hasta unos niveles de complejidad y finura hasta entonces desconocidos.
No se hacía mucho uso de la formalización, sino que se continuaba escribiendo todo en latín, de tal suerte que los textos sobre lógica de esta época resultan muy difíciles de seguir. -
La logica de Port-Royal
- Doctrina del concepto. Se investiga cómo adquirimos nuestras ideas generales a partir de experiencias particulares
- Doctrina del juicio. La combinación de ideas generales da lugar a afirmaciones, que pueden ser verdaderas o falsas
- Doctrina del razonamiento. En ocasiones, de unas afirmaciones se siguen otras. del razonamiento, al menos en sus capas más superficiales.
- Doctrina del método. Por medio de razonamientos y de observación se construye nuestro conocimiento global sobre el mundo
-
Period: to
Logica Renacentista
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. -
Period: to
Logica Simbolica
La logica se utiliza para formalizar el discurso cientifico por lo que esta muy ligada a la filosofia de la ciencia -
Logica Simbolica contemporanea
La lógica simbólica contemporánea tiene dos fuentes. Una de ellas es la tradición
algebraica de la segunda mitad del siglo XIX, que podría emparentarse con el
programa de Leibniz de no ser por la escasa influencia directa de éste. Nace con
El análisis matemático de la lógica (1847) de Boole。
La otra fuente se origina en la Conceptografía (1879) de Frege
La obra más influyente de este período es El análisis matemático de la lógica
(1847) de Boole -
Logica Simbolica contemporanea 2da parte
Schröder recoge la tradición británica del álgebra de la lógica en sus Lecciones
sobre el álgebra de la lógica (1890-1905)
Boole. La aportación fundamental de Boole (1815-1864) es la de utilizar
ecuaciones algebraicas para representar afirmaciones lógicas. Y aunque tras un
vistazo superficial a la obra original de Boole solamente advertirán expresiones
algebraicas de un mismo tipo, donde un símbolo de igualdad separa ristras de
símbolos que contienen fundamentalmente variables, sumas y productos -
Autores de la Logica contemporanea
Filósofos destacables que analizaban la ramificación de la lógica:
Ernst Schröder (1841-1902)
Boole (1815-1864)
Gottlob Frege (1848-1925) -
Trabajo hecho por:
Jorge Montes Espinosa
Camacho Villa Valeria
Juan Martinez
