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 comoOrgann, 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.
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.
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
4
.
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.
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.
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 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 lalgica dialctica entendida como principio motor del concepto que disuelve y produce las
particularidades de lo universal.
Nikolai I. Lobachevsky
Matemtico ruso, 1792-1856; funda la Geometra No Euclidiana y renueva por ello los fundamentos que hasta ese momento
cimentaban la ciencia de la Geometra. Lobachevsky lleva a cabo su revolucin en el planteamiento que hasta entonces
haba utilizado la ciencia Matemtica para resolver el enigma del quinto postulado de Euclides que a su vez sirve de puerta a
Lobachevsky para adentrarse en los renovados campos de lo fsico y lo real.
Formalizacin de las Matemticas
Esta etapa se caracteriza por el resurgimiento de la formalizacin rigurosa de las matemticas, que en la etapa clsica
griega fu representativa. El uso de los infenitesimales fue una de las prcticas ms notoria en la poca renacentista, para la
cual no se ofreca una justificacin. La rigorizacin del anlisis lleg 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
Matemtico alemn, 1862-1943, aporta grandes avances a campos fundamentales de la relatividad y la mecnica cuntica
con la Teora de Invariantes y el concepto de Espacio de Hilbert. A partir de las fuentes griegas de Euclides, publica en 1899
su obra Fundamentos de Geometra, en la que formula sus principios de axiomatizacin de la geometra. 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. Estos principios deben ser simblicos, sin recurrir a dibujos y representaciones grficas, y es
necesario preveer la mayora de las posibilidades con antelacin. Su concepcin reconoca tres sistemas de entes
geomtricos, puntos, rectas y planos a los que pueden aplicarse axiomas distribuidos en cinco categoras: pertenencia,
orden, igualdad o congruencia, paralelismo y continuidad.
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, 1845-1918, se debe la idea delinfinito 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 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 laTeora 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 Revolucin Digital
Esta revolucin se inicia con la invencin de la computadora digital y el acceso universal a las redes de alta velocidad. Turing
relaciona lgica y computacin antes que cualquier computadora procese datos. Weiner funda la ciencia de la Ciberntica.
En las Escuelas modernas de Computacin estn presentes Lgicos que han permitido avances importantes
como Hoare que presenta un sistema axiomtico de los sistemas de programacin y Dijkstra con un sistema de
verificacin y deduccin de programas a partir de especificaciones.
Alan Turing
Matemtico y Lgico pionero en Teora de la Computacin que contribuye a importantes anlisis lgicos de los procesos
computacionales. Las especificaciones para la computadora abstracta que l idea -conocida comoMquina de Turing-,
resulta ser una de sus ms importantes contribuciones a la Teora de la Computacin. Turing adems prueba que es posible
construir una mquina universal con una programacin adecuada capaz de hacer el trabajo de cualquier mquina diseada
para resolver problemas especficos. La Mquina de Turing es un intento para determinar si la matemtica se puede reducir
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. Turing se ilusion con la idea de que su mquina poda realizar cualquier proceso del cerebro
humano, inclusive la capacidad de producir conciencia de uno mismo.
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-, y Norbert Weiner da vida a la palabra con una definicin
simple: La Ciberntica es la ciencia que estudia la traduccin de procesos biolgicos a procesos que reproduce una mquina.
Desde los inicios la Ciberntica se relaciona directamente con ciencias como Neurologa, Biologa, Biosociologa, Robtica e
Inteligencia Artificial.
Luitzen Egbertus Jan Brouwer
Matemtico y lgico alemn (1881-1966) conocido como LEJ Brouwer y fundador de la escuela de la Lgica intuicionista
contrarrestando definitivamente el formalismo de Hilbert. Miembro del Significs Group son significativos sus trabajos Life,
Art and Mysticism (1905) y Sobre la infiabilidad de los principios lgicos.
Alfred Tarski
Matemtico y lgico y filsofo polaco (1902-1983). Emrito profesor de la University of California, Berkeley, realiza
importantes estudios sobre lgebra en general, teora de mediciones, lgica matemtica, teora de conjuntos, y
metamatemticas. El trabajo de Tarski
5
incluye respuestas a la paradoja de Banach-Tarski, el teorema de la
indefinibilidad de la verdad, las nociones de cardinal, ordinal, relacin y es inductor de las lgebras cilndricas.
Benoit Mandelbrot
El gran impulsor de la matemtica contempornea y pionero de la geometra fractal
6
a quien la computacin pura revela la
moderna Geometra de la Naturaleza. Fractal y geometra fractal son el corpus principal de sus investigaciones adems de
los sistemas irreversibles. A la prctica totalidad de disciplinas se aplican hoy sus principios dando por sentado paradigmas
como la Teora del Caos que a finales del siglo XX ya contemplaba el estudio de sistemas dinmicos, irreversibles, caticos.
La siguiente revolucin lgica
La siguiente Revolucin Lgica incorpora la fusin entre matemticas y computacin. Las computadoras tienden a explorar
datos inteligentementetransfiriendo 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.
In fieri.

Notas
1 - Henri Poincar. University of St. Andrews.
www-history.mcs.st-andrews.ac.uk
2 - Antonio Escohotado. Gnesis y Evolucin del Pensamiento Cientfico.
www.escohotado.com
3 - Cfr. Escohotado. El Pensamiento Precientfico. Tema 1.
www.escohotado.com
4 - Cfr. Las trivialidades del rigor, Escohotado, Caos y Orden, 1999.
5 - Alfred Tarski. Wikipedia.
en.wikipedia.org/wiki/Tarski
6 - Benoit Mandelbrot. Historia de las Fractales.
www.geometriafractal.com


Bibliografa Recomendada

