RECORD

Mucho ms que una Academia!

RAZONAMIENTO LGICO.
HISTORIA DE LA LGICA FORMAL
POCA ANTIGUA.- Se descubren los principios lgicos, Aristteles crea el primer sistema de lgica formal y se
hacen aportes a la lgica bivalente y modal.
REPRESENTANTES
APORTES
1.
PARMNIDES
- Creador del Principio de Identidad. (p p)
DE ELEA
(540-? A.C)
2.
ZENN DE
- Dio origen al mtodo dialctico, la reduccin al absurdo.
ELEA
- Sus razonamientos se conocen como aporas, que son paradojas.
(490-430 A.C.)
- Obras: De la Naturaleza, Comentarios de los Escritos de Empdocles,
Disputa contra los Filsofos.
3.
DEMCRITO
- Plante el principio de la Razn Suficiente
(460-370 A.C.)
4.
SCRATES
- Creador del mtodo de la Mayeutica. Hizo hincapi en la discusin racional y la
(470-399 A.C.)
bsqueda de definiciones generales.
5.
PLATN
- Descubri el Principio de No Contradiccin o Principio de Contradiccin.
(428-347 A.C.)
(p -p). Obra: El Sofista.
6.
ARISTTELES
- Creador de la Teora del Silogismo.
(384-322 AC.)
- Descubri el Principio del Tercio Excluido. (p -p)
- Introdujo el uso de variables.
- Desarroll la Lgica de Predicados.
- Obra: El Organn , compuesta de los libros:

Categoras.- estudia los trminos.

De la Interpretacin.- estudia los enunciados.

Primeros Analticos.- Estudia la argumentacin.

Tpicos.

Refutacin Sofstica.
7.
MEGRICOS
- Escuela a la que pertenecieron: Filn de Megara y Diodoro Cronos.
(400-300 AC.)
- Hicieron aportes a la Lgica Modal.
8.
ESTOICOS
- Salen de la escuela megrica debido al movimiento separatista promovido por
(450-300 AC.)
Zenn el estoico.
- Representantes: Crisipo de Soli.
- Estudiaron por primera vez la Lgica de proposiciones.
- Construyeron una lgica de enunciados (Lgica de dos valores)
- En la Lgica de enunciados aparecen la negacin, la implicacin la conjuncin y
la disyuncin
- Realizaron la interpretacin material del condicional.
POCA MEDIEVAL.- Los aportes de la lgica medieval por sus representantes fueron mnimos, toda vez que se
concentraron en fundamentar la teologa y seguir el sistema aristotlico
9.
BOECIO
- Romano, desarroll la lgica aristotlica.
(480-524 DC)
- Desarroll un mtodo para hallar inferencias inmediatas, haciendo uso del
cuadro de oposicin que lleva su nombre (Cuadro de Boecio).
10. PEDRO
- Precursor del mtodo escolstico (posteriormente aplicado a las sumas
ABELARDO
teolgicas). Consiste en contraponer las sentencias opuestas de las autoridades
(1079-1142 DC)
teolgicas.
11. TOMS
DE - Seguidor de Aristteles.
AQUINO
- Busc la demostracin racional de la existencia de Dios as como de la
(1225-1274 DC)
interpretacin de los dogmas religiosos. Obra: Suma Teolgica.
12. DUNS SCOTO
- Aristotelista.
(1266-1308 DC)
- Se opuso a Toms de Aquino: la verdad se logra por la experiencia.
13. GUILLERMO DE - Representante del nominalismo.
OCCAM
(1290-1349 DC)
14. RAIMUNDO
- Plante que la razn puede y debe demostrar todo y dar pruebas suficientes de
LULIO
la verdad cristiana.
(1233-1315 DC.)
- Dise una mquina que demostraba lgicamente la existencia y los atributos de
Dios.
- Obra: Ars Magna.

Jr. Las Gaviotas # 1141 Urb. Los Pinos

Telfono: 421679

RECORD

Mucho ms que una Academia!

