Introduccin

La evolucin de la lgica est intrnsecamente ligada a la evolucin intelectual del

ser humano, ya que como ciencia del razonamiento, su historia representa la
historia misma del hombre. La lgica surge desde el primer momento en que el
hombre, al enfrentar a la naturaleza, infiere, deduce y razona, con el nimo de
entenderla y aprovecharla para su supervivencia
Platn
Platn (427-347 AC) intenta instaurar en Siracusa una utpica repblica dirigida por
filsofos, y crea la Academia en Atenas, que no era solo una institucin filosfica,
sino serva de formacin poltica a los jvenes de la aristocracia. Segn muchos
crticos, Platn edifica su teora del conocimiento para justificar el poder
preeminente del filsofo y parte de los pensamientos socrticos: la bsqueda de
conceptos y definiciones estables de las ideas abstractas (justicia, bondad, valor,
etc.). Sostuvo la existencia de dos mundos distintos (el de las ideas y el de las
cosas). Segn Platn, lo concreto se entiende slo en funcin de lo abstracto,
resultando que el mundo sensible debe su existencia al mundo de las ideas. Platn
escogi el dilogo como su forma literaria para verter su pensamiento; como
personaje central de sus ''Dilogos'' sita a Scrates, de quien recibi una notable
influencia.
Aristteles
Los tratados de lgica de Aristteles (384-332 a.C.), conocidos como rganon,
contienen el primer tratamiento sistemtico de las leyes de pensamiento en
relacin con la adquisicin de conocimiento. Estos representan el primer intento de
establecer a la lgica como ciencia. Aristteles da una clasificacin de todos los
conceptos o nociones (sustancias, cantidad, relacin, accin, pasin, diferencia,
propiedad y accidente) y trata las reglas del razonamiento silogstico. Aristteles no
hace de la lgica una disciplina metafsica, pero si establece una correspondencia
entre el pensamiento lgico y la estructura ontolgica.
El silogismo fue adoptado por los escolsticos (representantes del sistema
teolgico-filosfico, caracterstico de la Edad Media) quienes la enriquecieron con
numerosos y detallados estudios y se esforzaron en formalizarlo. La escolstica, sin
embargo, acab por sobrecargar la teora del silogismo, lo que acarre su
descrdito a partir del Renacimiento.
Euclides
Este matemtico alejandrino public numerosas obras entre las que destacan los
clebres ''Elementos'', sin duda el texto matemtico ms conocido a lo largo de la
historia. Los ''Elementos'' estn divididos en trece libros y constituyen una
recopilacin de gran parte de las matemticas conocidas en tiempos de Euclides; su
gran valor reside en el uso riguroso del mtodo deductivo, distinguiendo entre
principios (definiciones, axiomas y postulados) y teoremas, que se demuestran a
partir de los principios. Los principios de naturaleza puramente geomtrica en
''Elementos'' se conocen como postulados; tres de ellos aseguran la existencia y
unicidad de la recta determinada por dos puntos; el cuarto, la existencia de una
circunferencia de centro y radio dados; y el quinto da condiciones que aseguran que
dos rectas se cortan en un punto. A lo largo de la historia se ha mantenido la
sospecha de que el quinto postulado era demostrable a partir de los anteriores. El
deseo de encontrar tal demostracin condujo, en el siglo XIX, a la construccin de
geometras no euclidianas de las que se deduce la imposibilidad de demostrar el
quinto postulado.

La ciencia matemtica
Despus de declinar la escuela clsica de los griegos, se presenta un periodo en el
cual la autoridad religiosa embruteci a la creatividad intelectual. El renacimiento
inicia una nueva era en la cual se permite la revitalizacin de la ciencia y las
matemticas. Los representantes ms destacados de esta etapa son Descartes,
Newton y Leibniz. Este periodo abarca de los 1500 a los 1800
Ren Descartes
El punto de partida de este filsofo y matemtico francs (1596-1650) es la duda
universal, que consiste de prescindir de cualquier conocimiento previo que no
queda confirmado por la evidencia con que ha de manifestarse el espritu.
Descartes dud 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. Este desarrollo es importante para la ciencia porque hace a la
geometra cuantitativa y permite el uso de mtodos algebraicos. La geometra debe
ser cuantitativa para ser usada en la ciencia e ingeniera, y los mtodos algebraicos
permiten el desarrollo ms rpido que los mtodos sistemticos (ms rigurosos)
requeridos por el enfoque axiomtico de la geometra clsica.
Isacc Newton
A Isacc 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.
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 (un lenguaje puramente formal). Como
matemtico, su principal trabajo (publicado en 1684) es la memoria intitulada
''Nuevo mtodo para la determinacin de los mximos y los mnimos'', en el que
expone las ideas fundamentales del clculo infinitesimal, anticipndose unos aos a
Newton.
Formalizacin de las Matemticas
Esta etapa se caracteriza por el resurgimiento de la formalizacin rigurosa de las
matemticas, que en la etapa clsica griega fue representativa. El uso de los
infinitesimales fue una de las prcticas ms notoria en la poca renacentista, para
la cual no se ofreca una justificacin. La rigorizacin del anlisis llego con la
eliminacin de los infinitesimales y la presencia de los lmites como argumento. En
este periodo se crea la lgica simblica, la escuela formal, la lgica booleana, el
clculo proposicional, la induccin matemtica, el clculo de secuentes. Personajes
muy notables de esta etapa son: Peano, Hilbert, Frege, Boole, de Morgan, Gentzen,
Russell, Gdel y Whitehead. A Rusell y Gdel se deben los planteamientos de las
limitantes de la lgica y de la ciencia en general.
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.