TRACTATUS LOGICO-PHILOSOPHICUS
de WITTGENSTEIN, LUDWIG EDITORIAL TECNOS
N Edicin:1
Ao de edicin: 2007
Plaza edicin: MADRID
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 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 delconocimiento, 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, su
desarrollo de las bases de la mecnica clsica, la formalizacin del mtodo de fluxiones y la
generalizacin del teorema del binomio, poniendo adems de manifiesto la naturaleza fsica de los
colores. Newton abord el desarrollo del clculo a partir de la geometra analtica desarrollando
un enfoque geomtrico y analtico de las derivadas matemticas aplicadas sobre curvas definidas a
travs de ecuaciones. Newton tambin buscaba cmo cuadrar distintas curvas, y la relacin entre
la cuadratura y la teora de tangentes.
Gottfried W. Leibniz: l pensamiento filosfico de Leibniz aparece de forma fragmentada, ya que
sus escritos filosficos consisten principalmente en una multitud de textos cortos: artculos de
revistas, manuscritos publicados mucho despus de su muerte y gran cantidad de cartas con
personajes mltiples. Escribi nicamente dos tratados de filosofa, y el que se public durante su
vida, la Thodice de 1710, es tanto teolgico como filosfico. Tena un profundo inters por los
nuevos mtodos yconclusiones de Descartes, Huygens, Newton y Boyle, pero observaba sus
trabajos desde una perspectiva bastante influida por las nociones escolsticas. Sin embargo, sigue
siendo notable el que sus mtodos y preocupaciones anticipan con frecuencia la lgica y la
filosofa analtica y lingstica del siglo XX.
Guissepe Peano: Su primer trabajo importante, un libro de texto sobre clculo, fue atribuido a
Genocchi y publicado en 1884. Tres aos despus, Peano public su primer libro sobre lgica
matemtica. Este libro fue el primero en usar los smbolos modernos para la unin e interseccin
de conjuntos.
David Hilbert: Alrededor de 1909, Hilbert se dedic al estudio de ecuaciones diferenciales e
integrales; su trabajo tuvo consecuencias directas en partes importantes el anlisis funcional
moderno. Para poder llevar a cabo estos estudios, Hilbert introdujo el concepto de un espacio
eucldeo de infinitas dimensiones, llamado ms tarde espacio de Hilbert. Su trabajo en esta parte
del anlisis proporcion la base de importantes contribuciones a la matemtica de la fsica en las
dos dcadas siguientes, aunque en direcciones que por entonces no se podan anticipar. Ms
tarde, Stefan Banach amplific el concepto, definiendo los espacios de Banach. El espacio de
Hilbert es por s misma la idea ms importante del anlisis funcional, que creci a su alrededor
durante el siglo XX.
Gottlob Frege: Frege fue un defensor del logicismo, la tesis de que las matemticas son
reducibles a la lgica, en elsentido de que las verdades de la matemtica son deducibles de las
verdades de la lgica. Sin embargo su defensa del logicismo era de alcance limitado, aplicndola
slo a la aritmtica, puesto que Frege permaneci en gran medida kantiano respecto de la
geometra. Su obra titulada Leyes bsicas de la aritmtica (Grundgesetze der Arithmetik) fue un
intento de llevar a cabo el proyecto logicista. leg a publicar una serie de importantes artculos,
entre los cuales destaca El pensamiento: una investigacin lgica, en donde bsicamente se
examina el contenido de las proposiciones, aquella parte objetiva que es transmisible a todo
hablante en un enunciado declarativo.
George Boole: Como inventor del lgebra de Boole, la base de la aritmtica computacional
moderna, Boole es considerado como uno de los fundadores del campo de las Ciencias de la
Computacin. En 1854 public "An Investigation of the Laws of Thought" en el que desarrollaba un
sistema de reglas que le permitan expresar, manipular y simplificar problemas lgicos y filosficos
cuyos argumentos admiten dos estados (verdadero o falso) por procedimientos matemticos. Se
podra decir que es el padre de las operaciones lgicas y gracias a su lgebra hoy en da es posible
manipular operaciones lgicas.
Augustus Morgan: De Morgan se interes especialmente por el lgebra. Fue tutor de Ada
Lovelace. Escribi varias obras de lgica en las que se encuentra la idea de aplicar en esta esfera
los mtodos matemticos, as como los primerosresultados de tal aplicacin. En la moderna lgica
matemtica, llevan el nombre de De Morgan las siguientes leyes fundamentales del lgebra de la
lgica: la negacin de la conjuncin es equivalente a la disyuncin de las negaciones;
lanegacin de la disyuncin es equivalente a la conjuncin de las negaciones.
Georg Cantor: Fue un matemtico alemn, inventor con Dedekind yFrege de la teora de
conjuntos, que es la base de las matemticas modernas. Gracias a sus atrevidas investigaciones
sobre losconjuntos infinitos fue el primero capaz de formalizar la nocin de infinito bajo la forma
de los nmeros transfinitos (cardinales y ordinales).Hoy en da, la comunidad matemtica
reconoce plenamente su trabajo, y admite que significa un salto cualitativo importante en el
raciocinio lgico.
Gerhard Gentzen: introduce la nocin de sistema de deduccin natural para lgica clsica y
lgica intuicionista. Demuestra que toda prueba puede escribirse de manera normalizada sin
cortes. Para ello introduce el clculo de consecuencias lgicas o secuentes.
Bertrand Russel: Russell es reconocido como uno de los fundadores de la filosofa analtica, de
hecho, inici diversas vas de investigacin. Interesado en la definicin de nmero, Russell estudi
los trabajos de George Boole, Georg Cantor y Augustus De Morgan, mientras que en los Archivos
Bertrand Russell en la Universidad McMaster se encuentran notas de sus lecturas de lgica
algebraica por Charles Sanders Peirce y Ernst Schrder. Se convencide que los fundamentos de
matemticas seran encontrados en la lgica, y siguiendo a Gottlob Frege aplic un acercamiento
extensionista en donde la lgica a su vez se basaba en la teora de conjuntos.
Kurt Godel: El ms clebre de sus teoremas de la incompletitud establece que para todo sistema
axiomtico recursivo auto-consistente lo suficientemente poderoso como para describir la
aritmtica de los nmeros naturales (la aritmtica de Peano), existen proposiciones verdaderas
sobre los naturales que no pueden demostrarse a partir de los axiomas. Para demostrar este
teorema desarroll una tcnica denominada ahora como numeracin de Gdel, el cual codifica
expresiones formales como nmeros naturales.
Alan Turing: uring dise labombe, una mquina electromecnica llamada as en
reconocimiento de la diseada por los polacos bomba kryptologiczna que se utilizaba para
eliminar una gran cantidad de claves enigma candidatas. Para cada combinacin posible se
implementaba elctricamente una cadena de deducciones lgicas. Era posible detectar cundo
ocurra una contradiccin y desechar la combinacin. La bombe de Turing, con una mejora
aadida que sugiri el matemtico Gordon Welchman, era la herramienta principal que usaban los
criptgrafos aliados para leer las transmisiones Enigma.
Alfred Tarski: Junto con Aristteles, Gottlob Frege y Kurt Gdel, Tarski es considerado uno de los
lgicos ms grandes de todos los tiempos. De los cuatro, Tarski es uno de los mejores
matemticos, el msprolfico y el que desarrollo una actividad educativa ms intensa. Tarski
contribuy a la madurez de la lgica estndar de primer orden fundando una metodologa
conjuntista de las teoras deductivas sobre dos bases: la nocin de teora como conjunto de
proposiciones cerrado bajo una nocin de derivacin mediante aplicacin de reglas, y el desarrollo
de una semntica basada en las nociones de satisfaccin, verdad y consecuencia lgica.
Alfred North Whithead: Public trabajos sobre lgebra, lgica, fundamentos de las matemticas,
filosofa de la ciencia, fsica, metafsica, epistemologa y educacin. El trabajo ms conocido, del
que es coautor con Bertrand Russell, es Principia Mathematica. En ese tiempo partiendo de una
teora relacionista (o ms bien relativista) del espaciocentr su epistemologa en la naturaleza de
las cosas. Mantuvo tal postura hasta la dcada de 1930. A partir de entonces su obra tom visos
ms metafsicos.
Rudolf Carnap: La estructura lgica del mundo (En alemn: Der logische Aufbau der Welt), en
el que desarroll una versin formal rigurosa del empirismo, definiendo todos los trminos
cientficos en trminos fenomenalsticos. Pseudoproblemas de filosofa afirmaba que muchas
preguntas filosficas carecen de sentido, esto es, la manera en que eran planteadas suponan un
abuso del lenguaje. Una implicacin operacional de esta radical frase se tom para eliminar la
metafsica del discurso humano responsable.
John Venn: Destac por sus investigaciones enlgica inductiva. Es especialmente conocido por su
mtodo de representacin grfica de proposiciones (segn su cualidad y cantidad) y silogismos.
Los diagramas de Venn permiten, adems, una comprobacin de la verdad o falsedad de un
silogismo. Posteriormente fueron utilizados para mostrar visualmente las operaciones ms
elementales de la teora de conjuntos.
Charles Pierce: Es considerado el fundador del pragmatismo y el padre de la semiticamoderna.
Denominara al pragmatismo como una filosofa proto-positivista (EP 2:339, 1905), sera ms que
inexacto decir que Peirce fue un filsofo positivista en sentido estricto. En primer lugar, una de las
lecciones que ms vivamente aprendi del devoto espritu unitario de Harvard, del que su
padre, Benjamin Peirce, fue incansable promotor era la idea de reconciliar ciencia y religin.
Este es, efectivamente, un impulso central en toda la obra de Peirce que a menudo ha pasado
desapercibido por los autores que sostienen una lectura naturalista de la mxima pragmtica y del
mtodo cientfico.
Hans Reichenbach: ue fsico, lgico y uno de los ms importantes filsofos de la ciencia del siglo
XX. Hizo importantes contribuciones a la teora de la de probabilidad y a las interpretaciones
filosficas de la relatividad, de la mecnica cuntica y de la termodinmica. Fund el Crculo de
Berln, cuyos miembros participaron de muchas de las discusiones del Crculo de Viena, por lo que
a veces se les considera como representantes del positivismo.

