Logica Clasica y Moderna

Ministerio De Educación
Dirección Regional De San Miguelito
Las Cumbres Y Chilibre
Centro Educativo Monseñor Francisco Beckman

Por
Juan Ramos
Jorge Caballero
Karina Morales
Gabriel Hernández


Tema
La Lógica A Través Del Tiempo

Asignatura
Lógica Y Filosofía

Facilitadora
Agmar

Grupo
XIII C10

Fecha
16/4/15
Introducción
El siguiente trabajo ha sido elaborado con el fin de explicar eldesarrollo y aplicación de la lógica a través de la historia, enfocándonos en dos periodos en especial, el periodo de la lógica clásica y el periodo de la lógica moderna.
Esperamos sea de su agrado y sea lo esperado.

Tabla de contenido
Desarrollo 4
¿Qué es la lógica clásica? 4
Lógica Moderna o Simbólica 6
Infografía 7
Anexo 8



Desarrollo
Para empezar definiremos la lógica. La lógica es una cienciaformal que estudia los principios de la demostración e inferencia válida. Al pasar del tiempo esta tiene dos clasificaciones importantes, la lógica clásica, que es aquella que inicia con los aportes de Aristóteles y termina en los años 30 del siglo XX, también tenemos la lógica moderna, que empieza en los años 60 del siglo XIX, la cual tiene sus bases en los símbolos.
Ahora las detallaremos másprofundamente.

¿Qué es la lógica clásica?
Según algunos la lógica clásica estaría constituida por un conjunto de cálculos lógicos equivalentes al cálculo presentado por Bertrand Russell y Alfred N. Whitehead en sus Principia Mathematica (1910-1913). Otro punto de vista es el que dice que la lógica clásica es aquella que se desarrolla desde Aristóteles hasta las aportaciones de Alfred Tarski, haciamediados de los años 30 del siglo XX. Cualquiera de las dos definiciones nos viene bien, pues resulta que todos los sistemas lógicos a los que llamamos “lógica clásica” comparten la propiedad de ser equivalentes al cálculo de Principia y, a su vez, todos ellos son producto y han nacido gracias a las aportaciones realizadas por los lógicos desde Aristóteles a Tarski. Dicho esto, pasamos a profundizaren la lógica clásica.
Características de los cálculos que constituyen la lógica clásica
Varios son los cálculos que caen bajo el dominio de la lógica clásica, pero entre ellos destacan la lógica proposicional, la lógica de predicados de primer orden y la lógica de predicados de segundo orden. Todos ellos comparten una serie de características comunes, las cuales a continuación enumeramos.
1. Sonlógicas bivalentes, esto es, solo operan con dos valores de verdad: verdadero y falso.
2. Todas ellas se basan en el principio de identidad, el de no contradicción, en el principio del tercero excluido y en el principio de explosión (ex falso quodlibet).
3. Son, como hemos dicho, equivalentes al cálculo de Principia y, por lo tanto, equivalentes entre sí.
Proceso de formación de la lógica clásicaLa lógica clásica, los sistemas lógicos a los que clasificamos como tal, no nació como un corpus cerrado, sino que se fue construyendo a lo largo de la historia. Así, la lógica clásica nace con Aristóteles, con su teoría del silogismo categórico, expuestas en los Primeros analíticos. Allí el estagirita introduce de forma implícita las nociones que van a constituir esta ciencia, a saber, lasnociones de validez, la de deducción y la de inferencia.
Por su parte, los lógicos megáricos y estoicos identificaron las conectivas y algunas reglas de inferencia, dándole el primer empujón de la historia al cálculo deductivo. Destaca la introducción del antepasado de nuestro condicional material, en aquel entonces conocido como condicional filónico, y la del antepasado de nuestra implicación estricta,llamado en aquella época condicional diodórico. También introdujeron las reglas de inferencia asociadas al condicional material: Modus Ponens y Modus Tollens.
Tras los avances de los lógicos estoicos y de los megáricos, la lógica queda estancada, salvo por la teoría de la consequentia desarrollada durante la Edad Media, sobre todo a partir de Boecio. Ya en el siglo XVII Leibniz publica Ars...