DELIA TERESA ECHAVE MARIA EUGENIA URQUIJO RICARDO A. GUIBOURG Coleeeién FILOSOFIA Y DERECHO Logica, proposicion y norma¥ ec, 1060, reimpresién, 198. 2 n1986. 2 reimpresin, 19 5 ripen, 1000, © reimpresiin, 2002, reimpeesn, 2008, © Borrouu,Atraea 1 Aten Rican Dera st Lo antores expres si agraderimiento 4 Ambrosio Ls Gio, que abrié eauce en Ia Argentina tos estadios de Tien dednten foment a dss tral «Carlos E, Alchourrén y a Eugenio Bulysin, que cons: tituyen el ndeleo de ose deserolls, que ado tds prestaron inestiable apoyo a Ts publicaclén de tte libro através de heaton tevin de los ot tinles, de Ta correcién do nameresos exars y ~por siadkdua~ de un prdlogo caps de amortguar cl impacto de los yerros que queearen: Hugo Zale, cuyo ojo wvigoe permis subsenar fieltades del texto originPROLOCO La ligien acups una posciin may peculiar dono del nora de los cessan.” Mlentts que ls deeds cence £6 formazon paulatinamente «través de unt larga efocesante ‘vcciény son, por Io tanto, fruto del esfueran ealectivo de ‘ichos hombres Ta lige nie como abr de un solo hom ire. AT igual que don Fulgencio nea tuvo inane; como Palas Atonen de ls eabera do Zeus, nac tan desarolada y pesfeci (tl fue al menos la ereeiela gencrlad) dela {abezs de Arittles, que durante eltidie silos cast texperiant6 crecimiento alguno, x pesar de haber sido inten samentecaltvada en Ia Antigiodad, en la Edad Media y también ~aunque con menor Intensidad— on la Edad Mo ema. Hubo ciertamente desarllos intresntes (espe ‘monte por parte de lor Iigeoesntgoes y medioewles), poro cl elen de a toora aristotliea permnec incblame Fast ‘muy avanzado cl silo zee. Bn este sontido es muy cance tien Ta conoelda opin do Kant de que la Ten e5 una loneia perfects, acaads, en ln que no eae esperar evance gona. Hoy eats palabras suena como una cruel irony pocos fos después do huborse esrto, la lgiea experiment vance tan rpido y profundo que ain hoy hay geme que fe ega # conocer que se tra de la misma dsp» 6060 in efecto, en la soya mitad del siglo xox yen Jo que va de este siglo, el desnrello de la glen fue tremendo; = ‘como si as eneygas acumuladas durante més de dos mail ‘fos estan de pronto en wna edlosiin tart vez vst en Ta historia de ls elencin. sto ripido desaolla de la Mgiea tov a Indo negation: no hubo Wem parm ss efusiin entre Toe no especially, ‘en consecuenci Iga no sido debldament asinulada por In cultura general do nuestra Epocs. Exiten tilt fxs enteras. de Ubos y atiolossltsmente espctalidos, ‘Gealos en wn Tengwje que parece cada vex mis ease, que éesarollan tenleas cada ver mis ster y rfnadss oro este allo desl tenico mo foo acompatedo en St {do sufciente por la obras de wulglé, de inode a Togice se ba convertido en algo totalmente inaceesible part Jos no espectalitas ol pblion culo en general tene de ella tnt en ny vss ntendimonos ben elalto desarralletenico den cen a no os por cierto nn defect: tampaco som accsibles al eo general In Wbvoe de matematen superior ode fsca euintice. Pero todo ef mundo sabe algo de matemiticn y sabo algo de fsa, mienteas ~sal rarar exorpciones— 90 sabo nade de Nigion modern Lov liboe de gies no forman porte de muestra acevo cultural y, fuera de lo in ciados, radio se siente oblignda m entrsre de qué 30 frat Ente hecho ef, sia duda, profundimeate lamentable, Porque el objeto de Iz liga no es algo alefado de la vida cotidian, como las galaias, lor dinosurior 0 el sinc. La logics estadin algo que Iicemos disinmente: 4200, yy i citineién entre un razonamlento careto y ot in ‘correcta interest por igual al wnatemdtico, al polio, al abosado y ab economist Cabe aqué umn advertenct: aunque Ia gles moderna Imayn maida en el seno de Ta matematice, com respuesta t 2090 " la nocesidad de elaborae reglas eapaces de justine los razonumietor de los materdtens (taron que etsba mis ll del aleance de la igi avistotllea). nose confunde con Ta mntemétion nf conning ota elec, st bien tivo spi cin todas ells [Nos encontranioe aqul con la sagunda earscerstin pe collar de la legicn que la dtingue de otras clencias: Yootcién universal, Tia Tiga no es una clecla zs all ldo do tras, como Ia qulmie, a genlogia o Ia Bagutcn Como la mitematicn, qu ee usida por igual por los Fagenio: tor, los comercinntesy Tot coletivero, paro en grado ain fayor ue ls anatemdtica, In Tes er wn clencia auallar fle enorme valor pura todas las demis eiocias y también pts muchas actividades 20 clentfics, Mis adn, la Tien tive y sigue toniendo en Is flosoRa una iafluencla que no puede parangonazse con ha de ninguna ota enc En Jos limos afos so a despetado ol interés do os Aégicos aca lon conceptoetelacionadoe con Is condacta hi rang entre lr ele ls concepts noxmatlvos (tales como bligaein, robibicia, permis, ete) desempetan un ‘reponderante. La logiea de nommas 0 ldsien dednica ‘gue esta as fofereneias hasedas on las telaciones legis ttt eso concepts es, por Io tanto, wna dscpliza muy jo- Yen. Aungue haya lnportantes antecedents, desde. Aei- Akces hast Lelbnis y Bentham, su estudio sltemitico eo Inlenea on 1951, a parte de a pliicasén dl fos ens3y0 {de G. HL. von Wright, Dont Logic. Desde esa focha hasta imestos das han apareido nomerosos articulos y Wee, y ‘abe decir que Ia Higica detica es una de las tamas mis intensamenteexlvadas por lor Beleoe de boy. ‘Lo que hemos dicho aceren de la Higa moderna en a oral yale am en mayor medida pars la lgiea do noms. ‘A posi dela gran importancia 8 ees disiplina para todas Jas chncis socials y say en especial para la cieeia dal de recho, el aprovechaniento do los adelantos logrados se ba2 mtn000 hecho muy died! por Is flta do teatosaecesibles para los juss, los soeiloges o ls cutores de la lene politea Los pocos bes inrodictoriorexstentes en eatellano (por emplo, de logis jardin) peeseponen yx conocimientar de lbgica general que por To comin no se dan, lw ots son demasiado. eepeinlizndos y, por ende, inubordables para Toe legos EI Hiro quo prologams se propone Hlenar ests lagu al propésto do sus antores ex mucho mis stbiciowo elo fu podria parecer a primera vita ex nada menos ve po otconar al Teor no eapeclzado una gula clan 9 acces Bio, capuz de eondacirlo dentro del itrineado campo de Ja Tigi moderna en general y de ia Wigin detent po ticular, hacia el onoelmento de algunas de sus problemas, sus métodas y sur téenies. ‘Un rasgo muy importante del presente libro es su auto sufllonelas noe presupone ning eonacimiento previo de Togica en el lect. Bn segundo Tiga, es un bro extnor Aiariamonte claro; anne feat temas sltanenteubstacts ¥. por ende, difeiles, er perfectamente. comprensible. pare Eualquitr Testor, Siguiendo el aforsmo, de. Wittzestln, todo To que el ibro dive Io dice claramente yea nlngin sa mento pretende remover las aguas para parecer profindo, Fn teoer lugar ~yse vata de una earacterisien nada desde ble, sabre todo. desde el punto de vita pedagoyion ol iby ex certo oon un sentido dl humor que tara vor Se ‘ennenra en ete tipo de Iiteratur, Pere el lector bo debe fengatese: el Ubro or de fall y amena Tetura, pero no de Sil asimiacin; detets do a apareate sencller Nay compl ceados problems; dtr de los chistes hay observickones my profundas El exptulo 1, Inroduceién, coutene una serie do con sideraciones sobre la Lien y ou utided prictica. Tos es pitulos 1 V tatan fa pate me elemental y a hs vor bi soa de la Wigien moderna: la lamdalogicnpropescona in el capitulo VI se exbozan los principles concepts de la Hégien modal, de le que ee desprend In Iogea, dentin, Exe lima ex desollda on lee eapitlor VIL y” VII Yor ain, en el eapitula IX 30 analizan algunos prob! rns tdleonales dela flosoia uriien y se mueste do qué raneea el aporte do Ia logien puede coatibar 2 ela fica 0 replantear estor problema El libro puede lerse de dos manerae: por un lado es maa excelente. y autonficients inrodwcciin ola Higica Sesotice, por el otro, sive para famliorzar al lost on Ta part mie elemental y bisa de Ia Ign moderna, Es de esperar que este bro retlte de speci interés para Jas jority porn los estudiantes de derecho, pera também seri do utlidad para lor estudiuos do otras ehoelan soca Tespeto de Jos autres det libra, poco poms dei, En palmer hagas, porque nos comprenden las generals do Tn Lys mos no una Taga amistad, frjada a tas de Segundo Tusae, porque st mejor elagio x0 halle en ol texto sso. Nad fay mis eifell que le presootacn fell d fan tema iil. EL haberlo logrado ‘con un asunto tan abstacto y aparentemente arido como la Idgien et toda ‘i haa uounad - Bvoewo BursonINDICE GENERAL Pasuoxo INTRODUCCION Logie? Si, ea Légica y loquco mental, oe vor dela sontisa De qué se tata, © a qué vamos a jugae Bueno, peto epor qué a mi? 1 DE LA PROPOSICION A LA FORMULA 1. Conoepte de propossin 2 Variables, eonectivas y signos auilazes. Simbo logla y notacin 3. Concepts de flrmula proporicionsl 4, Formulas atémicas y feemulas malecdlaves 0 2 % 8 6 s16 a LAS CoNECriVAS 1, Casos.postbles 2 Nestedn a & Conjanetin 5 4 Dinyuciin 5 5 Condiional 5 © Bleondieionsi @ TAUTOLOGIA, CONTRADICCION ¥ CONTINGENCIA: TA IMPLICACION FORMAL. A. Tautologle a 2 Contiadiciba 7 3 Contingencs n 44 Implenen formal B & Equivlencia 78 LEYES LOGICAS Y REGLAS DE, INFERENCIA 1. "Dura Tex, sed ex a 2. ‘Una cosa es ana com, y cra cos es ota cont. BD 8) El principio de ideatidad 8 1) EI principle de no contradicein & ©) El principio del tersero excuido s tnoice cava v S. La fustiieactén de Ios principio elementals .. 5 4. Pequiio digestopopesicoral 0 5. Interdetinibltdad do ls concctivae 3 8. Lot signcsaunllares frente ls leyes de aoc tiv or 1. Reghas de infront 1.1 88 8 La regis de sstituclon 100 8 La reg del “mocks poneas 103 vi 2. OPERADORES MODALES. MODALIDADES.ALETICAS Moditidades ww La ligica sodal ltica mL leads de optsicin de las modidadessléeae 114 vit MODALIDADES DEONTICAS Operadores Interdefibdid vat LEYES DEONTICAS Importers. taut El exadio de oposciin dentica8 Inotcr cena EL prnspio de subconta 5. Sobel 8 Contact 1. ED operndor “F° 8. Caltscén nemativa da conducts comps 8 Friacipio de ditibucén den pernsiin 430 Teorema de dttbcsn do ln oi UL Teorema deh obliga al 12. Teorerm de ls permit conjnta 18, Teorerm do le pormision main edad es CONDICIONES EXTRASISTEMATICAS DE LA LOGICA DEONTICA, 1. Concepto 2 Las lever do’ Htune 3. ET prinaplo'de_prohibicign Bunuiocranin Toner aneantico 198, 190 1 im 1 136 18 0 2 18, 18 et INTRODUCCION Le Léon? i, Wea restasrante Quefarnos porgue Ia enenta alta no nos dard ningin resultado: no log convencer al mozo y pasaremos por mezquinos. ero si encontramnos algdn error en fa summa prove ulta y obtendremos, junto con Ia en- cl poder mierda, las comrespondientes excusas: tal itmética, que ni los comerciantes se atreven contra ella, Y Ta aritmética no es una iahéliea, ni el arma seereta de Ia administracién impositiva: es, simplemente, wn sistema tedrico que reconstruye, en abstracto, las relaciones que todos aceptamos “entre las cantidades coneretas. Dos sms dos es igual a cuatro en cualquier tiempo y Ine ellos 0 vueltas en eale- de este tipo, gar, se trate de délares, c sita; y el conjunto de las relaciones reunidas en una teoria matemitica universalmente20 ten, admitida, nos permite verifiear formalmente la exactitud de cualquier efeuto, Lo mismo oct endilga ‘mos, nos ser dif formarnes un lex sabe Te verdad o a falsedad de ead tna de sus afrmaci nes; peo stents ells hay dos que resuen conta dito entre si, no necesitaremos averiguar mis para saber que en esi chichara hay algo que mo funciona bien. Al razonar de este modo ha utilizado un sistema tedrleo —la li pila, generaliza, abstrae y reconstruye has ‘relaciones. aceptal aun oon to decir = que re09- en fer 1+ entre las. proposicion prescindenela de su contenido: es nodo completamente formal. En ottas palabras, la Idgiea es un sistema que entre otras cosas— permite verificar la comeccidn de los ra nnientos. Qué es esto de Ia comec- do Tos razonamtentos? Lo entenderemos mejor a tives de Ejemplo 1: Toda misica se compone de sonidos. El tango es misica. Por To tanto, el tango se com: unos ejemplos, mplo 2: Como el cilo es azul y las mubes som 1s, me siento alegre y optimist, Ejemplo 3: Como todas las cucarachas tienen alas y yo soy una cucaracha, yo tengo alas A primera vista los dos primeros ejemplos pa- recen muy “razonables’, en tanto el tercero parece serncouccis a ridfeulo. Pero si nos quedamos con esta impresién os en nuestra capncidad de racio rte engaiados por una reté- mmplos imo por uno, no iremos muy le cinio y seremos fac siea falaz,Examinemos los ¢} con mis euidado, EL ejemplo 1 propone dos premias y una con clusién,Y cualquiera que To lea advertiré que la conclusién es una consectencia necesaria de las pro risas, En efeeto, podemos no saber gran cosa de risica, y podemos ignorar por completo la existen- cia del tango; pero sf nos informan que lx mtisiea se compone de sonidos y que el tango es una forma de misiea, en esos datos se encuentra contenido, mplicitamente, el resultado que aquel razonamien- to hace explicito: que el tango se compone de so- nidas. El ejemplo 2 también contiene dos premisas y no se desprende necesa tuna conclusiin, pero & rimens de sql, Puede oeu, por det, aque tina persona de talante contemplativo se sienta {mpulsada a un irresistible optimismo por lx mera comprobacién del color del cielo y de las nubes; pero también sucede que a veces wno tiene un dolor Tas nubes carecen de muclas, y entonces el cielo de toda sian como tatimans de buen humo. YY aqui aparece —entonces— un importante dato =} Hida no es la que feventualinente leva a un resultado verdadero, sino Ja que necesariamente leva a un resultado verda- ero slompro que las premisas también lo sean, sobre la ligicn: wna deducciénEsto podri comprenderse mejor a partir del ejemplo 3 que, contra Io que podria suponerse a primera vista, es absolutamente vdlida. No, por Certo, porque quiones esto eseriben hayan sufrido alguna metamorfosis katana y se dediquen a revo- lotear por Jas cocinas, sino porque la. conctusién se desprende necesariamente de las premisas. En efecto, st fuera verdad que todas las cucarachas te nen alas, y si fuera exacto que yo pertenezco a tan poco apreciada especie, entonces también seria cier to que tengo alas. Nétese que no existe ofta pos bilidad légica: si yo no tengo alas no puedo ser una eucaracha’ (porque hemos supuesto que todas las ucarachas las tienen); y si no tengo alas y a pesar de eso sigo siendo una cucaracha, entonees no: pue- de ser verdad Ia hipétesis general sabre el vuelo cu ccarachil. De modo que el ejemplo 3 es una dedue- cidn correcta, 2 pesar de que tanto sus premisas omo su conclusion son obviamente falsas Claro esté que aqui puede surgit una reflexion eseéptica: sila ligiea apruca un razonamiento se- agin el cual todas las cucarachas tienen alas y_ yo soy una cuearacha alada, también pode aprobar nchos escriben poemas, y que la infl f, y que la hana Gruyére. Entonees gpara qué sirve la légica, si no permite distinguir lo verdadero de lo falso? Esto vale tanto como preguntar para qué sirve la televi que los ch cid no ex tuna bola de queso si6n, si los programas son tan malos, Si el expe wemos bien en apagar el 12- tl semoowcct 2 ceptor, pues no obtendremos de él mayor utilidad. Pero el dfa que haya tn programa bueno gefmo ha- jin un aparato que funcione ade: remos para verlo Del misma modo, exigit a la Idgica que nos en- sefie Io verdadero y lo falso es injusto: lo que no han Togrado hacer todavia la elencia y Ia filosofia no puede conseguitse del mero razonamiento, que es sélo una herramfenta intelectual, y no la fuente dle la verdad. Si partimos de premisas falsas, nin- guna soguridad tendremos de Hegar a conclusiones verdaderas (si lo hacemos, seri. por casualidad).. Pero, si tenemos In fortuna de hallar promisas ver- daderas para allmentar el razonamiento, ét orcionaré nuevas y_reluclentes afirmaciones, las de las que partimos. Ex que Ia légica, pese a su utilidad, no es omnt- potente, Recordemos el ejemplo del principio: el dle la cuenta del restaurante, La aritmética no puede evitar que nos cobren por algiin plato més de lo que vale (de otto modo exstisia gran dema da de textos sobre matemétieas); pero ya es algo que nos permita controlar la suma pata ver si tam. bién ahi alguien pretende quedarse con nuestro di- prop fan verdaderas como aqu 2 Lgl y Boqueo mental, oe valor de a soness “Claro, légieo”, solemos decir (no siempre con propiedad) cuando ofmos una afirmacién que nos4 ceca, morostagn ¥ Noa parece sella y phusile, Peo cuando ol adjeti vo se vilveautatvo nos hablan dels Léger 1s con una mye ss se estrella iemediablemente, Li conf. "Con clin cts ip mss gue te Ie mores de I Bole st hacemos coed la soe do tr demands sumentay el predlo lectvanente sube. ‘De tdéntion meds, nuesen eonoepein del Ilea como vn instramento de totus Ganagon se iejate ala que solemos toner deat manson) tend cea en buco mental que a memo no hos permit suis averiguar st hay algo de eto deirs do aquela iden To primero que de advertise es que la logica no es un pasatiompo para chiflados oviosos. Tiene aplicacidn prictica, y esti mucho més cerea de nuestra experiencia cotidiana de Io que suele supo- reise. Todos sabemos algo de légica y la usamos temente; pero, como el burgués gentilhom bre de Moliére, que hablaba en prosa sin saberlo, estamos tan habituados a ella que no sabemos verla. Si uegan Boca Juniors y River Plate y nos informman que uno de ellos gané, avtomaticamente tenemos la certeza de que el otto perdid, St extraviamos algo junto al Obelisco, no se nos ocurre ir a buscarlo a Jn sombra de Ia Torre de los Ingleses. Y, puestas srmoovcr 2% ‘8 comprar una ficha para hablar por teléfono, es- peramos que el cajero nos In dé 0 nos Ta niegue, ppeto nos sentimos buslados si nos contesta: “toda: via me quedan algunas, pero se me terminaron Todas estas actitudes son aplicaciones de leyes 16 gicas antiguas y muy conocidas, pero que tlenen Sonoros nombres en latin y se disfrazan con cierto fempague académico cada vex que un texto de ligt propina a 0s La receta para encarar satisfactoriamente el es- tudio de la Iégiea incluye, pues, dos remedios, que eben adrainistrarse en forma conjunta, El pr ro consiste en advert la importancia de Ta légica como exposieién de um sistema explicito que nos permite ordenar, controlar y —en caso necesario— roformular la enorme cantidad de razonamientos que de todos modos desarrollamos cada dia. Y el segundo, no dojamos intimidar y tomar Ia Wégtca con ealma, con buena voluntad y —si es posible— con una pizea de sentido del humor. Si consegut- mos pertrecharos de este modo estaremos en con diciones de adquitr, sin grave desgarramiento a tivo, un instrumento de valor inestimable, Pero para lograr este resultado es indispensable aceptar cl desafio intelectual que Ia 1égica nos propone y jamés, por ningiin motivo, murmurar para nosotros “esto no lo voy a entender nunca’2 hats, mmorosiady ¥ Nonaea 8. De qué se tata, © qué vamos a jngar Formuladas las adverteneas preliminares, o- nesponderia mostrar ahora las caracteristieas cone exetas del estudio que nos proponemos emprender Poro no es Fel hater esto Con IaH. que cot sistema de relaciones abstractas,_y-enumerar Tos problemas que estin o han estado incluidos bajo cate titulo Mevarfa 2 una exposicién histriea bastan- te tn: venice sos de desarao Ta 1 gia occidental ha recomido un camino Targo y mu variado. Para nuestros fines bastard decir que lt Hégiea busea formular y sistematizar las relaciones tadmisbles entze las proposiciones, y- se_preoc Por establecer métods pare deviir Suna propo iin se desprende o no de otras através de tn fazo- ramiento vi, Aristteles taté de cumplit esta taten a través el mismo Tenguaje que wsamos todos los dias (a mado lenguaje natural), al que incorporé vocablos especialmente definidos y aun eiertorsfnbolos abs tractos (letras como A o B, por ejemplo, para repre- sentat In estructura de una proposicién con sujeto y predicado), Avistteles emprendis. asi, proba- blemente, ol primer estudio sitematico do la. Ié- giea formal; y puso en ello tanto genio que aun hoy sus obras sobre ol tema se Toon con admtraclén. FE amismo camino sigueron Tos que vinieton después, y se prolongs a través dela Edad Media y del Rena emoowccin a cimiento. Pero en ocasiones ol. intonto.chooaba con ciertas difesltades, a pesar del gran desarollo. Sleanzado por lt ligica arstotlica y medieval, el Jenguaje natural contiene una grande y en buena imedida inevitable dosis de improcisn’ (vaguedad, ambigtiedad y otras intoxicciones sominticas), de rnodlo que, por muy riguroso que fuera el propésito de establecee relaciones unévoeas, siempre exist. tl riesgo de interpretaciones diversas y de aparicion de seudoproblemas bajo la forma de disputas verba- les. Aparte do esto el lenguaje natural esté com ppuesto por palabras que se supone tienen significa- dos coneretis;y esta presencia constante de Tos con- tenilos semintons tiende a oscurecer la diferencia entre distintos pos de demostracién: “todas las rmadtes tienen sexo femenina”, por ejemplo, os ve dadera por razones seméntieas, ya que la feminel- dad es earactristien defnitoria de “‘snadve", pero si llwve y hace fro, Ilueve” puede demostrarse sin recurso alguno al significado de Ins palabras “Ihie- ve" ni "hace fro”, ya que su verdad resulta directa tnente de Ia estmictura ligiea de Ia proposicién Esta demostracién, ast como otros desarollos mo- dernos de la logic, corresponde a una etapa en que qquedé superado en gran medida el wso del lengua- je natural Esta etapa comenzé oon Leibniz (1616-1716), pero se desarrollé a To largo del siglo xx en os trabajos de De Morgan (1806-1876), Boole (1815- 1864), Frege (1648-1025) Peano (1858-1932).2% ates, moronic ¥ Honea entre otros, hasta quedar firmemente establecida a Prineipios del siglo xx, cuando Russell y Whitehead publiearon sty obra Principia Mathematica (1910- 1913). Estos autores aplicaron a fa Tériea un fore imidable instr as campy dune ya Ina demtady add imbolosconvencionales, dstintos de ls palais seqin In Tunciin que cumplan, pueden combinase Este nuevo desanollo recibié distintos nomb que protendi diferencia dea igen eadiee, nul: “Wgiea matemétic, “Régien simbsliea”. Al fs Tran “gin formal po ll eae iano formal dl sao Ibi al manejo de fs simbolor (uo gue cone baye mucho cl aprendiaje de a tna da cnjnt cones disminuye y simplemente, Ide ‘ualmente importa en buena me - toteles deba b dida la supera, sin que por ello Aris ar de su pedestal Existen hoy muchos temas —tradicionalmente englobados en Ia Wigloa— que resultan aleanzados co 0 nada. por el oso actual dengue smb Eo el andl de le fonione del lenges, por ejemplo, ola teora del significado y de‘ defi tifa ool estudio de ls falas no formles,o tive, Pero nosotios aceptaremos ditecta e inmedia- tamente el desafio de que hablibamos antes y —sin menospreciar la utilidad de aquellos tomas, sobre Tos que existen exoelentes textos— nos Innzaremos al aslto de las formulas Para esto estudiaremos primero las relaciones centre proposiciones (Idgiea proposicional), para e- gar luego a las légieas modales: alética y'dedatica 4. Buono, pero gpor qué am El programa que acabamos de enunciar enti siasmaria, seguramente, a una persona con inclins- ste libro clones mateméticas, pero el caso es que no esti dirigido a ingenieros nia estudiosos de las iencias exactas. Y entonces el lector —profesional 0 estudiante de derecho, de sociologia, de ciencias ppolitioas 0, en fin, de disciplinas tadicionalmente hhumanistieas— puede sentisse como aquel niito a quien regalaban una moneda por cada eucharada que le daban de un desagradable remedio... y eu. ys padres rompian la aleancia, cada vex que estaba ilena, para comprar otro frasco del mismo remedio. Tas ciencias human(sticas se consideran tradicional-» bates, morose ¥ SORIA mente como un refugio contra las matemiticas, a cubierto de la insidiosa infiltraciin de las formulas, y quien las ha elegido para sé com esa esperanza puede sentirse defraudado. Por supuesto, podria observarse que mis vale advert el frande que ig- norarlo; pero, como quiera que esta reflexiin tio suena muy estimulante, convended aclaraciones sobre el punto La légica es una de tas disciplinas humanisticas Inds tradicionales; pero le ha sucedido To mismo que ‘la mayoria de las cioncias que, euanta mas se per feccionan, mis se acerean a fas matemiéticas. Gran parte del progreso cientifico ha consstido en adver tir que dos o mas conceptos diferentes no eran sino distintos estadios de una. misma realidad continua, yen medir la diferencia entre ellos sobre cietta es. ‘ala comin. Asi es como, por ejemplo, las relacio- nes entze el espacio y el tiempo y entre la mate. tia y la energla han provoeado tna verdadera revo lacién en Ia fisica, con ramifieaciones sobre otras disciplinas (incluida Ia Filosofia). Pues bien, las sdencias sociales adolecen desde su origen de la in- suficiencia de sus métodos para aislar los fenéme- ros, compararlos y meditlos, En Ja medida en que esto introduce para abstraer cierta relacién o cierto as- cor algunas ceonsigue poco a poco, el lenguaje formal se ppecto de un fendmeno complejo con independencia de su contexto contingente; yuna vez. hecho esta aparecen las formulas para establecer los vinculos Tuallados entre aquellas abstracciones. De mode wemooucentn a ue esta suerte de matematizacén de las cloneae soctles parece una condencia inevitable, en Ix que Jn Viglea se presenta como un simple easo particular 2Y por qué presente Is Liglea? Ante todo pongue! cunguier sector de la clenla que emplee EF lenguae y el razonamento debe someterse In prueba dela valde de su propio métodos pero uns Eendia que no slo emplee el lenguaje como hetra- Iinta sno que ademls tenga por objeto de esti fio argumentos que suponen lgicamente encs- dlenadox —como Tat clenls potas Jurdicas— bo puede privane do analiza la estritura desi propio objeto. sta circunstanca es patculamente sensible en el cao de los sitemas normativon. En cfeeto,en- tee ls signfeados que pueden sinbolzarse con el Ienguaie hay algunos que no afectan profndaen- to on muestiosIntreses: son Iss nozmas, que nos cbligan a eumplir lets condutasy nos proliben otras, que linitan el univero de muestra Hbertad Yen el caso del derecho hast nos smenazan fon el embarg, el desl, In pin o la muerte. Y existe personas cua profesiin et nazonar sabre lus normas, nventar y ‘efutar argumentos sabre cll, descrbilas, eogrimtlasy manors, Los tbogados —de clos stata no estin todor de acuerdo ecbre la justia y Ta injoticia do cada nor ta (como nolo estén lo comerciante sbre Ia en- tabildad de detenninado precio ni los cletiieos sobre la verdad de clertasafltmactones de hecho);pero la mayoria de ellos esta dispuesta a admitir que existen entre las normas eiertas relaciones formales, y que si una condueta x esté prohibida, por ejemplo, Seria dificil aceptar simultineamente que la misma conducta x es obligatovia; y esto ocurre aum cuando no sepamos en qué consiste dicha conducta, ni si prohibirla es un acto de buen gobierno o una iu tra de insufrible tania, Existe, pues, desde hace aproximadamente me- dio siglo, una Légica formal de las normas, también Namada Logica dedntica © normativa. Este exquema 0 sistema toric, a To largo de sucesivas versiones, permite ejercer un contol for imal sabre el diseuro normativo,equivalnto al que tenemos sabre los edleulos meant la aritméti © sobre el diseuso en general a través dela Tigi, proposicional. Como en los otros cass, ete ins mento conceptual no nos otorga un dominio abso. Jato sobre los fendmenos aque so roier (para ello. habria que tener poder sobre las premisas como el legjslador lo tene sobre las leyes que dleta); pero al menos nos enseia a extraer eonlasiones vidas a partir de la premier que 80 nos imponen; y no €s poca esa encontrar as una base comin de 1 namiento en una materia como la normativa, tan palémica que la gente mata y muere por ela Si uma Viglen dedntcn merece, pues, um Ingar preeminente en la mictodologia de la conc ju dia, conviene también sefialar que esa. importancn esta perdiendo ripidamente su Topsje especlativo svamonuceats a pata hactse cada ver mis pita y oidiana. En temas y procelinientw coeptuales. quo. no Ian Ae tae matemateny, do lo que puede ser medio, pesado, contd, estado j.-" computado, Las palabra atte Ta informatica), y las computa tn pene um, hcl = copay repro pare fcitare abajo de Shogides, Jose yleglatores Inco se cxtdia tor de dectién automaton, en lor que I shuctn wis do un mero edleao Higin. El aprovechami mmoderno una preisia de conceptes y win exact tad de rizonsinienton alas que el abogado trad formal y ayo intramento esl abtrasein conte tla eae reals1 DEA PROPOSICION A LA FORMULA 1. Goncepte de propecia En el uso corriente del lenguaje es comiin que tomemos como sinénimas expresiones tales como “enunelado” y “proposicién’. Decimos, por ejem plo, “este pirrafo contiene siete proposiciones” 0 “no exeo en los emunciados de la astrologia” y, aun que de ima manera vaga, sabemos qué qu gramitica espafiola sucle usar con el mismo significado los vocablos “propo: sicién”, “enunciado", “oracién” y “asereién”. Pero decit con ello. La propi suele para la I6giea algunas de estas denominaciones ad- quieren un sentido mis precisa, y se refleren a con: cepios distints. AI hablar nos expresamos mediante entinei ‘ones como “esto es un libro de légiea”, 0 “lo que estoy leyendo os tremenda ente aburrido”. Estos conjuntos de palabras son36 ae, opomeady Y wom oraciones porque eumplen con el requis de se siglfeatvas, de expres cabelmente una idea, No gcurte Io mismo, en eatbi, con expresiones como “verde oles campo", “egtrillo cence el cl on esti. ‘A posar de star coimpestas por palsies conocias, su desordenfatero (especto de ls re. las de I construceiéncastllana) ls pula de ag. rificado y con ello les inpide constitute en ens ciados Oracones, Sepongumos ahora tes enuneaos: “hace fl “Wf rid’, “es eal Salta aa vista que log som diferentes: estin compuestos por palalay die tntas, y hasta eoresponden a diveron idioms Pero también advertinor que los tes tenen algo fen comsin: quieren dct lo mismo. para eto hace falta sigolara recur a otts Tengunjens “el prsidento de Bolivia fue derrocado por el ert Y el efit derros al presidente de Bolin” son tombién enuncados dstnts que quieren decir lo mismo: es det, enen idénticy sitio, Coa dbo varios enunciados tienen ef mismo sigaiindo, decimos de ellos qu esprean la misma proposicin® ‘Una proposcin es, pues, el sigufieado. de un 4 marae eeu ata ou cits its neta cetstocgde tuts het on a hy tra say pale pen sce so tea swt de Monee Crt 1 eter Sl ve deni etn de Co 14 morose Ae xenon a enuncindo decarativo 0 desrigtva, No. oe el tinaiado mismo, que ext compuesto por palabras sige tone “detensoal, orden seg Clr veghs gramatcles: etl contenido del envncindo, que es comin alas diverse roerss de Geir lo mismo.” Y enginoy que el emunciado sea deerptvo para desechar exprestmento os otros tor da engaj: ass como edit” plsome In mostra por favor” no expres. proposes, en el sentido que aq damon este concept Eso ocr porque I gies (al menos, a parte dela Tiglen que estamos esttiando) se manga a través de los lamas veloes de oerdad, que “en ds: verdadero 9 fouo (algnos preteen deco de modo més aac y ufltan Wes sinbolo 1 y 0), "Guano un emundialo hace referencia 9 eis estado de conn, de fl suerte que sen posible det Inara es verdadero o alo) decines ques enincado descriptive decaatvo, cay, verdad depend de a enitoncla veal dl estado do cost descrip, ET enuncado “st loviento% por com so edd on ese ol ct resto fal por el conttaro el sol rila en un Gl sn nubes”"No importa en este moments ave ‘odusn le gs8 cic, ro csc ¥ Nomen Yigur sles verdadero o fats (en todo caso, sempre prrtemos marae por la ventana o extender ‘el Brora fuera de ells) "Lo relevante es que, sel enw ciado puede ser verdadero fal, entonces es des lun orden que puede ser ville ono, justo init Alsparatada'0 aceptable, poro nunce verdaders i fal. Para est tipo de enunciados see ereado una logic alg diferente, que nis adelante examt 2 Variables, conectiva y signos auiiares Simbologin'y notacln Como ya sabernos, la ligion (I6giea simbitica 0 ‘matemética) utiliza un lenguaje formal compuesto por slmbolos eonvencionales. "Estos ten mana hs propsione se que tengan entre si, y sin prestar atencién a su con. tenido. “En esto la lgica se parece al Algebra, que hace lo mismo con ef eélewlo numérico. Suponga. mos, por ejemplo, la siguiente férmula algebraica simbolos_ per: Ins relaciones atb=bta No nos interesa saber qué niimero puede asignar r puede asignarse cada una de las letras minisculas utilizadas, siem- pre que cada una de ellas tenga en todos los casos “dentro del mismo céleulo— un valor idéntico, ie LA mOPOAIION A La YORMIEA » Asi, si suponemos que @ es 4 y que b es 5, la formula deberia interpretarse de este modo: 445544 donde cada letra ha sido reemplazada por el mismo auler lor que. querames, la formula algebratca tel ya asians en ee, 9 er tio seréidéatico sin que importe el orden de ls En Ta Biglea proposcional ls letras minisculs podemot asignares como contenido cualguigr pro posicién conereta que deseemas (supontendo que sneede). Exe es el nombre mis extenido, pro Algnos autre as Haan también “letras esquem’- usan preferentemente la Ieuts py, b ein "Ast vet, cada varable puede representar cualquler proposcin, y sun dlstntas propascones ejemplo, podemos suponer que "p”simboliza “hace” Late, smoneste ¥ NOMA tun lindo dia”, y on otro desarrollo podemos asigna Te el contenido “int goto tiene bigotes largos”. Pero ‘gual que en el Algebra, es indispensable tomar una slemental precaucién: dentro de un mismo contex to, el signiticado que se asigne a cada variable debe ver siempre idénti. ora bier; en el lenge natura slomos vin enmdada mis complap, deta mod que el var de verdad ‘del eninendo remttante. depend: de tira eombinaclin de le valores do verdad de te ‘Maeve es fl, y vcoversa“Liueve y he i sélo ser verdad es verdad que Tovey tombs es verdad que hace fri, ser aby sn Tae, Sno calor, y aunque hele, stn Ive. Ete fiom ‘vinculatarla es compli en evel Fp “sia embargo sy slo “sempre fu ota pero no seme es Fel, dent de a Sa ambigiedad” del tenganje natural, exablece anivocamente el tipo de slain gue busca ex presa. Si alguien no dice, por empl, “este no S proton elegir una do dics slander a fumbien dee abierta la posi de hacer ambat Para evitar problemas de este tipo y facilitar el céleulo, el lengn mal representa aquellos Vineulos mediante signos especiales, que reciben el 1 tA wrowesenOw a ta RURAeOLA a nombre de conetioas extnsonales (conectioas a teens, para le atin), signze Tics, contanter tigiws'u operadores, Pero so existe un overdo ge terallzado acorn de imo representa ets signs Esto da logar ala exstenea de dsitasnotaciones, O alterna gos do ected a gi mb ca,” La ntacién mis extendas llamada fn- Joss o de Reayl en orn do cuyas versiones —e {Saremos de aga en adelanto— ls coveetivas pate tiple. se, ropresentan mediante os sible penton ns eae y or el modo en que las conectvas afc hs varlables a que se relieren, se las divide en mond sev gus dieutodee, ‘wal donde les ecretas days san psc“2 éaea, moponady ¥ NaIoen cas y diddicas o binarlas. El sign "=" es monk ico, porque silo afecta a una proposiciin: la repre sentada por la formula de la derecha, Asi, a ver= dad de la férmula “-p” dependeri del valor de verdad de “p” modifieado por el operador “~” Las demés conectivas menelonadas se laman did icas porque afectan » dos proposiciones conjunta: ‘mente: las situadas 2 derecka e izquietda del signa de que se trate. Por ejemplo, el valor de “pq” depende del valor de verdad de “p” y del valor de verdad de “q’, combinados en la forma. indica da por *.”. tentacién de buscar a cada aoe estos. equicalente ea Tonguaje natural, ‘ates eqavalen, efas “aunque existen~ no son perfecta Hien cas, debide a In snprecitn dl lenguafe natural or esto, como Tnegoverenns, tataremes de de nr eadasigno por su funeiia de verdad y slo & parti de all Dusaremos las taduclones 21 cae go de introducir nol lengua formal, por I via Iménticos que busemos elimina Aparte de las varsbles do las conectivas, la Ugiea cuenta también con sinbolos cular, que hacen las ees de sigoor de pontusién y sven otras. ‘Se tata do Tos paréntesis"()” low conch. tes’ las aves Fy as bars“ 1 rnorostcdn 4 ta rémevtn © 8 Concept de rena proposiional Jen cee Pal doce sv Senco salle, ‘Ning actor ajeno a la compaiiia puede introducirse en la clon (soo. hee Bik Maeve yp "Pha nt sie dele ge ts fgual que otras més complicadas como “(p.q) > Fv a=9J“a bcica, marosexés ¥ women Por iiltimo, no basta que los actores estén en feseena para constitulr una 5 cin teatral admis es necesario que desemipeien su papel sin cle to libreto y de aeuordo oon cirta regs que def nen esa actividad, Del mismo modo, los! compo nentes de una formula no pueden estar mesclalos al azar; han de vesptar las llamadas regan de for ‘macién, 0 normas sntictices convencionsle que gen la estructarn sinbiica de la formulas, Estas roglas pueden enuncinrse ask 1) Una vasiable prop Bp ge eional es wna formula, 2) Una férmula precedida por un operador mo- nidlico es una formala . ° Bop ea 3) Dos frmulas encerradas dentro de un par de signos aur y ene fas cules hay un oper dor a y sélo un op tuyen una formu, (p.@""(-p> 9)", Las reglas de formacién, que en su conjunto pueden considerarse también como una definielin de inal’ permiten exhir de mest lenge simbélico todas las expresiones que no se ajusten a elles. Ass, ">", “q—", “pq, ss "(qv q)” ador diédico), consti [lp 4) > (evsyy" “(x .) s* no son formulas bien formadas; y puede constituir un interesante ejercicio averiguar cudl es el defecto que aqueja a cada una de tales expresiones, Conviene agui hacer un aclaracién sobre los signos ausiliares. Su fancién consiste en climinar ambigtiedades: sin ellos, la expresion "—p . q”, por ejemplo, podria interpretarse de dos maneras 4) (-p . q), donde el operador monédieo afecta sélo a la formula “p’, 0 bien b) ~(p «.q), donde ol operador monsidien afec- taala formate “(p . q) No toda férmula, sin embargo, plantea semejan tes ambigiiedades; y de alli resulta que puede esta Dlecerse una convencién prdctica: euando una ex preslén simbélia no es susceptible de interpreta clones esquemticas diversas, e¢ posible eliminar los ocesarios: por ejemplo, en hu sgnos auxiiares in gar de “(p . a)” puede eseribirse “p . 4! hh misma formula ha de relacionarse a su vez con otra —por ejemplo, en “(p . q) v r"— el uso de paréntesis no puede omitise 4. émnulasatimicas y femulas molecular Ast como el lenguaje natural vineula dos 0 més cenunciados pare formar un enuncindo complejo, el lenguaje simb6lico combina las variables —por me- dio de las conectivas— para constitur formulas com- puestas, Por asociaelén de ideas con el modo en que Tes tomos de elementos simples constituyen las moléculas de los compucstos quimis, Ia Logica ha adoptado aqui una nomenclatura con reminiscenciasde la fisica nuclear, Una formula atdmica es aque- la constituida exclusivamente por una variable pro- posicional, no modificada por operador alguno: “p’, Por ejemplo, Las férmulas en las que aparece un ‘operador monédieo ("q"} 0 que resultan de una combinacién de férmulas unidas por eonectivas did dicas ("r v's", “2 = w") se llaman moleculares. ‘Toda férmula molecular es una funcién de ver dad de las formulas atémicas que la componen: es decir, su verdad o su falsedad dependen de la verdad 0 de Ia falsedad de las proposiciones representadas por Iss variables simples. Pero, como hemos visto antes, el modo en que deben combinarse In verdad © la falsodad de los componentes pare dete 1 valor do verdad de la férmula molecular depende do las conectivas que aparezean en la tnisma fb 4a. Por esto los operadores resultan ser la clave para desentrafiar Ia estructura intema de una [6 mula, A si estudio, pues, dedicareinos el préxima capitulo m1 LAS CONECTIVAS 1. Casos postles {Una proposiiin describe xm estado de coma, y su verdad dopende do que dicho estado de costs ata en realidad. Prete a cada descripclnsin- ple (por ejemplo, “el ro ext creo") eaben, pus fos poiilidades: que ella sea verdadern (et dect gel lo haya en verdad aumento eu caudal) 0 fea fala (que dicho caudal sea igual 0 menor que habitual To qoe implica que non creido). a Sinbalossule use la siguiente tabla: F La formula atémica que se encuentra encima de la jcldn a que nos Eo a simbolizan los roferimos, y las iniciales “V" y "F6 cic, rnovostaén: © Nona dos case pont “y gon p verdilero'y que pata fas.” igunas aude ne incinados & tar’ palabras granlocuontes Il man mundos pols, y deen que part ay des mundos (deste el punto de vista enpectlaive po ramen gto): ef mundo en que b ex vendece Yel mundo en que pe fale panorama de los casos posibles se complica wlo la. proposieién se compone de dos o mis descripciones de estados de cosas (“el nfo esti ere ido, pero contaminado”) 0, en lenguaje simbélico, cuando se trata de una formula molecular compues. ta por dos o mis férmulas atdmnicas ("pq") Cuando la proposictin que nos interesa es tuna eom- binacién de dos proposiciones que Ia eomponen, los casos posi componente ean verdaderas, que la pees sea fal sys seginds vorlaln quo Ie prio sea verdadersy la segunda faba y, por imo, que Tas dos sean falsas: ye os P| y Fly vir FIF gPor qué esta diferencia en el mimero de casos posibles? Porque a cada variable proposicional co rresponden dos casos (V y F); y, como una combi- naclén de variables debe prever cada uno de los ‘casos de la segunda (y aun todo esto para cada uno de los casos de la tercera, sila hubiese), existe entre fl mimero de variables y el de casos una relacién rmatemitica: a una variable corresponden dos ca- sos; a dos variables, cuatro; a tres variables, ocho; ‘@ cuatro variables, diecisés, etestera, El niémero ‘de casos posibles, pues, es 2", donde “nes el miznero do variables proposicionales presentes en una form Ia y Ia base 2 representa la dualidad de los valores de verdad en Ia légien binavia: Vy F*. Elorden en que aparezcan los casos en la tabla ‘que los contiene no es en sf mismo importante, con tal que Ia tabla contenga fodos los casos y ninguno de clos resulterepetido, Pero para asegurar el eum. plimiento de estas condiciones se acostumbra a se- guie un orden —conveniente aunque no estrcta- mente necesario— en la construceién de la tabla de que se trate. Supongamos que se nos presenta una f6rmala que contiene tres variables proposielonales —"(p. q) 2 F por ejemplo— y deseamos hacer una lista de los casos posibles para las distintas combi naciones de verdad y falsedad de sus componentes. Primero estableceremos cudntoe casos contendrd nuestra tabla: como en el ejemplo n = 3, el mimero iad (Vy Bie. ‘nln Uses “oon sa prs epee ae et myer Riou de mer poe, rr mpl compte pad de ‘Sowa Ge pred0 betes, ononcin ¥ NORE de sos = 2 = 8, Lang esirenos, de sin de oxo valores de verdad en quo "Vy "F” so alteruen de uno por ver. Bajo le segunda varie be anotaremos ocho valores de nando “V" y "F” de ds en dos y por itn, ala fereem variable asinareimns valves de verdad al ternador de cuatro en cunt. Ast ob sigulente tabla de cas dad, pero alter- pial viv{y Flvly viFlyv F/ Fly v|v|F Flv|F virlF FlriF Naturalmento, si en Ia férmula hubfera una ccuarta variable, a ésta corresponderia rma alterna cidn de ocho en ocho (pues los esos serian dict sis); y a uma quinta (con treinta y dos casos post bles) atsibuirlamos valores de verdad alternados de Aiecistis en diecisés, y asi en adelante. Al construir una tabla de casos es necesario tener fen cuenta que “a” es el niimero de variables propo sicionales que aparecen, y no el mimero do sus apa- riciones w ocurrencias, Las variables repetidas s6lo se cuentan una vex: asf, ala formula “p . —p" sélo corresponden dos casos posible, ya que n = 1 2. Negacisa El dinico operador mon4dieo de la légien propo- sicional (“") tiene por funcida invertir el valor do verdad de la fdrmula a que se aplique. Dada, pues, una férmula “p’, podemos comparar su tabla de casos con el resultado que provee esta conecti- va" para cada caso, Construlzemos ast To que se Hama a tabla de verdad del operador que examina mos, Hamado negacién: vl Fr Flv Como puede observarse, una férmula verdadera ne sada es falsa, y una fGrmula falsa negada es verda- sts 9 le operas didi, cm peer ac, sl oe 8 Stele der vce