BENSON MATES Depa de Fanta dt Unt be Carta LOGICA MATEMATICA ELEMENTAL EDITORIAL TECNOS MADRID‘Los derechos para Ie versién castellana de la obra Publicads originariamente en inglés bajo et thulo ELEMENTARY LOGIC, Copyright © 1965 by OxeorD Univenstry Press, Isc, son propiedad de EDITORIAL TECNOS, S.A. Tradveci6n de CARMEN GARCIA TREVIANO 1s edleiéa, 1970, 2+ relmp., 1972 2s reimp, 1974 @ EDITORIAL TECNOS, S. A, 1974 : O'Donnell, 27-Madrid 9. LS.B.N.: 84-309.0509.X Depésito legal: M. 22.572—1974 Printed in Spain. tnpreso en Bspasa por Are Grifas Baul ‘Vireudes, TMadsta’S PREFACIO La Wgica elemental, en el sentido téenico del término, es aguella parte de la Igica simbolica 0 matematica en la cual las nociones ‘de ‘todo’ y ‘alguna’ se aplican tinicamente a individuos y no a clases 0 siributos de individuos. Es la porcién més sélida de la dgica y, a un mis- ‘mo tiempo, la parte mds simple de ella capaz de una grande variedad de aplicaciones no triviales. Su estudio parece, en consecuencia, ser especialmente adecuado para el principiante. El presente texto pretende.ser una introduecién a la logica elemene tal. Su contenido, estructura, y modo han sido determinados en amplia ‘medida —cansados’ seria tal vez la mejor palabra— por eiertos deseos 2 propésitos acerca de los cuales debiera el lector ser informado desde él comienzo. Abrigo la intima conviccién de que un iratado de inicia. cidn a la Logica puede, sin menoscabo de su cardcter introductorio, ser rovechosamente confeecionado dentro de un marco de rigor. Los es- tudiantes'se acerean a esta materia con la legitima esperanza de que revalezcan en ell, si es que han de prevalecer en alguna parte, la la Tidad y la exactitud. Cuando encuentran chapuceria 0 vaguedad on Puntos cruciales, se sienten comprensiblemente decepcionados. En modo alguo imagino ser el primer autor de un libro de texto que encarezca al rigor, y menos ain haber logrado soslayar con éxito la especie de frusiracién que acabo de mencionar. En todo caso mis esfuerzos en esta direccitn explicarién muchos da los rasgos distintivos de este libro. Como un primer paso hacia la consecucién del deseado nivel de laridad, he procurado ofrecer en los desarrollos formales wna defini- ‘cién razonablemente exacta de cada uno de los principales. conceptos en ellos envueltes, incluyendo los de enuaciado, interpretaci6n, verdad (con respecto a una interpretacién), consecuencia, validez universal, stisfacibilidad, tautologia y derivacion. La presencia de estas definicio nes ha marcado el estilo del tibro. Normalmente, la discusién de un ‘t6pico dado consiste en una breve introduccién, seguida por definicio- nes, seguidas a su vez por numeroses ejemplos y comentarios explica-8 LOGICA MATEMATICA ELEMENTAL tives, A la primera leerura, sin duda, algunas de las definiciones resul- Jardin wr tanto opacas, pero es de esperar que los comentarios suple- torios y ejemplos las harén inteligibles. En cualquier caso, servirin de urto de referencia y permitirin, cuando menos, al profesor responder 4 las preguntas acerca de su significado, Este libro no pretende ser suficiente para el autodidacta. Su objee tivo es tan s6lo presentar un ndcleo de material bdsico que pueda ser utilizado por un profesor competente en cualquiera de la amnplia gama de posibilidades que cabe adoptar en un curso introductorio. Con seguridad que hard jalta una explicacién adicional de los concepios fundamentales; asimismo debieran exponerse otros ejemplos de teortas formalizadas, cuya eleccién dependerta de los intereses y la formacién del estudiantes y ninguna introduccin a la Igiea debiera pasar por alto una discusién general del método logistico. A buen seguro que no habrd profesor que no eche en falta ciertor temas a aladir, pero Si al mismo tiempo encuentra que no es mucho lo que hay que quitar, et libro habré cumplido su propésito, Los dos primeros capitulos se consagran a preliminares requeridos ara los subsiguientes desarrollos formales, y a ciertas cuestiones filo- Soficas de las que puede decirse que constituyen una "base intutiva’ ara tales desarrolios. Los capitulos 3 y 4 describen la graméttica y la seméntica de un lenguaje artificial particularmente simple y conducen 4 una definicién de cousecuencia Wgica para enunciados de ese len guaje. La definiciin asociada de verdad para dichos enunciades mute eludir 1a fundamental confusion en que se incurre al “definir’ las Wamadas conectivas enunciativas con la ayuda de tablas de verdad y usar luego tales conectivas entre jérmulas abiertas (como en *@) (ExvGx)), mientras al mismo tiempo se advierte al estudiante que sélo los enunciados (férmulas cerradas) pueden ser verdaderos o falsos. El quinto capituio, que es tal vez el menos satisfactorio de! libro, intenta arrojar alguna luz sobre los problemas que se plantean dl 'sim- olizar’ los enunciados castellanos por medio del lenguaje aificial. Aqul hay que andarse con especial cuidado para sortear el riesgo de decir cosas que resulten equévoces 0 sean claramente falsas. Por Io que a mi respecta, me siento obligado a rechazar el punto de vista que considera las conectivas y los cuantificadores del sistema formal como abreviaturas de las palabras y frases correspondientes del lenguaje natural, y que deseribe los eniunciados formales como esquemas de enunciados del lenguaje nitural. Caractertstca de este punto de vista s Ia sugerencia de que las palabras légicas tales como ‘si... entonces, ‘o', y ’no" son vagas y ambiguas cuando se las usa en el lenguaie coti- PREFACTO 3 dian, viniendo a consist la tarea del l6gico en seleccionar, en cada caso, un sentido aisiado de las mismas y conferir tal sentido al corre- lato o contrapartida format de ellas. Parejas pretensiones estin pobre- ‘mente fundadas, y son, en mi opinién, probablemente falsas. En gene: val, he intentado poner bien de manifesto que aun cuando podemos traducir, hasta cierto limite, los enuonciados del lenguaje natural a nues- tra notacién formal, es frecuente que surja wna seria proporcién dé hiatos en al proceso. No sélo es posible que un argumento traducide sea formalmente incorrecto mientras el original es intuitivamente co- recto, sino que también se dan casos en los cuales la version tradi ida es formalmente correcta mientras la original es intuitivamente in correcta. El precio de lamar explicitamente a atenciin sobre este echo es, supongo, la pérdida de lz confortable, y acaso pedagégica- ‘mente itil, impresién de que los ldgicos poseen un aparato esotéric. ara veritcar la correccién de argumentes construidos en el lenguaje natural. El capitulo 6 se ccupa de las taitologéas formales. Cometido de ‘este capitulo es suministrar al estudiante un procedimienso claro part decidir si un enunciado arbitrario de la Idgica de predicados es tauto- sico, ast como también introducir un sistema deductivo muy simple que lo familiarice con gran niimero de enunciados tauoldgicos y le dé prictia en la deduccién. El capitulo 7 presenta un sistema de deduccién natural, similar a anterior. aunque mhs complejo, para todo el aileulo de predicados. 4 disehiar este sistema he tenido en la mente, entre otras, as siguiente consideraciones: 2) La manera més natural de concebir a la légica no parece estas ‘en entenderla, por ejemplo, como un sistema axiomético de verdade: \ogicas, sino mds bien como un sistema de reglas de inferencia que sor Spicamente aplicadas a. una materia extralégica. Es fécil comproba que en wna argumentacién féctica sobre una materia cualquiera, de olftica a la matemética, el uso de la légica raramente envuelve la in sercién féctica de verdades Idgicas en el argumento. Por esta y otra: razones he decidido consagrar. principal atencién a los sistemas de deduccién natural, en contraste con el punto de vista axiomético. 2) Un argumento, en et sentido fundamental “de este término, e. un sistema de enunciados declarativos, no un sistema de condiciones ¢ férmalas abiertas. Sélo los enunciados pueden tener valor de verdad ¥ slo los enunciados pueden, en primera instancia, guardar entre la relacién de consecuencia iégica. Esto, unido a ciertaé consideracio nes mengs importantes de conveniencia técnica, justifiea la decision10 ‘LOGICA MATEMATICA ELEMENTAL de no permitir que aparezcan fSrmulas con variables libres en las lineas de una derivacin. © Finalmente, y en intima relacién con lo que antecede, un argue ‘mento correcto debiera estar construido de forma que, si se lo interrum- iese en un punto cualquiera, el iltimo enunciado afirmado se siguiera Wogicamente de las premisas utilizadas en su obtencién. En otras pala- bras, toda porcién inieial de un argumento correcto debiera ser tam. Bién un argumento correcto, Esia exigencia queda autométicamente satisjecha sic) se satisface, y en ia préctica su satisfacciOn trae consigo mumerosas ventajas. Ast, por ejemplo, al anotar en cada paso si lo que acaba de escribir es intuitivamente una consecuencia de sus pre- misas, el principiante en el aprendicaje de un tal sistema puede dis- oner siempre de un método elemental para comprobar si ha aplicado correctamente las reglas de inferencia. Por otra parte, la correccin de este tipo de sistema se evidencia con Ia méxima facilidad: dado que i una sola de sus reglas puede conducir, partiendo de premisas ver- daderas, a wna conclusién falsa, es obvio que'lo mismo habré de suce- der cuando todas ellas se apliquen consecitivariente. El capitulo octavo establece algunas’ de las propiedades generales de las reglas de inferencia expuestas en el capitulo 7. Puede ser omitido sin pérdida de continuidad, si bien es verdad que el material relativo @ la dualidad y @ las formas normales puede proporcionar al estudiante una valiosa prictica en la manipulacién de cuantificadores. En el capi- simple posible al objeto de no desviar la atencién de lo exencial. se expande para incluir él aparato-de identidad y simbolos de aperacién, El capitulo 10 esté consagrado a una presentacién axiomética de la Wogica elemental (con identidad). Su inclusion refleja el interés histé teorka del silogismo de Aristételes; que se ajusta lo mis estrechamente Posible a la exposicin que hizo de dicha materia su propio autor. El tiltino capitulo es historico: contiens, ‘entre otras cosas, wna tra: \ PREFACTO un duccién literal del texto aristotélico en que se basa la versién jorma- lizada del capitulo 11. Espero qué este material histérico coadyuve a salvaguardar al estudiante de la errénea nocién de que la moderna Wogica simbdlica es un capricho de advenedizos que ha egado a usur- par la legitima posicién de lo que se denomina ‘Iégica tradicional’. Esta illtima, por extrafto que parezca, tiene una ’tradicién’ relativa~ ‘mente corta, mientras que, por el contrario, muchos de los métodos ¢ ideas distintivos de la Igica moderna (p. ej, formalizacién y uso de variables, axiomatizacién de verdades Igicas, consiruccién de siste- mas completos de reglas de inferencia, etc.) se remontan a los tiempos de Arisidteles y los Estoicos, hace veintitrés siglos. Deseo expresar mi gratitud por el apoyo y asistencia que-tan gene- rosamente me han prestado mis amigos y coleges, especialmente David Rynin; Emest Adams, William Craig, John Myhtll, David Shwayder, Leon Henkin, Richard Montague, Donald Kalish, Rudolf Grewe y Leon Miller, y mas particularmente Gebhard Fubrken y Dana Scott. La muy considerable extensidn en que he extratdo material de otros textos, singularmente los de W. V. Quine, Alonzo Church, Patrick Suppes ¢ Irving Copi, le resultaré evidente a todo el que esté jamilia- rizado con esas obras. En el capitulo histérico me he alimentado sus- tancialmente de los escritos de William y Martha Kneale, Philotheus Boeiner, Ernest A. Moody, Alonzo Church e I. M. Bockeriski. Mi tra- duccién det pasaje de Aristételes que figura en las paginas 254-255, hha sido transcrita con el permiso de la Enciclopedia Briténica. Pero, Por encima de todo; deseo hacer constar mi deuda con Alfred Tarski. La profundidad, vastedad y claridad de ia obra de Tarski en Idgica son una fuente de inspiracién para todo estudioso de la materia. Mu chas de sus ideas, si bien en forma modificada 0 atenuada, se encon- trarén.a todo lo largo de este libro. BENSON MATES Berkeley, California Octubre de 1964INDICE GENERAL IXTRODUCCION sor cee ane ne Te te tee cee vee ne ne ee on lg 1 2 3 a 5 Nogvos PRELMNARES Uso y mension Varcbier errs te aa | 2 ealesoee a i + ee ees INTERPRETACIONES Y VALIDEZ UNIVERSAL, J. Interpretaciones del lenguaje formal 2 . 2 Verdad ... 7 3. Valder Universi, conssciencia catictacibaidad “TRADUCCION DBL. LENOUAIE NATURAL AL LENGUATE FORMAL & .. 1. Introduccin ... 2 Interpretacion y Hadiiocén 5. ‘Traducci6n de conestivae 9 Stall Bxencianos TavroLécrc0s Tatrodetion a. on Dettaieioa de Yaitl me Enunciades tautolégicos del CE; iabias do verdad Método gar donc fos enunclados Son autoldies Propiedades adicionales .. Replas de derivacion para Ios enunciados dei CE. 13 3 us uy 122 14 154 LOGICA MATEMATICA ELEMENTAL [REGLAS DE INFERENCIA FARA @ 8. ALGUNOS SETATEOREMAS : 1, Reemplazo, negaciéa y dualided, forma normal prenex. 2 Comeecién’y coosistenei . : 9, TDENTIDND ¥ TERMINOS ocr oe ce oe eee 1. Kentidad el engaje 2y 2 Gini eta 3. Hmm oh egee S 10, AXIOMAS PARA 1 1, Tarot iso a adiess oo Teor de fe emai on 4 ents len dicot ai asia inde 5 Broa por euros ey eae 11, Teoats FORALIZADAS 2. 2 protien 2 Sosa aioe. 5 Leora del omorenit 4 Grapes: aigebres booteanss 3 Bedhidone ; 12, BREVE Esn0Z0 DE LA HISTORIA DE LA L6CICA 1. Logica antigoa 2 Logica medieval 3. Logica modema BmLiogRAFIA .. INDICE DE MATERIAS oe ae “CAPITULO L INTRODUCCION Este capitulo preteade dar un conoepto informal ¢ intuitive dt Jas materias que conciemen primariantente a la légica. Una tal into. duceién es, con seguridad, un requisito a satistacer; de otro modo, el Principiante pudiera expetimentar Ta sensacién de no poseer la clave Para entender Jos procesos formales ulteriormente introducidos, Pers ‘Procesos formales mismos existe un acuerdo sorprendentemente unéni- me, pero toda euestién relativa a “gué sea aquello de lo que se trata’ estimula Ia producciéa de teorias que son sobremanera diversas. Por ejemplo: gtrata Ja légica de cémo piensa la gente, o de o6mo Se deberia pensar, o de ninguna de ambas cosas? jLe interesa princi. Palmente el lenguaje o el mundo extralingtiistico? ;Cémo deben sev fonsiderados los lenguajes artfiiales del 16gico? zSon modelos simpli. ficados, pero esencialmente fidedignos, de los lenguajes naturales o se pretende més bien reemplazar con ellos a estos iltimos? ;0 babria que explicar su utilidad de algin otro modo? No cabe duda que estas cuestiones han de ser eventualmente teni- Gas en cuenta, a pesar de su vaguedad. Sin embargo, el estudiante no inciado deberia tomar conciencia de que, en la préctica, su importancis zo es tan grande como pueda suponerse. Cuando el nesfito pregunta “caus os le matematica?” 0 ";qué es la fisica”, tal vez la mejor réplica sea: “después de haberte familiarizado con Jo que hacen los matemé. ‘Hoos y los fsicos, podrés decidir por tu cuenta sobre el particular’. El mismo criterio general es valido para Ja légica, Asi, aun cuando abri- ‘gamos la esperanza de que nuestra discusi6a: informal allanard el ca. mino para el entendimiento de ulteriores tecnicismos, somos tambien conscientes de que, una vez dominados estos tiltimos, el estudiante Podré, guiado por sus propias luces floséfioas, decidirse a rechazar2 vere ‘one ‘soanwadnr ‘soansBoxzormt ‘soanereppep ow0d syuetpensn sopesgisej> wos operas soy “mABoT ey 9p o1elgo so anb wayeur y vco secrmmord wARMIOT pepHEyrarey won cquerpmse Te reuo|Iod ord ofgs wei $9 ‘srepsooar aqap ‘Teno [p ‘onsodond ayuasaxd onsont wrod upencepe so uopmyep uso ‘Somstmeauoour sejqudouc sns = aso “oR[daice cquaruresuad un soojquise anb eonsyasay uorsexdxe eon ouros seqenoripen soopyarerS soi sod oprayep so opyounue up, “oso wos swsturaid op oroumi fo anb soj U2 soseo revopisuoo [HN WiqurE so ‘eytrejape spur somareA oMCD “OAR sod oaie un ap taneiouep eBiggre ume wun 10d x, opmezejamee: _SePRS 9p oso fo onb rowan so x, wowsaidya ¥j 2p smred ¥ sopra ‘ago 29s ap sajqndsosns soptisunus Sof sopen ep ase[9 2 ep “Hep $0 ‘sejonso op oxourpu yo onb zousu: $9 ¢ ‘sense ap orampu fp onb r0usmr $9 z ‘sejjonso op oreurnu jo onb soueu: $9 | sopeppunaa sot (9p taruryur 21108 ) ap endis 2s, ‘seypnso ap orouupu a anb zowaur so oansod oxerwe op, ‘opurounne [9 an oseo [p ou o sos seiunBaxd ‘oydcast 30d ‘somspog “opeidoide 32s ep ofep omaumaze, omy Fe PrP ~enauese stuefoms uo yz onbuny ‘oxugut ves sesquad ap ore Jp anb sof uo soseo serapisuoo ou ered nozer ey om ammomTeay “TIS ~nipuog wan X vormexd vos wun ap wIsueD en cyuaumZre wn sowene1 seo ronrat fo te K Suprsnfotoo oud OAaNL Op SOS ap OUND To ‘SOPED sunua anend 2p wsu00 ofdurafe opunes ta ‘sestaraxd op Jp saITE|Sez Sop sof & uptsnyenoo ap jaded yo eyeduesep sofemo so] ep OUND [2 ‘S04 Jod eransar ‘amnaureorigmosne epanb ou owaxioo so Opep oMaumBre tn 1s 7oqws oP ‘ugnsono Bj onb zeceagns wood Yj afea aqreisqo ou red “orsedsox [e3 wo ‘pnke ayqeraprsuco reysaxd ‘omeurenoartpuy ‘opand worSor ef & Ten2o9[erar [POpIANSE TaN van ‘Soo0A we ‘So OpwOMRUAS [op Uo ey “TeIussad a somonaouns o rare 0 pepanSea wf op wsne9 & epemBese 29s opond Ow so pia 22a SS Seam St {mg “ovopopuon so 1S FenBipeAe wo 59 euo|qord oTos oven ALM ME gp sip coared ou ‘sould Sop 2p wums wf so oneno anb 204% © ea gas onb oxayee opor onb asetsaiquiso enb ousse onssoeP [EE oF “ayouoo ue o waeud vue spss wpond ak pepenes V1 9 So oa peop U| ‘sose ap osu TusSuaTIG ean 9P Oot S “UR Spans a> ano psojTuafo 01s aP OBIE TP 0 aN SSEHIATT _eauns 2f so senso op oreumNU fp “aydamIsU09 30d sox 99727 wi oc soem & ved s Sense ONE ‘esyeuaud wos tun 2p anda [9 5 PHP ust qua © 103 s ‘ered euuonbat 96 anb owwormaqnos9P 7 eet op. ae ‘opis zy “ojdmle sod “woqe Seq OPEN THEIP “al oanpout 236 apend wonsens w “eumprpere sod “Sose> SOnO YA b ssefuereu op oxsumt ous [2 wouazyaco ant ‘gofeo stas souour Te upowuuTe jp wo Sey ‘oquaRTIa|sTOO Jo i ‘sofueseu 99t 2p Spur ouauco w{eo eoNSUIN, ‘sefurered op] Susur Te auauOo vfe> EPYD seeoname fo ue selene ap sofeo gg] avazurewexe AOE 19 ow09 sugpragax euop azombar 26 sosen sono dg seem sus 9p 208s 25 seqesout tos soBaud sor sopos “aarnsis109 20d ‘sseaquioy Uos SOBatS $0] SOPOL, ssoqensour bos S9sqmI0% So} SOPOT, cquourxe ap wopsnfodco W| anb 394 [IP TANS a APE -mago ainoureyrpeura 59 u932010901 0 ERAGHTOD e TROOPIPEN NOL ‘ap sosgiy Soy waqrp:s anb sopdanafo Sof meme on ‘sof aim “sore Me rossetzooud S9 opoul ono ap ssesrud sus ap 7 soon eran esneaa te 8 (OMA) 228410 52 STRESS war Sb cop ag omasion owuaungie un 9p uorsnjuco a & Seroy Be arte oh abou nouonzesues op apps m, pssst SOT FT YoIOgT VI VAVEL IND IG. “T -ouodxe 2s yenuRuOS ¥ anb eyOIONPOnTT ‘qnoay wf op souoprod’seucr “sojgRyoIm ommpur © SHTEE ome ‘WINTRETE VOULVIGELVHE VOIDOT n(oaperepep opstounue, op wmerssiqe owco opyjounua, sowzezytain siuejepe we mbe 9p 4) operouaus Uq “oo1ju opoiourue 2p [> FIs? cwaties ortsunaie 3p ordeouos [9 vos opeisaued squauTewlauy “avaaSTETTVNY X NOOR“ “sesqey meas sesrmaid spur o wun anb op (seo j2 uo woysnyou0o Ff op pepiea sp oTeA Jop zaxgoe wUNsTE UOIDELE “YOJUL wp Sou YU “wopepsea oMDey op vas seed sx Op wiotabTEND anb eae ou seiopepron upiqure so uojsnjeuco vf seouozue “ses -apppioa wos sesrmnsd sey 28 anb atwouresyun wzpere® uo%001100 FY ‘upisnppuoo a A sestmaud so op PeplaA op sozoTzA so] ap arcewaidams spuadep ou omammize un ap upiovaio> % anb ersena Ol Oper, + “(eiopepioa worsnjono A esfey wsrurerd uo oypaszcaMy oguommnzy) ‘edoing op woeromep enSaue spur x uo ‘aga youNZ wo sara onb JP opoy ‘syueMsisu0D 10g Mung, we eats edomng, ‘9p expeisomep eniique sear ¥| uo ata onb fo po, H(esyey worsnjoucs A esjey usyuard woo orooxoom o;oumBxy) eanyeusise 2 opuopus mom eong Bun uengo enb [9 Opor “sauafnisu09 Jog ‘ mou vuong ‘van ouenqo inreaSise w apuonus onb [2 opoL “@sTe} uorsnjoU0 & sexopepzon sespurAId woo oaLIcoM owDUIay) sosens uos soBonzou sounspe ‘rtemnsisuco 104 ‘sozoseyoud os sofaniou soundry” ‘Socens wos sauoseyoxd souniyy s(erepepron. Uorsnfonoo £ serapepsea susruresd uoo oYpoxioout cquominre tn £9 SIS) seus8yjoiur wos soyeumd sounfe ‘cquemnSisuco 10g ‘saiquiog wos soremmpd sounajy ‘soruaStpow uos sexqmoy sounsyy :sopepmigysod sey ep seansye op soapensnit sojdarel2 sonmens soun ynbe ayy “peprsd ap Saiopea ap souor ~emguo Sj Sepol uo eszep apend uorooaizooUr ef “eure wai0 20g 6 Noronaowint “oypanz0our eas oyuoumidze fo anb FaB op & “ESTE UgISAIPIOO ef A sesapepran asany sesaraid sep onb ofqisod (Gousmr opuens) vos ‘esjes uotsnjouoo z sexapepyon oysey 9p Uos oluUMsre Un op Sera aid soj 1s onbiog “espey Wofsnppuco ef & sexepepron Teas sesmmoxd Sey ‘and so ojoexio> Oyuourngse Un uo eszep apand ow anb PEpIoA op SOI0] “es 9p nopemgmos wun e] “UoLsoaI6 ef Temes wed exer s0 0188 & “erepepiaa res onb espuer woisn[puoo Uy selepeplea was2n{ sesrmoud sey 18 onb soumroape ‘seuzuoduico soy op pepzea 9p s0pEa Je oypay ap as Tpno eufodaay onb us ‘Soseo so1se op oun pro Uy “eIePEP 298 upisnppubo wun A sesyey sesturaid s9ue1 op resed ¥ Une ‘0108zT00 $9 sofoxa tos sozreaaSoi00 soy sopos ‘stustastsa09 10d ‘san0peu9s 10s sofseNaB0100 SOT SOPOT, ‘Sofeta wos sazopeuss sof sopor, “onnoumn ize yo, ‘ojdanafe sod se ssesyes souctsnyouco & ‘sestey sesrmard ep opuenred ‘eidarajs waaay] Soisaxi0s somoumiSre soy anb oseo TP $9 IN “SOsTEy TOS seusSieut wos sereamd soy sopor ‘stmemn3isu00 zg saiqMuoy Hos sayeumnd Soy SOPOT, ‘sonmeBai0r uos seiquioy Sof SopOL ona -09 oqwaumfire [p wouodmi0s nb soperpunna sot sopor ‘opdarale 10g “esquy Uorsnjouo wan. 0/f sespey sesmuoud sym o wun UeuER IMD SOE -09 swwaurersqus somuammire upiqura Aey “[ Uo!oes ef Ha sa1Ue Opep ‘ojdtmofo soured fo uo oxo ‘seIapypzeA Uos uorsnyoUeD Bf & sesIOAM se sofend So] us somareo scmoumire Key ‘anwourpemren ‘enbune “sy “ugtsnjouco B] & Uaiquia wepepzoa ssoeq ond eEpLOY sesquosd se ¥ seiopeproa aso1orq anb ajqiqeouos BoTeIsuNaND Epo |S ‘squamrefos & 1S oyeauioo so OIMOUITSIE UM ToILAMIS Vi So ONNIED OmSTEE [p a209[quiso 2p eroueur eNO “wepepran Jes anb EPMA UOISA;SIOD e ‘sexopepuen weseny sestunaad sep 1 anb so uorsoans00 wy ered axombor 98 onb oj opor ‘amzefou00 sou om enb e500 so ‘Se1apepleA OMe op uos UgIsnp Y O sesItued sul Ig TeONI mbe so e[qisod, cummin fp “epnp Ug “eseF UorSAISUOS ns { seIApUPIOA Wes sesTEaAd snp onb ayqisod $9 ow IS s1UaME[Os & ¥S oOLIOD 39 opmeuNETe un roruoMts copour ye —sgndsop stoop onb sear o8[e souexpuon sojen soy 2p wus" soqure soxdeoxoo— pepmiasod £ pepraa op soupmign ws openusoy syusurnmco se oyueumiie un ep uomoas0o wy witd OUST corfoy [9 wrod fesproumsd sore ap teas soperunue sompep anb rye 2p ‘sospey © soxepepion 488 [9 $9 SoAReTeDap sopeIoUND Sof ep oonsTEL WINGHOTE VOLLVRELVHE YOIDOT 8ranb spep so orepeproa so opeiomnua un anb, neq “sopenunus anus Jes woPunsIP eur e eonpUOD ‘sa[qIsod sopumaL soITeA SOND So] [erase opunm jo exuo WoDUnSTp wy "Ualg BOGY "MUeIEHKD BP OLE ‘189 sorcr onb of sod so ose 20d i ‘Sajqzsod sopunea sor sopo} op solatw P (amesajery jnbe uoze: eun 10d) syumepe sj ‘opnstxe xeqey ueppod aonb sajgisod sopuner 2p eqas wrayer e ap oun ofgs $2 sourenuosus sou'onb p wo [ene oun jo “ZIuGWT ep eUMDOp x uco opionse °C "p we weft ns fea ounsfe opou uw opueno UNE “(9TLI-949T) ZAUQIPT “AX “D OJOSOTH. [P Loo epervose ‘aidurots sseo ‘so pepriqTod ap SOURED, Wo PEpMORTeUE FY ep UoLEmaoErE syuapooad ey “opep opemuinue [9 woIsmppuco 1od £ seonpmorear sopepron ‘sruomeos sesrmexd 10d wBoa1 enb operoo oxoumsre un 9p wojsonp -oxd rour ef onb oztonyso syar yon offsu0o Baal] OoNBUTeIEAE Oper -unue un op eqenad ey 00 sep ‘sear uss seoqUapy uefop 2s ox ,eqensd, & .orscai00 owaumére, ep sordzouc sox anb oxssqreem 2p aod og “SRPURIEM Peprsa BUN e uorsNPUCO Iod eBus; onb orsaziOoU OYTO ~n2re un 2yspe@ ou onb ep ompey Je a1q0s ZeMopayr e uezIoNy sou Wp ~soaime anb souo!ser2pisag> sof ‘Soouifere sopwounue op sumdipered sojgnosppur sod seprae wos seoppusiear sopepzan seq onb opeq “osfey esang [euoWnIpUOS [2 sofeno sel ofeq seIOWEISMTON ‘uajsrxo ou on orsand ‘osyey Teuoroepuco [> A ozpepren asony opeIUNUD aise sozeno set ofeq sepurisanon waste ou osous]qepaput enbrod “opraa $9 eq20%y PT 2p wowonoosuo9 ua 59 0g tuBed x we opeuorouour consTeue reuo:pEOD Je zojdumals + ‘sesymed ep onmmltco opoi 9p vrotenoasuo9 wun s0 18 squomrejos & 1s oomfene 59 § ‘SY “OonTTeTE se g “ctuaINS{suoD 10g ‘sepumjsanon set sepoi ofeq ‘Hoop so ‘Sconsreae sopeounte sox sosapepien uefeq anb sepuessanon seq sepoa ofeq arepypieA BI08 Sy ‘SooneNe sopeunos op emeurearnfexe arsuos anb sesnmad op oyenfaos sombqeno ap erouon2esuoo wun so ‘sestuard 9p oxunfuon oper 9p wiouenoetao9 wun $9 5 18 ‘eure 230 Jog “omsarico $9 oMnaume [9 “1 suamidisa0o 20g “(Guodep fared opaedurszuce ouararp 29¢ owed Jp sen suorex Bunt of ¥ ovjes un 9p twa won afgisod so ou “euRy ww osfes Ue 3p ‘wea vf nb ajgysod so ou 16) ‘osyer g & sezopepson eas sesraaid se odmay ouster tn ¥ anb ajarsod 89 Ou siuouTEtAgo I8e A ‘osfey Bas § anb ‘eiqwsod so ou conmene so g anb oxsand azeg “espey ‘g $3 anb ‘corsnypu00 ns & semapepsoa tees sestmaud sus onb ojaisod so ou 1s awomplos £18 owpenieo $9 ommammnSre Te To “tolg BOY "uossAfoUCD 10d ¢ eFuar anb ‘oquoundie un asorepisuoo f ‘oanseue bas g opeiounua wn anb aseugd sng song “oonmfeae so atmefomes opwounua rambreno & ‘sestuzoxd ap 1% omonaount ‘owm{uoo opo; ap wouansesu0o tan so ConTTeaE opwiouae Hn ‘seIqEred eNO Uq “UO[SNIPUCD ¥ WS [end Jep OMaLooUT oymouMAIE Key OU IS aynaurejos & 18 odpTeue $9 opepunce um rotmamsis zy so owodsar [e ‘auresezaqay ug|e[aI tno anbiod ¢,copau09 Bum, ONDEP soqey SOUTEHAGEP “peprprreue & ugpsanies ante .tgpieuea 7), 2p FeqUy ap JeSAy UA “39 of o;aya to OMCD ‘oonTEME so ‘sopeuroUr os Soet18 soy Soper svouoIU9 ‘seiqtioy wos soBau sot sopor 4 safeyour wos sazquicy Sof SopO? “Tenowrpuos [2 1s ayuauTeTOs & 1s ‘oyoomon so | woKs0es ef uo opep oynoumsre Jeu” Jp “ojdmafo 10g “conten so ‘squatpuodsozi09 [euoforpudd Ip 18 stusUTE|OS A ys CweLIOD so sespBard ap ‘eu oNs FON Uo OmMeMNTE iM sans anb w arueareisnl s PEPIN -y[eue ugyeoarr00 axiue upTKeUcd B{ OseO Te We UO!SNIOUOD wf SWUORIS too ooo & ‘4, eiqered 2 2p orpaur 20d sesrarazd sep sepor seyn{u0o ‘9p mynsex anb opepumue fo arttspeoette OnToo opaeuteL anuaRpuodse1s00 pDuo}oipuoo opemovap jo SoMANSMOD ‘sesFUCard ep eiluy elas wun woo owaundre im opep “wai wiogy ‘auemndisuco Je se seouoM, eGR -ed yf 2 ondis onb of & ‘2nepacenen yo opeurmonsp 50 18, wqered BF sjuoureyerpouruy anBts anb opefounma fe fouorpuoo wun opeuTTOUNp so ‘sopztounne sono uo SopeUDT| 28 ap Te Coueg wa sompedso So] apuop -seouome “Ig ‘Fanz0y FI ep opetounce uA ‘Tepedse wSoOURTI op ‘sop egonbod wane stzmges [HIN BES MOTEL wso apuaUTUMNT, reyTeSe eg ‘uroenos & peponrere enue uppnce ef oseuand souourETExe cored ‘conyreme opepmmua un op UoroN ee axeIq Uo SOMIRIDATOA “osyay Bas onb swf wo s9jq4QHO -sop enemy seoresunons eq “oonsTene so ou ‘orepepion anbune 98 666 U on sarez30§ ‘opepanes Jp “oiquswo ug “wee eno sombjens 2p eoios" o saleisgg ap "amo? soqpet] soy ep equamajmorpuadopur czopepzea so enbiod ‘oonyjeue so “5 2 66€ wo guna ou sores29§ 0D" 66E We Ou SaTIBOS epepenne 1a “ste ss0n5 anb se uo soreigeouoa seu -sunoxp fey ou syuouajes Ais o7e02 5 OpeoURES Ur. OWSTE of Ss gusts bub OL © ose) 108 opond Ou fs svUauNOS & 1s CoREUD so WINGETT YOUWNEIVE YOIOOT oc2 EOGICA MATEMATICA ELEMENTAL es verdadero para el mundo actual, Algunos enunciados verdaderos, sia embargo, lo son n0 s6lo para el mundo actual, sino también para todos los otros muindos posibles; tales son los enunciados analiticos (lamados también a veces 'verdades de raz6n', 'verdades necesarias', (9 incluso ‘verdades etemnas’). Los enuinciados que son verdaderos para el mundo actual, pero no para todos los mundos posibles, son denor nados “entinciados sintéticos’ (0 "verdades de hecho’, o "verdades con- tingentes?), Las leyes cientificas se supone que pertenecen a esta titima clase; porque aun cuando describen el mundo actual con considerable generalidad, hay numerosos mundos posibles pera Jos cuales no son Validas, Las. verdades matemSticas y logicas, por otra parte, se dice {gue son verdaderas para todos los mundos posibles, incluyendo sin Guda el mundo actual. Asi, por ejemplo, no hay mundo posible pare ff cual el enunciado ’1-+1=2 fuese falso. (Al considerar este punto no estard de més recordar que la cuestién es: dado el sentido de '=2' ghay un mundo posible para el cual fuese este enunciado, ‘en ese sentido, falso? La circunstancia de que ’1+-1=2" seria falso si ‘por ejemplo, la cifra *2” denotase al nimero 3, es ircelevante,) Leibniz explice frecueatemente posibilidad y necesidad en términos de ‘concebibilidad’: un enunciado es una verdad necesaria si lo opuesto (Ge lo que en tal enunciado se afirma) es inconcebible. Pero el citado filésofo manifiesta su intencién de usar esta Gltima palabra en To que ppodemos lamar tn sentido "no psicolégico"s en modo alguno Ie intents 21 Spo de concebibilidad a que nos referimos al decir que wna Persona tes capaz de concebir lo que otro encuentra inconcebible. De este modo, Leibniz explica la concebibilidad como sigue: un estado de cosas €s ‘concebible si no se sigue contradiccion de la suposicién de que exists. Obviamente, al caracterizar la consecuencia l6gica por la analiticidad, Ja posibilidad, y la concebibilidad, y a ésta por la consecuencia Tozica, ro hacemos otra cosa. que recorrer un circulo. En una explicacién i formal, sin embargo, tal circularidad no es ai mucho menos desastrosa, ppuesto que un sistema circular de explicaciones puede, muy posible- Thente, obtener un resultado positivo al “dar la idea’ de to que hay que ‘explicer, y en cualguier caso puede al menos indicar clertas intessele- ciones enize los términos envueltos. 4. OBSERVACIONES MARGINALES. ‘Al precente momento puede ser de utlidad intzoducir wnos cuantos comen- arid RSET to que sinificamos y 10 que no sigaifieamos por algunas de $aFee Re gae hemos dicho hasta ahora. Cuando decimos que todo enunciado Jes sotthoi ex verdadero 0 fale distinguimos altidamente entre "verdadero ¥ Serurado. como verdadero” Side wa enuaciado se sabe que es verdadero, o& INTRODUCCION B sees tne yan ee wan goa wat sae 39 se sepa que !o son. Ast del hecho de que no conozcamos si un emunciac io Sie hoes ataee 0s Banas aes BS silen oma, geceine dol fbednd ce ree BL ae to Pee re eo gt oe ele a SSRS Sa Seorien de re ui Aamir Potablemens elon pr, caret vega Gest gin ode ie git Cee eS mer i a Se BALE U glee hens ma Bea's oe a's jcamente raro’ que Juan diga: ea Ha salido, pero yo no Jo creo. Nadie parece negar, sin embargo, que alguno pueda decir verazmente Ha salido, pero Juan no lo cree © que el mismo Juan pudiese mis : isms ogee Juan pudiese més tarde decir (refiriéadose a le mismisima si- Habis satido, pero yo n0 lo ccf to yooe de mangas gue Jen poate oa nbiea eunente a ppcere tess wn ambien wramest Es adn tes epunciadey Sn dada, & te mayora de los cass 6 oe ces To gue gas Ste glee hs Pehco wine ye Seta Se EE a ee te a Se ee iene muy poco que ver con jema de saber si bay o 20 ciscunstancia en las cuales: ules ¢] aludido enunciado fuesc. cndador, 2 Hee eee so tannetane Winns oy W'aalat oe ef gale pes s Shas oe ae ee SEE Se reat alae at nin 1S doatlo es ery ee 5 RE Sore ety Gia Sweats bee Bab hE SERS UES Se eee cr gostei oe eS cc ay Sing seth ren eal SS aoe Catt ue Te Ze ls si aS ha Nea eas gee es A Sbicy son ahora tecnolosicamente imposible, y-quizk $i o seas La Foe oe : E te imposi 2; re Ga loge ss an ms ap gue pad in a coach 2 gaffe! dog ecw “omic orgs PQGRTIGNS easiness ce ee Fa reienge Gover it, cymes leis bombo" ar alae er on ed presario, ingeniero, 0 ceatifice, por ingenioso que sea, lo conseguird jams Sipe ides unum Sameer oa aie ae eats tes fr acarado ex puesto propéste de cons "ag Rae sea mucoid ene re tandsl Nast esate Olgas eat 3 STE citi ale igs Sata date § ses ae, hens 5 Sg Sees oe eee ree os ‘en cuestiOn farce ‘nsado verazmente: ¢ fiz salido; Jus wae oor ste = ogbri aracurabrs ponies cere i tor Eos ree eli karen te igen oT igi, se vate s oP aul, 9 absce : eyes peak Pie ave tap, duo wosay “east “sopoor “mo7 oo 2p $ sore soup ee 03 yoodse os anb Jo ue opwpanus un opuesidims speago a9s “=)U2u ceqretpzo “epond eisvepuodsp op oeejp mse “topeztiun Woe wpa 10d £ epugp “opupto 9p pepaste] 0 Prpios ns vo Uapuadap & (ei0ue $2, 2p OPRLRS [9 Ua) Se, “28, UB, “B59, “Rs YR, “Ge, owe se seNTHPoND, skaqured vourjzas Sn} nbs 59 1 ‘san 2p of (ap sopemanes somanata aaxomauaraparg -sopoms 0 “somoturenad ‘souoweresste Sous eyOuOid Srqge aston Sub. Sere tine ‘speauneadan A siep ‘opepeyren 3s osm ope) Ue spond sopefoate9 23] Sp serio sapepotdoud sv op tous sotaip stb of op cxpene orbiod “retwn Tod [p suger opener ssctnyuos Waed sf syea OF opmyeae aquest! fe Ca : “opmnap-sot9 sidord so 9p 1 pnp us “pastas at ‘sooo sor ap eanooge eaponad w uoo serpouooas Sp siqeedes S BOL TL ap eppdaroce ehaeg ‘owsmany suse $0 op teow sowed #91 29 cma sod appep ¥ ‘oma ep souuneeto ‘siusudoqyre "Ueyecion oe selmourdre 5p wonstianstr 0 woolen ef ap toler moto fe sept spl Zan wun Shin wea 2p & soaagTooRE sonoo op Upto eum (CUNT Opsiee onloede = ‘soap #) 40 “ore ano ode feal] LD! fopelsade soumma ertour She ouey ue peste openaue “3p sonata of anb peputoe God Ong {0190 ONT oh feas towige so] B eONs|E sOUN MocHA! TS TEOIOT wind sopmiondes sounis ‘sonay souso sp Opunnied Jens fr poset ‘OTs “ope: o esrtonp oprarmonsp sits ef ap Coe, Uh ago? wok WHOL BTR Sprovmnd auea 9peeq “Eup © tepsnateo fs fegonduise op typ € usleogante Sams 9p eacmanear sonigo ap seoplo sscome sop ee Ue eon sarees ues tuna oop eosoe ta, So st (Cro sub So atass gop 8) soane ta on opfonse Sq] srepipaes ol Sopey 9p oxneso Sew We Son Tr os “outed eno JOU ‘ote soy Goqey ee © eauare ooo olte Ws) ae [esuod eaqep cumpe toqulsap on Seon ao 0 (oesey tos res ois U9 stb mond uo 9p sucodpep owe SN of op me sey eee oO “Idojovsd. wieoizece ap ojeomsery a us tao, Se weap tee «DDE “aot off “oxsonuarand (op fois, 2 suipiaaano Cesare Uae Uy op 20 Fe “Scnetuescod sof op sete 50 wisor wt le oubiog “eidor ey 2p tomslgo owed “tnpsoo so, 26 wletonsap eno Unstauid‘souotacanere Fay & suOySCuONE Se Sp pepuece wninyo ef ap sedisad op apmopr sovermesnod 20%] serra so} BP sbrcguesoed 3 v 'spucrmar soins “Conte of seeomoeanee Race cng sesh nes ap en races meme, atb oan xh wioy euro] usuap, see op seunBje sue sopepaie ons eoy Ht 2 tos sab aaep We 0 ola sniuaiungos ‘sresiood ‘seanedou TeAneUye On SAodR seagonluce omes ‘eeponE 0 topes “oteaaeis Outs Fe OMNES ‘ uoes ov sovowusnueee sv] ap sodrur $01 aienago ON “sun, HES Ge Son it sab opematon fe epareegions Spore seonae ep eb ox reeset Ein op smushase Wf aavotseodoud cep os and Tend} fe Opous yy Sel ates “ap Speguas ual woo Sian opuounn oe open og ond “ecesat +e Soeponutjar fa, seman Te Ue sofy ox OpDuanase Uma ef opemoeye Fe ‘soeopens sey gue8 Apoumay (op 3 foySenfo zog woroeresose wom yj sens sop wind sopemmyn ss wapond ‘sopmrguass saimezagp woo “sIU2r2IIp sopeD unuo Uylqurey “eno opustoey Aowo “CONIN “PY & emtayex ered opsmunts cur “sem Jp Om Ts tugroesanase eam Opuentsep> Aowse “APAMEANL | © SWOPURETE 4 Nomoncowint a) “anouspnt “aysnoyy “ony ‘mununors, sameness TERI SE + sevonoato sx] 9688 TL otip of 1s ‘ogimalp 20g seuorerease sozuaogp spuaa ered opez sim sas apond Sopesyrasis otter fo 009 “operon OUST ft “Teh © SPN SEE Raaatorfond oe “openan opemsonia fp ou “upeelasore vf Fuoselasase em RScipmase samsbye, senioney reouEscears smuoi wa Opeoums me Tr Souepared. sug “Sao cute op EWE ENO SURTI ver wakamoces “aUOIUOSGIC fe] 2p Seiwa 128 weperald arb Spade so Souopemens 2p 29Ge4 Te WEN PRIA SEES wave syumpeur sopesadxe sanopisodoud sol op wimsoanss w] 9p opopld 8 U2 ‘Surmcmns cus ap Teton [Uo cua op sumone 8 HEN! Se Spon speedo Za, wan -Oing ‘Some sojoHotse U9 0p ous 2502 TRS aTEee ened cago onioutem Ga © anods> 28 W809 Te ssoen op zedmeat ‘Suguos ou 1g ems Top fo, fop oxpem 08 wgsogoud ef w exneRmsoNp Seer eg a doy euoneas agnscoomed ey e a}oeuralensx9 SOUTH OF TERT ESS cutsumioo ‘sooon youenaeys Too austoo wolsnguoe

en |S Topeog otses epesspysuco sy egpsodoid epee “oduon OUST IV 12 ‘SH Beare rip uspoesaqe Spepns ‘sees, slons omeo “og “opesmnna cot at topeantusis 0 sopator sor tos “eas sou os rx ‘squojsodond #7407 a onmrueseed “suotpeaaaoe “suomwsodord e 20LOpURETR SoUOSO00 27 siuy9 oma Te Jopuodsex sourmaerer opuero AmBsIP Aes ee A Seared “Topesuv> apes eos 200 sp wyesee ou ‘ses ey uo oprunoo ato ea OST a seam 2p te NEL eS Seeuee bumase en sp uoisoroo =f i Jeqes 9p vf owoa =P sean S ajquiocen Ue ‘omseou ‘uosone wep) “iueuemoN ssopENs nb TERE Selenide con sige ous lgeaus eapuie axarabet, 96 oc “ied oz Ene a adagoon opnoutuo tn © canysue © cunetiase ties © stmt Sopesunaa on mpbop ered “egmecdsny ota es te oo 3 oe arya Seb pepetdond 9] sp sexonen sopervunue woo sowopredao POLE Re sare Gob fowenuonas (wees Ge. x SOmTUOM 1 Expand ST og Te ood pene ow srgmaunep sopesunES op zed we ‘autos 9a . sort soy euosnas wossdoosed ett sjaysooe eyeourpoyy FuO} vm oush. anb oytgo ue #9 “sn PTDHTEpOmE ns Ye gueaee ERETERE FEE gprsunlg e00 tornado anb fe “oho ope To “EE aor ac souozed op use won fey wemsoio amb opuoraedns one Se RE Soa onusrdts fa so “ezapaio epet co exp “te Te “SrUoyoaaTOou seep an ap sedlonied “soperspmuoo suonurmonses “ood SOUS, SOURIS Bea cap exe uaoeg sole =p ab soomaunrep sel 20d seBeal x ‘oSregto Soe ere Taguoormeened Soastirodond Sooosseianasy 9p Ug SFU SHH # AVINGWETE VOUVRELYH. YOIOT wcone 6 LOGICA MATEMATICA ELEMENTAL Liovia ea Berkeley, Coliforaia, ¢ las 4 de la tarde dol 28 ‘de diceenbre de 1961 Sl Presidente Kennedy estavo en, Viena el 2¢ de julio é 1961. vest junto, i nos contiaamos a eouncados rele Consideraado In cusisn ea su conte # 208 aoe soe Cease aseantvocos, Gus no coutngan palabras ogc, Is equale tran poe. preee files de acepars xn enongago oe verdadero, si y slants eros, SP cla gs crdantaneats ocean a 2 yaobcent sn asevracoa gus ordnariameate se : Fisiadee Sve llogo modo. puccea ser tratades Toe persamien a oe Por conden ot cl extant ha adgurdo y2 eerpelos flo- ae auptan oro que Tos cmuncados son verdadero o face pds Sef ee i eticeclas aloaidass eb cao ontario purde olvidarse de Gets aseato a el menor perio 5, FORMA 16GICA, Uno de los hechos més obvios, y al mismo tiempo més importantes, cen relacién con Jos enunciados analiticos, fue advertido por Aristote- Jes, al comienzo mismo de Ja historia de Ja légica. Es el siguiente. En tuna extensa clase de cas0s,, cuando un enunciado es analitica, todos jos entinciados que ostenten lo que puede Ismarse ‘la misma forma lésiea’ son, similarmeste, analiticos, Unos ejemplos aclararin este ‘punto. Considérese el enunciado analitico Socrates saurié en 399 2, C. 0 Séerates no murié en 399 a. C. Este enunciado contintia siendo verdadero, y asimismo analiti, cuando ‘su componente enunciativo "Séerates murid en 399 a. C.’ es reempla- ado (en sus dos ocurrencias) por otro enunciado cualquiera. De este modo los entinciados Arist6teles murid en 399 2. C, 0 Arist6teles no murié en 399.2. C, : — Aristételes ensefio a Alejandro 0 Aristételes no enced ‘a Alejandro, ‘ Plat6n enseiié a Alejendro 0 Platén no enseaé a Ale- jandro, Kennedy gen6 las elecciones o Kennedy no gan les elecciones : : son todos analiticos, como también lo es cualquier otro enunciado de 1a forma Sono. INTRODUCCION 2 -Asimismo los enunciados Si ke hierba es verde y la nieve es blanca, entonoes la ‘ nieve es blanca, Si las sosas son rojas y Ja nieve es blanca, entonces la nieve es blanca, ‘Si las rosas som rojas y la hierba es verde, entonces Ja hiorba es verde, Si Aristoteles ensetié a Alejandro y Alejandro era torpe, entonces Alejandro era toxpe ‘son analiticos, como 1o son cualesquiera otros enunciados de la forma si S y T, entonces T. ‘Otros ejemplos al respecto los suministran el condicional analitico co- mrespondiente al primer argumento mencionado en la precedente sec- sorsaxzoD sojuaumnSre sol 2p wo[siAyp apwjone> ean Seroqquisa aqqisod taynsor “pepromireue 4 woRnaue. 2p wuepuadepser var e| ejuand ve opuszear ‘an’ “epesed 2p oumoo “mzaApy somepod i “oopyreue $2 qso'g ou vesonb y wySaN ‘eaisoj 21 9p opzfoune oper nb or ssond ‘eanioy ns op pausta Yod cones so SOpeypEnTe $0159 2 OND fo Sred :oprses om alquioy, omuouis ns ap TeSay uo ,ozetfes, opuaruod s9 ‘opeseo ou vos and axquioy una cpm sion se 012 “opeseo so rese9 Us aTQuIOY USAIN AVENEHITE YORLWWALVIE YODOT 830 ‘LOGICA MATEMATICA ELEMENTAL para toda propiedad, (De otro modo, Jos objetos o propiedades carentes Se nombre vendrian a ser justamente objetos o propiedades com rela~ {Gon a los cuales una matriz dada seria falsa.) Pero, por varias razones, cesta suposicion no es plausible. ‘La anterior idea posee, empero, una importante variante que escapa a la mencionada dificuliad. Podemos definir 2 un enunciado ‘como ‘nalitico por virtud de su forma logica si-es una“instancia de sustitucién de una motriz que ‘resulte verdadera” cualquiera que sea ia interprete~ tion que se dé de las varias letras individuales, de clase y enunciativas, que ocurran en ella; donde interpretar una letre consiste en asignarls, Somo su denotacién, un objeto apropiado (ndividuo, clase, o valor de verdad). Asi Ja matriz xesunAoxnoesuad resulta verdadera cualquiera que sea el individuo que se asigne a.'x' y ‘Cualquiera que sea la clase de individuos que se asigne a ’A’, y de ahi ‘que toda instancia de dicha matriz sea analitica por virtud de su forma Jouica, Esta definicibn, que pretende explicar Ja analiticidad formal en tenminos de Je nocién “resultar verdadera con respecto a una interpre- tacibn’, es, ea efecto, Ta nica que utilizaremos en futuras considera- 28. 6. LENGUATES ARTIFICIALES. En afios recientes, casi todos Ids estudios setios de Ja légica ban empleado como instrumento un lenguaje “artificial 0 “formalizado’ {a idea de construir tales Jenguajes se remonta, cuando menos, & Teibniz, aunque el primer intento realmente afortunado al respecte fue hecho por el I6zico alemén Gottlob Frege en su Begriffsschrift 4879). ‘Siempre se he dado por descontado que algtin grado de formali- zation es inovitable para el estudio de estas materias. Ya Aristoteles favo que introducis una cierta estlizaciOn del lenguaje fin de Mevar cabo sus investigaciones, porque hasta las més simples de las que hhemos llamado “leyes de la I6gica formal’ requieren siempre algunos ajustes en su aplicacign al Tenguaje natural (escrito). Por ejemplo, @ pesar de que el enunciado ‘Todos los hombres son mortales 0 no todos los hombres son mortales es usa instancia de sustituci6n exacta de le matriz: ENTRODUCCION 31 Sonos, esto es, i so ea ude ser obtenida de lia poniendo “todos Jos hombres son Fores ca Weer de Ta letra 'S" (y aun aqui debomos hacer un I shun con maytiscula Ja letra inicial ’? en una de sus oot yno en Ja otra), sin embargo, el enunciado oe ‘Socrates es mortal o Sécrates no es mortal eee ¢ a ncia. En relacién c bree reo Procede del hecho de que, a i neacie ie eat ata ie Lote ele The eee eee a Fonm sgacion de *Sécrates es Pit ch pate Sf oes hee negar de! mismo modo el enunciado ‘todos Sezer ea sno wunciado “todos los hombres son mortales’, ‘Todos los hombres no son mortales, mientras que lo que habria comprometido ‘que construir es ¢] enunciado mucho menos ‘No todos Jos hombres son mortales, Para negar el enunciado Juan rompié el seguro y Pedro escapé con el coche se requiere anteponer al mismo un DMO "no es el caso 2 frase tal cor : ue...”, © posiblemente incluso realizar la siguiente sustituciéa ‘© Juan no rompis el seguro o Pedro no escapé con el coche cee muestra que para negar‘un enunciado incluso tan sen- ae Sea ae el seguro” puede no ser suficiente Ia 7 mn '; se impone tuar ademés otrc : ae in fect ler ros dos cambi Ash un cnndo aldo gue todos fos enencndoe Gok hao, Sonos 800 analiticos damos por incluidos casos tales como Todos los hom! so fs bomtree son mortales © no todos los hombres ‘Socrate’ es mortal o Sécrates no es mortal“9p odie 02 w souorue ‘g ou op uaa same £ 5 op onfis os ys 2's "y sopesmmn son manbapee eed @) : ‘(6s Js sod ap saBis 06 y s2ouoiue $ 3s ssoue) 109 LA § op ondis a8 y #7 ‘SY SopuDUNUD fo wisImbsojeND BIEL (6) . ‘ay Ou & g 2p anBls 26_1 OH SOLOS LA Sop nite oy 22'S "y HpeoanEe jon arb we ©) , ny ou ap sats 38 FO stone's ap ani oe xB i ‘y sepepenee Sop eiiabes Beg ©) . "y 2p ends 26S seouoyte ‘g op onfis os w Is ig Y sopepunue sop wisitbasteno weg (@ OST 99 ends os op swOUORT “9p 0319 oss £5 op ands os xe ss Y soptpmme Say wismmbssiema weg (8) {eeeatig God sous seuojoearTelsted sel op S12? “alepepian ‘uotsngocoo wun A “wsepepsaa esmeud wun ‘etey estwuand wun sol OU 1g ojouion syaaureanmauE cyrounare soared? @ A @ ea ‘eqOUH Te uo. was uoIseG Ta |S) Wea 2iepe oF smog) Ss ‘uoomn [a vo so UpHEA Teo eIsh srem9S (G) @ea aye seueioog (2) ud psn ou sorigg & ase & BOS “Ure 8p anoupoucos ond 28 syuspe < ‘comespentoo won op onfls 95 opziouna opos 2nd sensou ese ‘deen Un owoD wipe pepg vi Ue opelecaid any OWoUMATe aang se somongoxist ceipnye meee Cog as ogee oom ome eat seen 2 fy owe emu, one ak “edu ous To sn OUR TP ST eon sane am OLR. © Saree | equ mois epi nb oe Me wOON TE ate poverty opens oT Sueaasq cor ompnoas 9 6 ese coment. “cwqnber oar ease: ‘in $9 osoqpadsos Tears POL, (P) “a eerareest | syacs Sep ene oa a aes 8 cnn oe weed eS Spas i Se oS aa of on me | comes somata OL ag one A mR “ Soop sopvemsyece oF sopeaores sarap ol HESEP SKEET T sopmNara, eyes eonopid we somrpued ‘soreuramoxd p ojmdeo oxen an a eg eceroees OpOH U2 [HIS PEPERATERE SP SL a en op amends seage open 90ST (2 2 aE got amb rons & Se opt ORDUTERETE Bea PoTyouae afwuay un amnsdco 59 “sonG9l souepow $01 Sop ae ae od open ompomes un A “Sopermorgp sso op seme & ee Sram su mses OORT ODOM CSD See ar fan ef somos soa Tesuee falc oo ey eareep FommONE “vex 200 Be er pumuoont “oer womens SESE ‘ecna“wunde Seq onb 5916 “Sueur Seood. Soy reungwu aferiact [2 ws see a SLSoe upp moc wo si ws eo oh ayse op sarsnfy “0s, ¥ S200A SOzt opesnfe es op eq $2, anb 0259 sp wey oper ssn $2 ¥ Ope 6.9 59 HOPE'S ero 9p “reopens 2 OF sopészonr aos soeu8 sot sopor seouorse “saqmmon, eo afoul os #929009 ST S091 1S ceosees ‘nears opout 9 PION HIE HEP OFT 59 SE rea ahs opuege seagD eg HG CE ‘aqpce fe Wo gawase omas jp oideox wens onb ose fe 69 OU 0 Sad te gana omg foxes GS10r TNL O Comdes fp o¥dmmor ou ten 0 ores fp ordecon Weng ‘TVENSHETTE YORLVALYN YOISOT ze