CICLO 2012-II Mdulo:2

Unidad 1:

Semana:1

LGICA

Mg.SOSIMO MISAEL POMA GONZALES

 "Antes del pensamiento que aspira a una coherencia lgica

hallamos fe en una u otra magia".
Introduccin
El nacimiento de la lgica propiamente dicho est directamente
relacionado con el nacimiento intelectual del ser humano. La lgica
emerge como mecanismo espontneo en el enfrentamiento del
hombre con la naturaleza, para comprenderla y aprovecharla.
Poncair destaca cinco etapas o revoluciones en ese proceso que se
presentan entre dos grandes tpicos: del rigor y la formalidad, a la
creatividad y el caos. Las etapas se identifican como: Revolucin
Matemtica, Revolucin Cientfica, Revolucin Formal y
Revolucin Digital adems de la prxima y prevista Revolucin
Lgica.

 Lgica Matemtica
La lgica matemtica cuestiona con rigor los conceptos y las
reglas de deduccin utilizados en matemticas lo que convierte
la lgica en una especie de metamatemtica. Una teora
matemtica considera objetos definidos -enteros, por ejemplo- y
define leyes que relacionan a estos objetos entre s, los axiomas
de la teora. De los axiomas se deducen nuevas proposiciones
-los teoremas-, y a veces, nuevos objetos. La construccin de
sistemas formales -formalizacin, piedra angular de la lgica
matemtica-, permite eliminar la arbitrariedad en la eleccin de
los axiomas y definir explcita y exhaustivamente las reglas de
la deduccin matemtica.

Las matemticas y la lgica

Del ao 600 aC hasta 300 aC se desarrollan en
Grecia los principios formales de las matemticas.
Este periodo clsico lo protagonizan Platn,
Aristteles y Euclides. Platn propone ideas o
abstracciones. Aristteles resuelve el razonamiento
deductivo y sistematizado. Euclides es el autor que
establece el mtodo axiomtico. En los Elementos
Euclides organiza las pruebas deductivas de que
dispone dentro de una estructura sistemtica,
rigurosa, altamente eficaz.

Platn

Platn, 427aC - 347 AC, propone instaurar en Siracusa una

utpica repblica dirigida por filsofos. Crea la Academia de
Atenas que no era solo una institucin filosfica, sino centro
de formacin poltica para jvenes aristcratas. Segn algunos
especialistas, Platn edifica su teora del conocimiento con el
fin de justificar el poder emergente de la figura del filsofo.
Sostiene la existencia de dos mundos -el mundo de las ideas y
el de mundo fsico de los objetos. Segn Platn, lo concreto
se percibe en funcin de lo abstracto y por tanto el mundo
sensible existe gracias al mundo de las ideas. Platn escoge el
formato dilogo como forma de transmisin del pensamiento.

Aristteles
Los tratados de lgica de Aristteles, 384aC 332 aC, conocidos como Organn, contienen
el primer tratado sistemtico de las leyes de
pensamiento para la adquisicin de
conocimiento. Representan el primer intento
serio que funda la lgica como ciencia.
Aristteles no hace de la lgica una disciplina
metafsica sino que establece correspondencias
recprocas entre

 pensamiento lgico y estructura ontolgica. El silogismo fue

adoptado por los escolsticos que representan el sistema
teolgico-filosfico, caracterstico de la Edad Media. La
escolstica, sin embargo, acab por sobrecargar la teora del
silogismo, lo que acarre su descrdito a partir del Renacimiento.
Los lgicos de la edad moderna como Rame, Arnauld, Nicole,
Leibniz, Euler, y Lambert procuraron simplificarla al mximo, y
su tratamiento matemtico se complet hasta principios del siglo
XX con Boole, De Morgan, Frege y Russell. Desde entonces el
silogismo se incluye en la lgica de predicados de primer orden y
en la lgica de clases, y ocupa en la ciencia lgica un papel
mucho menor que en otros tiempos.

Apolonio de Perga
La obra sobre curvas cnicas de Apolonio de
Perga, un gemetra de la poca helenstica-,
inicialmente dirigido a euclidianos exquisitos,
se convirti en manual para balsticos del
Renacimiento como Tartaglia y, poco despus,
en base inmediata de la dinmica newtoniana.

Euclides
Matemtico alejandrino autor de la universal obra, los clebres
Elementos. Uno de los textos matemticos ms relevantes de la
historia del pensamiento cientfico hasta del siglo XIX. Los
Elementos estn divididos en XIII Libros y constituyen la
recopilacin ms exhaustiva de las matemticas conocidas en el
ao 300 aC. Su valor universal lo propaga el uso riguroso del
mtodo deductivo que distingue entre principios -definiciones,
axiomas y postulados-, y teoremas, que se demuestran a partir de
los principios. A lo largo de la historia se mantuvo la sospecha de
que el quinto postulado era demostrable a partir de los anteriores.
El deseo de resolver tal hiptesis ocupa hasta el siglo XIX con la
construccin de las geometras no euclidianas y se deduce con
ellas la imposibilidad de demostrar el quinto postulado