BREVE HISTORIA DE LA LGICA

En un comienzo no se llam lgica al estudio que abarca hoy ese nombre. Por ejemplo para
Aristteles, o mejor dicho lo que nosotros llamamos lgica fue llamada dialctica y a veces, se
sigue de las premisas. El trmino lgica aparece en el ttulo de la obra de Demcrito. Los estoicos
utilizaron el trmino Dialctica para designar la disciplina que hoy nos interesa. En Aristteles la
palabra dialctica caracteriza a las argumentaciones que parten de proposiciones generalmente
aceptadas. En el siglo I a.C. los discpulos de Aristteles su publicaron sus obras con el titulo de
ORGANON, instrumento y retomaron el nombre dado por Demcrito; LGICA. Los escritores
latinos al transmitirnos los escritos lgicos antiguos prefirieron la palabra dialctica. Pedro
Abelardo, por ejemplo, es autor de una dialctica. Pero ya en el siglo XIII empieza a dominar la
denominacin LGICA. Pero en siglo XVI se prefiere nuevamente la denominacin de
DIALCTICA. A PARTIR DEL SIGLO XVII definitivamente se utiliza la palabra LGICA.
ETAPAS:

A) EDAD ANTIGUA.
PARMENIDES DE ELEA
Se cree que fue el creador del principio de IDENTIDAD. Consider que la razn es la nica capaz
de conocer el ser y la verdad de las cosas.
ZENON DE ELEA
Apoyo la posicin de Parmnides. Dio origen al mtodo dialctico, al razonamiento hipottico y a la
reduccin al absurdo. Sus argumentaciones se conocen como aforias.
DEMCRITO
Ide el principio DE LA RAZN SUFICIENTE.
SCRATES
En su lucha contra los sofistas utilizo el mtodo MAYUTICO.
PROTAGORAS
Fue el primero en utilizar las oraciones en el plano sintctico y semntico.
PLATN
En su obra EL SOFISTA, trato de las afirmaciones y negaciones. Descubri el principio de la
CONTRADICCIN O NO CONTRADICCIN. Teorizo y esquematizo la divisin y la definicin
lgica. Empleo el mtodo axiomtico.

