1/ 11

HISTORIA DE LA LOGICA
La historia de la disciplina desde sus orgenes iniciando con los griegos antiguos hasta nuestros das Orgenes de la lgica en el oeste Precursores de la lgica antigua Exista una leyenda medieval de acuerdo a la cual el griego filsofo Parmenides (siglo 5 A ! " invento la lgica mientras viva en una roca en Egipto La historia es pura leyenda# pero esto refle$a el hecho de %ue &armenides fue el primer filsofo en usar un amplio argumento para sus opiniones# antes %ue simples proposiciones# una visin de realidad &ero usar argumentos no es lo mismo como estudiarlos# y &armenides nunca formulo sistem'ticamente o estudio principios de argumentacin de su propio pensamiento (ealmente# no hay evidencia de %ue )l fue el %ue implemento las reglas de inferencia usadas en la presentacin de su doctrina *ui+'s el uso de argumentos de &armenides fue inspirado por la practica de los primeros griegos matem'ticos entre ellos Pitagoras As %ue es significativo %ue &armenides ha,a tenido un maestro# &it'goras &ero la historia del &itagoreanismo en este periodo inicial esta envuelto en un misterio# y es difcil separar hechos de leyendas -i &armenides no fue informado de las reglas generales su,rayadas en sus argumentos# lo mismo %ui+'s no es verdad para su discpulo Zeno de Elea (siglo 5 . ! " /eno fue el autor de muchos argumentos# conocidos colectivamente como 0&arado$as de /eno0# Otros autores tam,ien contri,uyeron a %ue el interes de los griegos creciera en deduccin y prue,a Los retoricos y sofistas Gorgias, Hi ias, Prodicus, ! Protagoras (todos siglo 5 . ! " cultivaron el arte de defender o atacar una tesis por significado de los argumentos Esto concerniente a las tecnicas de argumentos en ocasiones simplemente guia un despliegue ver,al de de,ate de ha,ilidad# al cual Platon llama,a 0euristic 0 &ero es tam,ien verdadero %ue los sofistas fueron intrumentos para traer la argumentacin a la posicin central# esto viene a su$etar el pensamiento griego Los sofistas fueron# los primeros en demandar %ue la moral sea $ustificada por ra+ones !iertamente las ense1an+as particulares de algunos sofistas y retoricos son significativos para los principios de la lgica &or e$emplo# &it'goras es reportado de ha,er sido el primero en distinguir diferentes tipos de sentencias2 preguntas# respuestas# oraciones y re%uerimientos

3/ 11
Prodicus aparece para mantener %ue dos pala,ras no pueden significar exactamente la misma cosa &or lo tanto# el se dedico con mucha atencin y cuidadosamente# distinguiendo y definiendo el significado de sinnimos aparentes# incluyendo muchos terminos )ticos Scrates# puso interes en las lecturas de &rodicus# como prodicus el propuso la definicin de cosas# particularmente en el campo de la etica y los valores Platon continuo el tra,a$o comen+ado por los sofistas y por -ocrates En el caso del -ofista# el se distinguio afirmando de la negacin hi+o la importante distincin entre ver,os y nom,res (incluyendo sustantivos y ad$etivos" El remarco %ue una sentencia completa no puede consistir de un nom,re o un ver,o solamente pues re%uiere por lo menos una de cada uno Esta o,servacin indica %ue el an'lisis del lengua$e se ha desarrollado hasta el punto de investigar la estructura interna de las sentencias# en adicion a la relacion de sentencias en su totalidad para alguna otra Este nuevo descu,rimiento seria un arte de gran desarrollo para los pupilos aristotelicos de &laton (4567433 .!" 8ay pasa$es en los escritos de &laton donde el sugiere %ue la practica de argumentos en la forma de dialogo (dial)ctica platonica" tiene un significado largo# mas alla del uso ocasional para investigar un pro,lema en particular La sugerencia es %ue la dial)ctica es una ciencia de su propio criterio o %ui+a un metodo para llegar a una conclusin cientfica en otros campos Aristteles" El tra,a$o lgico de todos estos hom,res# fue importante y de,e ser recordado como poco sistematico y fragmentario 9inguno de ellos fue -istematico# investigadores sostenidos en la inferencia de su propio pensar Eso parece ha,er hecho Aristteles y al final de sus refutaciones sofisticadas# Aristteles reconoce %ue en la mayoria de los casos descu,rimientos nuevos cuenta con la,ores previas de otros# por lo %ue# mientras lo %ue los otros logran tal ve+ es pe%ue1o# pero son de gran influencia Aristteles fue el primer lgico en usar varia,les# esta innovacin fue tremendamente importante# sin ellas ha,ria sido imposi,le alcan+ar el nivel de generalidad y a,straccin %ue el hi+o #ormas categricas :uchas de las lgicas de Aristteles fueron conce,idas con cierto tipo de propocisiones %ue pueden ser anali+adas como2 1 usando un cuantificador (0cada0# 0alguno0 o el universal 0no0" 3 un su$eto 4 una unin

4/ 11
6 %ui+'s una negacin 5 un predicado &roposiciones anali+a,les ;mas tarde fueron lamadas proposiciones y tomaron las siguientes formas2 a$irmati%o uni%ersal& todo es uno negati%o uni%ersal& todo no es uno o e%uivalente a no es a$irmati%o negati%o articular& algo es un articular& algo no es un

a$irmati%o inde$inido& es un negati%o inde$inido& no es un a$irmati%o singular& x es un (donde x se refiere a un algo individual" negati%o singular& x es un (donde x se refiere a un algo individual"

En <e =nterpretaciones aristoteles discutio la manera en la cual las proposiciones negativas y afirmativas con el mismo su$eto y predicado pueden ser opuestas una ala otra El o,serva,a %ue cuando dos propocisiones son relacionadas como A y E# ellas no pueden ser verdaderas $untas pero si pueden ser falsas A estos pares Aristteles los llamo contrarios La logica de aristoteles presupuso descu,rimientos principales %ue el explcitamente no formulo acerca de las relaciones logicas entre alguna proposicin cual%uiera# independiente de las proposiciones internas anali+adas dentro de la categora de cual%uier otra forma T'eo 'rastus o$ Eresus (c" )*+, c" -./ 0"C1 -ucesor de aristoreles como lider de su escuela en Atenas> %uien de$o las nociones de Aristteles de lo posi,le como tam,ien de lo no imposi,le y adopto nociones alternativas de Aristteles como simplemente %ue es no imposi,le Esto le permitio una considera,le simplificacin de la teoria modal de Aristteles Asi %ue su conversin de leyes a modal categrico fue exactamente paralela a las correspondientes leyes de ($or assertoric categoricals" 1 ?heophrastus tiene tam,ien el credito con investigaciones dentro de los silogismos hipot)ticos El extenso tra,a$o en esta area es incierto# pero al parecer el investigo una clase de inferencias llamadas totalmente silogismos hipot)ticos# en el cual am,as premisas y la conclusin son condicionales

6/ 11
?heophrastus fue la primer persona en la historia de la logica conocida por ha,er examinado la lgica de proposiciones seriamente &ues hasta ese momento no ha,ia investigaciones sustanciosas dentro de esa area

Los megarianos ! estoicos En el mundo antiguo# la logica de aristoteles y sus seguidores fue la corriente principal &ero hu,o tam,ien una segunda tradicin de logica2 2egarians y -toicos Los megarians fueron seguidores de Euclide# dentro de logica el mas importante megarian fue Doidorus Cronus y su pupilo P'ilo de 2egara Los estoicos fueron seguidores de Zeno de Citium" El mas importante logico stoico fue C'r!si us (c 3@A73BC .!" La influencia de los megarian en la logica estoica es discuti,le# pero muchos detalles son inciertos Los megarians se interesaron en la logica de enigma :uchos parado$as han sido ati,uidas a ellos Los megarians tam,ien discutieron como definir varias notaciones modales y de,atieron la interpretacin de proposiciones condicionales <iodorus propuso una interpretacin de proposiciones condicionales sostenido en la proposicin 0=f p# entonces %0 A diferencia de los aristot)licos# los estoicos desarrollaron una logica proposicional a la desatencin de terminos lgicos Ellos se concentraron en proposicione hipot)ticas como premisas ?heophrastus ya ha,ia dado algunos pasos en esta area pero su tra,a$o no era de mucha influencia para los estoicos Al final la idea de las dos corrientes se redu$o a comentarios y li,ros para la educacin general Logica medie%al" La transmision de la logica griega al latin occidental Las traducciones de .oethius acerca de categoris y <e interpretaciones de Aristoteles# tuvieron mas influencial %ue las de Dictorinus# por lo %ue es una de las figuras mas importantes de la logica medieval Ademas .oethius escri,io comentarios y otros tra,a$os logios %ue fueron de tremenda importancia en la edad media latina 8asta el siglo E== sus escritos y traducciones fueron el principal origen del conocimiento lgico europeo Logica ara3e

5/ 11
el mas importante tra,a$o logico fue hecho en el mundo ar',igo en el a1o 14BB el mas original e importante de todos los lgicos ara,es fue A%icena %uien produ$o tratados independientes en lugar de ,asarse en los tra,a$os de Aristteles El renacimiento de la logica en Euro a 9o fue sino hasta el siglo E= %ue los serios intereses de la logica fueron revividos El mas importante fue el meodo general de anselm de utili+acionde t)cnicas logicas dentro de la teologia El primer importante latino despues de .oethius fue &eter A,elard El escri,io 4 con$untos de comentarios y Explicaciones en &rophiryFs isasoge y categoras de Aristteles y de interpretaciones2 =ntroductiones parvulorum# Logica 0=ngredienti,us#0 y Logica 09ostrorum petitioni sociorum0

Las

ro iedades de terminos ! discusion de $alacias

Las refutaciones sofistas y el estudio de falacias# produ$o una nueva literatura logica En s totalidad los nuevos tipos de tratados fueron escritos enlo %ue fue llamado 0the properties of terms0# propiedades sem'nticas importantes en el estudio de la falacia ?odos estos tratados y la logica contenida en ellos constituye la peculiarmente contri,ucin a la logica medieval Esto es lo %ue fue llamado la logica moderna ?odos estos descu,rimientos inician en la mitad del siglo E== y continuan hasta finales de la edad media El desarrollo en los siglos 4III 5 4I6 Los mas importantes de este periodo fueron (1" Peter o$ S ain# %uien escri,io un articulo mas comunmente conocido como 0summulae logicales0# y fue usado como un li,ro de texto en algunas universidades medievales> (3" Lam3ert o$ Au7erre# %uien escri,io logica algunas veces entre 1354 y 135@> (4" 8illiam o$ S'er9ood# %uien produ$o introducciones a la logica :ean 0uridan fue un importante logista de la universidada de paris# escri,io principalmente durane 144B y F6Bs# contri,uyo en areas como la logica y la filosofia Teoria de la suposicion Es la me$or union de dos teorias ,a$o un mismo nom,re La primera algunas veces llamada 0supposition proper0 y en general 4 tipos principales de suposicin fueron distinguidos

C/ 11
1 suposicion personal 3 supocicion simple 4 supocision material la segunda parte aplica teorias a terminos de suposicion personal# e incluye 4 tipos 1 determinacion # (3" confuso y distri,utivo# (4" totalmente confundido

Logica medie%al

osterior

En 14@3 Pierre d;Aill! escri,io un impotante tra,a$o# conceptos e insolu,res# los cuales aplica,an una sofisticada teoria del lengua$e mental en orden a resolver parado$as semanticos como el de parados Los mas nota,les logistas de este periodo fueron Henr! Ho ton (fl 145@"# Gohn Hycliffe (c 144B756"# (ichard Lavenham (d after 14AA"# (alph -trode (fl c 14CB"# (ichard Ierry,ridge (or Ieri,rigge> fl c 14CBs"# and Gohn Denator (tam,ien conocido como Gohn 8untman o 8unter> fl 14@4"

El siglo 46I Desiderius Erasmus (16CC7154C"# ensayista# humanista# fundador de la teoria del silogismo unico El aleman humanista P'ili 2elanc'ton (16A@715CB"# tenia una aprecicacion ,alanceada de la logica de aristoteles El reformador frances Pierre de la Ramee# puso especial atencion a la validacion de silogismos con premisas singulares# la $erar%uia de su pensamiento se componia de conceptos# argumentos# sentencias y metodos %ue fueron mucha influencia en el siglo 1@ y 15 Ramn Lull (134571415"# sus notaciones mas tarde influenciarian &ascal y Lei,ni+ e iniciarian la teroria de la pro,a,ilidad Esta misma influencia puede tam,ien ser vista con Guan Luis Dives (16A37156B"# %uien uso una D para indicar la inclusion de una de los terminos en otro !on el siglo 1@ viene en incremento en la logica sim,olica &ero era utili+ada en escritos de manera alge,raica para representar propocisiones# conceptos clases propiedades y relaciones# inspirados en el triunfo o,tenido por los matem'ticos# los logisticos esperaron imitar el )xito con el uso especial de sm,olos para las notaciones logicas El enlace de la logica con las matem'ticas fue un tema especialmente caracterstico en la era moderna J viene una conciencia de la importancia de la

@/ 11
logica formal# aun%ue en la epoca medieval hicieron muchas distinciones entre modelos de sentencias y argumentos *ui+a la primera ve+ %ue se ve reali+ada la notacin de la logica moderma de forma (o formal" fue en el tra,a$o de -ir Hilliam ( 8amilton y el matem'tico Augusto de :organ

El siglo 46II Otro intrigante tratado de logica del siglo 1@ en terminos de demostracin# postulados y definiciones de una moda euclidiana# es del italiano Gesuit Kerolano llamado 0demonstrative logic0 (logica demostrativa# en 1CA@" -accheri -accheri es me$or conocido por su sugerencia de la posi,ilidad de una geometra no7euclidiana en 0euclid cleared of every flaL0 en 1@44 Otro ta,a$o tradicional de lgica fue de arnold Geuline7# en 1CC3 0Logic (estored to its Iundamentals0 Este tra,a$o intento resurgir los ricos detalles de la logica escol'stica# incluyendo la teoria de la suposicin y articulos de importancia existencial Lei3ni< & El creo en 1C5B el calculo sim,olico# %ue es similar al sistema de Keorge .oole de 156@# y depues de esto el estudio del calculo sim,olico fue en gran aumento <e manera general# se puede decir %ue am,os fueron los menos influenciados en la historia de la logica Lei,ni+ mas tarde desarrollo un o,$etivo de dise1o el cual llamo 0universally characteristic language0 (lengua caracteristica universal" (epresentaria conceptos con el despliegue de mas conceptos ,'sicos de los cuales ellos esta,an compuestos y ademas naturalmente representados (de manera grafica o de di,u$os" El concepto de alguna manera podia ser aprovechado por algunos lectores# no importando su lengua nativa Otro y distinto o,$etivo propuesto a la lgica fue 0calculo racional0 Lei,ni+ uso 3 notaciones para expandir el calculo logico ,asico En su notacin 0A . !0 indica lo siguiente 0A M . N !0 o 0A . N !0# tomando en cuenta %ue A# .# J ! son conceptos o propiedades y no cosas individuales Lei,ni+ tam,ien uso la yuxtaposicion de terminos %ue pueden ser representados de la siguiente manera 0A . N !0 o 0A . N !#0 significa %ue todos los conceptos en am,os A y . contituyen el concepto ! !omo en los inicios de la lgica sim,olica# incluyendo la mayoria desarrollada en el siglo E=E el sistema de Lei,nit+ tuvo dificultades con declaraciones particulares y negativas# esto incluyo una pe%ue1a discusin de lgica proposicional y un tratamiento no formal de declaraciones cuantificadas relacionales# aun%ue Lei,nit+ merece llevarse el credito por su gran originalidad en su lgica sim,olica# especialmente en su lgica de ecuaciones y alge,raica &osteriormente los tra,a$os sim,olicos de Lam,ert# &louc%uet# Euler y aOn .oole Ptodos aparentemente influenciados por Lei,nit+ o aOn .ernoulli#

5/ 11
mostraron la extensin a estos tra,a$os# considerados actualmente como una de las me$ores ideas matem'ticas

T'e +.t' and +=t' centuries En el siglo 15 hu,o muchas contri,uciones al desarrollo de la logica formal 2 &louc%uet# Lam,ert y Euler# aun%ue ninguno de ello fue mas alla de Lei,ni+ y nadie influencio a los desarrolladores su,secuentes de la manera en %ue .oole y Irege mas tarde hicieron Goutt$ried Plouc>uet El tra,a$o de Kouttried &louc%uet (1@1C7AB" se fundament en ideas de Lei,ni+# a pesar de %ue el c'lculo sim,lico %ue &louc%uet desarroll no se parece al de Lei,ni+ La ,ase de la lgica sim,lica de &louc%uet fue el signo 0Q0# el cual desafortunadamente )l us para indica %ue dos conceptos no est'n unidos &or e$emplo# no teniendo conceptos ,ases en comOn > en su interpretacin de la proposicin# es e%uivalente a lo %ue lleg a convertirse en el siglo EE en la funcin 0-heffer stroRe0 ( tam,i)n conocida como &ierce" significando 0no (esto" ni (lo otro"0 El signo de igualdad fue usado para denotar identidad conceptual# como en el caso de Lei,ni+ Las letras mayOsculas se utili+aron para t)rminos distri,uidos y las minOsculas para t)rminos no distri,uidos La interseccin de conceptos se represent por 0M0> el signo de multiplicacin (o yuxtaposicin" se entendi para la unin inclusiva de conceptos# y la ,arra so,re la letra se entendi como el complemento (en la manera de Lei,ni+" &louc%uet se interes en la representacin gr'fica de relaciones lgicas usando lneas# por e$emplo El tam,i)n fue uno de los primeros logistas sim,licos %ue se preocup por la representacin de la cuantificacin 9o siendo un matem'tico# no persigui la interpretacin lgica de las operaciones inversas (divisin# ra+ cuadrada# etc" y las expansiones ,inomiales :o'ann Heinric' Lam3ert Iue el m's grande logista del siglo dieciocho Iue el primero en demostrar la irracionalidad de# y -u lgica sim,lica y formal fue desarrollada en su o,ra 0-ies intentos con el :)todo -im,lico en la ?eora de la (a+n0 (1@@@" !omo los sistemas de Lei,ni+# &louc%uet y la mayora de los alemanes# su sistema fue intensional# utili+ando t)rminos para entender conceptos# no cosas individuales Stili+ el signo de identidad y el signo de adicin en la manera alge,r'ica natural %ue se o,serva con Lei,ni+ y .oole !inco caractersticas distinguen su sistema del de otros &rimero2 separa los conceptos simples %ue constituyen un concepto m's comple$o en g)nero y diferencia -egundo2 diferenci entre las letras para los conceptos de conocido# indeterminado y genuinamente indeterminado# utili+ando diferentes letras del alfa,eto latn ?ercero2 su disyuncin u operacin de adicin 0M0 fue tomada en el sentido exclusivo P

A/ 11
exclusin de dos conceptos %ue se so,reponen7 !uarto2 concluy la expresin de cuantificacin como %ue 0!ada A es un .0 escri,iendo 0aNm,0 *uinto2 consider ,revemente los teoremas sim,licos %ue no podran sostenerse si los conceptos fueran relaciones# tales como 0es el padre de0 ?am,i)n introdu$o una notacin para expresar nociones de relacin en t)rminos de funciones individuales2 en su sistema 0iN22c0 indica %ue el concepto individual i es el resultado de aplicar una funcin al concepto individual c

Otros logistas del siglo 46III" Leonhard Euler2 Lam,ert desarroll un m)todo gr'fico para representar la interseccin del contenido de conceptos con la interseccin de segmentos de lnea Lei,ni+ tam,i)n experiment con t)cnicas similares J Euler populari+ t)cnicas de dos dimensiones# estas t)cnicas y su relacin con los diagramas de Denn son especialmente importantes en la educacin de la lgica En el m)todo de Euler el 'rea interior de los crculos representan (intencionalmente" el concepto m's ,'sico creando un concepto o propiedad Los m)todos de Euler fueron sistem'ticamente desarrollados por Gosheph <ie+ Kergonne en 151C71@ &or ra+ones complicadas# casi todos los alemanes %ue desarrollaron la lgica formal se relacionan con 'reas de &rotestantes Emmanuel Tant y Keorge Hilhelm Iriedrich 8egel hicieron grandes contri,uciones a la filosofa pero sus contri,uciones a la lgica formal fue mnima Tant se refiere a la lgica como un artificio virtual completo en su o,ra 0!rtica de la (a+n &ura0 (1@51" 8egel se refiere en su o,ra 0!iencia de la Lgica0 (151371C" a los siglos de tra,a$o en la lgica# desde Aristteles como una mera preocupacin con 0manipulaciones t)cnicas0 En el mundo de ha,la en ingl)s# la lgica ha sido m's f'cil y continuamente tolerada# aOn si no alcan+a las alturas de la sofisticacin matem'tica %ue alcan+ en Alemania y Irancia Algunos autores son 8enry Aldrich# =saac Hatts# Gonh Hesley# (ichard Hhately# Gohn -tuart :ill 0oole ! De 2organ" <os de los m's importantes contri,uyentes a la lgica ,rit'nica en la primera mitad del siglo diecinueve -u tra,a$o va en contra de lo %ue hasta esa fecha se ha,a logrado por figuras como Hhately# Keorge .entham# -ir Hilliam 8amilton y otros .oole fue el m's grande formulador de la lgica sim,lica extensional %ue hoy en da se imparte en clases &u,lic dos tra,a$os 0El An'lisis :atem'tico de la Lgica0 en 156@ y 0Sna investigacin de las Leyes del &ensamiento0 en 1556 El primero representa el resultado de dos corrientes de influencia2 la corriente tradicional y el r'pido crecimiento en el siglo diecinueve de discusiones de 'lge,ra y anticipaciones alge,r'icas no est'ndares Estos

1B/ 11
Oltimos conceptos gradualmente evolucionaron a 'lge,ra a,stracta 0no est'ndar0 tales como vectores# 'lge,ra lineal# %uaternions# 'lge,ra ,oleana <e :organ puntuali+ y despu)s fue extensivamente repetido por &eirce y Irege# %ue las inferencias relacionales son el cora+n o la ,ase de la inferencia matem'tica y el ra+onamiento cientfico> las inferencias relacionales no son slo un tipo de ra+onamiento sino %ue son el tipo m's importante de ra+onamiento deductivo ?am,i)n se le atri,uye a <e :organ la o,servacin de %ue la lgica aristot)lica fue inutil en mostrar la valide+ de la inferencia C'arles Sander Peirce" <escu,ridor del 'lge,ra lineal y primera figura americana significante en la lgica -u tra,a$o puede verse como una exploracin de propiedades formales y a,stractas de su relacin lgica distintiva La utili+ para expresar la inclusin de clases# el conector de la lgica de proposiciones 0si entonces0# la relacin entre premisas y la conclusin de un argumento A,andon los estrictos caracteres alge,r'icos e increment la notacin utili+ando %uantificadores modernos

Glottlo3 #rege" Gven matem'tico alem'n (15@A" cuya especialidad fue el c'lculo# pu,lic el me$or li,ro de lgica sim,lica del siglo diecinueve 09otacin !onceptual0# contiene un cuidadoso uso de %uantificadores y predicados (aun%ue los predicados son descritos como funciones# sugiriendo la t)cnica de Lam,ert"> la notacin de Irege fue Onica y pro,lem'ticamente de dos dimensiones# lo %ue ocasion %ue fuera poco ledo Irege conoca la importancia de las funciones matem'ticas y de %ue estas forman la ,ase para la notacin de predicados (funciones" Ernst Sc'or?der" !ontinuador del tra,a$o de 8ermann Krassmann# su aportacin fue2 0Existe un contraste de los o,$etos entre el 'lge,ra num)rica y la lgica ,oleana# son completamente distintos en aritm)tica# letras y nOmeros# pero existen conceptos ar,itrarios0 ?am,i)n utili+ la frase 0lgica matem'tica0 -u principal tra,a$o fue una o,ra de tres volOmenes 0Lectura de la Lgica del Alge,ra0 # esta es una recopilacin de lo conocido hasta 15AB de la lgica del 'lge,ra# $unto derivaciones de miles de teoremas y una extensa ,i,liografa de la historia de la lgica Otros logistas del siglo 4I4

11/ 11
Irancia2 Lous Liard y Lous !outurat (usia2 D D .o,yn# &laton -ergeevich &oretsRy =nglaterra2 Hilliam -tanley Gevons# Gohn Denn# Alexander .ain# -ophie .ryant =talia2 Kiuseppe &eano La lgica del siglo diecinueve culmin con el &rimer !ongreso =nternacional de Iilosofa y el -egundo !ongreso =nternacional de :atem'ticas# consecutivamente en &aris en Agosto de 1ABB

La logica en el siglo 44" !inco proyectos empe+ados en el siglo =E fueron continuados en el siglo EE # especialmente en los tra,a$os de 0&rincipia :atematica0 de (usselll y Hhitehead Estos fueron el desarrollo de un con$unto consistente o propiedades de teora (originados en el tra,a$o de !antor y Irege"# la aplicacin del m)todo axiom'tico (incluyendo no7sim,lico"# el desarrollo de %uantificadores lgicos y el uso de la lgica para entender los o,$etos matem'ticos y la naturale+a de las races de las matem'ticas Estos cinco proyectos se unificaron en un esfuer+o general para usar t)cnicas sim,licas# algunas veces llamadas matem'ticas o formales La lgica se va convirtiendo en matem'tica en dos sentidos El primero# en un intento para usar m)todos sim,licos como a%uellos %ue han llegado a dominar las matem'ticas El segundo# un propsito dominante de la lgica# llega a ser usado como herrramienta# para entender la naturale+a de las matem'ticas7 tal como en la definicin de conceptos matem'ticos# caracteri+ando sistemas matem'ticos o descri,iendo la naturale+a de races matem'ticas ideales Con@unto de teorias del siglo 44" 1 3 4 6 5 C Axiomas de /ermelo -intaxis de la lgica formal de los sistemas -em'ntica formal El primero y el segundo teorema del estado incompleto <eterminidad (<ecida,ility" Lgica formal no matem'tica

COACLBSIOAES" La evolucin de la lgica y de las matem'ticas ha sido el resultado del e$ercicio de la parte a,stracta o conceptual de inteligencia humana# cada ve+ se ha ido afinando m's la definicin de estos conceptos permitiendo representar me$or la realidad o creando sistemas %ue simulan una realidad