Mayores Representantes de la Lgica.

Aristteles: Aristteles es ampliamente

reconocido como el padre fundador de la
lgica. Sus trabajos principales sobre la
materia, que tradicionalmente se agrupan
bajo el nombre rganon(herramienta),
constituyen la primera investigacin
sistemtica acerca de los principios del
razonamiento vlido o correcto. La
nocin central del sistema lgico de
Aristteles es el silogismo (deduccin).
Un silogismo es un discurso (logos) en el
cual, establecidas ciertas cosas, resulta
necesariamente de ellas, por ser lo que
son, otra cosa diferente. Aristteles
construy la primera teora de la
inferencia vlida. Conocida como la
silogstica.
Euclides: Se le conoce como "El Padre
de la Geometra". La geometra de
Euclides, adems de ser un poderoso
instrumento de razonamiento deductivo,
ha sido extremadamente til en muchos
campos del conocimiento; por ejemplo,
en la fsica, la astronoma, la qumica y
diversas ingenieras. La suma de los
ngulos interiores de cualquier tringulo

..metalogica:
la metalgica es una
disciplina que tiene por
objeto de estudio a la
lgica misma: se trata de
una metadisciplina, una
disciplina que estudia otra
disciplina.
En este sentido, por

es 180.En un tringulo rectngulo el

cuadrado de la hipotenusa es igual a la
suma de los cuadrados de los catetos,
que es el famoso teorema de Pitgoras.
Ren Descartes: En general se
considera a Descartes como el padre de
la filosofa moderna. Este juicio se
justifica, principalmente, por su decisin
de rechazar las verdades recibidas, p. ej.,
de la escolstica, combatiendo
activamente los prejuicios. Y tambin, por
haber centrado su estudio en el propio
problema del conocimiento, como un
rodeo necesario para llegar a ver claro en
otros temas de mayor importancia
intrnseca (la moral, la medicina y la
mecnica). Descartes considera que
aunque la lgica tena muchas reglas
vlidas, en general stas son intiles,
puesto que, como afirma en las Reglas
para la direccin del espritu, la
capacidad de razonar es bsica y
primitiva, y nadie puede ensernosla.
Isaac Newton: entre los que destaca la
ley del inverso del cuadrado de la
gravitacin,

ejemplo, la no
contradictoriedad se
denomina en un sistema
formal consistencia. De
modo que la pregunta
sobre si la lgica es
consistente es propia de
la metalgica.
Asimismo, es posible

Las lgicas polivalentes

La lgica polivalente hace referencia a sistemas
formales con ms de dos valores, de ah que
reciba el nombre de lgica no-clsica o lgica
no-Aristotlica, guiados, sin duda, quienes le
aplican este ltimo calificativo,
por el famoso pasaje antes citado de De
Interpretatione, si bien tal denominacin a decir
de Lukasiewicz {considerac. Filosof. sobre la
lg. poliv. p. 83) no es correcta,
dado que fue precisamente Aristteles en la obra

analizar aspectos
semnticos de la lgica
(por ejemplo de la lgica
de orden uno) y en ese
sentido la reflexin sobre
el significado de las
conectivas lgicas ser un
asunto de la metalgica, o
de los metalgicos.

mencionada (Cap. IX) el primero que puso en

tela de
juicio la ley de bivalencia por lo que se refiere a
cierto tipo de Xoyoc airo'fai'nKoi
(proposiciones, en nuestro
lenguaje) cuales son las que se refieren a futuros
contingentes como es si maana habr una
batalla naval
para seguir el ejemplo de Aristteles.

La lgica intuicionista,
o lgica
constructivista, es el
sistema lgico
originalmente
desarrollado por Arend
Heyting para proveer
una base formal para el
proyecto intuicionista
de Brouwer. El sistema
enfatiza las pruebas, en
vez de la verdad, a lo
largo de las

transformaciones de las
proposiciones.
La lgica intuicionista
rechaza el principio del
tercero excluido, pero
conserva el principio de
explosin. Esto se debe
a una observacin de
Brouwer de que si
enfatizamos las pruebas
en vez de la verdad,
entonces en los

Lgica combinatoria
La teora, a causa de su
simplicidad, captura las
caractersticas esenciales de la
naturaleza del cmputo. La lgica
combinatoria (LC) es el
fundamento del clculo lambda, al
eliminar el ltimo tipo de variable
de ste: la variable lambda. En
LClas expresiones lambda (usadas
para permitir la abstraccin
funcional) son substituidas por un
sistema limitado de combinadores,

conjuntos infinitos el
principio del tercero
excluido falla cuando se
aplica a una proposicin
para la que no existe
demostracin ni de su
verdad ni de su
falsedad. En los
conjuntos finitos
siempre es posible
verificar si una
proposicin es cierta

las funciones primitivas que no

contienen ninguna variable libre
(ni ligada). Es fcil transformar
expresiones lambda en
expresiones combinatorias, y
puesto que la reduccin de un
combinador es ms simple que la
reduccin lambda, LCse ha
utilizado como la base para la
puesta en prctica de algunos
lenguajes de programacin
funcionales no-estrictos en
software y hardware