PERODO ARISTOTLICO
Tenemos que reafirmar y aclarar que antes de Aristteles no existe ningn documento que pruebe
que antes del haya existido una exposicin terica de la lgica, y el mismo Aristteles nos dice
refirindose al estudio de la lgica; de nuestra investigacin actual no es verdad decir que haya
sido elaborada en parte s y en parte no; no exista en absoluto.
Aristteles desarroll reglas para establecer un razonamiento encadenado que, si se respetaban,
no produciran nunca falsas conclusiones si la reflexin parta de premisas verdaderas (reglas de
validez). En el razonamiento los nexos bsicos eran los silogismos: proposiciones emparejadas
que, en su conjunto, proporcionaban una nueva conclusin. En el ejemplo ms famoso, Todos los
humanos son mortales y Todos los griegos son humanos, se llega a la conclusin vlida de que
Todos los griegos son mortales. La ciencia es el resultado de construir sistemas de razonamiento
ms complejos. En su lgica, Aristteles distingua entre la dialctica y la analtica; para l, la
dialctica slo comprueba las opiniones por su consistencia lgica. La analtica, por su parte,
trabaja de forma deductiva a partir de principios que descansan sobre la experiencia y una
observacin precisa. Esto supone una ruptura deliberada con la Academia de Platn, escuela
donde la dialctica era el nico mtodo lgico vlido, y tan eficaz para aplicarse en la ciencia como
en la filosofa.
Los discpulos de Aristteles llamaron ORGANON a sus obras lgicas. No creemos que
Aristteles haya considerado la lgica en s misma; propiamente le intereso llegar al conocimiento
verdadero de la naturaleza, de las cosas. Pero podemos hacer una distincin en sus obras y
considerar slo aquellas que se dedican a la lgica en el sentido que utilizamos aqu el trmino.
Para Aristteles una argumentacin es un encadenamiento de enunciados y estos son un
encadenamiento de trminos. El libro llamado CATEGORAS estudia los trminos. El libro
llamado DE LA INTERPRETACIN estudia el enunciado y los PRIMEROS ANALTICOS considera
la argumentacin.
Aportes :
Es el descubridor del principio del tercio excluido. Introdujo el uso de variables. Explicacin
sintctica y semntica de las proposiciones. Desarrollo la lgica de predicados. Desarrollo el
silogismo. Desarrollo la lgica formal de ah que se le conozca como el PADRE DE LA LGICA
FORMAL.
Los continuadores de Aristteles
Mas tarde los discpulos de Aristteles, Teofrasto y Eudemo estudiaron y aportaron a la obra de su
maestro los silogismos hipotticos condicionales pertenecientes a la lgica de proposiciones. Este
tema tambin fue desarrollado por los megricos y los estoicos. Entre los megricos: Diodoro
Crono y Filn de Megara avanzan con el estudio de los conceptos modales y por primera vez en la
historia de lgica plantean el significado de las proposiciones si...entonces..... Entre los estoicos,
Crisipo de Soli es l mas representativo y desarrolla la lgica bivalente (verdadero /falso) de las
proposiciones.
Los Comentadores
Posteriormente, la lgica Aristotlica y la lgica estoica no tuvieron continuadores. Lo que se hace
es comentar las obras de Aristteles, Teofrasto y Crisipo. Entre los mejores lgicos de esta poca
de comentadores se tiene a Galeno, Alejandro de Afrodisia, Porfirio y posteriormente Boecio este
ultimo descubre las leyes de la inferencia inmediata y logra sistematizar las proposiciones
categricas A/E/I/O*

B) EDAD MEDIA.
Se denomina lgica medieval a la lgica desarrollada en las escuelas y universidades de Europa
Occidental entre los siglos XI y XV. Surgen una clase de lgicos profesionales. Pedro Abelardo fue
el primer lgico medieval de mayor importancia. Posteriormente surgen telogos que trataron de
recuperar el Aristteles original estudiando y comentando el Organn. Entre los mas importantes
figuran Robere Grosseteste, Tomas de Aquino y Alberto Magno entre otros. A fines del siglo XIII,
Oxford es el centro de la lgica y Duns Scoto fue uno de sus mas altos exponentes. El periodo de
madurez de la lgica medieval se expuso con Guillermo de Ocam y Juan Buridan.
Cabe una mencin aparte el ARS MAGNA de Ramn Llul, quien dio el primer paso en la
elaboracin de un lenguaje completo automtico para el razonamiento. Llul dise incluso
mquinas formadas por discos giratorios superpuestos por medio de los cuales podan realizar
clculos mecnicamente. Sus obras Art demostrativa (Arte demostrativo, 1283), Taula general
(Tabla general, 1293), Lgica nova (Lgica nueva, 1303) y Ars Dei (Arte de Dios, 1308)
Los aportes de la lgica medieval, por sus representantes fueron mnimos, toda vez que se
concentraron en fundamentar la teologa.
Aportes:
Raymundo Lulio, Pedro Hispano, Guillermo de Ocam; establecieron reglas de inferencia.
Guillermo de Shyreswood termina en 1230 el manual de lgica escolstica ms antiguo, en
donde formula por primera vez el esquema de divisin dicotmica conocido como "rbol de Porfirio"
y, tambin, enuncia por primera vez los famosos versos mnemotcnicos sobre la reduccin de los
silogismos a los modos de la primera figura aristotlica:
Barbara celarent darii ferio baralipton
Celantes dabitis fapesmo frisesomorum;
Cesare campestres festino baroco; darapti
Felapton disamis datisi bocardo ferison.
Pedro Hispano, Juan Buridan, Alberto de Sajonia y Pedro Abelardo. Destacaron por
emplear una forma especializada el lenguaje. Redescubrieron la inferencia coligativa.
Tomas Hobbe: Considera al razonamiento como una especie de calculo de signos. Desarrolla la
lgica formal como combinacin de nombres de acuerdo a las reglas establecidas.