David Hilbert
El matemtico alemn David Hilbert (1862-1943) fue un enconado defensor de la
axiomtica como enfoque principal de los problemas cientficos, esto es, de partir
de un conjunto cerrado e inamovible de premisas para construir la base
fundamental de cualquier estudio. A partir de las fuentes griegas de Euclides,
public en 1899 su obra ''Fundamentos de Geometra'', en la que mediante un
exhaustivo anlisis y perfeccionamiento de las ideas euclidianas, formul sus
principios de axiomatizacin. Segn sus teoras, es necesario establecer un
conjunto de postulados bsicos antes de plantear de modo ms detallado cualquier
tipo de problema fsico o matemtico.
Friedrich G. Frege
Junto con Boole y Peano, el matemtico y lgico Friedrich G. Frege (1848-1925)
inicio la corriente de pensamiento que, partiendo del anlisis de los fundamentos de
la matemtica, llev a cabo la ms profunda renovacin y desarrollo de la lgica
clsica. Fue 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) aplic el clculo matemtico a la
lgica, fundando el lgebra de la lgica, que en cierto modo realiza el sueo de
Leibniz de una ''characteristica universalis'' o clculo del raciocinio. El empleo de
smbolos y reglas operatorias adecuadas 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).
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 hizo su ms grande contribucin como reformador de la
lgica.
Georg F. Cantor
Al matemtico alemn Georg F. Cantor (1845-1918) 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.
Gentzen
El alemn Gentzen (1909-1945) formul la prueba de la consistencia de un sistema
de aritmtica clsica, en el cual el mtodo no elemental es una extensin de
induccin matemtica a partir de una secuencia de nmeros naturales a un cierto
segmento de nmeros ordinales transfinitos.

Bertrand Rusell
Bertrand Rusell (1872-1970) es uno de uno de los creadores de la logstica y uno de
los pensadores de mayor influencia en la filosofa cientfica contempornea. Lo
fundamental de su obra est en sus aportes a la lgica. Decididamente
antiaristotlico, lleg a afirmar que quien quera iniciarse en la lgica deba
comenzar por no estudiar la lgica de Aristteles. Por influencia de los trabajos de
Cantor descubri en la teora de conjuntos varias paradojas que resolvi mediante
la teora de los tipos; aos ms tarde establecera una teora similar, la de la
jerarqua de los lenguajes, para eliminar las paradojas semnticas. Siguiendo los
trabajos de Cantor, Peano y Frege, Rusell se propuso fundamentar y axiomatizar la
matemtica a partir de conceptos lgicos. Este empeo culmin con la publicacin
(1910-1913) de los monumentales ''Principia Mathematica'' (en colaboracin con
Whitehead), obra que, adems, sentaba las bases de la moderna lgica formal.
Kurt Gdel
Kurt Gdel (1906-1978) tuvo mltiples contribuciones a la lgica matemtica,
destacando la demostracin de la consistencia de la hiptesis cantoriana del
continuo y el teorema y la 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.
La Revolucin Digital
Esta revolucin inicio con la invencin de la computadora digital y el acceso
universal a redes de alta velocidad. Turing une a la lgica y la computacin antes
que cualquier computadora fuera inventada. Weiner funda la ciencia de la
ciberntica. En la escuela moderna de la computacin estn presentes lgicos que
han permitido avances importantes: Hoare presenta un sistema axiomtico de los
sistemas de programacin y Dijkstra un sistema de verificacin y deduccin de
programas a partir de especificaciones.
Alan Turing
Matemtico y lgico quien fue pionero en la teora de la computacin y contribuy
en importantes anlisis lgicos de los procesos computacionales. Las
especificaciones para la computadora abstracta que l ide (llamada la Mquina de
Turing) result ser una de sus ms importantes contribuciones a la teora de la
computacin. Turing adems prob que es posible construir una mquina universal
que con una programacin adecuada podr hacer el trabajo de cualquier mquina
diseada para resolver problemas especficos. Alan Turing invent la mquina que
lleva su nombre (Mquina de Turing) en un intento por determinar si toda la
matemtica podia ser reducida a algn tipo simple de computacin. Su objetivo fu
desarrollar la mquina ms simple posible capaz de realizar computacin. La
mquina propuesta por Turing es un dispositivo relativamente simple, pero capaz de
realizar cualquier operacin matemtica.
Norbert Weiner
El cientfico norteamricano Norbert Weiner (1894-1964) en 1947 publica su libro
ms famoso: ''Ciberntica, o control y comunicacin en el animal y la mquina''; en
donde se utiliza por primera vez la palabra Ciberntica. Existen muchas definiciones
de Ciberntica (del griego kybernetes, piloto), Norbert Weiner dio vida a la palabra
mediante una definicin muy simple: ''Ciencia que estudia la traduccin de los
procesos biolgicos a procesos de mquina''. En un inicio, la Ciberntica estaba muy
ligada a ciencias como neurologa, biologa, robtica e inteligencia artificial.

