| DELIA TERESA ECHAVE O MARIA EUGENIA URQUIJO og RICARDO A, GUIBOURG. eal Coleccisn obs FILOSOF{A Y DERECHO. Lote Logica, proposicion y norma ° 6° reimpresin orton Arona be: Ausnepo Ricarbo Dita1 edicén, 1960 1 reepresin, 108, 2 reinpresin, 1986 5 reimpresén, 1901, 4 eimpresn, 1985, 1 reimpresie, 1080. © reimpresin, 2002, uN a oc t0o8 -o2eeBl AC 43 fecha © Eoeomae Ares De Aurnsbo ¥ Rianbo Depts st eet pen gp ee 122 Los autores expats agradecinient: Ambros L. Cif, que abrib cause en I Argentine ‘ios ested da gin dedaticn y Foment6 des ‘ral sine 1 Carls E, Alcott y a Bgenio Balin, que cons tiuyen el aicleo de ese dearly y que ade nis prestaron inestimable apoyo a puis de ‘te vo tawés de Ib esta revistin de los or ines ela corel de nameosos eores ¥ poe Stadidurs— de un prlogo caper de emoriguar el {mnacta de los yer que quedaron, Tago Zales, cayo ojo aviage-poratis subse ficltades dl texto egalPROLOGO 1a igen ocopa unn poseén muy peculiar dentro dl ‘panorama de le ieee.” Mientras que as deme lec So formaron pulatinarents através de ons lg © ices ‘voli y son, por Jo tnt, fato del afer clectww de imchos hombres, ht Kgea neo como obra de wn solo bn Tre Al igual que doa Falgenco, mines tvo Infants como Pals Atopen de la cabora de Zeus, acié tan desrollada ¥ perfect (tal fo al means ls ere generalzada) ela fates de Artes, que darnte volte ils cash no experiment crecimiento sguno, a pest do aber so ile samente cutivads en Ia Antghedad, en Is Edad Mein y también “aunque con menor Inensded~ ex In Edad Mo: erm Hubo lertamente desallsintersates (espe. ‘monte poe pte dels lgies antigo y meiner), pero fl leo de In eon aristotlica permanoe inclame basta ‘auy evanzado el siglo x. Ea et sentido er my carte nea I eonocidaopinin de Kant de que a igi et na ‘lnc prfcta,acabad, a a que 0 eae expert svance signe. Hoy estas palabras suenan como una ere lola: pocos sor depute do baberse eit, la gis experiments un vance fan nipido y profundo que ain hoy hay gete que se legn # reeooocer que so tata de la misma dcpsae » rebioco En eft, en la sogunda mite dl sgl xx y en Yo que va {e ese tig, el dearllo de Ls lien ue. temento, es ono a las energies acumuladas durante mis do dou il Sho estallaran de pronto en ona cla mara vee sta en Ii hited dela lnc ste pido destolo de sig to su ldo negativo re hubo temp para su dfeson ents ls no especial y, ch conceuenea, ta Ties nob sido debidamente asada pp ln cltura geneml de moesta ceca. Euston bible 205 efor de iors y-atiule atamesteepecakades fseitor en ub lengua que parce cad vee mis esotricn, (gue desl teniar cada vex mis sues y refine. Foo est alto deri tenico no fue aenmps ado em a tho sufsente por lav cas do vugacén, de edo que ls igi ha convertion slo tetlmetesvacesbe para tos mo especie yl pice clo en general ene fle ola tna Sea muy vag Entendcnonos bin; cl alo desarallo nico do una cen cia no por cet an defecto: ampico so asceabler al Diblice general lesbos de matemiten superior o de fis fain, Tero todo el mundo sabe algo de matemiien y ‘abe algo de fia, mectas ~alv rare ecepcones— 00 be ada de ligisn modems. Los Ios de glen 0 fornan parte de tro acevo colt, fora de To in daly tiie o sete obligndn enter de qué so tra Este hecho es, sn. dada, rofundamte lamentable. Porque al bjeto de I Lgl no es lo alejado de la vida ‘idan, como Tar galas, 1s doastvios 0 el sins, Te Vics esta algo que hacemos dariamente: razonar, 17 dtc ent un azotumiento cormcto oon Correct interes por fgual al utente, al plc, al shogado y al ecooomista. ‘Gabe aqui na advertenias aunque la igen moderna haya aldo en el ono dela matematic, como respuesta a rnst000 n 1a necesdad de eaborar regis capaoes de justifier lox fznamienfos de lo matemitco {ten que eabs mls it dl alcance de Ia hgiaarstotlicn), nose coun con ‘tomes, nt com magna or cleadla lente pl celia on todat ls ‘Nov eacontrsnos aq con Is segunda caracterstia pe collar do ln Tlen que x ditingue. de otas acs: so Wocacién wniveral. La Tiga no es une cleneia mis al Indo de otras comm le quimi, Ix geloga oI ngs, Con la mateostio, qu wanda por Sal por os igen fowls comeriantesy low coletveros, pera en grado aa Inajor que a sate, In Lgios er a elena aula ‘Ge enorme valor para tas as demds claeas también Dora mich actividades no clontifiens Ma nem, a Iden v9 sigue tenendo en a Blomfa ana seluencla que D0 ude prungonarse cos de ingunn ta clenel, En lo timos afore ha desperados ol interés de ls igi Bac or concepts relacionados con la eondcta hu ‘mua, or cule los conceptor trates (tals como ‘hls, prohibit, peri, et) desempean wn par pel prepondernte. La lien de pomas 0 Valen devon {oe etude fren baer en las racine ales te exo eoneptos em, po tao, un dplina may fr ‘Jen, Aunque lays figortanter aecedotes, dead Ars Titles basta Lelbnizy Bentham, etadin sitemitico ‘nes en 151, ptr de a pblleaion da fron ensayo {de Th wom Wight, Deon Lage. Desde sa fecha hasta fein das fan aparsido nameroro atelos y Heo, y Cabe decir que Ia lien dedatea es wna de Is ramas mds {ntensamente cultadas por ls lgios de boy. To que hemor dicho acerca de la ies moderna o- seal vale am en mayor medida para Ta Iéica de nomas ‘A pow dela gran iportancla de eu iciplina para todas las clenls soils y mayen expec paral clencin el de echo, ol aprovecbalento de lor adlateslogrados so ha2 aduzco hecho muy dif yor I faa de tats acnsbles para lot frist, Ie szldlogos 0 los ealtres de I eenia polls {ins poss Mos intoductorios extents en eastllano (por jem, de Vga juriica)premponen ya eonacmientos de lagi general que por lo comin no re dat; los tor 20 demasiado especiados y, por ende,Seabordabler para Jas legs. I Mzo que prologamos se propane Henar ests Iguns; 4 propsto de sus autores es mucto mls amblcoso de lo ‘qe pra parecer a pinera vista: es mada menos que pro- porcloar al ler a especial na guia clara acces Eis capar de conducido dentro dal intincado cago. de Jn Tica maderna en general y dels Wea dbatea en pr tala, hacia el conocniento de algunes de sus probenas, sus mtdas y sar tenis. Un easgo muy inpotante del peste ro ess ato sufcencas po prsapaoe nga eowocinento previo do Hagin ene lector. En segundo lgar, es un libro extrr- inarismente claro; aunque tts tema altamente stares Yy. por endo, difiees, es peectamente comprensible para uriuierIefor. Siulendo el afosmo de. Wittgenstein, {od lo que el iro dice lo dice claramentey en nin mo- mento petende remover Ins agus para parecer profundo En tercr Iogar—y so tata do una carectristen naa desde fable, sobre todo desde cl panto de vista pedagigico— cl Tio eth eae conn sete del hamor que se 9 58 cencucaza neste po de leratua. Pero el letor 50 debe ‘raaiarn. chiro er defaci amera lectus, pero 20 30 ‘ha asmaciy etre de a parent seller ay compl ‘dor problemas; dts dele chistes hay obeerencioes my refunds FL apltulo I, Inroducelén contiene una saie de con: siderciones sobre In Hg y su utldad pict. Los ex pul IT's V tatan parte més elemental y 8 Is ver B& ea de a igs moder: Ia Hamada Wgin propoiconal. nbxcco 8 in el capitulo VI se erbozan lr pencpalesconceptor de ligion modal, do lq ae enpendi a Hg dic, Ent tltina es desaalada en los captor VIL y VIIL Po alin, nel capitulo TX se analiza algunoepoble rae trsdiconales la lsat juriiea ye mica ce ‘qo manera ef aporte de la liga puede contiair a cl ‘aro replaneer enor probe, El No puede Ieerse de dos manerat: porn lado et com erclcie y mitoniiente intrarenal gi, lft: por efoto, seve para falar al Ictr con Jn pte mis clement y bin de Ta igea moder. Es de'esperet que ste Iibro reste de expel tert pars Jos jst paral estes de derecho, pero tambin sect de utd para fs estudosos do otras lacs soca fe, om la modidn en quo todas els tenen que ver com las erpecio del autores det ro, poco podemos dec En primer ugar, porgue nos comprenden ae genet do [elev nor se ont larga amistad, ford através de ms thas af de empeso comin de enue y aprender "Ea segundo Tuga, porque su mojrelogio ge Hall en el texto ‘num. Nada hay mis afl que a presenti fell de tin tema ifs ET aber lagrado eon sn unto t45 abstito y apaventemente ded come le lyin toda sont haat Canoe E. Avenowmnds - Becexo Bovven:INDICE GENERAL Pasco 8 aNrRopuccion 1. gia? Si, glen 8 2. Légicay buco mental ol valor de In sonia» 23 3. De qué re tata, 0.4 qué vamos a gar 26 44 Boo, per gpor qué a mi? 2 | 0 DE LA PROPOSICION A LA FORMULA 1 Concepto de propo s Variables, contetivas y signs sures. Simbo- logia y notacen 28 | Concept de femla ropoiional 6 i 4 Formulas atdnicasy fonmuas moleiltes 66 frosce coven m TAS coNECTIVas 1. Gases postes a 2 Nepién 7 3. Conjnein a 4 Disyuneiin 4 5 Condionat y 8 Bicondicona a TAUTOLOGIA, CONTRADICCION ¥ CONTINGENCIA: LA IMPLICACION FORMAT. 1, Tautlog so 2 Contrada ” 3 Contngensia a 4. Impliesién ford 2 Equivalence oe EYES LOGICAS Y REGLAS DE INFERENCIA 1. "Dura tes, sed lex” a % Une com cs com, cm com eta cosa.) 8) El principlo de idatdad s 3) El piscipo de m0 eomtadicsin 5 ©) El principio del tere excuda o0000. 8 (ooice cen La juifcaién de los priaipne clement Peet digeto prepencionl Interdefinbidad do las eonetvas Lg signs aula frente alas lever de aoa tide Kegs de ‘nferenis La egla de sustucie La regia del “modus poveas” ones w LOPERADORES. MODALES. MODALIDADES ALETICAS Modis 7 a Vgica modal ain Hl eundro de opaslén de ls modded oat vu |MODALIDADES DEONTICAS | Operadores 2 leterdefnbidad vat LLEYES DEONTICAS Iimportemos,tantlogas Hl evadho de opeslelén deface Beas ee a mn M4 ug 1% 15, raa Inotce eat 3. EL psiniio de subcoctaridad 1 ‘© Contaiedaa 19 5S Sabaltermcn m 8 Contmdlcciia, ia TEL opeador “F iat Sal rai ef cng cnc 8 8. Principio de dstbcion dela person 10, Teorema de distuciin de le colnet ie HL Teoroma de Ia oblgacén altratva 0 A Teorema de lt permisién conan -ssc 1k 18 Teorema de la permistn mle 1 x ‘CONDICIONES EXTRASISTEMATICAS DE LA LOGICA DEONTICA 1. Conepto 15, 2 Las lees de Hume us 3. FL panei de peohibiién 153 Bunsocearts 9 Ibaice atsantrce ist 1 INTRODUECION 1 agi Si igen Quejamnor porque Ia cuenta del restanrante es alta no nos dari ningin resultado; no lograremos convencer al mozo y pasaremos por mezquinos. Pero si encontramos algin err en la suma provoca- remos tna consulta y obtendremos, junto con It en rmienda, las correspondientes excusa: tal es el poder de Ia aritmética, que ni los comerclantes se atreven contra ella. Y la aritmética no et una invenciin Aliabélica, ni ef arma secreta de Ta administracién Impositiva: es, simplemente, un sistema toérico que reconstruye, en abstracto, las relaciones que todos aceptames ‘entre las cantidades coneretas. Dos ids dos es igual a cuatro en cualquier tiempo y hi- 4g, se trate de délares, camellos o vueltas en cale- sita; y el conjunto de las relaciones de este tipo, reunidas en una teoria matemética universalmente0 dace, monostcé ¥ somMa sdmitida, 0s pemnite_vecar fommalmente la croc de cullen clad 1 mismo ocime con I Wiges. St algien nos cndige um lego acon sobre'un tena ue ign: ‘amos nos se fish fomnaroe una iden sobre la werd o fa fasedad dead una de sts afirmaci es; pero sl entre ella ay dos que seston co dictras ete, no necesareinos averigear mi para saber que en eit chicira bay algo que no Fencona bien. Al asonar de este modo habremos ia un sistema terkeo i igen que recor pila generating, abtae y reconsraye en formulas Kes relconesacopables entre le’ proposciones, aun con total prercindenca de su contenido: es decir, de modo completamente formal En otras paiba, Ia Lgl etn sema que entre crs eos permite venficr Ia comeostn de Ts raonamentos.gQué es esto_de Ta corre: clin dels rarnamients? Lo entendeemos mejor 2 tne de algun ejemplos ‘jemplo 1: Toda mista se compone de sonidos Po lo tnt, ango se come El tango e¢ msi, pone de sonidos. jemplo 2: Como el cielo es azul y ls nubes son blaneas, me siento alegre y optimista, Bjemplo 3: Como todas las eucarachas tienen alas y yo soy una cucaracha, yo tengo alas ‘A primera vista los dos primeros ejemplos pa- recen muy “razonables”, en tanto el tereero parece emanuccti a silico, eros ns quedamos con ext np to iemos muy lejoren muestra capacidad de reco. hse finest engage ca flax” Evaminemos los semplo to for Woo, com més cuidado, El efmplo 1 propone dos premiss y una con- clotn: chalga gue lea advert que la tonelisién er na consecienianecesaria de Tas pro nis. ‘En fet, podenos no aber gran cout de iii, podem fora po completo la exten: Gia del tango; prot os foforman que Ia mien fe compone de sonidos y que el tages una forma dle‘misia, on eto date enevent, contenido Implictamente, el resultado que aqul rezonanien: tolhace explo: que el tango te ompone de so nidoe ejemplo 2 también conten dos premiss y una concn, pero ta noe desprende neces Hanente do alts. Puede oownt. por cleo, Ge una perionn de tant contemplative seta Impulsada a vm iesieible optinismo por la mera comprabacin del color del elo y de ls nubes pero también suc que a veees no tiene un dlor Ss uel, y entonces el cielo y las bes eaecen de tad efcacia como talemaes de buen bum, Y aqul aparece —entonces~ un Impotante dato sobre lagi, una dedvccdn vida no esl que tcentualnente leva un resitado verdadero, sno In que ecesromente Teva an resltado veda. der siempre que las premises tabién To sean2 hock, monomeitne + KOREA Esto pode comprendone mejor a pari del ejemplo 3 que, conte lo que podria soponerse a primer vit, es abialitomente edlido,” No, por ert, porque quienes esto eseribon hayan sudo gin eto asian y we deena eve lotr por lar cocina, sno porque la conelsion se deprende neceiranente es promis. En fect, fuera verdad que todas las cuarachas ti. ren alas, ya fuera exaet que yo pertenerc a ta co apreiada especie, entance tambien seria Cer, torque tengo alae Nétse que no existe otra post Iida Iga: st yo no tong aes no puedo se na cwcaracha (porque hemos sopuesto que todas Tas ucarachas lis tienen); ys 0 tengo sas ja pesar de eso sig slendo un ewarachn, etonces no poe Ao ser verdad ia hipctess general sobre el vel en taradil. De mods que el ejemplo 3 eo urn deduc- iin comecta, a pestr de que tanto sus premises como st concn som obvlamente falas Claro ests que aqui pode surge una reflecén cscdpia a Vie aproca un fzomulento 3. gin cl exal toda Tas cucarchas tenon alas 90 Soy ta eveiraca ald, también podria probar nos chanchos esrben potas, ¥ que life hin no existe, y que la luna ex una bola de qooso Gruyére.Entoncesgpara qué sive lagi, no permite distinguir lo verdadero do lo faba? Esto vale tanto como preguntar para qué sive la tele Sn, slo programas son tan miloe Ste espe ticulo no nor gosta, karenos bien en apager el encore = ceptor, pus no obendremos de €l mayor uta. Fo el da qe bays un prograna bueno gona ba- fons para ye nen apart que fancone sde- Coadaentel el mismo modo ex Is gi que nos en sete io vera y To flo et isto To que no tan Iogrado acer todavia ls cenla la flora zo paede congue del mero ronment, que 1 silo uns herulentsSatelecba yo ia facta de la verdad” St partner de promis falas, nie une seguridad tetdremos de legar a condones ferdaders (slo Icemes, ser por csualldad eto tenemos ta fortuna de ball prema ve Alder par alientar el raonamieno, tos Dproporeonarh noone y-rslocents,aimaciones Entrdaderas como aqua dela que partie, Es quel gic, pse as fila nox om fotente"Recotencs el ejemplo del peocpo el Ee Donte de reste, La atmo pede evar que or eden por agin Plat mt Aoi que wale (de otro modo ents gran deman- 4 de textor sabre matemitess), pers ya et algo te nos peta contlr Ia sna para ver tem Bis hv aguien pretends queda con buco Gr 2 Loin y Bloqueo mental 0 el vlor del soos, “Claro, Ligico",solemos decir (no siempre eon propiedad) cuando ofmos una afirmacién que nos4 ish, monasctn ¥ NORA parece senllay pluie, Peo cuando clade fo se vel steno y ns habla dela Lgl, In tnaginamos con una Layo, alt come ut imo en el que Dues capacldad de comprender ‘= eels tremediablonente or supuesto, ela prdiotin cast siempre se confirma. Con ela sce lo misno que Con les rumores de In Bolsa. si hacemos correla vor de Que determina csi va sina fnte pee 10 demanda,aumenta yl preci efdtivamente sue. De intico mod, nuetn concept del Tigjca como un instrumento de totum (imagen se smote ala que slemor tener de las matemitcs) tend a erearam blog mental que a mend no nos penile sigleraaveriguar a ay algo de certo drs de acl He, 1 primero que debe advetine e quel goa no osu pusatiempo para chiflados oc. Tlene ‘pllaclén prices, y esth mucho mis ceren do nesta experienc coldlana de lo que suelo spo. tere. Todos sabes algo de Wgeay a eamos constantemente; pero, como a burg gation bre de Mie, gue abla en prom sin sera estamos tan habitindoe a ella qu n sbemos va 5 juegan Boca Junior y River Plate y no nfran aque uno de ells gang, avtomiteaente tenemos la certeza de que ehotto perdi Siextevlmor algo fant al Obelic, oo se nor ose ira basal Iasombra de Ie Tore dele Ingles, poets ermaovss 5 4 comprar una ficha para hablae por teléfono, es- peramos que el cajero nos la dé 0 nos Ie niegue, pero nos sentimos burlados sf nos contesta: “toda Via me quedan algunas, pero se me terminaron”. Todas estas actitudes son aplicaciones de leyes 16: sicas antiguas y muy conocidas, pero que tlenen Sonoros nombres en latin y se disfrazan com cierto empaque académico cada vez que un texto de légi- cx nos las propina ‘La receta para encarar satisfactoriamente ol es- tudio de la légiea ncluye, pues, dos remedies, que eben adminstrarse en forma conjunta, El prime- 10 consiste en advertr la importancia de la Iigica como exposicién de un sistema explicito que nos permite ordenar, controlar y —en caso necesaio— rformular Ia enorme cantidad de razonamientos aque de todos modoe desarrollamos cada dia. Y et Segundo, no dejarnos intimidar y tomar Ia Wégien con ealma, con buena voluntad y —s es posible— fon una pizea de sentido del humor. St consegul- mos pertrecharnos de este moda estaremos en con diciones de adquitr, sin grave desgarramiento afec- tivo, un instrumento de valor inestimable. Pero para lograr este resultado es indispensable aceptar cl desafio intelectual que la légiea nos propone y famds, por ningin motive, murmurar para nosotros “esto no lo voy a entender nunca”. _ $$2s bore, morose ¥ Noma & De qué se tata, Formulas as advertncas preiminares, o- responderia mostrar ahora le ceactersticas’ cone ret del estudio que nos proponemos emprender ero noes fil hacer eto Gon Wien, uc eo un stoma de relacones abstracts, y enumerar los problemas que estin o ban extad® includes bajo fst to Hear a una exposcnhistrien basta te larga en veintcinco sigos de destrollo, In I iw oscental a recorido un eamino largo y muy farlado, Para nuestros fies bastard, det que It legion osn formulary sstematiza la relaions aximiables entre ls. proposicione, y se preocupa por establcer métodos para decidir sna propos {in ae desprendeo node tas através de tn az tamiento vildo Arsttelestrat6 de cumplir ext trea 9 través del mismo Tenge que wsamos todos lv dia (I mado lengaje natura, al que incorprd voeablos especialmente definidos y aun cierto simbalos abs tractor (letras como A 0 B, por ejemplo, para repre sentar In extracts de una propoiin ‘con sueto y predicado). Aristteles emprendi as, proba- Biemente, el primer estudio sktemitco de la 1. gica formal; y puso en ell tanto genio que aun hoy 5s obras sobre el tema te een con adiniacién, El ‘mismo camino sigueron los que vinleron despots, 1s prolongs através dla Edad Media y del Ren emma a ciniento. Pero on ocasines ol otnto_chcaba con ets dilatads,« pera del gan dearlle tleanado por ls liga sistas y medieval el Tenginje natural contene una grande y en buena tdida Inevitable dots de imprectin (vaguedad Atmbigiedad y ottasItolcanes semsndes), de ‘nod quo, por may rigurom que fers el props de exalecer velaclone wnivocas, sempre ein elven de interpretaones diverse y de aprein de seudoproblemts bajo Ta forma de dpa verb. ies “Apt de extol languaje natural est com Dest por palabras que se supone Henen sign A contrt;y ein presencia constant des con tendon semindloos tiene a exerecer la diferencia tite dint tpos do. damostnlén: “todas las Imadres enen sexo femenin", por ejemplo, s ver didera por moons semdntes ya que a feloet- dud es caracteriicn dfintora de “madre, pero “GiTivevey hace fro, Mueve™ pode demostrarse sin recirn algo a sigue de Ine palabras “Toe te hace fri", yu que su verdad resulta deca: mente de la estrectura Ygie. de la propos Esta demostacin, asi como ots dearllo mo- demos de alia, conesponde a wa etapa on que ‘qué soperado en gran medida elu del engune jeaatunl Est etapa comenzé con Letbni (1616-1710), pero ae desarlls To largo del sgl xx en ov Erbujps de De Morgan (1800-1870), Boole (1815- 1864), Frege (1848-1925) y Peano (1858-1932),Py ccs, eonosers ¥ Nomea cnre otros, hast quedstfinemente etablecda a prineipios del siglo x, cuando Rusell y Whitchead Publiceron so obra Principia Mathomatiea (1910 101s). Estos autres aplicaon la eta fer midable insrumento proveniente de las atem cas, eampo donde ya labia demetrado sued Este nstrumento eel lengua formal. en el que SImbolos convendiondes, date de ls pastas due eomocemos y defnidos con rigwost precision, sein la fone que cxmplan, puclen cambinase cntre sf uavds do reat dlieradamnente con truss. ste nue desrallo recibis distntos nombres, ue pretendin aiferenclo de la loge adic nal: "lien meme” igi sinbolce’. Al ‘nos fo laman “Vga formal apes del eater felvantemente formal de ands vison Fer, a medida que pastel tiempo y la gente se habia al manejo de low sinbolor (a To que cont bye mucho et aprendiaje del ooria de enjantos c's excels), Ta inportancia de ets donomina. Clones disminaye y tolo empiern a lmarse, pla Y aimplemente, Wee. Ext evlucin es eomcep- {ualmente importante, porque ayuda a sel que Ia muewa igen o se opone lange, sino que Ua complement, Ia entara, en parte la corge cx buena media le sper, si gue por ello Ane Aitels deba bape de su petal Existen hoy muchot temas —tadonalmente englobados en i Wgker— que rrltan seaneados rsmoowons 0 poco o nada por el uso actual del lenguaje simbé: Tico: el andlisis de Jas funciones del lenguaje, por ejemplo, o la teoria del significado y de la defini lin, suo ds falas wo fomales,o os ‘conceptos relacionados con cl razonamiento induc- wo 'Pero wots sceparemos desta nme tamente el desafio de que hablibamos antes y —sin menospreciar la utilidad de aquellos temas, sobre los que exten excelentes tertos— nos lanzaremos al asalto de la férmulas. 44 Bueno, pero gpor qué a mi Bl programa que acabamos de enunclar enti: siasmarla, seguramente, a una persona con inclina- clones matemitieas; pero el caso es que este libro ro esti dtigido a ingenieros ni a estudiosos de las lencias exactas. Y entonces el lector —profesional 6 estudiante de derecho, de sociologia, de ciencias politicas o, en fin, de disciplins tradicionalmente Ihumanisticas— puede sentise como aquel miso a quien regalaban una moneda por cada cucharada aque le daban de un desagradable remedio,.. y eu yos padres rompian la alcancin, cada vez que estaba ena, para comprar otto fraseo del misino remedio. Las ciencias humanisticas se consideran tradicional-» es, morose seen ‘mente como un refugio contra las mateméticas, a cubierto de la insidiosa Infiltraciin de las formulas; Yy quien las ha elegido para si con est esperanza puede sentirse dfraudado, Por supuesto” podela ‘observarse que mis vale advertir el fraude' gue ig- norarlo; pero, como quiera que esta rellexiin no suena muy estimulante, convendr’ hacer algunas aclaraciones sobre el punto La ligica es una de la disciplines humanistcas nis tradicionales; pero le ha sucedido lo mismo que ala mayoria de las ciencias que, cuanto mis se per feccionan, més se acercan a las matemitieas, Gran parte del progreso cientifico ha consistido en adver tir que dos 0 ms eoneeptos diferentes no eran sino distntos estadios de una misma realidad continua, yen medir la diferencia entre ellos sobre ciera es. tala comin, Asi es como, por ejemplo, las reac nies entre el espacio y el Hempo y entre la mate ‘con ramificaciones sobre of Aisiplinas (incluida la filosofia), Pues bien, las ‘iencias sociales adolecen desde st ovigen de la in- suficiencia de sus métodos para aislar los fendme. ‘nos, compararlos y medirlos. En Ta medida en que esto se consigue poco a poco, el lenguaje formal se introduce para abstracr cierta relacion 0 cierto as- pecto de un fendmeno complejo con independencia de su contexto contingente; yuna vez hecho esto aparecen las frmulas para establecer los vinculos hallados entre aquellas absteacciones, De mode sreueuccn a aque est suerte de matematizacién de las ciencis ‘Scaler parece ua tendendia inevitable, en la que Ua gia se presenta como un spl cso partic AX por qué procuamente a ligca? Ante to porgue ealguer sector de la clenca que emplee Tiengune y el smonamiento debe smetere 4a prueba del valdes de au propio modo pro a encis qu no slo empl el lengaje conta era. nts so gu els tongs por abt de et dio ergumentor ue se siponen Lgicimente ent. denados como las clenie polite jr no puedo privaee do alsa la etic do 5 propio obj. Esta ceustanci a paricularmente senile en alee de lest somata, cx tre lor sgalficados que pueden simbolnse con lenguae bay algunos que nos afectan profendamen- te en nocd trees; son las ota, qe nos obligan a cumplirlertas condos oot prokiben otras, que Timitan el universo de nuestra ibertad wen’ el ato dl derecho hasta nor amenazan {on al embargo, el dane apis o Ia muerte Y ein pena enya profes et saonar sobre las noma, inventar y refer argument sobre elas” decir, agents" y mancjras, Los shogador —de clos se tata no extn toos de teuerdo sobre a jst y Ta injuticin de cada or- ta (oro nolo estén ls comeriantes sobre la ren- tilda de deterinado prelo at los dentfcos sobre Ia verdad de clots afimacnes de beck) ———————————————————w ccs, rowoseatn NORA pero mayora de ellos ext dispuesa a adit que Existen ene as normas clerta relacones formal, ¥ ques una condocta est prob, por ejemplo, Sera dif acpi sintinennente qu le misma conduct xe obligor; y esto cure an cuando no sepamos en gut conte dicks conduct, ns prohibra es un ato de ben gobierno o una es tr de Insfble traa Exist, pues, dee hace aproximadamente me- Aisi, una Tita formalde as normas, tambien Tada igi denier © nometiea Este esquema 0 sistema tein, ao largo de sucesivas versiones, permite jecer un contol for nal sore el dscuro normative, equivalent al que tenemos sobre Ts eller mediante la arte 9 sabre el dscuso en geterala tavés dela ligca Proposional. "Como en lor ots cass ete intr. Inento conceptual no nos eng un dont aba Tio sobre os fendmence a que se efi (pas ello Iba qu tener poder ste las premises cm el legbladrlo ene sobre as Iyes que dita); pero al'menos nes ensea a extaereonlasones vias 4 partir dels premise queso nos inponeny y no €s poee cosa encontrar a una base comin de to hanfent>‘en‘una materia como Ie normatva, tan palin que la gente mata y muere por ela Si unm gin debatca merece, pues, un Tague preeminente en la metodolgi de I clone fica, convene también sella qu esa importana ts periendo riptamente su Tope eects mance a para hacerse cada ver més prictia y eotidiana, En materia teenoldgica el derecho es el pariente pobre de las demés ciencias, y el jurista maneja atin ss: temas y procedimientos conceptuales que no han variado casi en milenios, Pero, como ya se ha vis- to, aistimos aguf también a un avance inconte de las matemiticas, de lo que puede ser medido, ppesado, contado, caleulado y... computado. Las hormas son informacién (en el sentido que a esta palabra atribuye la informética); y las computado- ras han aprendido yaa manejazlas, elasifcarlas, ro copilarlas y reproducrlas para facta el trabajo de abogados, jueces y legisladores. Incluso se estudia fen nuesttos dias la posbilidad de insttuir proce- sos de decisién automética, en los que la solucién de un caso surja directamente de la norma, & trae vvés de un mero célculo légico. El aprovechamien- to de estas realidades y perspectivas exige al jursta rmodero una precisiéa de concoptos y una exact- tud de razonamientos a las que el abogado tradi- ional no esté habituado, cuya fuente es la Tégiea formal y cuyo instrumento es la abstraceién conte- rida en las férmulas.1 ELA PROPOSICION 4 LA FORMULA tomemos como, singnimas expresiones tales como “enunciado” y “proposicién”, Decimos, por ejem- plo, “este pirrafo contiene siete proposiciones” 0 “no creo en los enunciados de la astologia” y, aune que de una manera vaga, sabemos qué queremos Aecir con ello. La propia gramitiea espafiola sucle usar com el mismo significado los vocablos “propo- én", “emunclado”, “oracién” y “asereibn”. Pero para Ia ogica algunas de estas denominaciones ad= quieren un sentido més preciso, y se refieren a con- ceptos distintos A hablar nos expresamos mediante enunciados esto es, oraciones como “este es un libro de ligia”, “tengo suetio” o “lo que estoy leyendo es tremenda. mente aburrido”. Estos conjuntos de palabras sonos esa, monemexis Noma oracones porque eumplen con el requis de ser “igulfcavas, de exprsa eabamente una Mea.” No cure To mismo, en exo, con expresiones como verde eles campo’, o “gail cenloro ele en esti 'A postr de etar compuestas por palabras ‘enoeids, iu desorden intern (reapecto de lass tas de la constraceincatellaa) las priva desig Biflcad y con ell les inplde constituse ca ens Glas orcones, ‘Supongamos ahora tes enuneiados: “ace fi “iff ie eco Sls ala vista que ells son diferentes etincompoeses por palabras is tas, y hasta comesponden a. Gives dima Pero también advertinor que Tos tes tenen algo en emia: quieren deci lo nono. para eto a0 ince fal sgulra rose a otros Tenguajs: “el presidente de Bolivia fue derocad pore eect ¥ "el ecto decd al presidente de Boliva” son tambi enuneldon dstnton que queren dec Io Insmo: es dec, tenen id signified. Cuan do varios enuneiadortonen el mismo significado, Aecimos de ellos qu expres lanka proposcin ‘Una popotelén es, pues, el sgliado de un 1 tumble pus sci «over: emis Hnteor ew Feith “shra mlgp rnas" pdon up ou fot Fender Sep tv eile SOT Sate is Tey oe 2858 = fe x4 roroncai 4 14 wma a enunclado dedaratvo 0. descriptive. No et el Sond menage op por pas de lgin ‘ions ‘terminado, ordenadat segin clertatreglasgramatcales er conendo dal nuncado,qoe ex comin a as divert manera de Ses mito. exis qe lec a descriptive. peta desechar expresamente lr oor ton del Tengvaj: frases come “epta” 0“pleme Je rontaza por favor” no erpesehpropondones, co el etd que ag damos a ete conepto® Eso oure porque I lio (al menos, I paste de Ia Tien que extamos extudiando} so mantja a través des llamadon aloes de verdad, que “en tn stema bivalente como el qu saleamoe— son {ist verdadero folso (algunos prelten desilo de modo nds aitnco yllizan ls sinboloe Ly 0), "Cuando un emuncis hace referencia a cet estas de onan, de tal ert qu sn pose dete dna sl et verdadero 0 aio decinge que eu Cnuncada descriptive 0 declarative, coy, verdad depende de la exstenca real del estado do comns daseriptn Fl enuncado “et lovendo por een plo, verdadero al en efecto sucede el echo ex. presado yf spr el conta, esol bila enn ‘slo sin mabes.” No impeta en este momento sve- wa oa a me ts ‘rea exon ma") y ape © prorat (ewe da ear ec igeg ie mae uaheeemee telus gin, Bo As 8, Hy eea ies, masons ¥ soma riguar si es verdadero 0 falso (en todo caso, siempre lemos mirar por la ventana o extender el brio de lla), Lo relevante es que, si el enun- ciado puede ser verdadero 0 falo, entonces es des- caiptivo y constituye materia prima para la gran ‘maquinaria Iogica.” Tal cosa no ocurte, en princl- plo, con el enunciado “tirese al rio": dste expresa tna orden que puede ser vida o no, justa oinjusta, disparatada o aceptable, pero nunca verdadera ni falsa. Para este tipo do enunciados se ha creado tuna légia algo diferente, que més adelante exami- 2 Variables, conectivasy signos aires, Simbologia'y notacin Como ya sabemos, Ia Higa (Iégiea simbdlica 0 matemética) utiliza un Tenguaje formal compuesto por simbolos convencionales, Estos simbolos_per- rniten manejar las proposiciones seg las relacfones gue tengan entre si, sin prestar atenciin a su con- tenido, En esto la logica se parece al dlgebra, que hace lo misimo con el eileulo mumérioo, » Suponga- mos, por ejemplo, la siguiente férmula algebraic atb=bra No nos interesa saber qué mimero puede asignarse a cada una de las lotras miniseuls utiliadas, siem- pre que cada una do ellas tenga en todos los casos dentro del mismo céloulo— un valor idéntico, Be La moresiadn A La ree » Asi, si suponemos que a es 4 y que b es 5, la frmula deberia interpretarse de este modo: 4e5=544 donde cada letra ba sido reemplazada por el mismo iimero en todas st apariones Peo, como podemosasgna “s”y a“ cul- auier valor que queramos, la formula algebratea tenconada on primer trmino resulta expetalmen. te dul para otra una rele general» ber: aque si sumamos dos nimeros culewpuiea, el rel thd srt Ido sin que imports el orden de los En la gen. proposconl las letras minisclas so representan ‘meres, sito. propoiciones. Se lama por sto tarabls propoktonles, ya. gue nemosasigutls como contenido cualquier pro- Fos cont ge depen (opie te eramos algae aluno, lo qoe en genet no Sheede). Exe er el tombve mis ested, po algunos autres las Haan tambien “Teta esgsma teas o “eras sentences" Por cstunbre 36 san prefeentemente lis Tete pg 7, = Yevalguiera de lls puede reprsenar wea propo: Jin. "'A su ves, cla variable puede representa cualquier proposctn, y aun dstntas propsiines tn dlfretes constr: en una demosticn, por ‘emplo, podemus suponer qu “p”snboliza “hace 1 al tev stad en ot “ie0 és, morons ¥ oR ind oto ds eenos spar Teel contenido “ni gato ten bigots lrg Pero igual que en el lair, es indigensable tomar tra elemental preeucin: nto de um mismo conte toe sigifieda que sige cada vate debe se spe ene Ahora bien: en el lengibe atralsolemos vine colar ent soso ms ents para foar un Eaunclado mds complejo de tal modo que al valor verdad del enuncd rentante pends: de tert combinacin dele valves de verdad. des fomponentes, Ask. “no Mere” sei verdadero a “uve fas, vgeverm "Live y hace fis slo ser verdad ste verdad quo les tambien €s verdad gue hace fo, y set flo sung Tues, Si hace clr, y aunque hse sno lve. Exe funcién ‘vioculitora "es cumplida en “castelang Br plabras tales como Spo", “a Saunques "er, “in embargo" y slo, “empre oe? ¥ ots; pero no sempre ofl, dente eo Sie ambigsed' del Tengaje natural enabocer ‘nroramento el po de velatn que se busca et presar,Sialguen nos die, por dempo, “xt no She ial cine oa comer” sermon seguridad Spretee eles una decks acta tambin dj aber Ta posed de acer abet ara evitar problemas de ete tipo y facltar el cielo, el lengua formal verona acl incl mediante signs epee que redben el 1 La mPOsN 6 LA FoMeELA a ome de const exten (conection a secas, para Tos ntimos),signos Ligces, constantes liga operadores Peo oo existe un acter ge netlizado acerea de cimo representar etor signs. Esto da gar ala exstncia de dstntasnotaiones, 0 sistemas grificos de escritura de la gia simbal- ca. La notaciin mis extendida et a lad tne lesa 0 de Russell en una de cuyas versiones que ‘usaremos de aqu en adelante— as conetivas prin ‘pales se represtan-mediante Tos simbolos st sults: "5", "¥ “Hy at Por el modo en que las conectvasafectan las ‘variables a que se slieren, se las divide en mondd- Qs Llp. @) > (rvs) Las reglas de formacién, que en sa_conjunto pueden consderarse también como uma. dfineién de “férmula", permiten exclir de nuestro lenguaje Simbélico todas las expresiones alles. ash “3°, "a", "pg", “is, “UG vg), “(e .) s* no son formulas bien formadas; y puede consitulr un interesante ejerciioaveriguar cul es el defecto que aquej a cada wna de tales expresiones. Je proposicional es una férmula pe ta moreatds A La vemos 6 Conviene aqui hacer una acaraciéa sobre los signos audiares. Su funciin consste en elininar fmbiguedades: sn ellos, Ta expresén “—p . "Por ejemplo, podria inerpretase de dos manera 4) (~p . q), donde el operador monica afecta sélo ala formula “po ies B) ~(p . q), donde cl operador monsdio afe- ta ala formula “(pg)” ‘No toda frmula, sin embargo, plantea semejan- tes ambigiedades,y de all resulta que puede esta Bien iy omen pt, eunn ua x resin simbélin no es susceptible de interpeta- ones esqueméticas diversas, poste eliinar ls Signos aualiares innecesaios: por ejemplo, en I gir de “(pq)” puede eseabtse “pqs pew si [i misma férmula ha de relcionase a su vez con otra —por ejemplo, en “(p » q) v2"— al wo do paréntsis no puede omits. 4 Formals atimias y femulas moteurs Asi como el lenguaje natural vineula dos © mis fenunciados para formar un enunciado complejo, el lengusje simbslico combina las variables —por me- do de las conectivas— para constituir formulas com- puestas. Por asociacién de ideas con el modo en ‘que los dtomos de elementos simples consttuyen las rmoléeulas de los compuestos quimicos, la légica ha adoptado aqui tuna nomenclatura con reminiseenclas“ cies, morc ¥ women de Ia flea nuclear. Una firma aténdea es aque- is consid exclasivamente por una varable re. Pstlonal, no modifiada por Qperaor algunos p, or elompl” Las flrmulasen la que aparece in Spettor menédeo ("4") o que fect de una combinacidn de frmula us por comets de dieas "rvs, “x= ") se lan moleculares Toda fea molecular es una fancln de ce dd de las fires stnias que la componea cs Alt. su verdad fed dapenden dela verdad O de la fabedad de les proposcionesrepresentadas por ly varables simples Per, como hemes visto Ines el modo en gue deben combinase I verdad 0's flseda dos componetes para determina el Nalor de verdad dea firmula sholecular depende de les conetvas que aparezcan en la mis frm ta. "Por esto los operadores reson ser la clave para desentatar I extrictora intern de_una fr mula. “A su esti, pcs, dadieremos el prximo apf a [LAS CONEGIIVAS 1, Casosposibles Una proposchin describe un extado de cose, y su verdad depende de que deho estado do cosas tee el Free drips si ie (por ejempla, “el io est ced") caen, pes ss tilde: que eta sn ere (tdci age ello haya en verdad aumentado su caudal) 0 Sea fala (que dcho caudal sea gual menor que tl habitual lo que implica que noha creckdo). En Simboos suelo sare la sguent tbl Pp a frmulaadmica gues ences encina de I linea horizontal representa la proposiciin a que nos referimos, y las iniiales “V" y “F” simbolizan loss es, morose ¥ women dos cao posible que exten para “ps que pa serdadero'y que p fen flso Ans aorta Inctnaos 2 War’ plsrasgrandlocvnts Tes Te tan mando powlesy dicen que pa pay dos imundor (desde el pst de vit Spelt ‘amet lige): ef mando en que pe verdadero Yalmmade ca ga p or hl EL panorama de lor casos postbles se complica ‘cuando ln proposicion se eompone de dot oie deseiptnes de estado de ton (lo eth Sido, pero contamina"), an lenge sine, cuando setts de una formula ele compe ta por dos 0 ms formulas timieas pg) Gutndo a propscsn que nos intro os na che Bimacién de dos propstones quel ompone, x casos poses son ctor qu hms prpornes compenente sen veraters, qu la pine se yin segunda verdader “que primer a serdader'y I segunda fala yp uno, quel Aor ean fas <3¥", por ejemplo— y deseamos hacer una lista de los casos posbles para las distintas combi- naciones de verdad y falsedad de sus componentes. Primero estableceremos cudntos casos contendei nuestra tabla: como en el ejemplo a = 3, el nimero»” cic, raDeoHceN NORA de cso sect 21 = 2 = 8. Lego esrbiemos, de- bajo do la primera varie que para, una Se. Sin J oc valores cd verdad eu que -V-9 "Fao atemen de a sno por ver Dao I ganda var Bio notaremos aco valores do wera peo ater: rando "Vy "Pde don en don y por thio, ala teers vanbl angarenos valet de verdad a ters de intro en east As btendremos la Sigulent tabla de caos menanan<)s aucanna<[= aaaaeaee Naturalmente, si en In férmula hublera una ccuarta variable, a ésta corresponderia una alterna- cidn de ocho en ocho {pues fos casos serian dieci- ¥y a una quinta (con treinta y dos casos posi- bles) atribuirfamos valores de verdad alternadot de Alecisis en diecisés, y asi en adelante, Al construtr una tabla de easos es necesario tener fen cuenta que “n es el nimero de variables propo- sicionales que aparecen, y no el nimero de sus apa- riciones w ocurrencias, "Las variables repetidas silo 148 oosecrvas a se cuentan una ver: asi, a la formula “p . = corresponden dos casos posible, ya que n = 1 El Gneo gperndor monileo de I hoa propo sional} tere por fanaa invert ower ae verdad de la fémelna queso ape, Dada, oes, na fémula “p", potemes compar au tabla fe cauos con ol resitado que provee eit cone wa” pare ca ean, Constrenos st lous Tama la tabla de cerdad del operor que exami sos, Hamada meget P|-P v/F Flv Como puede observarse, una férmula verdadera né sada es falsa, yuna formula falsa negada es verda- ‘idan furan Mapai agi, rosa, 108 ps {Rods Greed Speke Logon Apion, Shor tek 92 cs, mores + wom dora, La expresién "-p" se lee “no po “no es el ‘aso que p"; y comresponde normalmente —en el lenguaje natural— al enunciado de una proposiién que incluye Ia palabra “no”. Pero, como ya hemos dvertido, esta correspondencla no es perfecta, En idioma cocriente existen expresiones negativas {que no contienen esa palabra: “diffcilmente podria estar yo de acuerdo con lo expuesto"; “es inexacto que. ."; "es mentia que 8 Conic Una formula molecular que vincula a sus eom- pponentes mediante la conjuncién ("p . q") sélo es verdadera si sus dos términos son verdaderos, y es in on clue ao ea Aa pia jp-a vivly Fy) F VIF) F FIFI F ‘La formula resultante se lee “p y q°, y su tabla de verdad comesponde, apoximadament, al wo de le mayoria de las palabras © expresiones idiométicas que en el lenguaje natural se clasifican como con- junciones. De este modo, “p ..q” podrla interpre: tarse como “llueve y hace fio", 0 "quise lamarte, pero mi teléfono estaba descompuesta", @ “su pro- tas comers = ecto me parece sceptble, aunque convendra ie itoducle algios etoques”. Ov aun "ya sé que Gardel mur; sin embargo, cada dia cata meer” En eada uno de estos eemplos se afiean don xt dos do cosas conjntamente, por Io que la combina lin de ambes ssercones rertaré verdadera st y Sélo los dos estado de cosas afirnados son reales ts denen el primero de Tor cuatro casos poses doa tabla do verdad conespondient yuna Qué fiom al det “eve o hace fo"? Day por'sentado ques love no hace fro y que hace Feo no lineve? 0 acta que pueden ocare am fs cos? Agu el lenge natural nos endef Tabital tanga de su ambighedad, yh la Bgl comejonde deena at sent, Supongamoe que en el mend jo de un eta rant cos, ial de Ta sta de patos: “poste 0 feat’, Entndoremos que fv eleceién de tno e= lay aden otra podemos lege pote 0 podemos Clot ruta pro no amas eras onto ahora. que una Hbreria hace una eserbanos.abogados"” Com: reneremosFaiente que quienes fegan wo de lesbo goarin de a ofa pro también cow STdraremos tnchidos entre stm beneiarios os profedonales que refnan ls dos condiciones, y nes futceriaabsurdo que we negara ol derecho de adCT es, morose ¥ wom uit los Whos en oferta quien haya obtenidoam- bbos titulos, * Ue) 1a ambigidad eonste, pues, en que I con iuncién disyntva “ode ingen nati. pede fntendese como "wna cosa ta, pea te ths o bien como “tna, ln ta aes tineamente™ Far ne los pur tas del idioma no recomiendan) pera le alternati- vano exluente” tuna cuntabancaria et bier ti a sombre de Juan y/o Fedo, entendemos gus Jan y Feio pueden hace so Jen een en f nn conjunta 0 septa, indpendieate 0 simul tc, sogin ca tno preiea Exsen, pues, dos tps de diyuncin, Una es Ja exclyente, cya tabla de veda Paper viv) F Fiy| Vv viel y FlFl F 1a otra es le dynein simple o incuyent, con estatublade vedads © vente pa mame |e maae ue<< tas comers s Ambas disyuncfones tienen algo en comin, como surge de las tablas de verdad enunciadas: para ser verdaderasexigen que por lo menos uno de sus eom- pponentes lo sea. En otras palabras, son fasas cuan~ {9 sus dos componentes son falsos. La tnica dife- rencia reside en la solucién que cada conectiva prevé pra el primero de los casos posibles: aquel en que fos dos componentes son verdaderos. Una de las disyunciones To admite (Io tncluye) como caso de verdad de la fdrmala compuesta, en tanto la otra To rechaza (lo excluye) al tomario como falso. Si volvemos, pes, alos ejemplos del principio, descu- briremos que Ia disyuncién del ment fio era exclu vente, en tanto la de la oferta de la Mbreria era in- ‘luyente, En el enguaje natural se usa una w otra disyun- ‘elén (cosa que puede advertrse por el contesto en {que ella aparece) segsin convenga a lo que haya do cexpresarse; pero en la Vigica simbélice es habitual ‘el uso de la disyuncién ineluyente, en tanto la otra silo aparece por excepcién, Esta preferencia se debe a ciertas particularidades del eileulo ligico, que permite Ia ficil traduccidn de Ja disyuncién simple en términos de otras conectivas, mientras la fexcluyente requiere circunloguios mis complejos" [Nos guitremos, pues, por este eriteio y_diremos en general— que una disyuncién es verdadera cexando por Io menos uno de los térinos disyuntos 1a, oa a Ve er de De Morgm% bored, morass ¥ some os vera (es det, lamuremot dancin 4 tena ls dyn nyt) Camda iis eacpeta a callcroney cone jase sore sida conespentonte (23) 5. Coadiional _ Tanto I conjnein como Tas, diyuncones son telaciones conmutaticas, porque “pq” tiene el mismo valor de verdad que “g . p's ‘p vq" que ‘av py pm q” que “q 7 p"*. Pero en una for mula condicional (“p > 4") esto no ocurre: importa distinguir el orden en que aparecen los componentes. Para esto (y sdlo respecto de esta conectiva), la {érmula que aparece a la iquierda del condicional se llama antecedente y Ia que aparece a la derecha recibe el nombre de conseeuente, Sentado esto, ppuede definise el condicional™ como la relacién que resulta falsn cuando el antecedente es verda- dlezo y el consecuente falso, yes verdadera en todos Tos demés casos. De acuerdo con esta definicién, se Ear tm oo ee Set eee prime a a ae» ti Se AE eet cies Sine Sah ae SSeS ‘in Ona Lor mated tegen Bans, SoS ie a as owners a pues, la tabla de verdad del condiclonal es la sic fuente plajpra viv] v Fiv| v virl F FiFl v wo lig de eta cones se parece mucho al empleo dea palabra “aon engaje naira: Sy SI puede interpreta por ejemplo, como 1S motley se cata, se dita ot gato a a feet poeé pag la cet del rico Feo, como on ass anteriores ere sgn ic) no puede Scranton tna plata Gee. Innada Una féranla ceadiciel ped Interpre tae también como fimaré econo slepre ge mi socio exe de acuerdo", ol que mata va pro” o un “ya no pores ssi, Edwiges Eines que hae el precio del ava ero cuando empeamos a jar con los jm pls epicndse laa de verdad del condo, tna dfcaltad ama de iment mostra steno, Saponginos qu heos interpreta "p> "como es de noche, Hace fis" Comprendeon fat: tment os esp primero tercro de la tbl: 8 As noche y hot fri, 1 fia ex et; en Cambio amos enna de eas noche de verso gue el terme no ba de teins grads8 oes, morons NHN uesuo condional metsorolgio rent claamen: tenjsinda. "Peo on los eso segundo y cto alg parece narchar mal eh antecedents falso (c det 5 oes de noche), como puede atm se que sca verdad qu ser de noche hace fo? cémo puede dar To mismo, pars el eas, que ha fro elo (s decir, a wera fed de come Secuente)y que et culgiers de eso supusts Cl condi rete Yordadere? Esta pepljdad er completamente normal Casi todos Tos estates de lipca.seten algo parecido «la rebelda tendo se topan con ls hasta tal punto que se le dado ut nombre gus le denifia:e lama la peje de eco Cuando hemos dado nombre alo que nes preocupa =F ‘sobre todo um sombre tan snore solenes Seitimos algo mn allviadost nunca‘ Jo mpm sents difamente mal que saber postvamente Que uno padece, por fen, una gipectsnda por virus del tipo B. : a Para segue pes, on el snl médico, In par dja del cndinal site dos tratamiento el saga a El tratamiento quiregico es tipo y daloroso: consists en no explcar nay recordar ue las eo tetas se deinen esipulatvamente poss tbls de verdad, de modo que no bay Iga para debuts alguna: I aba dl tional esta basta El tro medio de veneer la parofaque no es imjor que el primero eros nis felines seep. as commervas » __=-=—=—S—S—Sséstse — = __—— dial ili rn fed prec distngul cidadosment ta mule mace entender fad cn les de vache, hac i) desu ee las atémnicas componentes (“p” y “q’, interpretadas a —r— remo! moana qu ey dete tampocs ttm qo nc fs ono tl Ts dor proposines Sng de tl mo que |. = ~=—rs de demos que tl alenactin cs faa cost, pst vert gue ede noche pee mo ce fi, Sein conic nw le naa sre a tow. Cr ——— a —rrl —— LL mont. — é+=327]1 oF comecuente: sl afta que ese eno de que STamtecodant sn sordadr yl emecants fs Gun el eneccdente er erdaer tambien oe Lr went tembien Toe eaten, " Tite lias an conocido asa para los Be eee Eomas banees cn 8 Detour eempl© ses, morose wom 1a Bigen es sent, yo soy pons", y con esto cone sideramos haber afiado que la lca ex complies da.” Esto es, en efecto, lo que hicnos: peo exams nemos el raonamient pas) por pes Supongamos que “la gia es sencilla” se simbo- tn yoy nen Alia alge sencl, yo soy ponds, he postalado come verdaderala frmula pea Pero al mismo tempo es abvio que yo no $0 ponds (s esto no fuera claro para toto, roma 0 funciona: es de suponer que ls Japoneses usa la exprsin “yo soy santiagueio”). Es des que el conseouente es fab. Ahora bien, como nuestra hipéteis consia en «que la formula p > 9 es verdad, debemos buscar en In table del condicional un easo en qu dich supocr, to rete compatible con la fae! del consecwen te. Si hacemos, allaremos que el nico caso en aque tl cosa oeue es el curt: en dl el conseeuete also la fra condicional verdaders, pero el antecedent es flo. Rest de ai que oo er Aue stl gia et sencilla, yo soy fponés y 00 {also que yo sea japon, entoncestene que ser falso aque la lige sea senclla: Después de este anise probable que la broma resute menos graciosa; pero, 0 bien habremos com. prendido la paradoja del eondiina, bien estare- sot dspestos pei la ddadani aponsa con la tsperann de factaroos i aren ‘Aclarads, pues, su tabla de verdad, podemos ad vere que al condos expres cleta Staal que tals hechos puede dase respect de dos etados Gr cou wn cy deseipin sinbolsaremos como “yr y oto cuya descripcin simbolieaemes como “q”.” Normatnentedeeinor qe elanocednte condttsn del conseovente peo glean fisofs bln mi fino —-dstinguon do por de cond tin I neces ya suet. EL hecho p ex condi sficlente de 9 caando conor l verdad de "p" pormite fa verdad de"qr Dao un enunciado condiconal que supon 3 verdadero (por elempe “el pete mteve a Cola eth contento), la verdad del sntecedente et Conticién ufctente dela verdad del conseconte ST vemos qo la eal se aga, pedremos afin que Scan proper eth content (lo afrmareos con ln misna conan con que haya aceptndo in premis condiclonal sobre el signiieado de Scho movimiento}. Bn cambio, el hecho q ex condicin nscesaia de psi conocer falsedad de "nos permite asegurar WE akedad dep Es of mismo compl, el conse cuenterenitacondiciin neces del antecedent: ‘Tabemor qua el pero no etl content podremos ima quo no mieve I ol aunque el bin et a fess epalda. En efecto st fa movira estan Content, y estamos peruadidos de que no To est@ ees, morons ¥ SORA Gon sujeciin, pues, a la verdad del eondicional (verdad que depende de su coincidencia con cierta situacién empirica), el entecedente es condicién su ficiente del consecuente (basta que el perro mueva la cola para que sepamos que esti contento), y el consecuente es condicién necesara del antecedente (esindispensable que el pero esté contento para que ‘mueva Ia cola) 6 Bicondciona Hemos dicho antes que en el condicional importa distinguir el orden en que aparecen os componentes de la formula, ya que esa constante légiea no es con- ‘mutativa, y por eso distinguimos el antecedente del ‘consecuente. Supongamos shora un condicional conmutativo, en el que cada término sen a la vez antecedente y consecuente del otto: “Ue 4). (> PIT Esta combinacién de dos condicionales eruzados comesponde a una nueva conectiva, Hamada bicon- dicional', que resulta verdadera sy slo si sus dos "Et Beaton meno one deepens atrial © singe coo Bier mama me Ce ‘términos tienen el mismo valor de verdad (es de- q es con- tingente: corresponde @ proposiciones que dicen algo sobre el mundo y cuya verdad depende de que tl-valor de verdad del antecedente y del conse-™ cs, morons ¥ NORA cuente se combinen en la realidad segin una u otras de las maneras enmeradas en's tabla, A tmenudo usamnos el condiconal para expresr ina relicién causal (“stom vitamina € estaré a so de resfios"); 0 las condiciones para tomar una de- cisin ("si aprueho el examen ité a Lujin a pie”), o para sealar que un hecho es fndico de oto ("si las Tuces estin apagadas, no bay nadie en cas”); pero ninguno de ests vinculos empirics es indi Pensable para la verdad del condiciona Esta co nectiva €3 poco exjente, y se conteta con tna comespondencia de hecho, aunque sen cirunstan- 6 casual. “Sl tomo café, Hoverd matiana” send verdadera si ambas costs acuren, aunque. entre ells no enista relacin alguna. Es mist tambien serdverdadera i leve mafiana, aunque yo no tome café hoy: y otro tanto sl no tomo cafe, caalesquiera sean las condiciones meteoroligics’ del dias siete, De todos modos, lo que importa destacar que cunlguera de estos condiconales (uw otro remejante que pueda imaginarse) seréfalso 0 ver. dadero seginexsta 0 n0 un estado de costs capaz de verficar el antecedente y hacer falso, al misino tiempo, el consecuente Supongamos, en cambio, esta otra férmula: P>(pva) Una interpretacién adecuada seri, por ejemplo, soy abogadlo, soy abogado o violinista”. Nétese que para ser abogado o elolinita basta con ser abogado worovoctn cONMABICEEN ¥ CONTAGENCLA ® y basta también con ser violinista (sin exchutr, por Gerto, la eventualided de umn letrado aficionado al Violin): tado abogado es abogada 0 violinista (0 Zapatero, 0 astronauta}; de modo que el condicio- ral de nuestro ejemplo es tal que la afirmacién del antecedente nov oblige a afirmar el consecuente *. construyamos una tabla de verdad ‘cortesponda a “soy abogado” y “qa plalp > (eva) vivivv vv E|V|FV FVV VIFIVV VWF Fir|PV FFF [Nos encontramos, pues, ante un condicional tolégico, En uno de Tos ejemplos anteriores pe arse el caso de que las Inces estuvieran apagadas yy ubiese alguien en casa (Io que determinaria la falzedad del condicional material); pero si soy abo- sgado no puedo dejar de ser abogado o vielinsta, de ‘modo que la verdad de este condiconal depende de sy estructura formal, y no de su correspondencia con la realidad empirica @Por qué hay condicionales tautolégicos? Lo que ocurre, en verdad, es que el enunciado que apa- a ft tr dd anc ue tee ‘Seo uo den day16 bee, morons ¥ mae recs en ellos como consecuete yo ext contenido en @laotecedent: do all que, onl supueto de ve dud dl nunca mis restngdo, no podamos ne fla proposiin cays verdad exige menos requ fx, “Tales, despts de to, cl prnelpo rector de ctalgulerreznaminto deductive s a verdad de ite promis or garantie a verdad de ls omcsion, «porque cata estaba coteida —de wn modo otro ac “an importante result ext relactn paral 2 que ha meecigo on notre prope cond th fnuncado st Incsdo en ot, de al mane que in verdad de exte tino gurantz la verdad del ae ter, decinon que medis entre ambos una reacén Ae implcaciin {tsnbien lsnada implica for tml, etic 0 liga). As, todo enuncado cya teria aseqre fomainente In yrdad de otos tuniados implica a cada uno Je ets Todo cone Alcona formato de mane que el antecedent i ligne al eonsecnent sod tatoliplc, 9, aa iver &, todo condconal tantly ine un telacton a implcadin entre st antecedente y su come. veut a de quedaren cto que no todo conlcnsl nciera wn inplicalin: pars ello se requlere que Al condilonal sea tantly, Los condicmates Contingentes, como ye ha vito, descaben una situalon de ech, por lo que su verdad ett seta ‘la raldad do esth mia situa. Por wo 1 Hegleamente posible un ead de coss en que el coniconl tnilgico o inplicaeiin rea fab: In implcacin -iala de conten empice como toa stations no se ere ar hes at inna cert rlcin ene eto. simplemente da tuowta do una rata abetacs, parments lg, entre proposicnes Un hecho pede sr cans de ctr, per no pace implies plea foal Git vncalo etre propsicons, y predic de ibe bec tera tin poco sentido tomo airnar gue el nero 17 es yer del 9,0 ue el efio Ecsanagh eo surtplo dela Casa Rosa. ‘Como ta implcain es un eso especial dentro del géneo des condiconaen, entre sur cemen tor puede cbervare también in elacién de condi li necesariay de conn sient. En ae map > (pv a) pci sic de vq. que grantsa su verdad. Y pv q econ Gicidn ocr de po tp vq no fuera vrdaers rerlarian fas tto p oma q (por a tabla de terdad del disyumeén); enone lanecd tsp no oda ser verdadero. Peo, por tats do tn condional taotlgin, fs neesdad 0 Ia suf Ciencia con que ances 7 comecoets Soa ce Gicones uno del oto no som materiles os dei, reacone de hecho, dependents do lx verdad © Fasead de cada uta) in formals, de watrle za extctamenteTigea. Ast en i ipicaiin cs igeamerte necemris Guo ol concent toa vr aero sel antecedents To ey es lgiamerte i™ eh, enone NORMA posible que el antocedente sea verdadero si el cons Secuente no lo es, 5. Eauivalencia Cuando por raconesligicar dos proposicones tienca siempre el mismo valor de verdad. pogemos formar con lls un. biondiconal tetolg, Esto ooure, por ejemplo con el enunciado aay abngado sty sHlo soy sbogade", caja etractara correspond a frmula “p= py eaya tala de verdad ela siguiente: vip=p vlvvy FIPVE Asi como too condiins! tautligico expresa ana implienié, todo bgondconl ttle ex Dest una equcaleni, Dos enincados se equ Saletes cud mei ete ellos um eal Aue la verdad de tno garantraformalmente la del troy veeversy que la faledad de uno segura formalmente la fad dal ot vicvers Del miso modo que ls implicacin, la equiva: Jenciae5 una tlaién ‘entre proposcones yun inelo_ ene echos. Un bleondconl” contin sme (hoe eo sty so sme vio de i) pe lo resultar verdadéso porque eventualmente! sis kos téminos tengan en un tomato dado ml pe ‘ravroonts,cokmasica ¥ comrancmna 7” mmo valor de verdad per e Kighamenteimpotble ete ew fd er ng alta rele fa, por fo que a or a (flor tlie se enue deveined than emptes onere her star que, tl come acntece cate emalconal yl london Ia eae ic ‘samara ne esta goede fps cundo dos enundadae son equalan- te patos amar que cada uo de alo pia trek (ye que I vlad de uno gaantizn lve fad dal atime}: pe lo mbomor soe tnuncdo imple, no polemos sn is ae: fur gue, unos son equalett, Como na ends de doble mano, Hv egislneaconene As Implenlones de send fnera,v LEYES LOGICAS Y REGLAS DE INFERENCIA 1 "Dura tee, ed Bex" Hemos dicho antes que una de las tareas prin- cipales de Ia ligiea consiste en busear y proba las tautologias Pero gno habiamos quedado en que Ia funeidn de In logica es establecer y controlar la validez de los razonamientos? Pues bien: alguna relacin ha de existir entonces entre razonamiento vilido y tautologia, y esta relaciin puede observar- sea través del cancepto de ley. ‘Una ley liglea es una férmula proposicional tal que, sien ella se sustituyen las variables por cans- tantes del tipo a que ells se refiren (en nuestro ‘aso, por proposiciones), el resultado seré siempre ‘una proposicion logicamente verdadera, @Por qué una ley es una femula, y no una pro- posicin? Existen proposiciones ldgicamente ver- Aaderas ("el cielo es azul 0 no lo es"; “no os posiblea asc, morose SORA ee lguten spa ery ery sn aI eral eta"); pro cada uaa de ella, aiadamente son Sidra, or apenas un sfgls ds ton etecura logs qos determina na verad.Y, coms ju se bein," un de val (en do Ge tls tbrton longue puede able signs erage de Sea Saguiy pene er eg it cracturay dstngula de'otay, con toa Apne lems eg sm silat Gain ley Hen nna, ina tatlog, Ge el odo gue road foal Se mann en ted oe serps qu on msn xtc 52 CBteaan for teptacin Go aha ‘Ahora bin, tdar ls futlgay son leer I oy deal proves npr” Clever {oe Aabramor qu tua form es taste, Fechonce ear sours de gue hen ballad "ese Key gral gio de Buell’ —u oto que mesa tnt nos agro poconan Insel ene tre les inutabes verdad dela Tog. Dee Togo; no e aconcable aurea area con alin de citcsonsa: el nimere de las tall eo Inno, alo algnas de els son apeial,s- fin le oad que binden 3 Al de ae y oni ican eves Lcicas LAs OF PERN a 2. Una cova es uma cou, y ota coma or cosa Como todas las leyes de la Hien proposicional son tautologias (eto es, estructureseapaces de bergar —par iterpretaciin de varables— propo- siciones formalmente verdaderas), no existen te6 Ficamente eyes que. sean mis ‘importantes que cons cada una de ells puede deducese do ots leyes (como ego veremos),y inguna ten el pri- vilegio intrinseco de servr’ de base a las dems. Algunas, sin embargo, por su seneller y la freeuen- cia de su tio, han sido. considera. tradicional ‘mente como princpios clementales de la logica. Tal es el caso de los principios (0 leyes) de ident dd, de no contradictén y del tercero exlido ) El principio de identidad El principio de identidad no es otro que el que fimplictamente solemos enunciar cuando —entre Dromas y veras— afiemamos que “una cosa es una cosa, y otra cosa es otra cost". En efecto, la iden- tidad puede formularse as: toda proposiciin se plica a sé misma PP Sito soma eee Riesis, morose oR Es decir: “si hace sol, hace sol’; 0 “si las brujas vuelan, vuelan”, Esta implicacién, sin em tiene una peculiardad: como su antecedente y si ‘consecuente son idénticos, y por lo tanto intercam. lables, Ia relacién entre ambos funciona tanto en tun sentido como en el otro. Results de ello, pues, tuna equivalencia: PoP a saber: toda propoicén ex equialente a mim. [Es mis comin, enpero, enuncar el principio de enidad come ona pan b) El principio de no contradiccién EE principio de no contradiceién establece que ‘hinguna proposiciin puede ser verdadera y falsa al ‘mismo tiempo: —( .-P) En ocasiones anteriores hemos utliado ejemplos de contradiceiones para mostrar intuitivamente ca. or tpicor do eninciads:Igieamente ind les: “Todavia me quedan algunas fichas para el teléfono, pero se me terminaron’; "la una es edon- da, pero no es redonda”. Tales enunciados tienen 4a estructura sintitica ropresentada por la formula: P.-p Pues bien, al negar dicha férmula, el principio de no contradiccién indica precisamente que cualquier aves tdci ¥ RA BE RNC. s cenunciado con esa estructura Logica es formalmente falso (una contradicetén); y el propio principio, que nlega Ta contradiceiin, resulta. formalmente verdadero (una tautologia). ) Bl principio del tercero excluido EB principio del tercero exclido puode enn ciase asi toda proposiiin es cerdadera 0 fas 0,10 que es lo mismo, o bien es werdadera une pro- posicién, 0 bien ex cedadera sw negocn: py-p Ext ley —que corresponds al caricter bivalen- te de la Kigien que estudlamos fja dos (y sélo dos) posibilidades para cualquier proposiln, a la vex que ercluye, como inexistente, cualquier terce- ra posibildad que no sea su verdad o su falsedad: Ja pared pucde ser blanca 0 no set blanca, pero suo de estos dos enuncados ("la pared es blancs "la pared no es blanca”) tene que ser verda Aqui es posible preguntarse: sta proposii debe fr, nena yrddeno faie Cior to exclido), pero no puede ser ala ver verdadera Y fala (no contradicién) gpor qué simbolizar el Principio del tercero ercluido con una disyuncién fncluente? ¢No sera més propio tilar la dis- yunelén exelyente? En efecto, la formulas propPy és, moron ¥ names peritira mata dos pars de un to, al rsumie ns los prncpios dno contadicibny del tree "o excl. ero la igen no busta horar per igen sho air be anions del ma smieprofundo Y pam esto debe dese 2arls emul vidas y iar ls tataogas mds tlamentales, sin pejico de. obwervarfeogo el ‘modo en que puedan combinarse. La no cones Giccén y el trcero excido som tutlogas die. rents, 54 formalacién por seprado permite ind vbvalizries mejor tua reflesin mis: gl io no rests demasiado Higuroso en relain con la realidad? Pode ser de di y poede ser de noche, pero también existe un momento del eepisclo en que no es eactamente de dia ni de noche. ¥ algo semejante puede de. cise del calor gris entre el blanc y el aggro, y do Jn tbieza entre el fi ye elo. y de tos os sins medios en cunito remit stints els cxtremos Para aclaar est punto es precio ditngut a contradcién de la contraredad. os props ‘nes Son contaictorie entre si euano na aie Je-a lo negactin de In ots, de tal modo que bo pueden ser ls dos verdaderas ni las dos faa Fieve” y “no Maeve, “hace fio y “no hace fe En cambio, dos proposiciones son convaras ou: do son incompatbles (es dein pueden ser am bas verdaderes) peo dejan ene ellas un espacio | ves cas ne REN ® para olras posbildades. Ast, contaia do “la po- fades Blanc” sera “a pared es negra’ pero on tractors “ln pared 0 es Banca” Contrast STi rm ast “Lads eu ear A, pero contaditora ex “Lefkas no ea valen te", bolo que es lo mismo— "No es verdad que Tetnidas fcra vallente "Dos propsianes con teas pooden ser ambas falta pero ene dos ope cnt (dec, cate, woposen y su neacin Ua y pa) alguna fuser verdaera, La parel’es blanca © bien no IDs (por ser nog, gr verde ode coal oo color)'y Ladies era aliente 0 bien 10 Toe {por se cobrde porque au valor no aleanase el gga quela bitrate), 1 La justitonién de Tor peeps elementales Cada uno de los tes paipos tradilonales tine ma jsiacsnexrastesin inti tary su ws puede advertine en tndos ls razon Incas, inciso en Ia costrocelén do ls tbls de verdad ; ‘ase I prinpio de Sdentidad es una necesdad de todo lenguajes para hablar de wn objeto o pars des tibicun etd de cose proc sooner que shjao eae estado de cosa én 4s msm, fl menos tel memento al que os eterinos. La pivuta dein balan cr un sto fags, pero a88 601, moron Om ez comp pox cry abr dea Ss dunn ead preety oe Sul tenor iano cae SL/R gy dott semos una légica en la que (por ejemplo) el con- cepto de un edo de ae Tee te ease eee ae ee Pe need ae SeiSiorie mete con, at comes ie yer alone aos aes ae ie vl oe wes ee agen itso deb ede See nl ee oa ge ae ied pa etn do faa Sha ble Seeman Ce ama tos algado ol vale V parte fe loa oe Bis Soles Seventies aaa Sibatene abe Va cues oe Some gran oe a {aon smtatiogin ct teats vos Ia on I nd re ar tr infant ht ee ane eee Sree eens peer eee Sop esiaoanateal aan Cats tele vlr (y to wo} prs eet Sema eeeere oie eee ou Seat eter Rape wets dt eves osc ¥ MLAS Me EERENCLA » en cada cso posble, pero que este valor esa le See V y Bie rec dl pp demo come trlodln nos llevain a conetuencas dlertamente toletasr nto cil Tipe resalia sobre la tmbblcoia de ls variables y ara todas Tas Conclsiones, desea 0 n0” Por elemplo, eal Sergei qu ot nv «Ci se raamos al miso tempo, queso ge a Men- Henna Sats 0 Rio Callegs,c indo quo te Suc tanqulamente en Buenos Ales, mints vies el botano pra apa a Tl, Ta ley del tere exclude, en cambio, no es tuna gecestad del lengaj: en to cao, una tmunifotaclin del castor bialente do In lon tis comén" En fet, estamos habitindos adie Unga entre proporcones verdaderaey propos. tes falas, Mlentias nor atengemos seta sth ‘ln ol piniplodel tere exclid formard paste de nuestros rzonamients vidos Sh por el come tepals J ra na prsiciin podria tner cualquiera do estos ee aloes yaparceria un pop que podria Hamar- {eel arto exido™" De ete modo, cualguler Sinden vlres de vera par fda liga dard Inge una ley segn I cal toda pro- peasn debe tener orate wo de agueos aloes, con extn de to u ors (n+ 1, por Sjemplo) que pileran inaginarse. Dentro de Ver explo Io bere, morose Y NOMA ‘nuestra Iogica bivalente, la construccidn de una tax bla de verdad aplica el principio del tercero exclit do cuando en ella se alternan slo los valores V y F. 4 Poquetodigeto propesiconl Entee las infnttas leyes de la Toyica proposicio- nal, hemos examinado con mayor deteniniento las ‘ros que la tradicin arstotliea ha eonsagrado como elementales por la facilidad de su jusificaciin in- tuitiva. Pero muchas otras leyes tienen uso fre- ‘cuente en las demostraciones Togicas, por lo que conviene tener presente una lista de las més cont dentidad: > p (también p= p) No contradiceién: -(e.-») Tercero excluido: yop Idempotencia de la conjuneién: @-r=P ‘dempotencia de la disyuncién @vp=p Doble negacién: a paves Tota REOLAS DE INFEMENGA Sipliisté: ° (p.a>e Adicion: p> (eva) Ley de De Morgan” (a) =-(-p ya) Ley do De Morgan * ova = Definclin del conan pea eo 8 > 0) Defncn de condicona boa = ove eoa=-@ 2 Negaein del conions ee - a) @.-) ‘Transposiein: (>a) = (-a>-9) ransitividad del condicional: : {eae @> 220 Asocatividad de la conjuncién: pe @- n= [ie @- 4] 8 Las elec gue pre amr mn enn ra SET mada ee Se rm) tore Zits etna 7 oso ls tn Deey acs, mores + rome Asocatividad de la disyuncién; [pv lave]=[ (valve Asociatividad de bicondicional: P=G=9]= [ee =4 Conmutatividad de la eonjunctén: a= (ap) Conmutatividad de la disyunctén, @va= lave ‘Conmutatividad del bicondlicional =a a=0) Distbutividad de la conjuncién respeeto de la dis- syuncién: [Pave] =[@-a vie. 9} Distributividad de la dsyuncién respecto de la cone junc: [ev (a. 0] =[pvalirvn] Autodistibutivided del condicional: (p> @29]= [20 20 29] Modus ponens ™: [e>@.n>4 seen ipa) on ide el sot de ‘iodo go km ore) arm (pot) deca (g' ahaa dl ants p pe es econ ee eves cas ¥ metas Be nreNENe. ‘Modus tllens: itp >a). a > -P Silogismo disyuntvo: eval a> 4 Adicién de tautologia: MO av Aiki de wenden ve Immplicacién de los conjuntos: v [p> @-]2@0>4) [p> @-9]>>0 rete «ete desloge de frm conven ape erie Socom pore dent Sk Belo de tenga cnn fs Hor See ate mento de caer, examines he Bera for mayen co mci as mr tifeamatcn lenge ata tvs oa ner ln de varie soveremos gue tls ola me comprein. Yum vr spends itm ey revrdeeor en mayor Al: taper vrs coun nos ovens 1 moa ties (ome fends tin) ts sina sede penn, gous hers Talloe ei ei. PEt nye Stt, pdt oat, aa ce ioe est dnt el earl (p 2 ahh ms Come ¢ nt 2 pel ot ade.o cs, morose ¥ NORA [5 Inerdfinibiidad de as conectvas Entre las leyes ya enumeradas se distinguen al- ‘gunas (definiciones del condicional y del bicon« ional, leyes de De Morgan) que permiten trans- formar una férmula basada en una conectiva en otra formula equicalente construida en deredor de otra conectiva. Esto sugiere que las conectivas son Aefinibles entre si, con ayuda de la negacidn; y, fen efecto, por medio de aquells leyes y de sus ‘combinaciones es posible tazar el cuadto de inter- Aefiniblidad que aparece en la pagina 96. Fl aniliss del cundro de interdefinibilidad per- mite formular algunas observaciones, Ante todo, naturalmente, se advierte que la negacién es un ins- trumento necesario para definir las restantes conec: tivas, pero no es ella misma defnible en términos de otras: por ser la més sencilla de las constantes lgieas —recordemos su caricter monidico— slo puede ser definida mediante la tabla de verdad ‘correspondiente ‘Man quedado anulados los lugares situados en la diagonal que arranca desde la esquina superior fquierda del cvadro, ya que en ellos slo ca la repeticiin lisa y ana de la f6rmula a defini pero existen ademas otras ausencias, todas ellas si- tuadas en las columnas de la disyunclén exeluyente y del bicondlicional. Y esto ocurre de un modo eves cic ¥ REDLAS BE DOERENCIA % peculiar: cada una de sts ds coeatas puede {bfitse en téminos de I ota, pero nga de alas pert defini 1a conjucin, Ix disjuncin eluent nel concn, om tanto sas mas Giiimencunluir fra. gA qué te debe ela 3 tuoctin? Suede que ls conetvas proposconales thnenditinfor radon de compledad. La mis Simpl exo ness, neuin, En al pad siguiente se stan la conjunc, JusciénIncoyente y el indidoral, que” pueden Ite ete si con ayoda dele nega y, del trie odo, permiten delat [a dbyunclén ex layente el bleonliional Eta dos lis eo nectes, en cambio, coninen rlacone.comple- jas Recardemos qu, en tanto Ta dsyunciéa inl onto pv q” indica que ex verdad p 0 «9 verdad fri exdayente “ps 4 simbalia 10 mmo, pero nel agregado de que no son voraders p yg a Ie ver SDel mismo’ mad, el biconditonl om prende dos condiciones ervaos ates, de mo- do que fambidninlaye mayor fformacén que las tonectvas por medio de Tas cuales seo defn, Tan emetvas mis compleas, pos, pedon ex ple ene sy tbien part de Ms mis sn (pa); pero eto slo enunla‘una propiedad de “fo. UY Aes otas valbles? 2 Tas nfinitas fmt 2 Ingle?” Indablomeot,quten interpreta ls lejs de-un todo tan Tinitado no seri capa de pleas alo cts coert: para eto iltino es Precio generlzar Is estructura vida contenida ce ‘da I. Por esto, el empleo de las leyes gins —de o- das ellas~ require tener presente In repo desu ttucién inpista en el wo de variables: puesto que una vale puede toner coaloler contenido, puesto que caaliorproposién puede se sin: Bolzada mediante eslguir varable ue vale presente en una Tey puede se sustiida por ota, 8 aun por una férmuls moecaay, sn qu In este. {ura oigial delle dee de se tutgin, Cl ro esti que en toda sstiticion debe cumple Inetoablemente e requisition del lengusle Simblio: la variable debe ssinise- del mismo todo en cada nade us apaiions TTomemos como efmpl la ley de adn @ p> (pvq) EME Loic ¥ RRGLAS He NERENEA 101 La variable “p" podiia satis por *": «) FD (va) Ya podria suture por (3) > (rvs) La formula 3, ai obtenida, es también gla y otro modo de enunciar la ley de adicién. Pe- ro no sélo se trata do sustituir variables por varia- bles, Examinemos esta f6rmula a=) 2 a=) v9) P 4 1s Teves horizontales muestran el modo en que cada variable de (1) ho sido sustituida por una f- mula molecular axbitariamente elegida (claro es- ti, ln misma para las dos apaviciones de “p” en (1), yy muestan que la estructura tautolgiea de (1) It Sido conservada, por lo que (4) resulta también tuna tautologia. Lo mismo ocuriri con evalguiet otra sustitucin mis eompleja que 56 nos venga en sans, sempre que respetemos la estructura bisioa de la férmbla original. En otras palabra, lo que en una ley 20 dice sobre una cariable puede hacer- be extnsioo a cualguir férmula que sustituya «die cha earlable para todas our apariciones dentro de ta mioma estructura; es decr, slempre que no se to- aquen las conectvas dela érmula origi1 es, morose + women Existe una forma privilegada de sustitucén, Us mada infercambio®. El privilegio del intercam- bio consiste en que no es necesaria sustitutr Ia vac Hable en todas sus apariciones: puede hacerse el eemplazo en una do lla sin tocar les dems. Pero para gozar de esta prerrogativa es necesario ccomplir un requisto riguroso: una férmula slo puede ser intercambiada con otra firmala equica. Tente a ella (recordemos que esta palabra. indica cequivalencia formal, bicondicional tautoligico). Asi, si se nos presenta la férmula a --pv—>p podremos simplficala de este modo: (2) pv-p ya que sabemos, en virtud de la ley de la doble hnegacién, que 7 Del mismo modo, de Ia femula @ (e.g) >[e.avq puede inferiese (2) -(-pv—@) 2 (ip. q) vi] 2% sgn acl I ele de. Qube Yo mt tes ei, iad 19, 00 eves dois ¥ tas oF oameNCLA 109 donde hemos intercambiado “(p . 4)", en so pie ‘mera apaiin, por su equvalente segin la ley de De Morgan ara resuit, pues, este tema, pueden fijrs las siguientes regls: 18) Una variable (una variable, no cualquier {érmula) puede ser sutitida por caalquier{6rma- Ja, siempre que la misna sutitudn te opere en todas las apariciones de la misma variable, 2°) Gualguler formula (no ya necesrtamente ‘una vatiable) puede ser ntercambiada, en culquie- ra de suv apariiones, por otra f6mmula equvalente el estas formas genévies de iferencia. no valen sélo para las tautologias: Ia suttueldn permite tan- bién infer una contradcetn de otra contadicl, y el intereambio sive, adends, para deduct una Tirmula contingente de otra fomtla cotingente, 8. La rela del “odas ponens™ Hemos dicho que cada Tey podria tener wna instraceiin particular para su uso; pero, como quie- ra que las leyes estin deductivamente relacionadas centre si, en la prictica basta con saber utilizar el modus ponens para que, mediante diversas combl- naciones, todas las dems reglas de inferencia que- den a nuestro aleance.04 rcs, moromcxi + women 2X que dice Ia rela del modus ponens? Que de un condicional (p> q) y de la afirmacion de 4 antecedent (p) se infer el consecuente (q). Este razonamniento se expresa muchas voces eno: lummado y con ‘ua raya ants el resaltads, como Poa 2 « ero —diremos— horizontal o vertical, est te maya rela repetdo."jAeuo no hens etude. dbo el medus ponent com’ ley? All se dec (29). 2} >4 de io que se degrende que si afimo “p > 4° y también afiemo "p, necstiamente he de adit In verdad de 9. Ojai fuera tn simple. Levis Carll (1832- 1698), lator de Aleta en el pa de ls mares, qe eran eminent matic lg dedios tn divertidisino trabajo" « demostar que la ley el modus ponens no nos permite infer el conse. cuente @ menos que, previament, hayanos ace tudo tembien la rele de Inferenci cortspondlente expresada en metalengune. En el cuento de Cas rol ln astua totugs hace vr al enpesoso Aquos al Ll (Cher alge) Lo gu a tr ie ‘utes ae yor er eh i aves Licks REGLAS Oe NPARENCLA 105 ue una cosa es aceptar una implicackin (como la Seer or antecedente “(p> q) - p” ni el eonsecuente “g’, y otra distinta es admitir primero el condicional {p> 4), después su antectdente (p), y a partic A tales remiss inferr el consecuente (q) En efecto, ln tortaga admit el condicional y su antecedent, pero niega el consecuente. Aquiles fava It ley del modus ponens, y Ta tortughacepts también la ley, aunque mantien su posit, En cada paso sucesivo, ante ls protetas de Aquiles, Ta tortuga admit todas las premisas que su contin ‘ante le propone... sempre que se expresenhipo- tétcamente, esto es, como partes del antecedents de una implieacién, Esto le deja siempre In pos bilidad de'vechazar el conseeuente, con lo que el argumnento se converte en una interminable burla a Aquiles: en cada momento, la aceptacion con- feta del consecuente depende de alghna premisa Iipottica que la tortga ain no ha admit, y que tune vee establecida seri también insuflciente BI truco de la tortuga es semejante en otto plano— al de un abogedo que reconociera la vi- fencla de todas las normasjuridias del pas, pero Se negara a cumplils. Vano sera dictar una nue va ky que dijera que las normas vigentes deben ser cumplidas: aceptaria también estoy manten- dria su nogativa, Para obtener resultado prictio seria nenester obligarlo por la fuerza a realizar la conduct exigida; esto es, a poner en acidn lo que6 4c, moron NORA tan ficimente aceptaba desdo ol punto de vista intelectual Pues bien; I Tg contene or. sas coactivas, sino enqemat vids de zoom. ‘eno. Peo para poner en acii tales esquemas 6 pret acd qe lls han de servis cma Pte Pes toete arguments sobre propia lige; y este acuerdo no pute establecerss tn deste fucra de las rs lees que forman noes to objet de. ici ee, dade ura suerte do metagion, at como el precept sega el cual ls nrmas juries daben ser euapliss ce tna metanorma ya como los comentass cos tense ols de ana noel erpinon 4m nivel de lenguafe diferente del de Ta propia tovela aque se illrn, Tal es, pues eal Alten entre una rela de fn renin y tna ley las dl modus ponent que patcoen tecr {i contenido pero se mueven en diferentes nive- OPERADORES MODALES. MODALIDADES ALETICAS 1. Movies En a gle proposal wos Teta min cues (ps qu ethos que Hanamos wails, pure epeGeriar proposcones, Estas. propos: wes sn aeserpione de etados de coms Put den ser verdadeas (conndo.Gscben un estado fea) fabs (cuando airman un estado de cas Fnetente) Ss puede preset exer ncn tas ss sm sa Te sees uma Pola de queso Cryer” 0 “nt Ho abuelo fw ahreado sta trans” A su ven. 4 partir de Ins sails es pose. sinbllar”propestclones Compls Levy valor depen es valores, de senda de sus componente) por medi de conee tras operadores lion. Be ens. oper, tne es mondo (la nan, qe slo se rele Ths fmolasuada inmeditanent a su dere108, es, mowomenbn NORMA cha) y los dems son didicos 0 binaros (vinewlan dos férmulas, una dela enles se encuentra ala i Gquierday otra la dercha del operado). Una proposicién, come sabemes, puede ser ver- dader fale (y, or leo, na flo wa de as dos cosas). Pero @ menudo usamos expresiones cuyo siguifieado no se agota en la afimnacion de hecho —verdadera o fals— que contienen, Tomemos fos siguientes ejemplos: 1) "Mito abuelo fue ahorcado esta mafan, la- sentablemente” 2) “Mi tio abuelo fue ahoreado esta. mafans, afortunadamente” Tanto en 1 como en 2, la verdad o la faledad de la deserpcin de estado dependen de una misma situacin (2 saber, que mi patente haya sufrido 0 ro esta maiana la poco estimlante anéedota que se Ie-atribuye). Pero entre ambos ejemplos existe una diferencia relevant, que va més alld de aquella dee cripeién. Esta diferencia esti aqui representada oF dos adverblos, que expresan —en este cas0— Siero jueto de valotaceen de aque hechn Haciendo, pues, astracsién del estado de cosas central, los imismos ejemplos podetan simboizarse mente de esta manera: “La verdad de p es digna de sor Iamentada” 4) “La verdad de p os digna de ser festepda” Como podemos observar, en estas structaras 16. gleas la proposicién p (que contiene dentro de sf ] lorensoones MooAGxs. mopuinanes ALENEAS 108 tum soeto, milo abuelo,y un predicado, su penosa ventura matoal) cnsituye a su ve, fda el, el Sujeto de una. proposicién més grande, donde el predicado es lo que se dice de p. Esto es lo que los Ves aman priindo de segundo nie: 2 primer nivel es ef dela descripién de un estado de ‘oxas,y eb segundo aparece cuando decimos algo sobre aquella deseripetén ‘Cuando uno de estos predicados de segundo nt vel (oun grupo de elles, debidamente intertelacio- Tados) nor parece suficentemente interesante, ha- bitualy fractfero, podemos inventarsimbolos para ropresintalo e investigar costes son las reglas que sobieman 51 ws0. ‘Asi, podramos decidir que el cariter de p en l ejemplo 3 serdropresentado con una Ly que el tardcter de p en el ejemplo 4 puede simboliarse con una BY esrb, muy suelios de cuerpo: 5) lp 8) Bp [A partir de alli deseubrisiamos, probablemente, que "By "L” son incompatibles entre si, de modo {que no seria posible afimmar conjntamente Bp y Ip. Y asi establecerianos las bases de una nueva ligica, a la que busearianos un nombre adecuado: "gen de la aprobacién, “gia dels emociones", o algo por el esto, Semejante sistema seria una Iigica modal por aque expresaria ls relaiones entre medaldades de0 ec, ovoid Noman sito tp que putes sett» nn, rope: is que bends solid oe 9a: Sala mins pectin Todd Reade tant) etn ie se oes Gore gee ane oe Pay Apert einer tte oe gear he ee? ale elt pe er 2S tas de bls Pople ns cm tama por Sera es or ome acl see os oped a freee de as conecttn 's eger e Conan son eer dee ee srr den oma leas fate St Sela eye Seas ional le mate dee te ae few ages seen ae ree alae aoe inse cuoraeat tla" pe vl anc Tus andi“ yobs’, gun ace eee ee ee tpl vals dentate Sometemnts wm cee one comes om a feny pon ae de Poe gee ane {pe a ban dbaroldy ae Be oles an? Ems a tants dos Ue penn a ett ero ee ele HS ence eeu enumew stecs tl aes la que mangj fs modalidades “necesao" ose” iposble™ Ot, la que aos cepart Specicamenteyvtlea wodaldades como “oblign- foro", “permit” 0 “prokbide Ye Artes habia advertdo que los enum dios de una ena no sempre son amplemente ver dhdors, sino que muchas veces se formula. como neceniamente verdaderos 0 como do verdad me- ‘amenteponBle “Tanto ln poxbilidad como Ia necesidad modi can el sentido de It simple verdad, y son por exo lnmadas modalidades alétiogs 0 modalidades dela verdad Ambas estan ala ve ftimamente rela onadas entre sh, por lo que una de ellas puede ser dina @ partir de Ta of Tara martraro, tomaremos como témino sin do- Sir (trina print, o base para ls dems de- finiciones) el encepto de posbilidad. A partie de esta modalidad con I ayuda de la nega, del tiremos las dels modaidads, Coniene ach Tar aqui que, en as formas que constrayames, ls tegacones podrin ser fntoras (cuando niga la proposldn) 0 extemas (ouando algun el opera dor modal).na ois, movonenis ¥ Nom Crmaconas MOBALES. MonaLianes ALéncAs us Si una propsitn noes poses atna impo- site, "Por ejemplo decir que no’ pose ue tos alos den pers equiva sostener que es ie posible que de ellos se ubtonga tl ret. Sino es posible que wna propscin no sea ver dadera, dros que tal pooposin es moteur ‘Asis noes posible que na slg el sol mafana, ser. neces que slg a sal matang Tntroducitemos.shora los simbolos “M™ para “pee” "NY para nso" conta pede mostrarse que le operadores M'y Non ine terdefinibles: ‘ en : 4) -M-p= Np b) Mp 2) Mop 4) Mp= Nop efi exresida on ls formulas procodentes puede comprendese mejor mediante e to de um ejmplo para cada unm de ell __4) "No es posible que yo no sen yo” equivale a ese in ) "No es posible que Rodkiguer dibujo un circu cindy ol qu evo mismo, po. oi lie ne dente" nun oe se Troe remev cu ee eee Tent ae rook sible que Rodiiguer dibuje un efealo cuadeado” tquivde a “es neceario que Rodriguez no dibue tur clealo cuadrado ) “Es posible que no me aumenten el svldo” slo mismo que "no es necesirio que me aumenten ol suelo" <) “Es posible que yo estudie Lica” puede tradurte por no es nevesaro que yo no estudie ligier™ . ‘Algunas lees modalesclisias espresan las re tacines. que exsten-enre Ia simple Mere ye Molaldades aldeas. Sl una proposicin es Hece- Sari (esto es, necesarlamente verdadera), claro tSti_ que es verdadera, pes In necesidad es mis fuerte que a simple verdad ) Np>p Asimismo, si una proposicién es verdadera, queda claro que elles posble, pues Is posbildad et més dab que la verdad 2) p> Mp Pero, como hemos de recordar, una de Tas lyes de la Iigea propsicional es la denominada “wan- Sitividad del condiconal’, que dice que si usa pro- posicén implica materalmente una segunda y sta 2 um teeer, entonoes Ts primera implica later (p> a). @> n> (>ne bese, moron OR, Por aplicacin de esta ley y a partir de las leyes 1 ¥y 2 obtendremos, pues, que aquello que es necesa- io es posible: 3) Np > Mp ‘Tratemos de verlo mediante un ejemplo. Si es necesariamente verdadero que 2 +2 = 4, entonces es verdadero que2+2=4 Si2+9= des verdadero, tendré que ser posible. Y, por transti- vidad, concluiremos que si "2 +2 = 4" es necesatio, "2-42-= 4" es posible, {Bl cando de opottin fas odin alts A partir de la verdad 0 do la falsedad de una proposicién modal se puede deducir la verdad o la falsedad de otras proposiciones relacionadas con la primera, Estas relaciones entre las proposiiones tmodales suelen representarse mediante el llamado cuadro de eposcin: Coremapons Nomis sonatas aténcas us En este exquema, la linea horizontal superior re- reset I lac‘ conrad a inet, le Subeontrariedad; las diagonals, la contradicein, y tas verticals, la subalternacin, Dos proposiiones son contraias entre si ("Nj yy 7Nep*) cuando et poable que ambas sean fast [pero no es posible que las dos sean verdaderas, Asi tes necesario que yo estudie, no puede ser ne- ‘esirio que no estudie,y viceversa. Pero puede re- Suri que sen haar dlr tambien ‘que sea necesario no estudiar Dos proposiclones son contraditoris (*Np” y “Mcp’: "N=p” y “Mp”) cuando si una de ellas verdadera la otra es falsa, y viceversa. De este rmodlo, si es verdad que es nezesario que yo estudie, 3 also que sea posible que no estudie. Y si es falsa Ia necesided de estudiar, entonces es verdad que es posible no estudiar. Dos. proposiciones son llamadas subcontrarias (°Mp" y "M=p") cuando es posible que sean am- bas verdaderas, pero no que ambas sean false. Puede ser verdad que sea posible estudiar y a la ver posible no estudiar; pero no ha de ocunir que las dos posibildades sean falas: si no es posible cetudiartendré que ser posible no estudiar, y vce versa. Alguna de las dos psibildades —por lo menos tiene que ser verdadera. En la relacin de subalternacién, las proposicio- nes coloeadas en les vértices superiors se denomi-ue hock, morose ¥ Nome ‘nan subalternantes, y subalternas las ubjeadas en Tos tnferiores. Dos proposiciones so hallan en relacén de sub- altemacién cuando: a) de la verdad de la subalter- nantes Infiere la verdad de la subalterna; b) Ia fal- sodad do la subaltema permite deducir ln fasedad de la subalternante; ¢) la falsedad de la subalter- nante deja indefinida In verdad o falsedad de la subaltema; yd) la verdad de la subalterna deja indefinida la verdad o falsedad de la subalternante. Ejemplifiquemos eada caso: 2) Si “es necesario que dos més dos sean cua tro" es verdadero, es posible que dos mis dor arro- jen agquel resultado, 1b) Sila posibilidad de que un muertoesté vivo no existe (de modo que su afirmacién es falsa), con mayor razén seri falsa la necesidad de que’ ello ¢). Sila necesidad de estudiar es falta, saberlo no india nada sobre Ia posibilided de estudiar: tal vez pueda hacerlo st quiero y tal ver no pueda aune aque lo desee 4) Sies posible que lueva” es verdadero, na- da puede inferisse sobre si es necesario que llueva To nico que sabemos es que no es necesatio que no leva Se observaré que en el diagrama las relaciones de contrariedad, ‘contradiccién. y_subcontrariedad festin representadas mediante flechas de dot pan- ceenscoRes Mooki=s. SOBALIDADES ALETCAS a tas, mientras que las fechas repesotativas de la Stbaltrmién ‘slo indian hala aba. Esto sr te para roonrdar que la tes primers rclacones tlie pe eta de Nog 9 NP © comaria de !Np', “Np os contactor de SjeSpy vlovena, etter La sbaltemacln, en cio es oo oi mr femante que sibaltera, ya que lo que puede de dices en un sentido de a Heda no poode inf fie también en el opuesto,vu -MODALIDADES DEONTICAS 1, Operadoret Quienes se encuentran de alguna manera vineu- lados al lenguaje del derecho, de 1a moral, en ge- neral, al lenguaje de las normas, manejan_clertas rnociones como las de obligacién, permisién y prohi- bicién, Estas noclones tienen, curiosamente, un comportamiento formal anilogo al de los conceptos aléticns, ‘Asi como podemos afirmar que: 1) “no es posible” equivale a “es imposible”, y 2) “no es posible que no” equivale a “es nece- serio", puede afirmarse también que T) “no esté permitido” equivale a “esti prohi- bide", y 7) "no esta permitido que no” equivale a “es cobligatorio”.a 129 ch, morose Nona Si utilizamos el operador “P” para simbolizar la permistin podemos, pues, establecer la. siguiente analog M_ (posible) P- (permitide) imposible)? (prohibido) ~M~ (necesario} (obligatorioy EY detubrniento de ests semejanzas permits 4 von Wrigt el extn lio formal defor ee cepts normative, praelo al de lex concepts a tes: sug ala Mgice dentin, que acorn alanis dela norms los conociniator sho, dos y parte dels métonteain por la loge de ls malades lets, Sin embargo, el comportamiento de los ope doves denies no of tdetco ade los coneoone Aietesalitios." Lor operas “M™ 9 °NPoes servan para elit propsicones que derribon estas do cos. Vale la pena prguntane obo can los operadores dete: ales a "an sit" dels que decinos que ton abligatoiag po aiid oprohbids "Hay uma respuee plas son as conducts. De els predicamos fa sb, torial Ia permsn ole prin ‘Ash iferencia do fos operadores lcs que stot sdeseipcones de estados de cnt ng mee eet foe tomas por vom Witt de see “og eee ss s sine Solo afedan a deseripclones de clertos estado de at Iubri de Tenare on el nombre 9 la desripcin wie = coalgtere al como eas subrera ta lcura de nuestras férmulas seria, entonces, la siguiente: Pome Rem me cob tas expresines 1,2 y 3 porn constomse simplemente nrmes una neta que permits, na Gu probe yuna tres gu esa olga tesa de ua sombre, Si asi fuera, noosa intento de formate wn Jel gc de ls expresons desatics empens ti por um acta, Este dao Theo 0 In Shee sig sles de verdad nestor en 2 i tenon ee wea bt de et Set on nic p> coms an San cae ‘eons eauguen: pause devi que undo sn at noms 2 at chard tee peso ee mo Bis can mn Sess de fot gm ost ae2 cic, moron sa ciads;y ya sabemos qu las nrmas, ls iets is prestipcons, erence sso EL culo es salable; bastard que lenos ls fone de ota manera “Pp” equal ede una norma que permite sar tna "Pp" equiva “exit una nora que prokibe wa sombo™ "-P-p" equals “existe uma norma que obliga war sombrero” Como la eens de una norma es un echo, ta proposictin qu I aioe sed una propose desi con crepente valor de eral "Sip sr una props verdana ete oa roma que proba Taxon de war san, 9 ter fs a norma wo ex ta ectura de mesa firmus dees per tite alias como propecones nore I existencia de norman tle enaads ban Te mado proposes norman scepter de os verdadero falas, por ops a ks nna, Ibs que el so puramente preserpvg del lengua imple agar aes valor Hasta ahora, nos hemor mangjado conn solo operador: PSin embargo, hablamos habla do tres concepts deter permite, prokbide > obligato. Bs hor do latoded, jos, os ds operadores faltntes a sesamin ses » Unrenos 70" pra refrios a cll y vA pet iin "Op sed entoes Te, per sep, como sens maa qo dear ial cia Snbee ol nstanet, “align tr sombre a ima que! probibe usar sombrero” 0 “esti prohibido oa leas 2 laterite Estamos ya en condiciones de establecer las st gulentes equivalencias* ices bce eae: icon “perme CP ge can tS emu deters de pert po Shen coe be Spins toe teen co ae ‘eum ur ntl ore eas sme semm back moron NOMA Los operadores “O” y “Phi” pueden ser definidos mediante el operador “P” y la negacion “—", 0, lo gue es lo mismo, los conceptas de obligatoriedad y de prohibicién pueden definisse en términos de per- rmisién con la ayuda de la negacién. Si es obliga- torio usar sombrero, seré cierto que no est perm Silo oo sary 7 i wat sombrero eth probe, usarlo no esté permitdo. van LLEVES DEONTICAS 1. Importemor tautagias As como extn leyes (tautologit) en el cam- dn Tse propostonal, dela mia manera Feder eelscene tng ddan ene 3 Inno dl razonaminto normativo Cabo advert, ante too, que la gle deta so reemplan a Is proposlonal, sno quel nlaye. Por eo todss ls tatclogaspropsconales cons ftuyen tomBln tautologs delat, mediante el sol quit de sutras variables que en ells Sparecen ("fy ete) por rma ben for sadas del lenguaje normativo ("p", “Oq", tee tera). Ta ley dl trcero exchido, por ejemplo, dice que bin es verdadera una propos, oben ts verdadera su nogietén (Iuee ono eve). Co ‘os recordar la puede smboliase a: v~p. St eutitumos "p” por “Ep, otenemos una form = =1 ccs, moron ¥ NORMA Tacén dedi del mismo prncpo: Pp v —Pp®. [La muevaférmulasefala que una acl etl por mtd, bien nolo ent 0 se puede etaciona en Ins avenidas oo se puede, peo no existe una ter cera altematin También ‘puede cloise alin otro operador: Php v-Ph p (naar est prokibido no fo ts). El dal teceo exclsido es slo un eso: Ia susti- tuctn puede tere en toda a eyes de la Tica propostional, y en cada cao la variable puede te Emplazarse por una fnmula ddntca simple (Pp, Op) 0 compleja, como (Op . Pq) > (Pr v Og). Segin puede observe, el método para “ia porta tautologesproposicionales a la gin den Ha noes ot. que musta vieja conoid la rogla de ssiuclin®. Hemor de recordar, emper, que In rela de susttucin conten un cas epoca pot vilegiado: el intercambio, Esto osu también en €l paso de a lglcn. proposcional a I dent turlquier componente proposicional do una rma rede inercanbars por wn eet Sin alter el valor dela fmol iii 'AS, “Op? quale a“O-——p"s ya que “p"equvale a"~ ~p” pla Tey de a dab neg, ‘Ahora bien, existe asimiamo un repertori de tautologas que slo pertnecen a I liga dentin 2 Cami pc ig, al na “ppt “Pp de sop sce iyt'y deg ow "Pop wee eke gx ny oe tae el ar = un ¥ qe no sn, por ast dct, importa del Jia proposconal. A ellasdedicaremos ahora Beek teen ya qe as anes te presen suficientemente conocidas 12 Bl euro do opin desatco Al estudiar las modalidades aléticas hemos exa- rminado algunas relaciones existentes entre elas, y tstablecimos el cuadro de oposicién que las repre- Sentaba, La Iigiea normativa también cuenta con ‘un euadto similar, en el que so indican grficamente algunas de las relaciones entre modalizadores deén- i008 z, ‘La linea horizontal superior representa In ley de contrariedad, que vineula como contrasios a “Op” y a "Ph p's la horizontal inferior, simboliza Ia ley de subcontrariedad ("Pp” y “Pp” son sub-a8 aia, manoted ¥ NORA contrarios); las vertiales, las leyes de subalterna- {én (donde "Op" es subalternante de “Pp” y “Ph p” oes de “P—p"); y las diagonales, las de contradic- cidn (que establecen la incompatibilidad entre “Op” y "Pp" y entre “Ph p” y “Pp’, asi como entre sus Fespectivas negaciones) El euadro de oposicidn indica la existencia de cierto repertorio bisico de tautologias deénticas que ‘no provienen de la légica proposielonal. Pero en- tones, dine salen, y por gut son tautlogis? Esto es fo quo tendremos que demostrar ahora. 5 EL principio de subcontraidad En nuestras demostraciones contaremos con un sélido instrumento: las. tautologias “importadas”. Pero, ademis, necesitamos un punto de partida, una cabeza de playa en el teritori deéntco. Es deci ‘un arloma que nos permita deducir la demas leye Seguiremos para esto a von Wright” y tomare- ‘mos como axioma el principio de subcontraredad: Pp v P-p™ (por ejemplo, esti permitido apostar 0 bien esté permitido no apestar). Por tratarse de tun axioma no eorresponde probarlo dentro del sis- 2 wih, Caet I em Us ae de pea dfn y me, abon [Co de won rel dob, eh 1, see ed wr eae, Nt go ey de tein (Ep Pop) rete doy Sige! ces es ¥ ves ominrcas 19 tema; pero es posible formalar una jsiicaiinra- Clonal asa intuiva de tal pin, En efecto, lo que est ley sotene es que no todo pools tar proibido. Alguna ve se ha vis to en eta expreslin cl requsto de'un minio de Mherad (esto cs de extn de actos fcalatvos dent dl sistema), per tl osa'no es, en Haar, estctmente nessa nuestro stoma, detico fs permit sinboliar, del mismo modo, un o dm ormativo ‘en que i Hbertad bre por au a0. Supongainos que me prohiben war sombrero: s el orden Sonsers un mining de raconallad, me tstark pemiido andar descent. Yai me pro- Fiben ho war sombrero (er dec, me" obligan there) tndrin que permide que To ate.” Nat thralncate, tambien puede tr que un lgisador Incnosproclve a failar a ss semefantes me per- Init tanto wat sombrero somo no tara (con > {jc el acto deviene ire o, par deta con mayor Propiedad, fculaieo). Vero, aungue el lglador Eo see deme margen algun debertad al me ts debers perme que camps con mis oblign- Clones y pemailrme que no realce as conductas rohbidas, Esto es, st petende que la normas Frotven mi conduct 0 sean al menot pra die tinguir mis acclones lets de mis aclones las. Tubes, precbament, el sentido de la ley do sob contravadad: dada tna accién dterminada (p), © then et peri eumpia (Pp) o ben et pre woh10 Les, moronca + nomen ‘mitido omitizla (P=p). Sin exchir, por supuesto, lad de que tanto la accién Como sh om idas ‘Tenemos, pues, nuestro axioma: D yep Como sabemos, Ia disyunciin es conmutativa la ley de conmutatividad de a lgien proposconal permite varar el orden de los disyuntos sin modii- car el valor de Ia dsyuncién: (pv q) = (q¥ p) Esto nos leva a: 2) PpvP La ly de De Morgan permite conver na dis yrmcién en conjuncin mente el uso de nogacio- nes: (p vq) = — (—p. —a). Por este medio ob- tenemoe! Hemos obtenido —como teorema— la ley de contrariedad deéntica, que afirma que un mismo facto no puede sera la vez obligatorio y prohibido. 5 Substeracéa Volvamos ahora a nuestro axioma: nD Pp v P-p Como en el caso anterior, conmutamos: 2) Pop v Pp ‘Ahora bien, la ley de definiién del condicional india que la disyuncién equivale al condicional con clantecedente negado: (p vq) = (=p > 4). Ast 3) Pp > Pp Finalmente, por interdefinbiidad. de operado- res, btenemos! 9 Op > Pp aque es una de ls leyes de sublternacién deéatica: Ib que es obligatrioesth permiido (por ejemplo, si me obligan a pagar las devdas, me estarh permi- fido pagarlas). De modo parecido puede demortrare como te: rena la otra ley de subalterncién: 1) Pp v Pop Sin usr la conmutai, transformamos la fir snula en un condiional 2) Bp > Ppaa ca, moron ¥ noM 1 por interdeinlidad, legos: 3) Php > Pp aque fndion que s algo ext prohibido,entooeses- permite omiile (por ejemplo, i fumar etd prolbid, no fumar est permit) 6. Contain Yearos sora as eyes que nos flan para com plea el cuadro de oposicién. Por Interdefintbi jad de operadores sabes que D op = Pp 4 también recordamos que una tuologia propos Sonal (la defneén dl Bconiconaly Indice que (p=) > (p > 4). De este modo, 2) op > -P-p roots ey prooseonal (a definiln el con- onal) mss gue condo pode transfor bane en conjuncén: (p> q) (pq). De tip ge 3) (Op .-- P-p) 1a doble negacién se suprime, Por lo tant, ” (0p . P-p) aque es una de las leyes de contradicciin dedntica, Dal mizno modo puede danestarse la ota ley de ‘ontradicién: ses opioncat 13 1) Ph p = —Dp por interdefinibilidad de ope- adores 2) Ph p > —Pp por definicin del bicondicio- 3) —(Ph p. Pp) por definieién del condi- tonal 4) —(Ph p . Pp) por doble negacién, con lo que hemos obtenido la ley que busedberos. Las leyes de contradiclé, pues, enunelan que uma aciéa no puede ser obligate condo te per tite su omisin, y que tampoco puede estar Ta vez prohbida y penmitida: ser obligatorio pagar tas deudas, no puede estar pemnitda' no pagarss, YH esth profibide fumar no puede estar ia ver ermitido haero. La formalacién dels ayes do contradcién (0p . Pp) =(Pb p . Ep) se parece mucho a la de la ley de contraiedad: —(Op . Ph p) sto puede sucitar alguna perpledad, ya que Ia contraredad'y la conttadicctn se iferencian pre- cfament en pnt qu n aparece en et Yr Imus: dos proposciones contrariae pueden set amt bas fleas en tanto de dos contradictoras una y 3 tuna a de ser verdadera. Pero es preciso spicar Aqui To que dijinos en el capitulo V al tatar sobre134 ccs, moroncas ¥ nome le sons. Un frmuntn completa de relacién de contradiccién: ee Op # Pp Ph p= Pp Inluiia también la versién dedatica de la ley pro= posicional del tercero excluide; Op v Pp Phpv on I que formularimos dos lyes eambinadas en ugar de una. a 1. Bh operador “F* _Cimen aga rtomar una Hea que hemos men: sina al jute extremity To Subeontarad: de bs acts clas Cnn ere bs una conduct peri, dacs ta plas wn tigutndo ma forte quel qu Te buy cf lengne del ign data: Foenete gc reno dcr qu eth pert tts cumple ‘iin camo ont. En el wo comin Cy ton en €l de os abogado), “permldo ote atin 1” sigice qe to pueda ‘case dee, ero que también —si tales su decion~ le et erm cbservar ua conduta ds practe En ues stony, hs aedones ue estin“permlda? aves oxtncas as en ese sentido bidieccional de la permision se Ta ‘arin fecultativas, Pero hay que acarar que, ceuando decimos de una aceién que esté permitida {Pp}, slo queremos afrmar que esté permitido cun- pliria, sin abrie julclo sobre su omisién: si la omi- Fién esti también permitida la conducts seri facul- coin resul- tativa: ila omisn est prokibida, I tard, en definitive, obligatoria. Estas precisiones nos permiten introductr el ope- sador “F’, que algunos autores utilzan para las ac- ‘ones facultativas, Su definicién puede simboli- Fp= (Pp - Pp) Es decir que una acelin es facultativa si (y sélo si) esti permitido cumplirla y también esti permitido omit. De los cuatro operadores deénticos que hemos cestudiado, &te es el tnico cuya interdefinibilidad ces compleja: puede definirse en términos de per- risién (como To hemos hecho); pero para eso no puede usarse una férmula simple (atémica), sino ‘una conjuncién de dos férmulas (f6rmula compues- ta 0 molecular). ‘También podriamos deliair el ‘operador “F” en términos de obligacién: Fp=(-Op . -0-p) © bien en términos de prohibicién: -Ph p . ~Ph-p)18 cs, moremerdy wom ero ninguno_de los restates operadores puede Aetnie por Fae lo de gin oso? ae cure pogue “pe alo py ag de condiciones tales que el carter deamon ‘le Acclnno se deduce Wfeamente del dele msn kere al cori do 4 tr por ejemplo, con “Op, dane la proibicin def Atedoe del obligstoriedad dep) a 8 Caliiactio nomativa de las conduct compe Hemos analizado hasta ahora fénmulas dedntt cas tales como "Fp", “Ong”. “Ph pete, en ls aque lo afectado por él operador el deseripeton de condo, sno mente wm firma ‘imino su, seit la noi dea En el lenguaje normatio, no obstante, a pe msn, I obligsciony la prohibit porn Ficar conductas complefs: por ejemplo, es eblign tori eumplir los contratos 0 indemnlzar Ibs dation provocados por el incumpliniento; est proibilo tener hijos y'noalimentarls; nos extépermitido se. 509 pr um caret sr estes lecnticas deberin dar cuen- ta de tales stuciones, no reflejadas en las fesmulas con las que, hasta ahora, nos hemos manjado. va Catvendremas en que expresiones tales como “P(p v q)” (esto es: ent permiida le conducts p la conducta q); “-O(p 2 q)” (no es obligatorio cares oss wr aque si se eliza la conduetap se reac Ia conducta 4): "Ph(~p « 9)” (esta prohbido omiir py rea- TRar q), ete, serdn también fSrmlas bien forma: das de la logic dedntea Por cierto que las leyes dednticas enumeradas en los apartados anteriores también serin vidas pra ls vas frmulasintroduclas El pringiio de subcontaredad (Pp v Pp) pal tmbign enunclane —por ejemplo— com: Pip. a)¥ Pl - a) Ede subalternacién (Op > Pp), como: O(p .q) > Pip.) El de contradicelin, (Op . Pp), como ~[O(p . 4) . P(p - a] ‘Ademés, existen cietas tautlogias expecfias de ls formulas que contienen deseipcones male- calates de conducts -_ Como sabemos yx que las fSmulas modales no son entensioals,observareros que la verdad dela Minmacion de que una conducta ext permitda, es bligatriao esta prohibida no depende en absohu- to de a reallzctin 1s omistin de Ta condocta at talfcada. Las formulas dedticas no se tfiren al feal comportamiento, sino a la ealifcaclén norma- tice de las eondutas, con tndependencla de que en tos hechos éstas se realleen ono. At la verdad dela afimacin “P(p v 4)" n0 depende de a ver dad de “pv qs como voremes mis tarde, a exiscS) ccs, owes ¥ Noma teneia de clertas normas no permite infrirIigica- mente nada acerca del eomportamiento rea! de los Individuos @ quienes tales normas estin dirigidas, tras son las inferencias que la Viglen dedatica hos permite. De la verdad de Ia afirmacion de que tuna determinada condueta ests permitida (0 es obli- gatoria, o ha sido probibida), puede deducirse, al ‘menos en ciertos casos, que otra u ottas conductas hhan sido permitidas (uw obligadas ‘o. prohibidas). El hecho de que la calificaciin deéntiea de ciertas conductas dependa légicamente de la calificactin Aeéntica do otras nos permitirs establecer inferen- as, que serin tautologias del sistema, A ella he- mos de referimos. 9 Principio de distibucin de lx permis Decir que esti permitido un acto determinado ‘otro es lo mismo que afirmar que esti permitido tuo 0 esti permit el otto. Si esté permitido to. ‘mar café 0 té, puedo inferir que esti permitido to. ‘mar café o esti permitido tomar té y viceversa. La perisién de una disyuneiin de conducts es cequivalente a la disyuncién de la permision de ca- da una de ellas. Es, pues, vida fa siguiente equi valencia: P(p vq) = (Pp v Pq) Llamaremos esta formula principio de distri ucién de la permisién; serd axioma de nuestro si 19 ares eencas cowncad de a siento mane tomy pute st os ‘ayn de do ator ett perio 9 “lapel mens de fone endgnelon ex permitido, 10 Teorems de dstrbucdn dela obligseién ar que e obligato pagar ol alles restr el inmable en trina equale a afi Sarge hy saci se gue y By Talia ora el mul en ion ee tomers coo: ‘O(p . q) = (Op - Oa) a Bata Ie Jie, ponge' pune deduct de rine Tie introdacelos ara hacerlo, partiemos de Er Siguente equlvalenea: 1) Op. q) = -P-(p - a) aides de et mula srg de Ia inter Hasse Sita For ley de De Monga, weg Ragan én de Beye cb sara a eg Se intercanbl,eenomos #) Ofp. q) = -B-p v 4a} ; alec ¢ Apna lend nin de equa talcino de derbuclén de la penmiin,obtene 3) Olp . q) =-(F-p v Peg)“0 ac, rmbroncin HORA UUsaremos nuevamente Ia ley de De Morgan, sim pre en el segundo termino de la equivalent, para fregar a: 4) Olp. a)=(-P-p . -P-9) ‘Ahora bien; por inerdfinibiidad de operadores, “=P equivale a“O", de donde resulta que: 5) Op . @)=(0p . 04) Queda, pues, demostado el canker tutoligico de 1a Tey introducida, que podemos enunciar de la st sulete manera: la conjnctin de dos actos es bl Batoria iy slo st cada uno de ello ey obligatoro, 11, Teotems de Ta obligacin alterativa Sie obligato elzar un acto o es obligntorio. rele otto efoncs srt ailgaoro reales 200 el oto, La versa, en eas, no vida Sexe la oblgaion do usar guadapaio 0 Ta abligacin de tsar unilorme, palemos tf Ia obligacon de wr unformeo geardaplo, en cam, bho at recbinos una mereadaia a proba tere sos obligacén de pagarla 0 devavera (como ah testa), peo no eciten nile eliacon. de as fai Is do devolver la mercaera cde aon forma independiente y expec La ley puede seater eons 2 tor pond (Op ¥ Og) > O(p vq) aves abet a ara probar su validez, partremos de la ley de dian de contadiodéar p= [pv (4. En vitud de esta ley y por sustain dati, resulta vilido afrmar gue 2 Op= Op v(q.- -a) Distrbulremos la disyuncién que aparece en el se- indo término dela equvalenci, para obtener: 2) Op ~ Ofip v4) (pv -9)] Por distibuctin del operador “0” legamos a 3) Op = [Olp vq). Op v-a)) De donde, a través de Ie ley proposicional de im plicala de los conjatos (p> (q-1)] > (p> a> htenemos » op > Op va) demos seguir los misos pass, reemplazando en toler las fdrmulasullizadas "p" por “q” y “” por “p' de la siguiente manera: 1) Oq= Ola vip - -2)] 2) 0q = Offq vp) (av PI) 4) 04 = [O(a v p)- O(a v PI] 5) 04> O(a) De 4 5 obtenemos: 6) (Opv.Oq)> Olp va)we cia, Fapromenin y NORA Esta era Ia ley introducida, que podriamos enun- ciar de la siguiente manera: sles obligatoria la rea lizacién de un acto o es obligatoria 1a realizacén de otro, entonces es obligato reaisar el uno o et 12, Teorema de la permis conjunta Si est permitido salsa dos actos conjntae mente cada un de ellos esa también permit dS se me permit astra dase y preseatarme 2 examen, puedo lnferie que tanto el tr ease tomo el presente a cnmen ie estén per ds.” Sin'embargo, ao rela ala iavena? pu dhrse el iso do actos inlvidualimente.pernlidos aya velizacién conju ete vedada Por ef, lo, assur a clse eth permit y tambien let Inga al tro; pero la conjunc de amas ‘coe 2 00 sth penaida En otras palabras, "Pp.P9" no es equivalente « P(p . q)"s si bien no es infereniavillde que (ip. Bq) > P (pq). seevibdo en cambi, que Hp) 2 (rp, va denostrala, partiemos de la ley ate- vor (chliaclénslsatia), sustoyends lt wa Tables por sus negatones Eto no aera ef aloe a tgs q's ey vl pr fcions val fambién pra las oman At Hegunes 2 1) (O-p v0 ~q) > O(-p v -4) Po ‘Reemplazando el operador“O" por su equivalente en términos de permisia, tendremos: 2) (+p v -Pq) > -P-(-p v -4) ‘Apliquemos ahora la Tey de De Morgan en el an- tecedente 3) (Pp. Pq) > -P(-p v —a) YY Tuego al consecuente: 4) -(Pp - Pa) > -P(p - a) Por transposicién, obtendremos: 5) Pip. q) > (Rp - Pa) Hemos Hlegado asi a la ley que queriamos demos- rar, Podemos enunciasla como: si la conjuncién de dos actos exté permitda, cada uno de ellos tam- Dién estard permitido™. 18, Teens de bs permis minina Si existe la obligacién de realizar una w otra conducta, no puede darse el caso de que ambas feonductas estén prohibidas. Si tengo la obligacién de cumplir el contrato o indemnizar, no pueden prohibiseme, simultineamente, el eumplimiento y 2 os an ape lee Jn J aa ote, nomi som. 1a indemnizactin, Podemos formalar esta ley de 1a siguiente manera: ~{0lp va). (Pp . ~Pq)] Para demostraro,partiremos del principio de sub- altermaién, en la siguiente formulaic: 1) O(pvq)> Pipyq) Por el principio de distribucién de la permisén, dL 2) Olp vq) > (Rp v Pa) Pr definciin del condiconal, podemos transfor- smarlo en Ia sigulente conjnciéaz 3) ={0(p vq). -(Pp v Pq)] Apliquemos la ley de De Morgan al segundo con- fala y rgan al segund 4) ~[0(p vq). (Pp . -Pa)] Esta es la ley que querlamot demostrar, y puede ser enunciada como: es ligicamente inadmisible es- tar obligado a elegir entre doe alternaticas prohi- 1 CONDICIONES, EXTRASISTEMATICAS DE LA LOGICA DEGNTICA 4 Concepto 1a gen dente, come la proposiconl, como ta geometria (Te de Eveldes ota), puede pre- fenfane emo un sstemadeteto formal, qe parte de clerts enimiadortomadon como asiomas Fe ellos infee otros enonlaos, los que sucle arse el nombre de toromas. Exton algunas tualdades que stualmente se conidern dscales nun sto de esta maturalsn: pot ejemplo, que Sta coherent o condstente (que no contengncon- traces); qu’ sea deducioamente completo {que todos los taunelades que lo componen sen, tloso sus negacones, demnostabes dentro dels tema); oe sus asomas sean independiente (que te puedan demostase ot a partir de ls te Peo todas és son propisladesintasstemses, que se refioren a J etractra interna del sistema6 lcs, moron + NORE Imaghnemos por un momento que estamos fren te a un aparato desconocid, relicentey reclén Acelado: Hone enranajsy poles que giana de tintasveloidades, Ince de colores que se encien. den altemativamente, y fucoma en forma slenciosa yoo poco gasto de ener.” Puede marailamos ta predl6nyaum a blles con que haya sido com trad, person algin momento hos severe & Dregwtar port qué sce. Senos contestank enon {es que sve pa fabricar trill, para ari ts o para vacinarlombrees, se nos di, tl ver, que estom exeltra mévl© que exe reltado den {appt dealin dew cel tis eg se la espa, rpesaemon amir spa zap dele um nev posto de vita: primero bbl tor sprsido sm propldades interns (su esti tom ya forma dent fuconamont); sors estamos Yalorando su inseriin en el mundo extesor so vila peti y el modo en ques funcional to responde a lt expectaivas de quenes To cons tewyeron. Lor stemas dadustivos som también spaats ese, que se construyen pra lg. Algunos pus. de ser simples juegos, que slo enen por objeto tretener ass aufres oa otis personas, pero lot ‘nit conocidr Basan recon, de un mado cl zo y riguommenta preci, ois racones ma teil o concepiale preeenes, que esperamos ttanejer mejor con su ayuda. En’ otras palabras Creamos modelos que gen lets sajna con coxoiciones exmasiacdnicas “a algin sector de la realidad, de tal modo que a través el modelo abstracto podamos profundizar y orga- rizar el estudio de ciertos hechos eoneretos que nos parecen relevantes. Ast, la geometria euclidiana {eproduce eiertas relaciones entre la forma y las di- imensiones de los objetos materiales, y con ello nos permite, por ejemplo, medie terenos y caleular dis- Tancias. "La légiea proposicional reconstruye en bstracto clerta relaciones de inferencia que obse ‘vamos entre las proposiciones concretas, y asf ge~ neralizamos los modos de derivar unas proposiciones dde otras y aslamos e identifcamos las condiciones {que nos permiten distinguir un razonamiento valid de otro falaz Exist, pues, un vincula entre un sistema deduc- tivo y el sector de Ia realidad (material 0 concep- tual) que dicho sistema intenta reeonstrir, del mis- tno modo que existe una relacfin entre un retrato y Ta persona que le sirve de tnodelo. Es probable que cl pintor ucentie ex su obra los rasgos que le pare- ‘cen mis relevantes © repeesentativos de Ta persona Tidad del retratada, pero si se Hegara al extremo de que nadie reconociese en ef euadro a la persona en lrepresental, el retvato no eontendeia ya suficien- te Informacién sobre el aspecto de su modelo y su valor seria poramente estétic, ‘La ligica desatica, de manera semefant inventado las nociones de obligacién, prohibicion y permisiin: las toma del lenguaje normativo vulgar, fe intentareconsteuelas en un sistema que les asigne ro ha8 ack, morose ¥ Nemes sigifiados pres y ls vinile mediante rela fe oequivca. Inno stemas podian Weare ton distntasvaiactoner de tals siguicaos y de fale slactones,y a.com he ftodccn de Oot operadores que inagindramos todor exe stems ‘Bias evltalmesto pce eda ae stmiticas ms desebles Pero, sf queremos que testa glen destin sa par contr fom ‘ene a plablidad de los rznoanentos nora tivo, sth preclo que no os evadazor de la cn Alcones genres en oe eon meznamienton so expen Estat condiclons extrasstemétca (prewpues- tor del tldad prices del sites) a2 ensnlan 2 ots mediante lyeso princpioe que o 10 er frctmente daloctblesen'l misno stem © 406 cuando To son, Henen un contenido que tasciende fea deductbihiad.Eraminarenot ag dos ond lone de exta nataralera: lt leyes do Hume ol Principle de prokibidn. 2 Las lees de Hume Al examinar las modalidades aléticas hemos ob- servado que existe un punto de contacto entre las ‘proposiciones modales y las no modales (0, para de- tdrlo de un modo més pomposo, entre el “mundo de Ja nocesidad y de la posbilidad” y el simple “mun- do de la realidad”); una proposiciin necesaria es cononcones exact ry side, y we pp verano tie (Np > p; p > Mp). Sn lets ath vie 1 een ferent ‘con palabras de Kelsen, entre el “mundo del sex” y el “mundo del deber ser”)? ee eee tiene A me ores wet sobre Bor roe Secret: Sane ect pierre ry Me cee ree pel eee eee saree Se feb de nee Dei eae er tented errs isopate meme gene ee eee Sos ae eee ee ees eae eases eee ce ese she ree tae ier See Srtieei oss10 aac, eorosexie Nom sea susceptible de este acuerdo o desacuerdo seré Incapaz de sor verdadero ni falso, y jamés puede ser objeto de nuestra raza, Ahora bien, es evi- dente que nuestras pasiones, volicones y acciones ro son susceptibles de tal aoverdo 0 desacuerdo, ya {que son heckos y reaidades originales, completos en S'mismos, y no implican referencia alguna a otras pasiones, voliciones y acciones, Es imposible, por fo tanto, calificarlas de verdaderas ni falsas ni que sean contrarias 0 conformes ala razén"™, Estas observaciones de Hume sobre la moral fueron generalizadas por otros pensadores y resumi das en una idea precisa: es imposible deducir un ‘proposiekin normativa (del “deber ser") de una serie ‘de proposiciones descriptivas (del “ser")*. Tam- bién fueron postuladas en su forma inversa (de una proposiciin normativa no puede deducirse una des- ciptiva), y representadas como un rechazo de cler- tas inferencias simbolizables™. ‘Como puede advertise, estos principios tienen tuna pecullaridad que los distingue de las leyes 1é- gicas en general, que son tautologias. Leyes como las del terero excluido, de De Morgan 0 de subal- ternacién dedntica, por ejemplo, indican modos vi- lidos de inferencia, en cambio las de Hume resltan Des, A Tre o onan Noe, Noo Yn, Vestn o8 chen 1305 21 pa 7 cononooses sxmaserscimcas 131 um suerte de eyes neptoa: stalin que cetas deducconesno pueden haces vldamente. Cone ftayen at un init, una valaextasstemdtca que selon slags normative ero jor qué ba de acstarse tl Inte?_gAen sr pli tng ite ico oo fe a inferences por Hume fotan vo itst Sh ce pte ye que Mcomtractn dean sitema depende de nasa velniad pers la clos tin de le sions, Pero sopomgan que eo liga nomatva que heros examined en ot tus anteriores introdeanos como portalada sk fms de ls forma de nfrend em Cost por Sjemplo, p'> Op. Revlaran de ah contcaen- Gas sorprendents, tls como ue maar ex lg toi pra lor aeinoey proibid para a gee par clea qe pagar impute ail et debdo para Tos contribuyentes punts, pero no pra ls evasres, Y gue esumen, cada uno eth estitament obl- fndos hacer lo qe on cala momenta ace, y tne prohbido hacer fo que on cade Istante se Ie oou- tra omit Claro ets que mie propaga una tis an ex trema, Pero mumetorns aoe «lo Ingo de ia Histo, han inetd allar un vine ene las ronmas(uinsy mors) yl tn, de tl modo {ue el reconcimlnto de ly verdadero permiera Op, 0 que Zp > Pp, aun cuando esti lejos de haberse Megado a un acuerdo sobre cul seria el contenido que debiera atribuir- seaT! No corresponde hacer agui un examen critica del iusnaturalismo, tema més adecuado para un texto sobre filosofia del derecho o sobre ética. Lo aque importa destacar es que las leyes de Hume, ‘como condiciones extrasstemsticas dela ligiea deén- tica, estin sujotas a las mismas controversias que afectan a la materia a la que el sistema pretende aplicarse, La respuesta que se dé a determinado interrogante sobre el derecho o sobre la moral —por ejemplo Hlevari a aceptar, a echarar o a limiter Ja estrcta separacién entre lo normativo y lo real 2 jo de etapa on Hatin, Haga Gs, Sm len, few}cee Rosen ren nn Jn Roe aida cote ca rae Hast ‘Stesucli trmtrlit ge fia Sancho tea et gat {emo manera de vod dn, covorcones exmaserscreas 1 {EL principio de proba “*Ningtin habitante de Ta Naclin srk o Ince lo que no manda la ley, ni privado de lo que ella no prohibe”. Esta. declaracin, contenida en tl article 19 de ls Constitucién Nacional, es abt. tule ose ono un eno ae aie edad yal despotism, y como una garantin gené- rica de la ihertad™. Pero la idea ‘pea prea como principio de interpetscién del orden nomma- tivo ha dado Tugar a controversias entre autores de teoria general del derecho y de liga dedntea: 56 hha dicho de ella que es necesria, que es tvial y hasta que podria resultar fal Xelsen, por ejomple, sostiene firmemente que “evando el orden jrdico no evtablace para un i dividuo la ebligacion de adoptar cients conduct, pemnite 14 conducta contrara’™. Con este argu ‘mento rechaza en principio la exstenca de lagunas en el derecho (eonductas no repladas), ya que, ne- cesariamente, todo lo que n0 ete prohbl esti Perit, aim euando no existe en ln Constitucin tina elésula como la apuntada Alchourréa y Bulygin* sostenen wna tesis di Cae Crs, Jan A, Cae de dee cotton 1 Aline ey Buy, Fag, adn «a etal de lw nea oes cel Be ee, PEom bese, moron NORMA ferente. Disingven para ello una pemisin “oer te" (Ja que reuia de-un acto normative expres) Yuna permisén “ah [au conte en Te mera Zosenda’ de prohibicdn), 'y, coneeventmente nunca dos ormulactones (bly fers) dl pn ‘pio de prohibit, 1a prnera de ellas —dicen— costa en so tener que to fo que no etd prohbido ests perm fido (en sonido di) Perla permison “Aci consste en a falta de probe, pore que el pur- t© queda dsaldo por simple interdefinbiidad de operadores delntice, Certo, peo teil: tnlo ome la ley de entda ola def terceroexluido La formulaci fuerte en cambio dia que lo que a ead prlubid ets permit (on sentido fue) Este entnclado —agregan Alchouén y Bulgin al sgulera ot verdaler, salvo pars Geto sitemas tormativos absoltamente otras: del solo hecho de que una ceta nora (la que probe p) no per tenezca al tema, nose puede infor que ota Hor. tna distin (Ia que permite p) forme parte dl mis mma. Armenos aclaran-~ gue el stem contenge otra norma adionl, ala qu lan rege de cat sua: Ta que, a modo de tipajuntas ovat. di nga a permisn expres de todo Wo que as de. mndsnormes to proiban “ De lo dicho se desprende que la clisula de nuestro aticulo 19 de is Consttncin puede inter Pretarse como una regla de elawsura una rqla de Slausura “ber, ente ottas poss, x elect, conoicoses semaines 153 asi como ela die que todo Jo no nonmado (y por tla ma proba) eth perio, podria dees —por {lem que todo lo no ormado (y por ell n> perma) sth prohbido, eon lo que orden nor Tato se parecera mis a un réimen carer. {Todo se rede, entoncs, a tna slacdén wala fy legates) entre normas de claus? También resulta de al que opin de Keen (y de ots autores), en cunto pretend fundar de tite modo Is compietd (ausenla de lgunas) de derecho, Dien es wna verdad tantolgien (y por lo tanto iri!) o Ben consttaye una fala slo Findada en le declogia de quien Ia sstione.:No cute una trcorn ponbidat que dejo a salvo el sar tee del penelpo? EL tema ef eletamente olémic pero tal ver om ojemplo inginarioayede a enrever waa. a clin int ‘Sopongamoe que bubo entre lo chars un gr ue via de In eazay de I pesca sin sjecion 8 onnas nl autoridader de singina clase. in da a ver que crs tus obtenlan mejor ss objetivo: igadurs la onpniacién de qu se habia dotao, Aeciieronelegi x um ecique par qu los mandsse Lis len secyb on Toro Stade qu, a deren. tia de ma borin pll rj, era un ino paclico ado nts en a vida do sue congéne {ex Tor SntadoreuniSentonce la tb, y i the primera noma: “A ptr de hoy dij er tard perio ear Io artes y Tox Joos". Ja6 bee, arene ¥ HORA quel, un indigena con dotes innatas de leguleyo, fa- tentd una interpretacién a contrario: “Eso quiere decir que no podemos eazar los demas dias?”. "De ninguna manera —se apresuré a aclara el benévolo ceacique—: yo permito eazar los martes y jueves, pero no dg pada bree reso deb semana” Jnoe {qued6 desconcertado, pero Onin, trbeto proclive a las reflexiones éticas, insistié: “gTal vex exo im- plica una promesa de no prohibir en ef futuro las cacerias de martes y jueves?”. “Tampoco —repuso ‘Toro Sentado—; no me agrada imponer prohibicio- res a mi tribu, pero me reservo la posbilidad de cambiar de idea. Qué gobernante no lo hace”. Los aborigenes se miraron unos a otros, y empeza: ron a dispersarse en silencio: no. podian evitar el sentimiento de que la eleccién del jefe habla resul- tado, al menos hasta ese momento, completamente init. Toda la vida habian eazado y pescado como les venia en gana, sin consultar ef calendar ahora, luego de sancionada la primera ley de su bu, las cosas seguirian exactamente igual mientras 4 Toro Sentado no se le ocurriera prohibir algo, La decepcién de los chareias es, en realidad, el resultado de una expectativa fundada en la utldad prictica de las normas. Un sistema normative im- plica la intencién de regular, encauzar, defini limi- tes, En otras palabras, ordenar lo no ordenado, Pero la percepcién misma de algo como desorden Implica una actitud valorativa de disconformidad con la situacién actual 0 potenctal: de otro modo n0 ‘ovorconns ExrserEcrcas 1st la lamarames desorden sino Ubertad, y 20s mos cura otra Par oper, ps, ts mofcacin se tntodar cen pauta que open restencia al yoluntad de in tate en heron nspocon, 0 calfeacones que fe Girgen interpreter Geta conan como icone patbtes con db modelo propa. Ast se. divide Tv ero don ete ole Scloneslnitadas (obligntoria 0 prohibits) el dolar no intadas (ono initada edat), gus Son las permidas Antes del ntodaclénde'un ss tem nomativo ‘no exten conducas permits, post frmacin ex mernente ingen: so ‘etal el hecho do qo, afta de una tea de ln! {Scion 0 es pose alfa sw aceni Ash no se conse la perminién sn Is prin, como no fay alec sn sonido ot to sn bran. Pola smo dei en est cnteto para sar ua expe Stn del derecho romano-~ que antes del piers ‘orma todas lat conducts ton ingens." Canndo $e Inroe el stoma normativ, alguns de ls fonductas dean de sr Ingenas para se iiadas, Y otras jan co sor ingras pars ser prmiidas Pero hay tna diferend entre exo dot cambio el paso de loge itd entra on fect el (at recham norma, que puede sar meramente cenoepialotadocie en via do hecho}, en tno dpa do ingens amo Htc o vara bar epee tata de gun pense realizar o aya realizado la condvcta en cue,158 cca, morons ¥ NomDEA Aungue el punto esté lejos de hallase defini vamenteresuclto, Ios argumentos expuestos permi- ten comprender cudl es la linen de razonanento —llamatla tmperaticiono— que leva a postalar © Principio de prohbicin como un prempuesto prag- ‘mitico de la teoria nomativa, y no como una “aoe ma de clausura” contingeate. Mio alls de a taito- lola insaitoniice seflad or Alsou y Bulygi, Ia regasegin la ena to To no proibsdo ta Feat fp Se, too woe. do esth permitido} puede formalarse como un con. diciénextrasstemétia para que nuestra liga dein tica rfl, reproduzca o reconstruya de modo te- ‘cmoctble ios conceptos nomativos usidos en la prictic: es lgicamente posble constuir un sistema {eérco sobre la base de las permisones, pero lo é- dlenes normativos reales (desde el derecho hasta el ajedrez) silo oftecen wtlidad cuando probiben y porque prin La auenia de norm, pot, parece ala permisin cuando no existe orden Jong ect n pendent de un eden IBLIOGRAFIA i de mae inde go ern ain dees snfis crE m ss ee co ee ‘ posde recurs gurn amplar le conor Geeuralindor fee Agere, Cot By Dm, Enel, eda 6 mat i clr rn yt Be ha, atin see "cotan "Be. he, Teh Coty Near lr dele owe, Be Ae, Atos ‘ater bonsy Nag eat, node le Lie vo mie si, Pi wi Lewes 1 Sop BA, Bo ibe. Acemens"W, Element de ice tn, Mae, Gy Gril, MJ, Inca le ies mo ge Ui Lge fee, Comes, Unidad Cnt, 160, se, anon, Lge tester anna, a, Ta, (Gein, Wid Von Orman Lov sofo de TeTe, Baclema ace “inci 01 Sec © cm a enc ao coins crema de par ese Tak ct is Sathceine commen, HK} {cnt Sas ee wr, dtine a oa 7 Te tendon (ores), Ha, 190 ‘st BS, a. a pein. (rine, ows de 18. ta A “ti oaks room de ia amen, meen et Die once de “ST cmt, eon ae Some on Ira Com), at 8, ea 0. erm 8 te owe eee i 6 No, Snafelbsce exmssteston, ei, 8, a, cet de ops, 1 median 18 return, 2 ‘eos da 1 seca tle 3 dpe 8. x ‘Sid, well yas,“em, dik 125. soem bed ets de a, “ag de ape 4 ° stein sete (warm pen, 118 1s Foo de spon, 1 Petia “hen de pemin, es 8, force sszanénco fron ateanéesoo ci meee ei Stage dat, soc 8 Gin stm roan Fommait 94 at Some see Fm, Se en 5 Smet oer corny ose sec Se . 2 Cn, 5,02 tilde ia R achat, Beams Sous na fen 8 Sent Ey S"hetala deb otter ss “at Sam, 94 2 ft, m0, a Pan 2 ioe sited 9m ‘so soy A. 16 se, sea emt, kT pei ce, 1 Fone ste 1 ‘enliven 8 tant dl sono, omen, te dal hn 37 Sind tes de sme, sale de vr 7 {aie opto, 9 Vero, 10, w gent, 98 ‘Wag wo, 3, 88, 18, 1