C) EDAD MODERNA.
Lgica Moderna.
A mediados del siglo XIX, los matemticos britnicos George Boole y Augustus De Morgan
abrieron un nuevo campo a la lgica, hoy conocido como lgica simblica o moderna, que ms
tarde fue desarrollada por el matemtico alemn Gottlob Frege y de un modo especial por los
matemticos britnicos Bertrand Russell y Alfred North Whitehead en Principia Matematica (3 vols.,
1910-1913) El sistema lgico de Russell y Whitehead cubre un espectro mayor de posibles
argumentaciones que las que se pueden encontrar en la lgica silogstica. Introduce smbolos para
frases enteras y para las conjunciones que las unen, como o, y, si entonces. Cuenta con
smbolos diferentes para el sujeto lgico y el predicado lgico de una frase; y adjudica smbolos
para distinguir las clases, para los miembros de las clases y para las relaciones de la pertenencia a
una clase y la inclusin en una clase. Tambin se aleja de la lgica clsica en sus suposiciones de
la existencia respecto a las cosas aludidas en sus afirmaciones universales. La afirmacin Todo A
es B significa en lgica moderna que Si algo es A, entonces es B; lo que, a diferencia de la
lgica tradicional, no significa que todo A existe.
Tanto la rama clsica como la moderna implican mtodos de lgica deductiva. En cierto sentido,
las premisas de una proposicin vlida contienen la conclusin, y la verdad de la conclusin se
deriva de la verdad de las premisas. Tambin se han hecho esfuerzos para desarrollar mtodos de
lgica inductiva como las que sostienen que las premisas conllevan una evidencia para la
conclusin, pero la verdad de la conclusin se deduce, slo con un margen relativo de
probabilidad, de la verdad de la evidencia. La contribucin ms importante a la lgica inductiva es
la del filsofo britnico John Stuart Mill, quien en Sistema de lgica(1843) estructur los mtodos
de prueba que, segn su interpretacin, iban a caracterizar la ciencia emprica. Este estudio ha
desembocado, en el siglo XX, en el campo conocido como filosofa de la ciencia. Muy relacionada
con sta se encuentra la rama de las matemticas llamada teora de la probabilidad.

Tanto la lgica moderna como la clsica asumen en sus formas ms corrientes que cualquier
proposicin bien elaborada puede ser o verdadera o falsa. En aos recientes se han desarrollado
sistemas de la llamada lgica combinatoria: una afirmacin puede tener un valor distinto a
verdadero o falso. En algunos supuestos es slo un tercer valor neutro, en otros es un valor de
probabilidad expresado como una fraccin que oscila entre 0 y 1 o entre -1 y +1. Tambin se han
llevado a cabo serios trabajos por desarrollar sistemas de lgica modal, con el objeto de
representar las relaciones lgicas entre las afirmaciones de posibilidad e imposibilidad, de
necesidad y contingencia. Otra va es la que supone lgica dentica: la investigacin de las
relaciones lgicas entre rdenes o entre afirmaciones de obligacin.

APORTES DE LOS MS IMPORTANTES REPRESENTANTES DE LA LGICA MODERNA
Bacon, Francis: En su Novum Organum, hace la primera formulacin moderna del mtodo
cientfico, establece de manera explcita y sistemtica la induccin experimental, expone mtodos
para determinar las relaciones de causalidad, enuncia las bases empricas del descubrimiento y la
invencin, y desarrolla una teora de la experiencia. Se le conoce como el Padre de la Lgica
Inductiva

LEIBNIZ, GOTTFRIED WILHELM (1646-1716), tambin conocido como barn Gottfried Wilhelm
von Leibniz. Filsofo, matemtico y estadista alemn, considerado como uno de los mayores
intelectuales del siglo XVII. LEIBNIZ, quien introdujo el clculo lgico llamado MATHESIS
UNIVERSALIS que fuese operacionalmente mecnico, inequvoco y no cuantitativo que permitiera
acabar con todas las disputas y controversias. Tambin desarrollo el clculo de la lgica
proposicional. Consider tambin que para comprobar la verdad del entendimiento bastan los
principios de identidad, contradiccin y tercio excluido; para comprender la verdad de hecho es
indispensable la razn. Estableci la ley de la tautologa.
Extrae de su experiencia como matemtico genial las ideas que habran de sacar a la lgica formal
del estancamiento a que la haba llevado la escolstica. Leibniz intenta formular
unacharacteristica universalis, es decir, un lenguaje simblico para expresar sin ambigedad todos
los elementos del pensamiento y luego combinarlos rigurosamente, formando as conceptos,
juicios y razonamientos. Paralelamente, Leibniz formula una teora general de la ordenacin,
establece una teora lgica de las estructuras, planea la teora de la lgica matemtica, constituye
una teora de la definicin, por analoga con la descomposicin de los nmeros enteros en sus
factores primos, intenta establecer una lgica del descubrimiento y enuncia una teora de las
permutaciones. Frmula LA LEY DE LA Razn Suficiente.