Alfred Tarski
Matemtico y lgico polaco nacido en 1902, quien realizo importantes estudios de
lgebra en general, teora de mediciones, lgica matemtica, teora de conjuntos, y
metamatemticas.

Lgica Matemtica:
La lgica matemtica es una parte de la lgica y la matemtica, que consiste en el
estudio matemtico de la lgica, y en la aplicacin de dicho estudio a otras reas de
la matemtica y de las ciencias. La lgica matemtica tiene estrechas conexiones
con las ciencias de la computacin y la lgica filosfica.
La lgica matemtica estudia los sistemas formales en relacin con el modo en el
que codifican o definen nociones intuitivas de objetos matemticos
como conjuntos, nmeros, demostraciones, y algoritmos, utilizando un lenguaje
formal.
La lgica matemtica no es la lgica de las matemticas sino la matemtica de
la lgica.

Proposicin:
Una proposicin es una oracin con valor referencial o informativo, de la cual se
puede predicar su veracidad o falsedad, es decir, que puede ser falsa o verdadera
pero no ambas a la vez
TIPOS DE PROPOSICIONES:

Proposiciones Simples:

Son aquellas que no tienen oraciones componentes afectadas por negaciones (no)
o trminos de enlace como conjunciones (y), disyunciones (o) o implicaciones
(si. . . entonces). Pueden aparecer trminos de enlace en el sujeto o en el
predicado, pero no entre oraciones.

Proposiciones Compuestas:

Una proposicin ser compuesta si no es simple. Es decir, si est afectada por

negaciones o trminos de enlace entre oraciones componentes.

Propiedades de lgica matemtica:

1.- Equivalencia
pp
2.- Indepotencia
ppp
pvpp
3.- Asociativa
p v q v r (p v q) v r p v (q v r)
p q r (p q) r p (q r)
4.- Conmutativa
pqqp
pvqqvp
5.- Distributivas
p (q v r) (p q) v (p r)
p v (q r) (p v q) (p v r)

Cuantificador:
En lgica matemtica, teora de conjuntos y matemticas en general,
los cuantificadores son smbolos utilizados para indicar cuntos o qu tipo
de conjunto dado cumplen con cierta propiedad (por
ejemplo, pertenencia, equivalencia u orden). Existen muchos tipos de
cuantificadores, entre los ms utilizados estn:
Cuantificador universal
Para todo x, y...
Cuantificador existencial
Existe al menos un x, y...
Cuantificador existencial nico
Existe exactamente un x, y...
Negacin del cuantificador existencial
No existe ningn x, y...

Circuitos lgicos:

Ejemplo de la aplicacin de las propiedades de lgica matemtica:

Bibliografa:

http://es.wikipedia.org/wiki/L%C3%B3gica_matem%C3%A1tica
http://lgicaepn.blogspot.com/2011/12/logica-matematica.html
http://lgicaepn.blogspot.com/2011/12/leyes-del-algebra-deproposiciones.html
http://www.unicauca.edu.co/matematicas/eventos/log&co/MATERIAL/Elemen
tos_Logica/Textos/Biblioteca/Libros/Libro_020/Breve_Historia_de_la_Logica.ht
m
http://es.wikipedia.org/wiki/Cuantificador
Libro de fundamentos de matemticas. (Ing. Jos Luis Toro. EPN)
https://www.google.com.ec/search?
q=tabla+de+verdad+ejemplo&biw=1366&bih=623&source=lnms&tbm=isc
h&sa=X&ei=r1knVcDxBcaKsAWEx4GIAw&ved=0CAYQ_AUoAQ#imgrc=DlLG
m1GaPgamVM%253A%3BicglwOfALVpnkM%3Bhttp%253A%252F
%252F3.bp.blogspot.com%252F_5MBjaUDlp-s%252FTCTbxZ4Dg4I
%252FAAAAAAAAADk%252FoLb8lsPAJd4%252Fs1600%252FLERO.png
%3Bhttps%253A%252F%252Fericmat.wordpress.com
%252F2010%252F06%252F17%252Fproposiciones-conjuncionesdisyunciones-implicaciones%252F%3B688%3B242
https://angelarendon.wordpress.com/2011/10/20/3-1-1-concepto-deproposicion-2/