Razonamiento Lgico - 2do Sec.

Lic. Elvis Hermes Malaber

HISTORIA DE LA LGICA
Podemos distinguir dos etapas o dos tipos de lgica: la lgica antigua y la lgica moderna (matemtica). 1.- LA LGICA ANTIGUA Aristteles fue quien fund la lgica y desarroll ampliamente la silogstica que es igual a la actual lgica de clases. Parmnides y Platn tambin realizaron estudios lgicos. Posteriormente, los ESTOICOS hicieron algunas aportaciones a la lgica: desarrollaron el silogismo hipottico (condicional y disyuntivo) e iniciaron lo que actualmente se llama lgica proposicional. Los lgicos medievales continuaron estudiando la lgica aristotlica, no aadieron nada sustancial, pero si hicieron notables avances en un campo desconocido en esa poca, la semntica. Los filsofos modernos se interesaron ms por la metodologa de la ciencia y por los estudios lgicos. 2.- LA LGICA MODERNA (MATEMTICA) Hacia la mitad del S. XIX, la lgica se transforma radicalmente en lgica matemtica. Esto se debi a que se realizaron encuentro de cuatro corrientes distintas: 1.- La lgica aristotlica. 2.- La idea de un lenguaje matemtico universal. 3.- Los progresos de lgebra y la geometra. 4.- La concepcin de amplios sectores de la matemtica como sistema deductivo, lo cual conduca a la necesidad de construir "la lgica de la matemtica". Esta lgica se inicia con The Mathematical Analysis of Logic (1847), de G. Boole, "Ensayo acerca de un clculo del razonamiento deductivo" que indica como la lgica aparece como un clculo algebraico; se produce a una completa simbolizacin; los enunciados lgicos son concebidos como ecuaciones, y se formulan leyes lgicas. Boole desarrolla la lgica de clases y la lgica proposicional. El lgebra se convierte en modelo de la lgica. Y el clculo que crea Boole es totalmente artificial. Ms tarde, Ch.S. Peirce har aportaciones: la lgica de relaciones, el mtodo de matrices (o tablas de verdad) y nuevos desarrollos de la lgica proposicional. As pues, la nueva lgica surge de la aplicacin de los mtodos matemticos a la lgica antigua. Por eso se puede decir que se abre un nuevo perodo, cuando las matemticas se convierte en objeto de lgica. Fue el italiano G. Peano quien us por primera vez la expresin "lgica matemtica"; de este modo pudo realizar la axiomatizacin de la aritmtica. El ltimo perodo supone la aparicin de lgicas divergentes, es decir, lgicas que no respetan alguno de los rasgos caractersticos de la lgica "clsica".

Evolucin de la Lgica
POCA ANTIGUA PARMNIDES: - Principio de Identidad Si un enunciado es verdadero entonces es verdadero. p p p p - Slo la razn es capaz de conocer las cosas ZENN DE ELEA: - Dio origen al mtodo dialctico - Razonamientos de reduccin al absurdo (Aporias) DEMCRITO - Ide el principio de razn suficiente PROTGORAS - Utiliz oraciones en el plano sintctico y semntico PLATN - Descubri el principio de de Contradiccin ARISTTELES - Es considerado el Padre de la Lgica formal - Descubri el principio del tercio excluido - Introdujo el uso de variables - Desarroll la lgica de predicados - Desarroll el silogismo - Escribi un conjunto de libros llamados El rganon DIODORO CRONOS Y FILN DE MEGARA - Aportes a la lgica modal - Se descubri el significado de la estructura Sientonces CRISIPO DE SOLI (ESTOICOS) - Desarrolla la lgica proposicional bivalente POCA MEDIEVAL BOECIO - Sistematiza las leyes de inferencia inmediata en base a las proposiciones categricas. RAMON LULL - Dise una mquina para realizar clculos mecnicamente - Junto a Pedro Hispano y Guillermo de Shyreswood establecieron las reglas de inferencia GUILLERMO DE SHYRESWOOD - Formula el esquema de divisin conocido como el rbol de porfirio - Enuncia los versos mnemotcnicos de los silogismos aristotlicos

I.E.P, NUESTRA SEORA DE GUADALUPE - MIRAMAR

Razonamiento Lgico - 2do Sec.

Lic. Elvis Hermes Malaber

THOMAS HOBBES - Considera el razonamiento como un clculo de signos FRANCIS BACON - Formulacin moderna del mtodo cientfico - Induccin experimental - Se le considera el Padre de la lgica inductiva POCA MODERNA GOTTFRIED WILHELM LEIBNIZ - Estableci la ley de la tautologa - Es necesario un lenguaje simblico universal para expresarnos sin ambigedades. - Formula la Ley de Razn Suficiente - Precursor de la lgica matemtica LEONARD EULER - Introdujo los diagramas que llevan su nombre para ilustrar geomtricamente los silogismos AUGUSTO DE MORGAN - Relacin de inclusin y exclusin - Leyes distributivas de la negacin GEORGE BOOLE - Elabora el lgebra que lleva su nombre - Se le considera el creador de la lgica simblica moderna JHON VENN - Aclar los procedimientos de Boole representndolos en diagramas GOTTLOB FREGE - Fundador de la lgica matemtica moderna, por ello se le puede considerar el Padre de la Lgica Moderna - Invent los cuantificadores y variables tal como las conocemos hoy en da - Distingui constante de variable - Distingue Ley de Regla - Distingue lenguaje de metalenguaje GIUSEPPE PEANO - Formul el Latn sin flexiones - Fue quin dio el nombre de lgica matemtica a la lgica - Propuso el uso de puntos auxiliares en lugar de los smbolos de agrupacin POCA CONTEMPORNEA BERTRAND RUSSELL - Las matemticas pueden reducirse a una rama de la lgica

L. WITTGESTEIN - Concibi la filosofa como un anlisis conceptual y lingstico, de lo ms complejo a lo ms sencillo (representacin de hechos) - Ideo la tabla o matriz de verdad JAN LUKASIEWICZ - Se ocup de la lgica de sentencias plurivalentes (aporte a la lgica modal) - Desarroll un cuerpo de conocimientos sobre historia de la lgica ALFRED TARSKI - Estudi las significaciones de los juicios y conceptos de la lgica - Dice: Cada enunciado demostrable es verdico pero cada enunciado verdico no necesariamente es demostrable KURT GDEL - Establece el teorema: Cualquier sistema simblico formal puede construir una proposicin que no se puede probar ni refutar en el mismo sistema GEORGE VON WRIGHT - Aporta el anlisis a y formalizacin de conceptos que forman proposiciones expresivas y directivas (lgica dentica) FRANCISCO MIRO QUEZADA - Busca la reivindicacin de la exactitud en el planteamiento de los problemas filosficos (La lgica como instrumento racional)

Autoevaluacin
1) El fundador de la lgica fue: a. Aristteles. b. Pedro Abelardo. 2) La lgica moderna se caracteriza por: a. Seguir al pie de la letra el planteamiento de Aristteles. b. Utilizar un lenguaje simblico similar al de las matemticas.

I.E.P, NUESTRA SEORA DE GUADALUPE - MIRAMAR