LEONHARD EULER (1707-1783), En su Introduccin al anlisis de los infinitos (1748), Euler
realiz el primer tratamiento analtico completo del lgebra, la teora de ecuaciones, la
trigonometra y la geometra analtica. En esta obra trat el desarrollo de series de funciones y
formul la regla por la que slo las series convergentes infinitas pueden ser evaluadas
adecuadamente. Tambin abord las superficies tridimensionales y demostr que las
secciones cnicas se representan mediante la ecuacin general de segundo grado en dos
dimensiones. Otras obras trataban del clculo (incluido el clculo de variaciones), la teora de
nmeros, nmeros imaginarios y lgebra determinada e indeterminada. Euler, aunque
principalmente era matemtico, realiz tambin aportaciones a la astronoma, la mecnica, la
ptica y la acstica. Entre sus obras se encuentran Instituciones del clculo
diferencial(1755), Instituciones del clculo integral (1768-1770) e Introduccin al
lgebra (1770) Es otro de los de la lgica matemtica introdujo los diagramas que llevan su
nombre para ilustrar geomtricamente los silogismos.
A. de MORGAN (1806-1871) considera que base comn de la lgica en las relaciones de inclusin
o exclusin, parcial o total, entre clases; y su objetivo fue mostrar que el silogismo no es mas que
una serie de combinaciones de relaciones desarrolla el clculo de relaciones, establece varios
razonamientos no-silogsticos, enuncia las leyes de transitividad y expresa rigurosamente las leyes
distributivas de la negacin, que llevan ahora su nombre. (Ley de Morgan)

BOOLE, GEORGE (1815-1864), lgico y matemtico britnico, elabor el lgebra de Boole.La
primera formulacin propiamente algebraica de la lgica, estableciendo definidamente las leyes
para la ejecucin de las operaciones y dando una interpretacin coherente de los resultados, se
debe a George Boole, quien es as el creador de la lgica simblica moderna. Boole funda el
clculo proposicional, enuncia las leyes del clculo de clases, hace una sistematizacin de la lgica
de la probabilidad y formula explcitamente la dualidad de las operaciones algebraicas. El lgebra
de Boole sirve de base a los trabajos de una activa escuela de lgica. En gran medida autodidacta,
Boole fue nombrado profesor de matemticas en el Queens College de Cork en Irlanda (hoy el
University College) en 1849. En 1854, escribi Investigacin sobre las leyes del
pensamiento, en donde describe un sistema algebraico que ms tarde se conoci como el lgebra
de Boole. En l, las proposiciones lgicas se indican por smbolos y pueden relacionarse mediante
operadores matemticos abstractos que corresponden a las leyes de la lgica. El lgebra de Boole
es fundamental en el estudio de las matemticas puras y en el diseo de los ordenadores o
computadoras.
VENN, John. (1834-1923) Fue el que trato de encontrar la significacin lgica de operaciones
como la sustraccin y la divisin. El mrito de Venn es bsicamente el haber aclarado los
procedimientos de Boole representando los procesos algebraicos en los diagramas de Venn.

FREGE, GOTTLOB (1848-1925), matemtico y filsofo alemn, fue el fundador de la lgica
matemtica moderna. Naci en Wismar y estudi en las universidades de Jena y Gotinga;
posteriormente se incorpor a la facultad de matemticas de Jena. Frege intent deducir los
principios de la aritmtica de los principios de la lgica. Enfrentndose a la ambigedad del
lenguaje normal y a la insuficiencia de los sistemas lgicos disponibles, invent muchas notaciones
simblicas, como cuantificadores y variables, estableciendo as las bases de la lgica matemtica
moderna. Su trabajo influy especialmente en el filsofo britnico Bertrand Russell. Su
obra Notacin conceptual (1879) est considerada como la ms importante de sus publicaciones,
entre las que tambin destacan Fundaciones de la aritmtica (1884) yLeyes bsicas de la
aritmtica (2 volmenes, 1893-1903)
Es el personaje ms resaltante de esta poca, su obra Begriffsschrift: CONCEPTOGRAFIA,
marca el comienzo de la lgica moderna y; solo es comparable con los Primeros Analticos de
Aristteles, dado que ambas obras hay una serie de perspectivas totalmente nuevas, de ah que a
Frege se le puede considerar el PADRE DE LA LGICA MODERNA. Frege es el primero en
formular de manera clara y concisa la distincin entre variable y constante, el concepto de funcin
lgica, la idea de varios argumentos y el concepto de cuantificador, da una formulacin
notablemente mas rigurosa a la teora aristotlica de sistema axiomtico, distingue
cuidadosamente entre ley y regla, introduce la diferenciacin igualmente precisa entre lenguaje y
metalenguaje.




PEANO, GIUSEPPE (1858-1932), matemtico italiano, autor del primer ejemplo de fractal. Naci
en Cuneo en 1858 y fue profesor en la Academia Militar de Turn. Cre un sistema descriptivo que
permita enunciar cualquier proposicin de lgica o de matemticas sin recurrir al lenguaje.
Fundador de dos publicaciones de matemticas, propuso en sus escritos la aritmtica de Peano,
una exposicin axiomtica y deductiva de la aritmtica de los enteros naturales. En 1890 cre la
curva de Peano, el primer ejemplo de fractal. En 1903 sus trabajos de bsqueda de una lengua
internacional llevaron al latn sin flexiones, cuyo vocabulario comprende las palabras latinas
comunes al francs, al ingls y al alemn. Fue el primero en dar a la lgica el nombre de Lgica
Matemtica. Considero que la lgica es el instrumento de la matemtica. Creo un lenguaje
simblico para las demostraciones matemticas, elaborando de esta manera un sistema
axiomtico de la matemtica con la aplicacin instrumental de la nueva lgica. Propuso uso de
puntos auxiliares en reemplazo de los signos de agrupacin y un modo de simbolizar los
cuantificadores.