La lgica elemental se divide en:

lgica de enunciados
lgica de predicados
Ambas utilizan un lenguaje propio artificial o formalizacin de un
lenguaje natural que permite analizar las proposiciones del lenguaje
natural.
El cometido de la lgica clsica elemental es determinar si nuestros
razonamientos, independientemente de su contenido, son correctos
o incorrectos.
Por razonamientos (o argumentos) se entiende un conjunto de
proposiciones de tal manera que, una de las cuales, denominada
conclusin del razonamiento, pueda presentarse como consecuencia
de las dems proposiciones, llamadas premisas del razonamiento.

 En la lgica de enunciados la unidad mnima es el

enunciado, es decir, un segmento lingstico que tiene
sentido completo por s mismo:
Esta fiesta es muy divertida
Esta fiesta es muy divertida y la msica es muy buena

Para que un enunciado sea tal, tiene que poder

atribursele valores de verdad o falsedad.
En el caso de las dos oraciones anteriores, la verdad o
falsedad habr de determinarse empricamente,
comprobando si, de hecho, la fiesta es divertida y buena
la msica. En este caso, adems, la dificultad es an
mayor ya que se trata de una afirmacin subjetiva.

Ren Descartes
Filsofo y matemtico francs, 1596-1650, parte de la duda universal como
principio y prescinde de cualquier conocimiento previo que no quede
demostrado por la evidencia con que ha de manifestarse el espritu.
Descartes duda de toda enseanza recibida, de todo conocimiento
adquirido, del testimonio de los sentidos e incluso de las verdades de orden
racional. Llegado a este punto, halla una verdad de la que no puede dudar:
la evidencia interior que se manifiesta en su propio sujeto (pienso, luego
existo). Como cientfico, se debe a Descartes, entre otras aportaciones de
considerable importancia, la creacin de la geometra analtica a la vez que
aporta un corpus cuantitativo al asunto y permite el uso de mtodos
algebraicos. La geometra exige ser cuantitativa para ser usada en ciencia e
ingeniera, y los mtodos algebraicos permiten el desarrollo ms rpido que
los mtodos sistemticos -a su vez ms rigurosos- requeridos por el enfoque
axiomtico de la geometra clsica. Ubi dubium ibi libertas, donde hay
duda hay libertad.

Isaac Newton
A Isaac Newton , 1642-1727, se le debe el
descubrimiento de la gravitacin universal, el
desarrollo del clculo infinitesimal e
importantes descubrimientos sobre ptica, as
como las leyes que rigen la mecnica clsica
que alimentara el nacimiento de la mecnica
cuntica. Su obra fundamental, Principios
matemticos de la filosofa natural (1686).

Gottfried W. Leibniz
Filsofo y matemtico alemn, 1646-1716; fund la Academia de
Ciencias de Berln, 1700. En Discurso sobre el arte combinatorio
enuncia la necesidad de un lenguaje riguroso, exacto y universal
puramente formal. Como matemtico, su principal trabajo
publicado en 1684 es la memoria Nuevo mtodo para la
determinacin de los mximos y los mnimos, en la que expone
las ideas fundamentales del clculo infinitesimal, anticipndose
unos aos a Newton. La notacin que emple es particularmente
cmoda y se sigue utilizando con algunas modificaciones;
introdujo el smbolo de integral y de diferencial de una variable.
En el rea de lgica matemtica publica Generales inquisitiones
de analysi notionum et veritatum y Fundamenta calculi logici .

Georg Wilhelm Friedrich Hegel

Filsofo alemn, 1770-1831; fascinado por la
obra de Kant y de Rousseau. Autor de Ciencia
de la lgica se le atribuye con este trabajo la
constitucin de la lgica dialctica entendida
como principio motor del concepto que
disuelve y produce las particularidades de lo
universal.

Guiseppe Peano
La enunciacin de los principios del italiano
Guiseppe Peano, 1858-1932, acerca de lgica
matemtica y su aplicacin prctica quedaron
contenidos en su obra Formulaire de
mathematiques. Los axiomas de Peano
permiten definir el conjunto de los nmeros
naturales.

La ciencia matemtica
Ante el retroceso de la escuela clsica de los
griegos se presentan periodos de autoridad
religiosa. El Renacimiento es el inicio de una
nueva revolucin que revive la ciencia y las
matemticas.
Los
representantes
ms
destacados son Descartes, Newton y Leibniz.
Este periodo abarca del ao 1500dC al 1800
dC.

Friedrich G. Frege
Junto con Boole y Peano, el matemtico y
lgico Friedrich G. Frege, 1848-1925,
partiendo del anlisis de los fundamentos de la
matemtica lleva a cabo la ms profunda
renovacin y desarrollo de la lgica clsica
hasta el momento. Es el primero en introducir
los cuantificadores u operadores y en elaborar
una Teora de la Cuantificacin.

