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 ao600 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.
Scrates (469-399 a.c) Cronolgicamente, el primero; el que da inicio al perodo clsico de
la filosofa griega. El tema del mtodo es su principal aporte.

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.

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 aeuclidianos exquisitos, se convirti en manual
para balsticos del Renacimiento como Tartaglia y, poco despus, en base inmediata de la
dinmica newtoniana.

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, 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 logic.

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.
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 revolucinen 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 unsilogismo 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 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 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 (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 matemticoverdadero 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 como Mquina 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
ilusioncon 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 Tarski5 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 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.
















g
Republica Bolivariana de Venezuela
Ministerio del Poder Popular para la Educacin Superior
Universidad Gran Mariscal de Ayacucho
Vicerrectorado Acadmico
Proyecto de Carrera: Derecho
Seccin: 4A
Sede: Ciudad Bolvar
Ctedra: Lgica




Profesor: Integrantes:
MARIA EUGENIA FIGARELLA Rojas Amelia C.I:19.475.662




Ciudad Bolvar, Octubre de 2014

SCRATES (469-399 a.c) Cronolgicamente, el primero; el que da inicio al perodo
clsico de la filosofa griega. El tema del mtodo es su principal aporte.
PLATN (428-347 a.c.) Uno de los pensadores ms brillantes de todos los tiempos. Dej
una gran cantidad de obras, escritas todas con el nombre de Dilogos, en varias de ellas,
trata temas que corresponden a la Lgica.

ARISTTELES (384-322 a.c.) La figura ms importante del mundo antiguo. Es el
verdadero creador de la Lgica. Autor del Organon, el ms amplio y profundo tratado
acerca de los temas lgicos en la antigedad. El Organon comprende; La teora del
concepto; la teora del juicio; La definicin, la clasificacin, la teora de los argumentos; la
teora del razonamiento; los errores del razonamiento y la teora de la demostracin.
Luego de la muerte de Aristteles, la Filosofa y Grecia misma, cayeron en un marcado
proceso decadente.
En este perodo sobresalen las figuras de ZENON DE CITIUM (334-262 a.c.) y EPICURO
(341-270 a.c.)
Desde los primeros tiempos, Grecia haba mostrado poco inters por la ciencia
experimental, su mayor inclinacin, aparte de la Filosofa y el arte, fue hacia las
matemticas. En Alejandra, en pleno perodo de la decadencia; floreci, sin embargo, con
notable vigor la ciencia y especialmente, el pensamiento matemtico.

EUCLIDES DE ALEJANDRA (365-265 a.c.), ARQUMEDES DE SIRACUSA (287-212
a.c.) y APOLONIO DE PERGA (fines siglo III a.c.) Son las figuras ms importantes de
este perodo.
El aporte romano es de escasa significacin para la Lgica; ellos destacaron en otras reas
como el Derecho, la Arquitectura y las artes en general. Para nuestro estudio, interesan
MARCO TULIO CICERN (106-43 a.c.) y GALENO(129-199) famoso poltico el
primero y, conocido mdico griego el segundo.
Los primeros siglos del cristianismo, que coinciden con la decadencia de Roma, presentan
algunos pensadores que pusieron nfasis en los problemas lgicos; por lo general siguiendo
la lnea de Platn. Destacan: SEXTO EMPRICO (145-210), PLOTINO ((205-270),
PROCLO (410-485) y BOECIO (480-525)

En la Edad Media, pese al oscurantismo predominante, la Lgica adquiere una importancia
extraordinaria, se convierte en uno de los temas ms estudiados. Los monasterios son los
recintos donde, con ms pasin que objetividad, se discuten los temas lgicos, bajo la
inspiracin de Aristteles.

ALCUINO (735-804) escribi el primer texto de Lgica, utilizado para el estudio del
Trivium (Gramtica, Lgica y Retrica)

PEDRO ABELARDO (1079-1142) Brillante expositor de temas lgicos. Es ms conocido
por haber protagonizado un desventurado e histrico drama pasional.

ALBERTO MAGNO (1206-1280), PEDRO HISPANO (1210-1277) y sobre todo, SANTO
TOMAS DE AQUINO (1225-1274) el ms lcido de los pensadores cristianos de todos los
tiempos, llamado doctor anglico por la profundidad de sus conocimientos.
Mediante un hbil procedimiento, Santo Toms, convierte al pagano Aristteles, en el
fundamento del dogma cristiano y a la Lgica en el nico instrumento vlido para la
bsqueda de la verdad.

En la propia Edad Media, no siempre coincidiendo con el pensamiento de Santo Toms,
destacan pensadores de la trascendencia de ROGER BACON (1214-1294), uno de los
primeros defensores del mtodo experimental.

RAIMUNDO LULIO (1235-1315) a quien seconsidera el precursor de la Lgica Simblica.
DUNS SCOTO (1226-1308) y GUILLERMO DE OCKAM (1295-1349)
El uso exagerado del Silogismo, hasta llegar al ridculo, gener una reaccin que, a partir
del Renacimiento, fue tomando fuerza en Europa.

Reconociendo el atraso de la ciencia y las escasas condiciones para su desarrollo,
pensadores insatisfechos con esta situacin, promovieron, por un parte, el alejamiento de la
imposicin de los mtodos aristotlicos y, por otra, ti impulso de la ciencia experimental.
Entre los pioneros que luchan por imponer estos nuevos criterios, deataoin:
FRANGS BACON (1561-1626) Noble ingls (Barn de Verulan) Autor dtl Novun
Organon, para reemplazar al Organon aristotlico. Preconiza la nece-sidad de una nueva
ciencia y de un nuevo mtodo. Ese nuevo mtodo, la Induccin, debe privilegiar la
observacin y la experimentacin. Bacon es uno de loi fundadores del mtodo cientfico.

GALILEO GALILEI (1564-1642) Cuestiona severamente algunos de los principios de la
Lgica Formal. Recomienda utilizar el mtodo matemtico en la bsqueda de todo
conocimiento.

RENATO DESCARTES (1596-1650) Creador de la Geometra Analtica y del mtodo que
la posteridad, en su honor, ha llamado Cartesiano. Partiendo de la duda metdica, Descartes
recomienda no admitir nada que no sea evidente y formula las reglas del mtodo cartesiano.

GUILLERMO LEIBNIZ (1646- 1716) Famoso matemtico y cientfico alemn; trata de
promover el desarrollo de la Lgica, sacndola del inmovilismo escolstico. De sus
contribuciones, la ms conocida, es la formulacin del Principio de Razn Suficiente.
ISAAC NEWTON (1642-1727) Cientfico ingls que contribuy decisivamente al avance
de la ciencia y formul importantes reglas del mtodo cientfico.

INMANUEL KANT (1724-1804) Estudi a fondo la Lgica Formal. Descubri los juicios
"a prior!", elabor una nueva tabla de categoras, seal las diferencias entre la Lgica
Formal y la Lgica Trascendental, etc.

JORGE GUILLERMO FEDERICO HEGEL (1770-1831) En su obra "Ciencia de la
Lgica" elabor el mtodo dialctico, imprimiendo con ello, un cambio completo en la
direccin y en la interpretacin del pensamiento.

KARL MARX (1818- 1883). Contina el trabajo de Hegel, aunque cambiando
completamente su sentido. Es el creador del mtodo materialista dialctico, aplicable no
slo en la esfera del pensamiento sino en todos los campos de la realidad.

FEDERICO ENGELS (1820-1895).Gran amigo y compaero de Marx. Formul las leyes
de la dialctica materialista.

V. I. LENIN (1870-1924) Hizo de la dialctica materialista sinnimo del mtodo cientfico.
Elev la prctica a criterio de la verdad.

BENDETTO CROCE (1866-1952). Desarrolla la dialctica del concepto.
En la poca actual, la Lgica mantiene su dinmica de desarrollo. Innumerables
pensadores, en todas partes, siguen analizando y ampliando los temas lgicos. El siglo XX
ha visto crecer varias corrientes, como la Lgica Matemtica, cuyos creadores son: G.
CANTOR (1845-1918), BERTRAND RUSELL (1872-1970) y ALFRED WHITEHEAD
(1867-1947)
La Lgica Modal es desarrollada por N. PRIOR.

La Lgica Fenomenolgica tiene por propulsores especialmente a EDMUND HUSSERL
(1859-1938) y ALEXANDER PFANDER.NORBERT WIENER (1849-1964) crea la
Ciberntica, desarrolla la Lgica de la comunicacin, establece la analoga entre el
funcionamiento del sistema nervioso y el de las computadoras, dando inicio a toda una
revolucin no slo en el campo de la Lgica, sino en la forma de vida del mundo
contemporneo.