HISTORIA DE LA LOGICA - I - Empleo el método Axiomático

(deducir verdades a partir de otras

EDAD ANTIGUA verdades)

6. Aristóteles (384 a.c)

1. Parménides de Elea (540 a.c) - Es el Padre de la Lógica Formal,
- Creo el Principio de Identidad: “Si un iniciando un estudio mas reflexivo,
enunciado es verdadero entonces es sistemático y ordenado de la lógica,
verdadero” (𝑝 → 𝑝) o (𝑝 ↔ 𝑝) dicho estudio quedo plasmado en un
- Fundador de la escuela Eleática grupo de libros, a los cuales, en su
- Señalo que solo por la razón conjunto, los discípulos de Aristóteles
conocemos la verdad de las cosas llamaron ORGANON
- Aceptaba una realidad inmóvil y sin - El ORGANON es un tratado formado
cambios por 5 libros
- Refuto a Heráclito  De las Categorías: Teoría del
Concepto (aprehensión -
2. Zenón de Elea (490 a.c) términos)
- Perteneció a la escuela Eleática de  De la Interpretación: Teoría del
Parménides (apoyo la posición de juicio (enjuiciar – enunciados o
Parménides) proposiciones)
- Dio origen a los siguientes métodos:  Los Primeros y Segundos
Dialectico, razonamiento hipotético y a Analíticos: Teoría del
la reducción al absurdo Razonamiento y la demostración
- Sus argumentos se conocen como (razonar - argumentos)
Aforias (aporías) que significa: duda,  Los Tópicos: Describe
negación, paradoja (40). Objetivo: categorías y procedimientos
Demostrar la inexistencia del lógicos (definición y
movimiento ontológico clasificación)
- Obras: “De la naturaleza”,  Las Refutaciones Sofisticas:
“Comentarios de los escritos de Describe fuentes de
Empédocles”, “Disputa contra los razonamientos y demostraciones
filósofos” falsas
- Creo el Principio del Tercio Excluido
3. Sócrates (470 a.c) “Un enunciado puede ser verdadero o
- En su lucha contra los sofistas falso, no hay una tercera posibilidad”
sistematizo el método de la mayéutica (𝑝 ∨∼ 𝑝)
(método de preguntas para poder - Creo la Teoría de los Silogismos
plantear bien los problemas y aclarar - Introdujo el uso de variables
conceptos). Con este método buscaba - Realizo un análisis semántico de las
definiciones generales proposiciones, clasificándolas por su
cantidad y calidad
4. Demócrito (460 a.c) - Realizo un análisis sintáctico de las
- Creo el Principio de Razón Suficiente proposiciones, señalando los términos
“no hay efecto sin causa” como sus elementos más simples
- Utilizo por primera vez la palabra - Desarrollo la lógica de predicados
lógica - Estudio la deducción considerando
- Inicio las investigaciones sobre la solo su forma o estructura lógica
lógica (lógica formal) sin tomar en cuenta el
- Estudio: La inducción, la analogía y la significado o contenido de las
formulación de hipótesis, así como la deducciones
definición de conceptos
7. Continuadores de Aristóteles
5. Platón (427 a.c) - Después de Aristóteles son importantes
- Creo el Principio de No los estudios de sus discípulos: Los
Contradicción “Es imposible que un Megáricos y los Estoicos
enunciado sea verdadero y falso a la 7.1. Los Megáricos: Son los iniciadores de la
vez” ~(𝑝 ∧∼ 𝑝), planteando que era lógica modal
falso ser y no ser al mismo tiempo A. Filón de Megara
- Obras: “Sofismas” (desarrollo las  Es el precursor de la lógica modal, establece la
afirmaciones y negaciones) verdad de la conjunción, la disyunción, la
- Teorizo y esquematizo la división y la implicación y la equivalencia
definición lógica  Inventa el método de las matrices de verdad
 Nota: Diodoro de Cronos y Filón de Megara, - Planteo que la razón puede y debe
avanzan con el estudio de los conceptos modales demostrar todo, y debe dar prueba de la
y por primera vez en la historia de la lógica verdad cristiana
plantearon el significado de la proposición - Es el precursor de la lógica simbólica
“Si……. entonces……” - Su obra más importante es: “Ars
Magna” (Artes generales)
7.2. Los Estoicos
A. Crisipo de Sole 6. Juan Duns Scoto (1266 - 1308)
- Desarrollo la lógica bivalente (V/F) de - Se opuso a las ideas de Tomas de
las proposiciones Aquino, expresando que: “La verdad se
B. Teofrasto y Eudemo logra por la experiencia”
- Aportaron los silogismos hipotéticos o - Considera que la clasificación
condicionales cuantitativa de los juicios simples no es
aplicada a los juicios complejos
Recuerda: Crisipo de Sole, Filón de Megara y Diodoro de
Cronos hicieron nuevos descubrimientos pertenecientes a 7. Guillermo de Occam (1295 - 1349)
lo que hoy se llama LÓGICA COLIGATIVA - Representa al Nominalismo
- Establece reglas para las inferencias
consecuente, entre las cuales figuran
8. Boecio (480 – 525 d.c) las “Leyes de Morgan”, que trata sobre
- Descubre las leyes de la inferencia las propiedades distributivas de la
inmediata a partir del “Cuadro lógico negación lógica
de oposición” de las proposiciones
categóricas 8. Juan Buridán (1290 - 1360)
- El “Cuadro lógico de la oposición” fue - Estudia las condiciones de validez de la
completado y estructurado por Boecio consecuencia, teniendo en cuenta el
(Cuadro de Boecio) antecedente y el consecuente
- Logra sistematizar las proposiciones
categóricas (a/e/i/o) PRACTICA
I. Escribe la combinación correcta
EDAD MEDIA
1. Son aportes de Demócrito a la lógica:
1. Fue autor del principio de Identidad
1. Pedro Abelardo (1079 - 1142) 2. No fue el autor del principio de Razón
- Fue el primer lógico medieval de suficiente
mayor importancia, considera que la 3. Utilizo por primera vez la palabra lógica
verdad y la falsedad son 4. Estudio la inducción y la analogía
intercambiables en una misma 5. Fue alumno de Parménides
proposición. Son ciertas: ______________

