Académique Documents
Professionnel Documents
Culture Documents
La lgica es
una ciencia
la demostracin e inferencia
formal que
vlida.
estudia
La
los
palabra
principios
deriva
de
del griego
que
su
vez
viene
de (logos),
palabra,
Introduccin:
Edad Antigua
originalmente
en
tres
civilizaciones
de
la historia
como concepto,
la proposicin,
En
su
comentarios
las
obras
recibidas,
siendo
los
ms
Edad Media
Averroes, uno de los principales rabes en rescatar la lgica aristotlica y
regresarla a Occidente. Con el nombre de Dialctica en la Edad Media la Lgica
mantiene la condicin de ciencia propedutica. As se estudia en la estructura
de las enseanzas del Trivium como una de las artes liberales pero sin
especiales aportaciones en la Alta Edad Media.
En su evolucin hacia la Baja Edad Media son importantes las aportaciones
rabes
de Al-Farab;Avicena y Averroes,
pues
fueron
los
rabes
quienes
especialmente
de Boecio y Porfirio.
el rganon de
La parva
Aristteles
logicalia puede
ser
los
comentarios
considerada
como
Edad Moderna
Un nuevo enfoque adquiere esta lgica en las interpretaciones racionalistas
de Port Royal, en el siglo XVII, (Antoine Arnauld; Pierre Nicole) pero tampoco
supusieron un cambio radical en el concepto de la Lgica como ciencia.
Los filsofos racionalistas, sin embargo, aportaron a travs del desarrollo
del anlisis y su desarrollo en las matemticas (Descartes, Pascal y Leibniz) los
temas que van a marcar el desarrollo posterior. Son de especial importancia la
idea de Descartes de una Mathesis universalis20 y de Leibniz en la bsqueda de
un lenguaje universal, especificado con precisin matemtica sobre la base de
que
la sintaxis de
posible
como individuos o
estar
en
correspondencia con
elementos metafsicos,
lo que
el
descubrimiento de la verdad.
Aparecen los primeros intentos y realizaciones de mquinas de clculo,
(Pascal, Leibniz) y, aunque su desarrollo no fue eficaz, sin embargo la idea de
una Mathesis
Universal o
Caracterstica
Universal,
es
el
antecedente
de
investigar
los conceptos
lgica
acaba
situndose
en
un
Espritu
24
produce
en
sus
el
determinaciones
devenir de
la Idea del
como concepto y
Absoluto
como
la contradiccin en
tres
La epistemologa y
momentos
la ontologa van
sucesivos, tesis-anttesis-sntesis.
unidas
expuestas
en
la Filosofa
Siglo XIX
A partir de la segunda mitad del siglo XIX, la lgica sera revolucionada
profundamente. En 1847, George Boole public un breve tratado titulado El
anlisis matemtico de la lgica, y en 1854 otro ms importante titulado Las
leyes del pensamiento. La idea de Boole fue construir a la lgica como
un clculo en el que los valores de verdad se representan mediante el 0
(falsedad)
el
(verdad),
los
que
se
les
aplican operaciones
Sanders
Peirce y Ernst
Schrder tambin
hicieron
importantes
contribuciones.
Sin embargo, la verdadera revolucin de la lgica vino de la mano de Gottlob
Frege, quien frecuentemente es considerado como el lgico ms importante de
la historia, junto con Aristteles. En su trabajo de 1879, la Conceptografa,
Frege ofrece por primera vez un sistema completo de lgica de predicados.
Tambin desarrolla la idea de un lenguaje formaly define la nocin de prueba.
Estas ideas constituyeron una base terica fundamental para el desarrollo de
las computadoras y las ciencias de la computacin, entre otras cosas. Pese a
esto, los contemporneos de Frege pasaron por alto sus contribuciones,
probablemente a causa de la complicada notacin que desarroll el autor. En
1893 y 1903, Frege publica en dos volmenes Las leyes de la aritmtica, donde
intenta deducir toda la matemtica a partir de la lgica, en lo que se conoce
como
el proyecto
logicista.
Su
sistema,
sin
embargo,
contena
una
Siglo XX
El siglo XX sera uno de enormes desarrollos en lgica. A partir del siglo XX, la
lgica pas a estudiarse por su inters intrnseco, y no slo por su virtud como
propedutica, por lo que estudi a niveles mucho ms abstractos.
En
1910, Bertrand
Russell y Alfred
North