D O X A Reservados todos los derechos. No se permite reproducir, almacenar en sistemas de recuperacin de la informacin ni transmitir alguna parte de esta publicacin, cualquiera que sea el medio empleado electrnico, mecnico, fotocopia, grabacin, etc., sin el permiso previo de los titulares de los derechos de la propiedad intelectual. Estos crditos pertenecen a la edicin impresa de la obra Edicin electrnica: Departamento de Filosofa del Derecho Universidad de Alicante I.S.S.N.: 0214-8676 Depsito legal: M-27661-1989 Preimpresin e impresin: Espagrac Carlos Alarcn Cabrera Las lgicas denticas de Georg H. von Wright ndice Portada Crditos Las lgicas denticas de Georg H. von Wright .............. 5 1. Los presupuestos de la lgica dentica .................... 5 2. El sistema standard de lgica dentica (SDL) ......... 16 3. La evolucin del SDL: las lgicas denticas de von Wright .......................................................... 27 Bibliografa ................................................................... 38 Las lgicas denticas de Georg H. von Wright 5 NDICE Las lgicas denticas de Georg H. von Wright Carlos Alarcn Cabrera Universidad de Huelva 1. Los presupuestos de la lgica dentica L a expresin Lgica Dentica fue usada por primera vez con su significado actual en 1951, en el conocido artculo Deontic Logic publicado en la revista Mind por Georg H. von Wright, en el que, junto a los conceptos moda- les alticos (necesidad, posibilidad, contingencia; conceptos estudiados por la lgica modal), a los conceptos modales existenciales (universalidad, existencia, vaciedad; conceptos estudiados por la teora de la cuantificacin) y a los concep- tos modales epistmicos (lo verificado, lo indeterminado, lo falsado), von Wright introdujo los conceptos modales den- ticos: lo obligatorio, lo permitido, lo prohibido (von Wright, 1951). Desde entonces, el trmino dentico ha ido hacin- dose comn en el lxico filosfico. En particular, como resalta Carlos Alarcn Cabrera 6 NDICE Mazzarese, con una acepcin pragmtica y con una acep- cin semntica: a) Pragmticamente, como sinnimo de di- rectivo, preceptivo, prescriptivo, normativo, en oposicin a descriptivo, declarativo, asertivo; b) Semnticamente, en el sentido de concerniente al deber ser, para designar lo que constituye la esfera del deber ser o lo que describe la esfera del deber ser
(Mazzarese, 1989). Sin embargo, en su artculo de 1951 von Wright no dio una respuesta explcita a una cuestin muy debatida en los an- teriores aos en el mbito filosfico escandinavo, estrecha- mente relacionada con la propia razn de ser y sentido de la lgica dentica, que desde entonces se conoce como el dilema de Jorgensen, y que podra resumirse as (vid. Jor- gensen, 1938): Por una parte, se considera tradicionalmente que la lgica se rige por los valores verdadero y falso. Inferir lgicamen- te una proposicin de otra significa que, si una de ellas es verdadera, la otra tambin lo es; y, sucesivamente, una se- cuencia de proposiciones forma un raciocinio lgico si todas ellas son verdaderas. Esta condicin no se cumple en las proposiciones no descriptivas, y en particular en proposicio- nes prescriptivas como las normas jurdicas, que no pueden asumir el valor lgico verdad, que no son ni verdaderas Las lgicas denticas de Georg H. von Wright 7 NDICE ni falsas, por lo que no es posible construir razonamientos lgicos con ellas, no es posible que las inferencias lgicas contengan premisas que sean prescriptivas, y por tanto no descriptivas. Sin embargo, por otra parte, y esto es lo que convierte la tesis de Jorgensen en dilemtica, parece evidente la posibili- dad de construir inferencias lgicas que incluyan prescripcio- nes prescriptivas. Por ejemplo: Est prohibido fumar en las Facultades universitarias La Facultad de Derecho es una Facultad universitaria Est prohibido fumar en la Facultad de Derecho Aparentemente, esta inferencia es tan valida como cualquier otra construida exclusivamente con proposiciones descripti- vas, como por ejemplo: Los jugadores del Real Madrid visten de blanco Butragueo es jugador del Real Madrid Butragueo viste de blanco La premisa mayor y la conclusin de la primera de las dos inferencias (Est prohibido fumar en las Facultades univer- sitarias y Est prohibido fumar en la Facultad de Derecho, respectivamente) estn prescribiendo, a diferencia de las Carlos Alarcn Cabrera 8 NDICE premisas de la segunda inferencia, que estn describiendo. Pero ello no parece impedir la validez de la primera inferen- cia. As planteados, los dos cuernos del dilema de Jorgensen son paradjicamente consistentes, y parecen chocar alrededor del problema de si la verdad es el nico valor lgico, de si de las premisas lgicas puede predicarse algn otro valor alternati- vo a la verdad (ya que, a diferencia de las descripciones Los jugadores del Real Madrid visten de blanco, Butragueo es jugador del Real Madrid y Butragueo viste de blanco, que son verdaderas o falsas, las prescripciones Est prohibido fumar en las Facultades universitarias y Est prohibido fumar en la Facultad de Derecho no son ni verdaderas ni falsas). La funcin de la lgica ha consistido tradicionalmente en la atribucin de valor de verdad a expresiones molecula- res a partir del valor de verdad de las expresiones atmicas constituyentes. Esta produccin de conclusiones verdaderas debe sistematizarse y ajustarse a ciertos tipos de mtodos, para lo cual se utilizan los principios lgicos que regulan los clculos inferenciales. Ahora bien, es la verdad el nico va- lor lgico? En el caso de proposiciones no descriptivas, no son posibles otros valores lgicos? Las lgicas denticas de Georg H. von Wright 9 NDICE Para Kalinowski, como para muchos de los que aceptan el segundo cuerno del dilema de Jorgensen (y por consiguiente la posibilidad de construir inferencias lgicas con normas, la posibilidad de una lgica de las normas), incluso sin apar- tarnos de la lgica bivalente no es preciso aferrarnos a los valores de verdad y falsedad como los nicos posibles. El error que habra motivado la creencia en una nica pareja de valores lgicos era para Kalinowski la inexacta distincin entre dos acepciones del trmino proposicin, segn se en- tendiera en sentido gramatical o en sentido lgico. Conforme a esta distincin, las proposiciones gramaticales englobaran todas las expresiones con estructura sintctica proposicional (no slo descripciones, sino tambin prescripciones, deseos, preguntas, consejos,...), mientras que las proposiciones lgi- cas seran un subtipo de las proposiciones gramaticales: las significativas de juicios verdaderos o falsos. Kalinowki recha- za esta diferenciacin porque toda proposicin gramatical es en potencia lgica, con lo que no hay distincin material sino en todo caso metodolgica: desde un punto de vista grama- tical las proposiciones se estudian por la lingstica, en par- ticular por la sintctica, y desde un punto de vista lgico las proposiciones se estudian por la lgica y por la metalgica. Toda proposicin gramatical podra, independientemente de su estructura sintctica, ser una proposicin lgica aunque Carlos Alarcn Cabrera 10 NDICE no fuera verificable. Verdad y falsedad seran valores lgicos relativos a las proposiciones descriptivas, pero no agotaran el terreno de actuacin de la lgica (Kalinowski, 1972). Como tambin indic Klug, el problema de la aplicacin de los prin- cipios lgicos a las normas sera un simple problema semn- tico que se podra resolver reinterpretando los fundamentos de la lgica, sin que fuera imprescindible que los principios lgicos se aplicaran slo a enunciados verdaderos o falsos (Klug, 1951). 1.1. La lgica del cumplimiento normativo Transformemos una norma convirtindola en una proposicin sobre lo que la norma exige de sus destinatarios. Convirta- mos la norma Est prohibido fumar en los centros pblicos en: La norma exige el comportamiento que se puede des- cribir as: No se fuma en los centros pblicos; o, de forma simplificada, en: No se fuma en los centros pblicos. De esta ltima proposicin podemos deducir la proposicin No se fuma en los hospitales, que sera la formulacin en tr- minos de cumplimiento de la norma Est prohibido fumar en los hospitales. Mediante el recurso al valor del cumplimiento o satisfaccin normativa, hemos inferido, aparentemente, una norma (Est prohibido fumar en los hospitales) de otra norma (Est prohibido fumar en los centros pblicos). Las lgicas denticas de Georg H. von Wright 11 NDICE Podra entonces parecer que es posible usar el valor del cum- plimiento respecto a las relaciones lgicas entre las normas de modo semejante al uso del valor de la verdad respecto a las relaciones lgicas entre las proposiciones descriptivas. De la misma forma que, de dos proposiciones descriptivas contradictorias (por ejemplo: Llueve y No llueve), slo una puede ser verdadera, de dos normas contradictorias (por ejemplo: Se debe conducir por la derecha y No se puede conducir por la derecha), slo una podra ser cumplida. Igual que la verdad o falsedad de la proposicin descriptiva, tambin el cumplimiento o incumplimiento de la norma de- pendera de circunstancias externas a la norma misma, y en particular de la conducta de sus destinatarios. Sin embargo, como insistentemente resaltaran despus Kel- sen y el propio von Wright, dos normas incompatibles de un mismo ordenamiento podran ser aplicadas a la vez por dos jueces diferentes, mientras que dos proposiciones descripti- vas contradictorias nunca pueden ser simultneamente ver- daderas (Kelsen, 1965). La cuestin es si realmente el valor del cumplimiento es respecto a las normas una alternativa al valor lgico de la verdad. Para saber si una norma se cum- ple o se incumple debemos verificar empricamente cul es el comportamiento de sus destinatarios, es necesario utilizar Carlos Alarcn Cabrera 12 NDICE de nuevo categoras veritativas, comprobar si es verdad o no que se realiza el comportamiento prescrito, por lo que en realidad seguimos movindonos alrededor del valor lgico de la verdad. El cumplimiento o satisfaccin de las normas no es en s mismo un valor lgico alternativo. 1.2. La lgica de la validez La ineficacia de la solucin a la que acabamos de referirnos indujo a Alf Ross a reflexionar en un trabajo con el mismo ttulo que el de Jorgensen (Imperativos y lgica, 1941) sobre otra solucin ms natural: utilizar la validez como criterio lgico de relacin entre las normas, para as derivar conclu- siones normativas vlidas de premisas normativas vlidas (por ejemplo, derivar la validez de Prohibido fumar en los hospitales de la validez de Prohibido fumar en los centros pblicos). Ross hablaba de validez de las normas recha- zando su sentido objetivo, sentido que exigira constatar la existencia de un procedimiento de verificacin, con lo que se volvera a acudir indirectamente al valor de la verdad a travs de una tica normativa cientfica, que Ross descartaba por- que slo ocupa un sitio en el desvn de la metafsica moral y religiosa. Las normas son vlidas en sentido subjetivo, como presencia en la autoridad normativa de un estado psicolgi- co que determina la validez de la norma. Pero, justamente Las lgicas denticas de Georg H. von Wright 13 NDICE por esta concepcin subjetiva y psicolgica de la validez normativa, el primer Ross no conceba inferencias normati- vas que no fueran pseudolgicas, que no presupusieran la coherencia de la voluntad del legislador (Ross, 1941). En esta misma lnea, von Wright, al criticar la analoga entre la verdad de las proposiciones descriptivas y la validez de las normas, subray el hecho de que una norma siempre es vli- da en relacin con otra norma que permite su promulgacin, pero no es exacto decir que el fundamento de la validez de una norma se encuentra en la validez de otra norma. La nor- ma inferior no obtiene su validez por la validez de la norma superior, sino por la existencia de sta en un lugar en el que mantiene una relacin jerrquica con la primera. Si no fuera as nos enfrentaramos a una remisin al infinito, ya que toda norma requerira otra norma superior. Por su parte, la verdad de una proposicin s se obtiene de la verdad de otra pro- posicin (von Wright, 1963; cfr. Alchourrn / Bulygin, 1991). 1.3. La verdad como valor normativo La segunda forma de negar el argumento segn el cual no existen relaciones lgico-deductivas entre las normas es ms directa. Consiste en considerar que de las normas s se Carlos Alarcn Cabrera 14 NDICE puede predicar la verdad o la falsedad, que las normas son verdaderas o falsas, que son entidades apofnticas. La naturaleza apofntica de las normas ha sido defendida particularmente por Kalinowski basndose en la definicin de proposicin verdadera de Tarski: La proposicin p es verdadera si, y solamente si, p. Aplicada a las normas, la norma n es verdadera si, y solamente si, n. Por ejemplo, la norma El hombre no debe cometer homicidio es verdadera si y slo si el hombre no debe cometer homicidio. Del mismo modo que un enunciado descriptivo es verdadero si se co- rresponde con su objeto (el enunciado Llueve es verdadero si, en la realidad externa, llueve), un enunciado prescriptivo o dentico tambin es verdadero si se corresponde con su objeto, con su status dentico. La norma El hombre no debe cometer homicidio es incondicionalmente verdadera si existe el status dentico El hombre no debe cometer homicidio; si, conforme a la realidad dentica, y anterior e independientemente de que lo establezca el derecho posi- tivo correspondiente, el hombre no debe cometer homicidio, cuestin que se responde afirmativamente desde el iusnatu- ralismo y negativamente desde el positivismo jurdico. Como el propio Kalinowski reconoce, ste es un problema que pro- voca la discusin sobre el carcter racional o irracional de la Las lgicas denticas de Georg H. von Wright 15 NDICE moral por sus referencias metafsicas. Hablar de norma ver- dadera exige creer en la derivacin de las normas positivas respecto al derecho natural, que a su vez se deduce de la ley eterna divina, de la que se desprende la verdad de deter- minados enunciados analticamente evidentes (Kalinowski, 1967, p. 243). Incluso en el mbito terico del cognoscitivismo tico, la tesis de Kalinowski ha sido muy criticada, en especial en base a que la (supuesta) validez objetiva de las normas no implica su naturaleza veritativa. No sera la norma objetivamente vlida, sino la proposicin que la describiera, la que sera verdadera. La proposicin El hombre no debe cometer ho- micidio es verdadero si y solamente si el hombre no debe co- meter homicidio, reflejo del concepto semntico de verdad, no contiene una norma sino su descripcin metalingstica, como lo demuestra el hecho de que una expresin semico- millada (El hombre no debe cometer homicidio) no puede poseer fuerza prescriptiva. Para prescribir, un enunciado ha de usarse (lingsticamente), no basta con hacer referencia a l, no basta con mencionarse (metalingisticamente). Lo ver- dadero o falso no es la norma, sino la mencin descriptiva y metalingstica de la norma (Vid. particularmente von Wright, 2001, pp. 391 ss.). Carlos Alarcn Cabrera 16 NDICE 2. El sistema standard de lgica dentica (SDL) En su trabajo de 1951 Deontic Logic, von Wright construye por primera vez una lgica formal elemental de las modalida- des denticas (obligatorio, permitido, prohibido), una lgica dentica cuyos presupuestos son los siguientes: 1) Las co- sas a las que llamamos obligatorias, permitidas o prohibidas son actos, entendidos no en sentido individual, sino como propiedad que lo califica (robo, pago de impuestos, conduc- cin de un vehculo,...); 2) Respecto a quien realiza el acto (el agente), hay un valor de ejecucin del acto y un valor de no ejecucin del acto, anlogos a los valores clsicos de la verdad y la falsedad. En este sistema, las variables y las constantes tambin son anlogas a las de la lgica proposicional ordinaria. Respecto a las variables, la nica diferencia consiste en que a la letra minscula (p, q, r,...) le precede una de estas dos letras ma- ysculas: O, que representa la obligacin (Op: Obligato- rio..., Debes...), o P, que representa la permisin, equi- valente a la no prohibicin (Pp: Permitido..., Puedes..., o lo que es lo mismo, No prohibido..., No es el caso que debas....). Destaca as la interdefinibilidad de los operadores denticos: P se puede definir como permisin y tambin como no obligacin del comportamiento opuesto (Pp equi- Las lgicas denticas de Georg H. von Wright 17 NDICE vale a -O-p. Por ejemplo, est permitido fumar equivale a no es obligatorio no fumar), y O se puede definir como obligacin y tambin como no permisin del comportamiento opuesto (Op equivale -P-p. Por ejemplo, es obligatorio pagar el impuesto de la renta equivale a no est permitido no pagar el impuesto de la renta). Para las constantes o conectivas, von Wright utiliza los mismos signos que en la lgica ordinaria, atribuyndoles el correlativo significado dentico: : Negacin dentica. Se lee no o no es el caso que. Por ejemplo, -Op puede significar no es obligatorio votar o no es el caso que sea obligatorio votar. -Pp puede significar no est permitido fumar o no es el caso que est permitido fumar. o &: Conjuncin dentica. Se lee y. Por ejemplo, la conjuncin interna O(p & q) puede significar es obligato- rio votar y hacer el servicio militar o es el caso que sea obligatorio votar y hacer el servicio militar. P(p & q) puede significar est permitido fumar y tirar las colillas al suelo o es el caso que est permitido fumar y tirar las colillas al suelo. Cuando la conjuncin es externa, Op & Oq puede por ejemplo significar es obligatorio votar y es obligatorio Carlos Alarcn Cabrera 18 NDICE hacer el servicio militar o es el caso que sea obligatorio votar y sea obligatorio hacer el servicio militar. Pp & Pq puede significar est permitido fumar y est permitido tirar las colillas al suelo o es el caso que est permitido fumar y est permitido tirar las colillas al suelo. Con posterioridad nos referiremos a las implicaciones y coimplicaciones entre la conjuncin interna y la conjuncin externa. v: Disyuncin dentica. Se lee o. Por ejemplo, la disyun- cin interna O(p v q) puede significar es obligatorio votar o hacer el servicio militar o es el caso que sea obligatorio vo- tar o hacer el servicio militar. P(p v q) puede significar est permitido fumar o tirar las colillas al suelo o es el caso que est permitido fumar o tirar las colillas al suelo. Cuando la disyuncin es externa, Op v Oq puede por ejemplo significar es obligatorio votar o es obligatorio hacer el servicio militar o es el caso que sea obligatorio votar o sea obligatorio hacer el servicio militar. Pp v Pq puede significar est permitido fumar o est permitido tirar las colillas al suelo o es el caso que est permitido fumar o est permitido tirar las colillas al suelo. Con posterioridad nos referiremos a las implicaciones y coimplicaciones entre la disyuncin interna y la disyuncin externa, que aparenta ser intrnsecamente ambigua. Anticipo que la analoga con la lgica descriptiva ordinaria comienza Las lgicas denticas de Georg H. von Wright 19 NDICE tambin a fallar porque p v q incluye la posibilidad de que sean ambas, p y q, mientras que parece contraintuitivo que P(p v q) incluya la posibilidad de que sea Pp y sea tambin Pq. : Coimplicacin dentica o equivalencia dentica. Se lee si y slo si... entonces. Por ejemplo, Op Oq puede sig- nificar si y slo si es obligario votar, entonces es obligatorio realizar el servicio militar, o lo que es lo mismo, si y slo si es obligatorio realizar el servicio militar, entonces es obli- gatorio votar. Pp Pq puede significar si y slo si est permitido fumar, entonces est permitido toser, o lo que es lo mismo, si y slo si est permitido toser, entonces est permitido fumar. : Implicacin dentica o condicional dentico. Se lee si... entonces. Por ejemplo, O(p q) puede significar es obligatorio que, si nieva, se usen cadenas para las ruedas del coche. P(p q) puede significar est permitido que, si el examen dura ms de dos horas, se fume. La interpre- tacin dentica de la implicacin es, como se comprobar posteriormente, bastante problemtica, en particular porque para evitar que colisione con el concepto de norma hipottica provoca importantes paradojas. Carlos Alarcn Cabrera 20 NDICE A las reglas bsicas de inferencia de la lgica proposicional ordinaria, von Wright aade en el SDL otras especficamente denticas; en concreto, dos reglas sobre la interdefinibilidad, cuatro reglas para la distribucin de los operadores denti- cos y seis reglas (reconducibles a tres) a las que denomina leyes sobre el compromiso. A) Reglas sobre la interdefinibilidad: 1) OA PA. Si debemos hacer p, nos est permitido hacer p. Por ejemplo, si debemos pagar impuestos, est permitido pagar impuestos. 2) PA -O-A. Si nos est permitido hacer p, entonces no es el caso que debemos hacer -p, e, inversamente, si no debemos hacer -p, entonces nos est permitido hacer p. Por ejemplo, si nos est permitido fumar, entonces no es obligatorio no fu- mar, e, inversamente, si no es obligatorio no fumar, entonces nos est permitido fumar. B) Reglas para la distribucin de los operadores denticos: 3) O(A & B) OA & OB. Las lgicas denticas de Georg H. von Wright 21 NDICE Si es obligatorio hacer p y q, entonces es obligatorio hacer p y hacer q, e, inversamente, si es obligatorio hacer p y hacer q, entonces es obligatorio hacer p y q. Por ejemplo, si es obligatorio hacer el servicio militar y pagar impuestos, entonces es obligatorio hacer el servicio militar y es obligato- rio pagar impuestos, e, inversamente, si es obligatorio hacer el servicio militar y es obligatorio pagar impuestos, entonces es obligatorio hacer el servicio militar y pagar impuestos. 4) P(A v B) PA v PB. Si est permitido hacer o p o q, entonces est permitido hacer p o est permitido hacer q, e, inversamente, si es- t permitido hacer p o est permitido hacer q, entonces est permitido hacer o p o q. Von Wright no parece del todo consciente de la ambigedad de la permisin dentica disyuntiva. Decir, por ejemplo, que si est permitido o fumar o conducir, entonces est permitido fumar o est permitido conducir, e, inversamente, si est permitido fumar o est per- mitido conducir, entonces est permitido o fumar o conducir, resulta contraintuitivo porque no queda claro si es o no el agente quien decide cul de los dos actos est permitido. 5) OA v OB O(A v B) Carlos Alarcn Cabrera 22 NDICE Si es obligatorio hacer p u obligatorio hacer q, entonces es obligatorio hacer o p o q. Esta frmula provoca problemas similares a la anterior. Tampoco queda claro si es el agente quien decide cul de los dos actos es obligatorio si afirma- mos que si es obligatorio pagar impuestos o es obligatorio votar, entonces es obligatorio o pagar los impuestos o votar. 6) P(A & B) PA & PB Si est permitido hacer p y q, entonces est permitido hacer p y est permitido hacer q. Por ejemplo, si est permitido fumar y conducir, entonces est permitido fumar y est permitido conducir. C) Leyes sobre el compromiso: 7) OA & O(A B) OB Von Wright la considera una tautologa dentica: si es obli- gatorio hacer p, y si hacer p nos compromete a hacer q, entonces es obligatorio hacer q. 8) PA & O(A B) PB Si est permitido hacer p, y si hacer p nos compromete a hacer q, entonces est permitido hacer q. 9) -PB & O(A B) -PA Las lgicas denticas de Georg H. von Wright 23 NDICE Si no est permitido hacer q, y si hacer p nos compromete a hacer q, entonces no est permitido hacer p. Como el propio von Wright resaltar posteriormente, la natu- raleza paradjica de la frmula del compromiso O(A B) se puede demostrar si partimos de una de las bases axiomti- cas del SDL, la regla distributiva 4) ya citada P(A v B) PA v PB Teniendo en cuenta la interdefinibilidad de los operadores denticos, esta regla es equivalente a O(A & B) OA & OB De este axioma se deduce, por transitividad, OA O(A v B) & (A v B) De este ltimo se sigue: OA O(A v B) A travs de un proceso similar inferimos: OA O(-A v B), que de acuerdo con el propio concepto de implicacin equi- vale a OA O(A B) Carlos Alarcn Cabrera 24 NDICE Esto es, si hacer p est prohibido, al hacer p nos com- prometemos a hacer cualquier otra cosa, lo cual parece que intuitivamente contradice la nocin de compromiso formaliza- da como O(A B). OA O(A B) es la frmula dentica anloga a la que representa en lgica formal una de las pa- radojas de la implicacin estricta, segn la cual una proposi- cin falsa implica cualquier otra proposicin. Pero la paradoja dentica resulta de mayor relevancia, porque el hecho de que p sea una proposicin falsa no obliga ni a aceptarla ni a aceptar sus consecuencias, mientras que podemos realizar actos prohibidos que segn el SDL nos colocan en la ab- surda situacin de deber realizar cualquier otro acto. Es as como se puede llegar a otra paradoja derivada de la frmula del compromiso, la paradoja de los imperativos contrarios al deber. Reflexionemos sobre la siguiente cadena deductiva: (1) Debe ser el caso que socorramos llevndolo al hospital a todo accidentado grave que encontremos (2) Debe ser el caso que si cumplimos la norma (1) ignoremos las seales de trfico con tal de llegar rpido al hospital (3) Si no cumplimos (1), debemos no ignorar las seales de trfico (4) No cumplimos (1) Las lgicas denticas de Georg H. von Wright 25 NDICE Podemos expresar formalmente estos enunciados utilizando p para socorremos llevndolo al hospital a todo accidenta- do grave que encontramos, y utilizando q para ignoramos las seales de trfico con tal de llegar rpido al hospital: (1) Op (2) O(p q) (3) p O-q (4) p (3) y (4) implican, por modus ponens, O-q. Y, por otro lado, de la cadena completa puede deducirse tambin Oq, ya que en el SDL Op & O(p q) Oq es una verdad lgica (es, en palabras de von Wright, un complejo molecular vlido por razones puramente formales, aunque no sea la aplicacin de un esquema vlido para cualquier oracin, dentica o no). Como Oq y O-q son contradictorios, estamos ante una paradoja, la paradoja de los imperativos contrarios al deber, que a juicio de von Wright es decisiva para demostrar por qu falla su SDL. En l, si Op expresa un deber primario, O(-p q) no sirve como formalizacin de un imperativo contrario al deber para el supuesto de que incumplamos el deber pri- mario Op. Siguiendo los axiomas del SDL, cualquiera que Carlos Alarcn Cabrera 26 NDICE sea el estado de cosas que q describa, debemos hacer q si incumplimos el deber de hacer p, lo cual choca con la nocin de imperativos contrarios al deber, que obligan a realizar un determinado acto o conjunto de actos no cual- quier cosa si dejamos de cumplir el deber primario. Von Wright analiz la frmula alternativa para la nocin de compromiso -p Oq, entendida como hipottico impera- tivo contrario al deber condicionado al incumplimiento de Op (von Wright, 1982). No obstante, -p Oq es ambi- gua porque se puede interpretar en sentido descriptivo y en sentido prescriptivo. En el primer caso, -p Oq constata simplemente el hecho de que, si no es que p, existe una norma segn la cual debe ser que q, y por lo tanto no es en s misma una norma condicional. En el segundo caso, -p Oq es una expresin que carece de sentido en el discurso significativo, puesto que se compondra de un elemento des- criptivo y de un elemento prescriptivo enlazados mediante una conectiva veritativa. Slo elpticamente podra conside- rarse que -p Oq alude a cmo las cosas deberan ser. Incluira implcitamente un operador dentico de segundo orden, por lo que realmente la expresin sera O(p Oq), con lo que volveramos a encontrarnos con los mismos pro- blemas que nos hicieron desechar O(p q). Las lgicas denticas de Georg H. von Wright 27 NDICE 3. La evolucin del SDL: las lgicas denticas de von Wright 3.1. La lgica dentica de Norm and Action La aportacin ms conocida (y reconocida) de von Wright a la lgica dentica y a la teora de la accin es posiblemente Norm and Action (1963), libro adems muy influyente en la teora y filosofa jurdica de las ltimas decadas, pero en el que sin embargo no aclara su opcin ontolgica. Las normas, dir entonces von Wright, no son entidades extralingsticas, simples regularidades sociales de comportamiento; pero tampoco entidades lingsticas. Von Wright no afirma cla- ramente ni que sean enunciados lingsticos (situados, por consiguiente, a un nivel sintctico), ni que sean proposicio- nes lingsticas (a un nivel semntico), ni que sean actos de enunciacin lingstica (a un nivel pragmtico). As, adems de descartar que las normas sean entidades extralingsticas (las normas dependen del lenguaje [...]. Su existencia presupone necesariamente el uso del lenguaje), von Wright tambin parece negar que sean enunciados den- ticos (deberemos distinguir entre la norma y la formulacin normativa. La formulacin normativa es el signo o smbolo (las palabras) usadas al enunciar (formular) la norma), que sean proposiciones denticas (es evidente que a algunas Carlos Alarcn Cabrera 28 NDICE normas no se les puede dar el nombre de proposiciones [...]. Las normas no tienen por qu llamarse ni la referencia ni incluso el sentido o significado de la correspondiente for- mulacin normativa) y que sean enunciaciones denticas de enunciados (la norma es algo distinto del hecho de dar a conocer a los sujetos normativos su carcter, contenido y condiciones de aplicacin, lo cual es un eslabn esencial en el (o parte del) proceso a travs del cual la norma se origina o cobra existencia (ser), pero no es la norma en s misma) (von Wright, 1963; vid. Hernndez Marn, 1986). En el contexto de esta indefinicin ontolgica von Wright pre- senta un sistema de modalidades denticas didicas con el objetivo de superar la unilateralidad argumental de los ope- radores mondicos del SDL. Con los operadores didicos se expresan, implcita o explcitamente, relaciones entre dos argumentos que constituan el antecedente y el consecuente de la implicacin normativa, de la implicacin dentica. En el sistema didico, las acciones dejan de ser obligatorias en s mismas, y es preciso determinar en qu condiciones lo son, en qu universo normativo o fctico lo son. Este sistema didico se compona de tres estratos: (i) la lgica proposi- cional tradicional, basada en el estudio formal de las expre- siones p, q,...; (ii) la lgica del cambio, basada en el estudio Las lgicas denticas de Georg H. von Wright 29 NDICE formal de las expresiones T, en la que el suceso descrito por pTq es una transformacin de un estado inicial de cosas descrito por p a un estado final de cosas descrito por q; (iii) la lgica de la accin, basada en el estudio formal de las expresiones df, en la que d(-pTp) significa que un agente, en una determinada ocasin, provoca el estado de cosas descrito por p, inexistente hasta entonces; y en la que f(- pTp) significa que un agente, en una determinada ocasin, se abstiene de provocar el estado de cosas descrito por p. La teora lgica de la accin condicionada constitua una ex- tensin de la lgica de la accin. Introduca el smbolo / , de forma que la expresin / elemental de (pTp)/(qTq) descri- biera una accin genrica que es ejecutada por un agente de forma que en una determinada ocasin en la que el estado de cosas descrito por q se da y permanece independien- temente de la accin, el agente impide que desaparezca el estado descrito por p. O(pTp)/(qTq) es un mandato, cuyo contenido es la accin descrita por d(pTp), y cuya condicin de aplicacin es el cambio descrito por pTp & qTq. En su artculo A New System of Deontic Logic (1964), von Wright perfecciona su sistema didico interpretando la expre- sin atmica O(p/q) como se debe hacer que p cuando q o se debe hacer que p si es el caso que q. p y Carlos Alarcn Cabrera 30 NDICE q describen posibles estados de cosas. Cuando el mundo es como q lo describe, entonces el mundo debe ser como p lo describe. De anloga forma, O(p/p) significa que el mundo es como debe ser, por lo que implica el deber de que el estado de cosas en cuestin no desaparezca; y O(p/-p) significa que se debe hacer que p cuando no es el caso que p, por lo que el estado de cosas en cuestin debe lle- gar a ser. Aunque las reglas de inferencia del nuevo sistema de lgica dentica (NSDL) se heredan del SDL, los nuevos axiomas difieren de los antiguos como consecuencia de la introduccin de operadores didicos: N1 -(O[p/q] & O[-p/q]) N2 O(p & q/r) <--> O(p/r) & O(q/r) N3 O(p/q v r) <--> O(p/q) & O(p/r) Si partimos de los axiomas o teoremas del SDL y sustituimos las expresiones atmicas O que hay en ellos por expresiones atmicas del tipo O( /t) (en las que t representa una tauto- loga formada por las variables p, q, r,... y las conectivas de verdad), las frmulas obtenidas son teoremas del NSDL. -(Op & O-p) se puede transformar en -(O[p/t] & O[-p/t]), y asimismo O(p & q) <--> Op & Oq se puede transformar en O(p & q/t) <--> O(p/t) & O(q/t). De estos dos teoremas Las lgicas denticas de Georg H. von Wright 31 NDICE se pueden inferir en el NSDL tantos otros como los que se obtienen en el SDL de las respectivas frmulas citadas. 3.2. La lgica dentica condicional En 1968, von Wright escribe Deontic Logic and the Theory of Conditions, donde deja de considerar la lgica dentica como directamente anloga a la lgica modal, y donde pasa a considerarla un apartado de la lgica de las condiciones suficientes y necesarias, de tal forma que afirmar que algo debe ser equivale a afirmar que algo es condicin necesaria de alguna otra cosa. En este sistema de lgica condicional, la nocin de condicin necesaria se explica as: la verdad de la proposicin p es condicin necesaria de la verdad de la proposicin q. Su representacin formal puede ser Nc(p,q) o N(q --> p). En efecto, decir que p es condicin necesaria de q signifi- ca que si -p, entonces -q, o, asimismo, que si q, entonces necesariamente p. En trminos de condicin necesaria, el operador dentico O puede ser definido as: Op = Nc(p,I). Que algo debe ser el caso significa que la cosa en cuestin es una condicin necesaria de otra determinada cosa (o es- tado de cosas) I, que se presupone en el contexto. I no es una variable, sino una constante proposicional. Carlos Alarcn Cabrera 32 NDICE Por su parte, la nocin de condicin suficiente se explica as: la verdad de la proposicin que p es una condicin suficiente de la verdad de la proposicin que q. Su repre- sentacin formal puede ser Sc(p,q) o S(q --> p). En efecto, decir que p es condicin suficiente de q sig- nifica que si -q, entonces -p, o, asimismo, que si p, en- tonces necesariamente q. Sc(p,q) equivale a Sc(-q,-p), a Nc(q,p) y a Nc(-p,-q). En trminos de condicin sufi- ciente, el operador dentico P puede ser definido as: Op = Nc(p,I). Que algo debe ser el caso significa que la cosa en cuestin es una condicin suficiente de otra determinada cosa (o estado de cosas) I, que se presupone en el con- texto. 3.3. La lgica dentica de los verbos de accin Sin arrepentirse de su concepcin de la lgica dentica como fragmento de la teora lgica modal de las condiciones nece- sarias y suficientes, concepcin que le haba dirigido hacia un enfoque instrumentalista de la lgica de las normas, von Wright se centr pocos aos despus (Deontic Logic Revisi- ted, 1973) en la distincin, hasta entonces poco estudiada, entre Sein-Sollen (deber ser) y Tun-Sollen (deber hacer), entre las normas que establecen que determinada cosa debe Las lgicas denticas de Georg H. von Wright 33 NDICE o puede o no debe ser el caso, y las normas que establecen que alguien debe o puede o no debe hacer determinada cosa. Esta distincin provocaba una alternativa bsica en relacin con la cuestin de la naturaleza de la lgica dentica. Von Wright resalt que la nica lgica dentica construida a partir de la lgica de la accin se haba fundado en interpre- taciones de las normas como enunciados descriptivos que acompaan a los operadores denticos (es obligatorio que las cosas se den, est permitido que las cosas se den, est prohibido que las cosas se den). Existira entonces una lgica dentica inexplorada, basada en la conjuncin de operadores denticos y verbos de accin, en la que las varia- bles representaran esquemticamente frases verbales (es obligatorio hacer x, est permitido hacer x, est prohibido hacer x). La distincin entre Sein-Sollen y Tun-Sollen es retomada y reformulada posteriormente por von Wright al diferenciar en- tre: (i) el deber tcnico (must), conforme al cual las cosas deben ser hechas para que otras cosas se consigan, y que suele ser elptico, suele referirse implcitamente a un fin que no se conseguir si lo que debe (tcnicamente) ser no es; (ii) el deber dentico (ought), que procede directamente de Carlos Alarcn Cabrera 34 NDICE una norma, y que es categrico, no es un medio sino un fin en s mismo (von Wright, 1982). 3.4. La lgica dentica de acciones individuales En On the Logic of Norms and Actions (1981), von Wright cuestiona la idea de que los trminos denticos se refieren a categoras de acciones y no a acciones individuales, algo que decidi en Deontic Logic y que comenz a matizar en Norm and Action. Y la relaciona con la supuesta interdefinibilidad de los operadores denticos y la consiguiente imposibilidad de admitir normas contradictorias. Una accin individual (act-individual) se puede esquematizar diciendo que el agente a hace p en la ocasin o. Para iden- tificarla correctamente, no basta con concretar a y o, ya que un agente puede realizar ms de una accin en una misma ocasin, por lo que la accin individual, por s misma, no pro- porciona datos definitivos sobre su contenido; es necesario aludir a la accin genrica (act-category) p. Por ello, en las categoras denticas cuentan tanto las acciones individuales como las acciones genricas. Si una accin genrica es obli- gatoria, est permitida, o est prohibida (la categora denti- ca aparece aqu como operador), la realizacin u omisin de la accin genrica por parte de un individuo presupone que Las lgicas denticas de Georg H. von Wright 35 NDICE la accin individual tiene la propiedad de ser obligatoria, de estar permitida o de estar prohibida (por el contrario, la categora dentica aparece aqu como predicado). Esta forma de ambivalencia de las categoras denticas (una misma categora dentica se usa como operador cuando hace referencia a acciones genricas, y como predicado cuando hace referencia a acciones individuales) provoca, a juicio de von Wright, importantes consecuencias. Predicar de una accin individual que est permitida debe significar que la accin se incluye dentro de una categora de acciones genricas permitidas. En este sentido, de la permisin de un determinado tipo de acciones genricas podemos inferir la no-prohibicin de tales acciones y la no-obligatoriedad de su omisin. Pero si concebimos las categoras denticas como predicados de acciones individuales no es posible la inter- definibilidad: una misma accin individual puede a la vez ser obligatoria y estar prohibida. Por lo tanto, slo si considera- mos las categoras denticas como operadores de acciones genricas hay incompatibilidad entre la obligatoriedad y la prohibicin de una misma categora de acciones. Ni el princi- pio de no contradiccin ni la interdefinibilidad de los operado- res denticos se dan como tales en una lgica dentica que no relacione acciones genricas, sino acciones individuales. Carlos Alarcn Cabrera 36 NDICE 3.5. La lgica dentica como legislacin racional En Norms, Truth and Logic (1982), von Wright expone su posicin prcticamente definitiva sobre el contenido, implica- ciones y presuposiciones de la lgica dentica. Concibe las leyes de la lgica dentica como principios de legislacin racional, y utiliza como ficcin (y, por consiguiente, sin ad- herirse a ella) la idea de que las normas expresan la volun- tad de la autoridad legislativa soberana, de que las normas forman un sistema en tanto que proceden de una voluntad ordenadora cuyo criterio de racionalidad ha de consistir en el hecho de que los estados de cosas queridos por el legislador sean (o, al menos, puedan ser) lgicamente posibles. Aunque, en rigor, no hay una lgica de las normas, del deber ser, porque las normas no son ni verdaderas ni falsas, von Wright sugiere ahora el estudio de una lgica normativa bajo la condicin de presuponer que las normas se pueden juzgar segn su racionalidad. Resulta as imprescindible analizar los requisitos de racionalidad que debe satisfacer una ac- tividad nomothtica (norm-giving activity, actividad de dar normas, de poner normas). Conceptos como el de coherencia normativa (autocoheren- cia de una norma y coherencia entre las normas) y como el Las lgicas denticas de Georg H. von Wright 37 NDICE de implicacin normativa no se asumen como conceptos pro- piamente lgicos, sino como conceptos relativos a la raciona- lidad de la voluntad legisladora. Las tautologas de la lgica dentica aparecen as como principios de legislacin racional (praxeolgica), y la actividad judicial de subsuncin normati- va no es vista ya como una inferencia lgico-normativa, sino como una labor creativa, como un acto nomothtico. En conclusin, las normas no son apofnticas, de ellas no se predica la verdad ni la falsedad, pero si atendemos al criterio de la racionalidad del legislador podemos dotar de significado lgico a la contradiccin normativa y a la implicacin norma- tiva. Ahora bien, como resalta von Wright, contradiccin nor- mativa e implicacin normativa son categoras propiamente lgicas, no ontolgicas, son categoras que no se expresan en trminos ontolgicos de contradiccin e implicacin exis- tencial. Los sistemas de lgica dentica slo son modelos ideales que no representan adecuadamente estructuras nor- mativas existentes. Si existen dos normas en conflicto, lo cual puede suceder, es preciso que el legislador modifique la legislacin. El lgico no puede ayudarle (von Wright, 1982, p. 136). Aunque no son verdaderas ni falsas, las normas pueden ser explicadas o justificadas, precisa el ltimo von Wright, por ejemplo a travs de la referencia teleolgica al fn Carlos Alarcn Cabrera 38 NDICE que tericamente se consigue a travs de su cumplimiento, con lo que inevitablemente desembocamos en un problema valorativo: El fin es normalmente algo valorado como desea- ble o bueno por quien establece la norma, y tambin, si es posible, por sus destinatarios, as que se puede afirmar que la justificacin teleolgica de las normas hace normalmente referencia a valores (von Wright, 2001, p. 391). Bibliografa ALCHOURRN, Carlos / BULYGIN, Eugenio, Anlisis lgico y dere- cho. Centro de estudios constitucionales, Madrid, 1991. CONTE, Amedeo G. / HILPINEN, Risto / WRIGHT, Georg H. von (eds.), Deontische Logik und Semantik. Athenaion, Wiesba- den, 1977. CONTE, Amedeo G. / ALARCN CABRERA, Carlos, Dentica de la validez. Tecnos, Madrid, 1995. GONZLEZ LAGIER, Daniel, Accin y norma en G. H. von Wright. Centro de estudios constitucionales, Madrid, 1995. JORGENSEN, Jorgen, Imperatives and Logic. Erkenntnis, 7 (1937-1938), pp. 288-296. JORGENSEN, Jorgen, Imperativer og logik [Imperativos y lgi- ca]. Theoria, 4, 1938, pp. 183-190. Traduccin castellana Las lgicas denticas de Georg H. von Wright 39 NDICE de Carlos Alarcn Cabrera: Imperativos y lgica. Isegora, 20, 1999, pp. 207-215. HERNNDEZ MARN, Rafael, Historia de la filosofa del derecho contempornea. Tecnos, Madrid, 1986. KALINOWSKI, Georges, Le problme de la vrit en morale et en droit. Vitte, Lyon, 1967. KALINOWSKI, Georges, La logique des normes. PUF, Pars, 1972. Traduccin castellana de Juan R. Capella: Lgica del discurso normativo. Tecnos, Madrid, 1975. KELSEN, Hans, Recht und Logik. Forum, 12 (1965), pp. 421-425 y 495-500. Traduccin castellana de Juan Carlos Gardella: Derecho y lgica. En: Kelsen, Hans / Klug, Ulrich, Normas jurdicas y anlisis lgico. Centro de estudios consti- tucionales, Madrid, 1988, pp. 92-120. KLUG, Ulrich, Juristische Logik. Springer, Berlin, 1951. Tra- duccin espaola de David Garca Bacca: Lgica jurdica. Universidad Central, Caracas, 1961. MAZZARESE, Tecla, Logica deontica e linguaggio giuridico. Ce- dam, Padua, 1989. ROSS, Alf, Imperatives and Logic. Theoria, 7 (1941), pp. 53-71. Reedicin en: Philosophy of Science, 11 (1944), pp. 30-46. Carlos Alarcn Cabrera 40 NDICE WRIGHT, Georg H. von, Deontic Logic. Mind, 60 (1951), pp. 1-15. WRIGHT, Georg H. von, An Essay in Modal Logic. North-Ho- lland, Amsterdam, 1951. WRIGHT, Georg H. von, A Note on Deontic Logic and Derived Obligation. Mind, 65 (1956), pp. 507-509. WRIGHT, Georg H. von, On Conditionals. En: Wright, Georg H. von, Logical Studies. Routledge and Kegan Paul, Londres, 1957, pp. 127-165. WRIGHT, Georg H. von, On Promises. Theoria, 28 (1962), pp. 277-297. WRIGHT, Georg H. von, Norm and Action. Routledge and Ke- gan Paul, Londres, 1963. Traduccin castellana de Pedro Garca Ferrero: Norma y accin. Tecnos, Madrid, 1970. WRIGHT, Georg H. von, The Variety of Goodness. Routledge and Kegan Paul, Londres, 1963. WRIGHT, Georg H. von, Practical Inference. The Philosophi- cal Review, 72 (1963), pp. 159-179. WRIGHT, Georg H. von, A New System of Deontic Logic. Da- nish Yearbook of Philosophy, 1 (1964), pp. 173-182. Reedi- Las lgicas denticas de Georg H. von Wright 41 NDICE cin en: Hilpinen, Risto (ed.), Deontic Logic. Introductory and Systematic Readings. Reidel, Dordrecht, 1971, pp. 105-115. WRIGHT, Georg H. von, A Correction to a New System of Deontic Logic. Danish Yearbook of Philosophy, 2 (1965), pp. 103-107. Reedicin en: Hilpinen, Risto (ed.), Deontic Logic. Introductory and Systematic Readings. Reidel, Dor- drecht, 1971, pp. 116-120. WRIGHT, Georg H. von, Deontic Logic and the General Theory of Conditions. Crtica, 2 (1968), pp. 3-25. Reedicin en: Hil- pinen, Risto (ed.), Deontic Logic. Introductory and Systematic Readings. Reidel, Dordrecht, 1971, pp. 159-177. WRIGHT, Georg H. von, An Essay in Deontic Logic and the General Theory of Action. North-Holland, Amsterdam, 1968. Traduccin castellana de Ernesto Garzn Valds: Un ensayo de lgica dentica y la teora general de la accin. Unam, Mxico, 1976. WRIGHT, Georg H. von, On the Logic and Ontology of Norms. En: Davis, John W. (ed.), Philosophical Logic. Reidel, Dordre- cht, 1969, pp. 89-107. WRIGHT, Georg H. von, On So-Called Practical Inference. Ac- ta sociologica, 15 (1972), pp. 39-53. Carlos Alarcn Cabrera 42 NDICE WRIGHT, Georg H. von, Deontic Logic Revisited. Rechs- theorie, 4 (1973), pp. 37-46. WRIGHT, Georg H. von, On the Logic of Norms and Actions. En: Hilpinen, Risto (ed.), New Studies in Deontic Logic. Rei- del, Dordrecht, 1981, pp. 3-35. WRIGHT, Georg H. von, Norms, Truth and Logic. En: Wright, Georg Henrik von, Practical Reason. Blackwell, Oxford, 1983, pp. 130-209. Traduccin castellana de Carlos Alarcn Cabre- ra: Normas, verdad y lgica. Fontamara, Mxico, 1997. WRIGHT, Georg H. von, Is and Ought. En: Bulygin, Eugenio / Gardies, Jean-Louis / Niiniluoto, Ilkka (eds.), Man, Laws, and Modern Forms of Life. Reidel, Dordrecht, 1985, pp. 263- 281. WRIGHT, Georg H. von, On Conditional Obligation. Srtryck ur juridisk tidskrift, 1 (1994-1995), pp. 1-7. WRIGHT, Georg H. von, Conditionality. En: Wright, Georg H. von, Six Essays in Philosophical Logic. Acta Philosophica Fennica, Helsinki, 1996. WRIGHT, Georg H. von, Ought to be-Ought to do. En: Garzn Valds, Ernesto / Krawietz, Werner / von Wright, Georg H. / Zimmerling, Ruth (ed.), Normative Systems in Legal and Mo- Las lgicas denticas de Georg H. von Wright 43 NDICE ral Theory. Festschrift for Carlos E. Alchourrn and Eugenio Bulygin. Duncker & Humblot, Berln, 1997, pp. 427-435. WRIGHT, Georg H. von, Valorar (o cmo hablar de lo que se debe callar). Nuevas bases para el emotivismo. Traduccin castellana de Carlos Alarcn Cabrera. Anuario de filosofa del derecho, 18 (2001), pp. 385-395.