George Boole
El lgico y matemtico George Boole, 1815-1864 aplica el
clculo matemtico a la lgica, fundando el lgebra de la
lgica. En cierto modo realiza el sueo de Leibniz de una
characteristica universalis o clculo del raciocinio. El empleo
de smbolos y reglas operatorias adecuados permite
representar conceptos, ideas y razonamientos mediante
variables y relaciones (ecuaciones) entre ellas. Boole dio un
mtodo general para formalizar la inferencia deductiva,
representando complicados raciocinios mediante sencillos
sistemas de ecuaciones. As, la conclusin de un silogismo se
encuentra eliminando el trmino medio de un sistema de tres
ecuaciones, conforme a las reglas del lgebra comn

 La formalizacin de la lgica, iniciada por Boole, ha

contribuido poderosamente a aclarar la estructura de
los objetos lgicos, en contraposicin a los
materiales y aun en contraposicin a los
matemticos, pese a las analogas formales entre la
matemtica y la lgica, que Boole seal. Su obra
principal es Investigacin de las leyes del
pensamiento en las que se fundan las teoras
matemticas de la lgica y la probabilidad, 1854,
que an hoy se lee con deleite.

Augustus De Morgan
La mayor contribucin de Augustus
De Morgan (1806-1871) en el estudio de la
lgica incluye la formulacin de las Leyes de
Morgan y su trabajo fundamenta la teora del
desarrollo de las relaciones y la matemtica
simblica moderna o lgica matemtica. De
Morgan es autor de la mayor contribucin
como reformador de la lgica.

Georg F. Cantor
Al matemtico alemn Georg F. Cantor, 18451918, se debe la idea del infinito continuo, es
decir, la posibilidad de considerar conjuntos
infinitos dados simultneamente. Se le
considera el creador de la teora de los
nmeros irracionales y de los conjuntos.

Bertrand Rusell
Bertrand Rusell (1872-1970) es uno de los creadores de la
logstica y uno de los pensadores de mayor influencia en
la filosofa cientfica contempornea. Lo fundamental en
su obra es su aportacin a la lgica. Antiaristotlico por
excelencia lleg a afirmar que para iniciarse en lgica lo
bsico era no estudiar la lgica de Aristteles. Conociendo
los
trabajos
de
Cantor
descubre
en
la
Teora de Conjuntos varias paradojas que resuelve
mediante la Teora de los Tipos. Aos ms tarde establece
una teora similar, -la de la jerarqua de los lenguajes- para
eliminar las paradojas semnticas. Siguiendo adems

 de los trabajos de Cantor, a Peano y Frege,

Rusell se propone fundamentar y axiomatizar
la matemtica a partir de conceptos lgicos.
Este empeo culmina con la publicacin
(1910-1913) de los monumentales Principia
Mathematica
-en
colaboracin
con
Whitehead-, obra que, adems, sienta las bases
de la moderna lgica formal.

Kurt Gdel
Kurt Gdel (1906-1978) aporta mltiples contribuciones a la lgica
matemtica, destacando la demostracin de la consistencia de la
hiptesis cantoriana del continuo y el teorema y prueba de
incompletez semntica. En Sobre las proposiciones indecidibles de
los sistemas de matemtica formal establece que es imposible
construir un sistema de clculo lgico suficientemente rico en el
que todos sus teoremas y enunciados sean decidibles dentro del
sistema. Con este teorema se demostr definitivamente que era
imposible llevar a cabo el programa de la axiomatizacin completa
de la matemtica propugnado por Hilbert y otros, ya que, segn l,
no puede existir una sistematizacin coherente de la misma tal que
todo enunciado matemtico verdadero admita demostracin.
Siempre habr enunciados que no son demostrables ni refutables.
Para probar esta asercin se sirvi de la matematizacin de la
sintaxis lgica.

La siguiente revolucin lgica

La siguiente Revolucin Lgica incorpora la fusin entre
matemticas y computacin. Las computadoras tienden a
explorar datos inteligentemente transfiriendo informacin de las
bases de datos a las bases de conocimiento interconectadas a
travs de la Red a escala infinitesimal.
La lgica evoluciona pues como un gen hacia la culminacin del
conocimiento libre que nace del rigor formal de la Matemtica
griega; emerge renovadamente de etapas de persecucin tan
oscuras como la Edad Media y otros intentos ms recientes;
hasta el intercambio constante y continuo de datos en la moderna
era de estructura de redes que Internet proporciona a modo
neuronal a la Humanidad.

 La lgica de enunciados (o lgica proposicional), trata

del estudio de la composicin de enunciados mediante
conectores (y, o, si...entonces, etc.) y se fundamenta en el
principio de bivalencia, segn el cual, todo enunciado
es verdadero o falso, pero nunca ambas cosas a la vez..
Podemos decir, por lo tanto, que la lgica de enunciados
se dedica a formalizar las proposiciones del lenguaje
natural en un lenguaje simblico y a definir los
conectores, estudiando las leyes de combinacin o
deduccin de los enunciados que las contienen.

 En la lgica de predicados se formaliza y

estudia la oracin atendiendo a los dos
trminos que la componen: el sujeto y el
predicado.