Curso: Razonamiento Lógico
HISTORIA DE LA LÓGICA
I. EDAD ANTIGUA
1. Parménides de Elea: Consideró que la
razón es la única capaz de conocer el ser
y la verdad de las cosas. Se cree que fue
el creador del principio de identidad.
2. Zenón de Elea: Dio origen el método
dialéctico, el razonamiento hipotético y a
la reducción al absurdo. Sus
argumentaciones se conocen como
aforias.
3. Demócrito: Parece que fue el primero
que usó la palabra Lógica y planteó el
principio de la Razón Suficiente.
4. Sócrates: En su lucha contra los sofistas
utiliza el método mayéutico.
5. Protágoras: Fue el primero en utilizar
las oraciones en el plano sintáctico y
semántico.
6. Platón: Descubrió el principio de la
contradicción o no contradicción.
Teoriza y esquematiza la división y la
definición lógica. Empleó el método
axiomático.
7. Aristóteles: Considerado como el
“Padre de la Lógica Formal”.
Descubrió el principio del “Tercio
Excluido”. Introdujo el uso de
variables. Explicación sintáctica y
semántica de las proposiciones,
desarrolló la lógica de predicados y el
silogismo. Desarrolló y sistematizó por
primera vez la lógica formal; siendo una
de las obras cumbres el ORGANOM
(instrumento) conformado por 6 libros:
1. Las categorías (teoría del concepto
o términos)
2. De la interpretación (teoría del
juicio o enunciado).
3. Los primeros analíticos (teoría del
razonamiento o argumentación).
4. Los segundos analíticos (teoría de
demostración).
5. Las refutaciones sofísticas (vicios
lógicos).
6. Los tópicos (procedimientos
lógicos del raciocinio).
Continuadores de Aristóteles
Teofrasto y Eudemo: Aportaron el
“Silogismo hipotético o condicional”.
Megáricos: Diodoro Crono (avanzaron
estudios de conceptos modales); Filón de
Megara (por primera vez en la historia
de la lógica plantean el significado de
las proposiciones “Si… entonces…”.
Prof: Daga Briceño, Elvis
Crisipo de Soli (estoico): Desarrolla la
lógica bivalente (verdadero o falso) de
las proposiciones.
8. Boecio: Descubre las leyes de inferencia
inmediata y sistematiza las
proposiciones categóricas A/E/I/O en
“Cuadro de Boecio”.
II. EDAD MEDIA
1. Pedro Abelardo: Fue el primer lógico
medieval de mayor importancia.
Considera verdad y falsedad son
intercambiables en una misma
proposición.
2. Guillermo de Shyrewood: Creó el
“árbol de Porfirio” y los “versos
mnemotécnicos”.
3. Ramón Llul (Raymundo Lulio): En su
“Ars Magna” dio el primer paso en la
elaboración de un lenguaje completo
automático para el razonamiento.
4. Raymundo Lulio, Pedro Hispano,
Guillermo de Ocan: Establecieron
reglas de inferencia.
5. Pedro Abelardo, Pedro Hispano, Juan
Buridán y Alberto de Sajonia:
Destacaron por emplear una forma
especializadora el lenguaje.
Redescubrieron la inferencia coligativa.
6. Guillermo de Ocan y Juan Buridán:
Representa el período de madurez de la
lógica medieval.
III. EDAD MODERNA
1. Leibniz, Gotifried Whilhelm
- Considerado como el Primer
Precursor de la Lógica
Matemática.
- Introdujo el cálculo lógico llamado
MATHESIS UNIVERSALES.
- Consideró que para comprobar la
verdad del entendimiento bastan los
principios de identidad,
contradicción y tercio excluido.
- Consideró que para comprender la
verdad de hecho basta la razón
suficiente.
- Estableció la ley de tautología.
2. Leonard Euler
- Introdujo los diagramas que llevan
su nombre, para ilustrar geométrica y
simbólicamente al silogismo.
- Realizó el Primer tratamiento
analítico completo del Álgebra.
3. Augustus de Morgan
- Hace un análisis lógico de leyes y
símbolos matemáticos.
 - Inventa la expresión Inducción
Matemática.
- Desarrolló el cálculo de Relaciones
(Ley de Morgan)
- El silogismo no es más que una serie
de combinaciones de relaciones.
- Distingue base común entre la
lógica y la matemática en las
relaciones inclusión-exclusión.
4. Boole George
- Elaboró el Álgebra de Boole
(cálculo lógico algebraico).
- Construye una teoría de clases: la
cual utiliza símbolos y operaciones
definidas.
- Escribe sus obras “Análisis
Matemático de la Lógica” e
“Investigación de las leyes del
Pensamiento”.
- Interpreta por primera vez la
relación entre la lógica de clases y
lógica proposicional.
5. Venn: Fue el que trató de encontrar la
significación lógica de operaciones como
la sustracción y la división. Aclara, los
procedimientos de Boole
representando los procesos algebraicos
en los diagramas de Venn.
6. Frege Gottlob
- Se considera como el “Padre de la
lógica moderna”.
- Su obra Begriffsschrift:
Conceptografía, marca el comienzo
de la lógica moderna.
- Inventó muchos símbolos como
cuantificadores y variables.
- Entre estas obras “Notación
Conceptual” y “Leyes de la
Aritmética”.
- Hace diferencia entre variables y
constantes, distingue entre ley y
regla.
- Introduce la diferencia entre
lenguaje y metalenguaje.
7. Giussepe Peano
- Matemático italiano, fue el primero
en dar a la lógica el nombre de
“Lógica Matemática”.
- Su principal aporte es haber
utilizado los puntos como símbolos
de agrupación o relación de
proposiciones en reemplazo de los
símbolos de agrupación que existirán
y propuso un modo de simbolizar
cuantificadores.
- Considera que la lógica es el
instrumento de la matemática.
8. Bertrand Russell y Alfred Whitehead
- Lógicos que escribieron “Principia
Matemática”. También se le llama
“Novísimo organon”, esta obra
motivó numerosas investigaciones
sobre las inferencia, en ella sostiene
que la matemática puede reducirse
a una rama de la lógica.
- Sostiene que la matemática puede
utilizarse como lenguaje lógico de
primer orden.
9. Wittgenstein
- Ideó las tablas de verdad.
- En su evolución filosófica se
distinguen 2 etapas representadas por
el “Tractatus” y otro posterior por las
“Investigaciones filosóficas”.
10. Lukasiewickz: Elaboró el primer
sistema de lógica polivalente
(trivalente).
11. Tarski: Fundador de la semántica
lógica formal. Estableció que cada
enunciado demostrable es verídico pero
no cada enunciado verídico es
demostrable.
12. Karl Raimund Popper: Filósofo
británico, de origen austriaco. La
contribución más significativa de Popper
a la filosofía de la ciencia fue su
caracterización del método científico. En
su obra “Lógica de la Investigación
Científica”.
E-mail: silve336@hotmail.com