2. Guillermo De Shyreswood (1190 - 1249) 2. Respecto a Parménides, podemos afirmar:

- Formula por primera vez el esquema de 1. Creo el principio de No contradicción
división dicotómica conocido como 2. Fundo la escuela Eleática
“árbol de Porfirio” 3. Es autor del principio de Identidad
- Enuncia por primera vez los famosos 4. Estuvo en contra de la Dialéctica
5. Uno de sus discípulos fue Zenón de Elea
versos nemotécnicos: Barbara,
Son ciertas: ______________
Celarent, Darii, Ferio, etc.
3. Respecto a Aristóteles, podemos afirmar:
3. Pedro Hispano (1210 - 1277) 1. Fue autor del principio “El Tercio excluido”
- Su obra “Summulae Logicales”, es el 2. Respecto al Órganon: De la Interpretación trata
texto medieval de lógica que tuvo sobre las fuentes de razonamientos y
mayor aceptación, también desarrollo demostraciones falsas
la Teoría de las suposiciones 3. La teoría del concepto lo desarrolla en De las
Categorías
4. Tomas de Aquino (1225 - 1274) 4. Creo la teoría de los Silogismos
- En su obra “Suma Teológica” busco la 5. Desarrollo la lógica de predicados
demostración racional de la existencia Son ciertas: ____________
de Dios
- Estudio los signos y juicios modales 4. Respecto a Platón, es correcto afirmar:
1. Su verdadero nombre fue Aristocles
5. Raimundo Lulio (1235 - 1315) 2. Planteo el principio de No contradicción
3. Empleo el método Mayéutico
4. Una de sus obras fue “Sofismas”
 5. Uso el método Axiomático D. Parménides:
Son ciertas: _____________ ________________________
E. Zenón de Elea:
5. Respecto a Aristóteles podemos afirmar: ______________________
1. Es considerado el padre de la lógica formal F. Demócrito:
2. Realizo un análisis sintáctico, pero no _________________________
semántico de las proposiciones G. Filón de Megara:
3. Introdujo el uso de variables _____________________
4. La teoría del razonamiento y la demostración H. Crisipo de Sole:
lo desarrolla en “Las refutaciones sofisticas” ______________________
5. Creo los poemas “Barbara” y “Celarent”
Son ciertas: ______________ III. Termino excluido

6. Respecto a Zenón de Elea, afirmamos: 1. Parménides:

1. Trato de demostrar la existencia del a. Principio de identidad
movimiento con el uso de paradojas b. Refuto a Heráclito
2. Sus argumentos son conocidos como c. Aceptaba el movimiento
“Aporías” d. Escuela Eleática
3. Dio origen al método Dialectico e. Por la razón llegamos a la verdad
4. Perteneció a la escuela eleática
5. Aporto a la lógica con el método de Reducción 2. Sócrates:
al absurdo a. Bebió la cicuta
Son ciertas: ______________ b. Enemigos: Sofistas
c. Método Mayéutico
7. Respecto a los continuadores de Aristóteles, d. Método Axiomático
podemos afirmar: e. Acusado de corromper a la juventud
1. Los megáricos son los iniciadores de la lógica
modal 3. Demócrito:
2. Filón de Megara inventa el método de las a. Principio de Razón suficiente
matrices de verdad b. Estudio la inducción
3. Crisipo de Sole desarrollo la lógica bivalente c. Utilizo por 1° vez la palabra lógica
4. Diodoro de Cronos y Filón de Megara d. Principio de tercio excluido
plantearon el significado del e. Estudio la definición de conceptos
“Si…entonces……”
5. Crisipo de Sole es el iniciador de la lógica 4. Platón:
Trivalente a. La Republica
Son ciertas: ________________ b. Sofismas
c. Principio de no contradicción
II. Relaciona correctamente: d. Método axiomático
1. Tercio excluido e. Método mayéutico
2. No contradicción
3. Identidad 5. Aristóteles:
4. Razón suficiente a. Padre de la lógica formal
5. Método Mayéutico b. Órganon
6. Fundador de la escuela Eleática c. Teoría de los silogismos
7. Órganon d. Nuevo órganon
8. Autor de las “Aporías” e. Uso de variables
9. Uso de variables
10. Refuto a Heráclito 6. Zenón de Elea:
11. Sofismas a. Alumno de la escuela Eleática
12. Teoría de los silogismos b. Defendía la inexistencia del movimiento
13. Utilizo por primera vez la palabra lógica c. Uso paradojas
14. Lógica Bivalente d. Argumentos: Aporías
15. Método Axiomático e. Dio origen al método Didáctico
16. Método Dialectico
17. “No hay efecto sin causa” 7. Aristóteles:
18. “Si un enunciado es verdadero, entonces es a. La política
verdadero” b. El órganon
19. Negaba el movimiento c. Padre de la lógica formal
20. Método de las matrices de verdad d. Tercio excluido
21. Reducción al Absurdo e. No contradicción

A. Sócrates: _________________________
B. Platón: ___________________________
C. Aristóteles:
________________________