RUSSELL, BERTRAND, tercer conde de Russell (1872-1970), filsofo y matemtico britnico,
galardonado con el Premio Nbel, cuyo nfasis en el anlisis lgico repercuti sobre el curso de la
filosofa del siglo XX. Nacido en Trelleck (Gales), el 18 de mayo de 1872, Russell estudi en el
Trinity College de la Universidad de Cambridge. Tras graduarse en 1894, viaj a Francia, Alemania
y Estados Unidos, y luego fue nombrado miembro del consejo de gobierno del Trinity College.
Desde muy joven mostr un acusado sentido de conciencia social; al mismo tiempo se especializ
en cuestiones de lgica y matemticas, reas de las que dio conferencias en muchas instituciones
de todo el mundo.
Russell alcanz el xito con su primera gran obra Principios de matemticas (1902), en la que
intent trasladar las matemticas al rea de la filosofa lgica y dotarlas de un marco cientfico
preciso. Colabor durante ocho aos con el filsofo y matemtico britnico Alfred North Whitehead
para elaborar la monumental obra Principia Mathematica (Principios Matemticos; 3 volmenes,
1910-1913), donde se mostraba que esta materia puede ser planteada en los trminos
conceptuales de la lgica general, como clase y pertenencia a una clase. Este libro se convirti en
una obra maestra del pensamiento racional. Russell y Whitehead demostraron que los nmeros
pueden ser definidos como clases de un tipo determinado, y en este proceso desarrollaron
conceptos racionales y una anotacin que hizo de la lgica simblica una especializacin
importante dentro del campo de la filosofa occidental. En su obra PRINCIPIA MATHEMATICA,
propone que las matemticas pueden reducirse a una rama de la lgica. Este proyecto fue escrito
en la obra antes mencionada, escrita en colaboracin con Whitehead, obra aparecida en tres
volmenes. formulan rigurosamente la lgica matemtica dentro del sistema ms completo que se
ha establecido, realizan un tratamiento detallado del clculo preposicional, el clculo de clases y el
clculo de relaciones, establecen la teora de los tipos, analizan las paradojas, hacen una crtica
refinada y profunda de la lgica simblica, y crean el lenguaje formalizado que ms se utiliza en
laactualidad.

WITTGENSTEIN En la evolucin filosfica de Wittgenstein pueden distinguirse dos pocas
distintas: un primer periodo, representado por el Tractatus, y otro posterior, representado por
las Investigaciones filosficas. A lo largo de la mayor parte de su vida, sin embargo, Wittgenstein,
de modo coherente, concibi la filosofa como un anlisis conceptual o lingstico. En
el Tractatus defendi que la filosofa pretende la clarificacin lgica de las ideas. En
las Investigaciones filosficas, sin embargo, mantena que la filosofa es un combate contra el
hechizamiento de nuestra inteligencia por medio del lenguaje.

El Tractatus
En el Tractatus, Wittgenstein sostena que el lenguaje se compone de proposiciones complejas
que pueden ser analizadas en proposiciones ms sencillas hasta llegar a una formulacin simple o
elemental. De modo similar, el mundo se compone de hechos complejos que pueden ser
analizados en hechos menos complejos hasta llegar a los hechos simples, o atmicos. El mundo
es la totalidad de esos hechos. Segn la imagen de la teora del significado de Wittgenstein, es la
naturaleza lgica de las proposiciones elementales la que representa hechos atmicos o
situaciones. Afirmaba que la naturaleza del lenguaje requiere proposiciones elementales, y su
teora del significado exige que haya hechos atmicos representados por proposiciones
elementales. Sobre este anlisis, slo las proposiciones que representan hechos las
proposiciones de ciencia son consideradas cognitivamente significativas. Las declaraciones
ticas y metafsicas no son afirmaciones significativas ni relevantes. Esta teora produjo un gran
efecto sobre las teoras del positivismo, y los positivistas lgicos adscritos al Crculo de Viena
reconocieron la trascendencia de esta conclusin.
Ide el mtodo de la tabla o matriz para determinar la significacin de autenticidad de los ciertos de
probabilidad.

JAN LUKASIEWICZ (1878-1950). Se ocup de la lgica de sentencias, de la lgica plurivalente, de
la lgica modal, del silogismo aristotlico y de la historia de la lgica, Lukasiewicz invent un
simbolismo que evita los parntesis y puntos. Se preocup de la axiomtica de la lgica de
sentencias formulando un interesante sistema de tres axiomas; por otra parte, logr formular un
sistema con un solo axioma.
En 1917 construy el primer sistema de lgica plurivalente. Expone as la idea que dio origen a la
lgica trivalente: Puedo suponer sin contradiccin que mi presencia en Varsovia en un momento
dado del ao prximo, por ejemplo a medioda del 21 de diciembre, no est determinada en este
momento, ni positiva ni negativamente. Es entonces posible pero no necesario que estar presente
en Varsovia en el tiempo mencionado. Basado en este presupuesto, el enunciado estar presente
a medioda del 21 de diciembre del ao prximo, en este momento, no es ni verdadero ni falso.
Pues si en este momento fuera verdadero, mi presencia futura en Varsovia sera necesaria, lo cual
contradice el presupuesto; si, en este momento, fuera falso, mi presencia futura en Varsovia sera
imposible, lo cual, una vez ms, contradice el presupuesto. El enunciado citado no es en este
momento ni verdadero ni falso; debe tener, entonces, un valor diferente de O, o lo falso, y de 1, o lo
verdadero. Lo podemos indicar por 1/2: es lo posible, que se agrega como tercer valor a lo
falso y a lo verdadero. ste es el curso de pensamiento que dio origen al sistema trivalente de
lgica preposicional". Este texto se conecta con sus reflexiones sobre la cuestin de los futuros
contingentes de Aristteles.
En el estudio de la silogstica de Aristteles y de la historia de la lgica en general es tan
importante la contribucin de Lukasiewicz que quien se proponga realizar estudios en esos campos
de investigacin se enfrentar constante e inevitablemente con el nombre de este gran lgico
polaco.