POCA MODERNA Y CONTEMPORNEA.- La poca moderna marca el inicio de la Lgica Matemtica. El siglo
XIX se caracteriza por el nivel de abstraccin que alcanza la lgica matemtica. FREGE marca el comienzo de la
lgica moderna y su obra slo es comparable con los Primeros Analticos de Aristteles.
15. THOMAS
- Consider el razonamiento como un clculo de signos.
HOBBES
(1588-1679 DC)
16. LEIBNIZ
- Alemn. Precursor de la Lgica Moderna.
(1646-1716)
- Plante la necesidad de crear un lenguaje universal.
- Obra: Mathesis Universalis.
17. GEORGE
- Es uno de los ms grandes innovadores de la lgica.
BOOLE
- Construye una teora de las clases y sus elementos.
(1815-1864 DC)
- Construye un calculo algebraico con smbolos y operaciones definidas
- Plante la relacin entre lgica de clases y lgica Proposicional
- Obra: Investigacin de las Leyes del Pensamiento
18. AUGUSTUS DE - Plante que el silogismo no es ms que una serie de combinaciones y relaciones
MORGAN
de clases.
(1806-1871 DC)
- Plante que la base comn de la lgica es la inclusin o exclusin total o
imparcial de clases.
19. GOTLOB FREGE - Considerado el Padre de la Lgica Moderna.
(1848-1925)
- Hace la distincin entre ley y regla.
- Estableci la diferencia entre constante y variable
- Logra independizar el clculo lgico del calculo matemtico.
- Su obra es comparable a la de Aristteles. Obra: Conceptografa.
20. PEANO
- Fue el primero en dar a la lgica el nombre de Lgica Matemtica.
(1858-1932)
- Considero que la lgica es el instrumento de la matemtica.
- Propuso uso de puntos auxiliares en reemplazo de los signos de agrupacin y un
modo de simbolizar los cuantificadores.
21. BERTRAND
- Fundament lgicamente las matemticas.
RUSSELL
- Reordenaron la lgica en un sistema axiomtico.
(1892-1970)
- Obra: Principia Matemtica, escrita con su amigo Alfred Witehead.
22. WITTGENSTEIN - Ide la tabla matriz para hallar los valores de verdad.
(1889-1951)
- Consider que la LP tiene 16 operadores didicos y 4 mondicos.
23. KURT GDEL
- Creador del Teorema de Gdel (en cualquier sistema simblico formal es posible
(1906 1978)
construir una proposicin que no se puede probar ni refutar en el mismo sistema)
- Escribi La consistencia de la hiptesis del continuo
24. ALFRED TARSKI - Creador de la Semntica de la Lgica.
(1901-1983)
- Define el concepto de verdad en los lenguajes formalizados.
25. LUKASIEWICZ
- Elabor el primer sistema de lgica polivalente: trivalente.
26. RUDOLF
- Alemn nacionalizado estadounidense. Interpret la filosofa como un proceso
CARNAP
de anlisis lgico. Se interes sobre todo por el anlisis del lenguaje de la
ciencia ya que consider que las afirmaciones empricas de esta ltima eran las
nicas en verdad significativas. Obras: La estructura lgica del mundo,
Sintaxis lgica del lenguaje. El principio de tolerancia de Carnap, o la
convencionalidad de las formas del lenguaje, afect a la libertad y variedad en la
construccin del lenguaje.
27. FRANCISCO
- Filsofo peruano. Se centr en la reivindicacin de la exactitud en el
MIR QUESADA
planteamiento de los problemas filosficos. Para ello, aplic los logros de la
lgica y de las matemticas, as como la defensa de una filosofa racionalista
que subraya la importancia del mtodo y de la exactitud. Realiz, adems,
interesantes anlisis sobre la unidad posible entre la lgica terica y la lgica de
las acciones, en la bsqueda de la estructura de la logicidad pura. Algunas de
sus obras son: Sentido del movimiento fenomenolgico, El problema de la
libertad y la ciencia, Lgica, Iniciacin lgica, entre otras
28. KARL RAIMUND - Filsofo britnico, de origen austriaco. La contribucin ms significativa de
POPPER
Popper a la filosofa de la ciencia fue su caracterizacin del mtodo cientfico. En
su Lgica de la Investigacin Cientfica, critic la idea prevaleciente de que la
ciencia es, en esencia, inductiva. Propuso un criterio de comprobacin que
denomin falsabilidad, para determinar la validez cientfica, y subray el carcter
hipottico-deductivo de la ciencia. Critic la idea de que las leyes descubridoras
del desarrollo de la historia hacen inevitable su curso futuro y, por tanto,
predecible.

Jr. Las Gaviotas # 1141 Urb. Los Pinos

Telfono: 421679