TARSKI, Alfred (1902)
Lgico y matemtico, notable representante de la Escuela Lvoviano-Varsoviana. Tambin es fundador
de la semntica formal, que estudia las significaciones de los juicios y conceptos en lgica. Estudia
tambin los problemas de la construccin de las teoras deductivas, de
lametalgica, la semitica, define el concepto de verdad en los lenguajes formalizados, estableci
que cada enunciado es demostrable, es verdico pero no cada enunciado verdico es
demostrable, etc. Obras principales: "Lgica, semntica, metamatemticas" (1956), "Lgica,
metodologa y filosofa de la ciencia" (1962).

KURT GDEL
Lgico estadounidense de origen austriaco, conocido sobre todo por sus investigaciones en
filosofa y en matemticas. Naci en Brnn (hoy Brno, Repblica Checa). Estudi en la
Universidad de Viena y dio clases en esta institucin desde 1933 a 1938. Emigr a los Estados
Unidos en 1940 y se nacionaliz estadounidense en 1948. Fue miembro del Instituto para Estudios
Avanzados de Princeton, Nueva Jersey, hasta 1953, fecha en la que empez a ensear
matemticas en la Universidad de Princeton.
Gdel se dio a conocer con una obra, publicada en 1931, en la que enunci lo que se conoce como
teorema de Gdel. Este principio establece que en cualquier sistema simblico formal es posible
construir una proposicin que no se puede probar ni refutar en el mismo sistema. Gdel tambin
escribi The Consistency of the Continuum Hypothesis (La consistencia de la hiptesis del
continuo , 1940) y Rotating Universes in General relativity Theory (Los universos giratorios en la
teora de la relatividad general, 1950).

FRANCISCO MIR QUESADA
Filsofo peruano. Nacido en Lima, fue profesor en dos universidades de su ciudad natal, la
Peruana Cayetano Heredia y la Nacional Mayor de San Marcos. Algunas de las principales
aportaciones de su pensamiento se centraron en la reivindicacin de la exactitud en el
planteamiento de los problemas filosficos. Para ello, Mir Quesada aplic los logros de la lgica y
de las matemticas, as como la defensa de una filosofa racionalista que subraya la importancia
del mtodo y de la exactitud. Para l, la filosofa se sita en el mbito de las ciencias, por lo que
prest una atencin especial al desarrollo de las llamadas lgicas no ortodoxas. La razn posee
un dinamismo propio y sus contradicciones pueden refinar su empleo, pero nunca detener su
fuerza. Realiz, adems, interesantes anlisis sobre la unidad posible entre la lgica terica y la
lgica de las acciones, en la bsqueda de la estructura de la logicidad pura.
En el conjunto de su vasta produccin escrita, deben ser citados los siguientes trabajos:Sentido del
movimiento fenomenolgico (1940), El problema de la libertad y la
ciencia (1943),Lgica (1946), Iniciacin lgica (1958), La otra mitad del mundo (2 vols.,
1959), Apuntes para una teora de la razn (1963), Humanismo y revolucin (1969), Filosofa de
las matemticas(2 vols., 1976), Ensayos de filosofa del derecho (1986), Las
Supercuerdas (1993), Hombre, sociedad y poltica (1993) y Razn e historia en Ortega y
Gasset (1993).



LGICA DIALCTICA
La lgica dialctica iniciada por Herclito, desarrollada parcialmente por Platn y bosquejada
fragmentariamente por Aristteles, es tratada ms tarde por J. H. Eckhart (1260-1327) y porJ.
Boehme (1575-1624) y, despus, es estudiada por I. Kant (1724-1804) en las antinomias de la
razn y analizada por J. G. Fichte (1762-1814) en la actividad de la conciencia y en las antinomias
de la accin. La formulacin general de la lgica dialctica es hecha por G. W. F. Hegel (1770-
1831) en su Ciencia.de la Lgica. Hegel elabora el mtodo dialctico, formula las leyes de la nega-
cin de la negacin, de la unidad de los opuestos y de la transformacin recproca entre cantidad y
cualidad, hace un desarrollo dialctico de las categoras, establece nuevas formas del juicio,
estudia el proceso del conocimiento cientfico, aplica la lgica dialctica a la teora del
conocimiento, incorpora la actividad prctica a la teora del conocimiento y formula el
esquema tradico del desarrollo en forma de tesis, anttesis y sntesis. Despus, K. Marx (1818-
1883) formula el mtodo materialista dialctico y lo aplica consecuentemente en la investigacin
cientfica da la economa. F. Engels (1820-1895) formula con precisin las leyes dialcticas y
destaca su funcin metdica, analiza la estructura dialctica de la ciencia y desarrolla las
categoras del conocimiento. V. I. Lenin (1870-1924) desarrolla la dialctica como metodologa
cientfica, estudia la funcin que desempea la prctica en el proceso del conocimiento y lo
establece como criterio de verdad. En otros sentidos, B. Croce (1866-1952) desenvuelve la
dialctica del concepto, J. Cohn desarrolla la teora lgica de la dialctica, J. Cavaills (1903-1944)
hace un anlisis