En este artículo presentaremos una nueva paradoja del tipo de la de Béziau. Para ello, consideraremos un sistema de lógica proposicional positiva - libre de negación- más débil que el de la lógica positiva clásica

Oller, Carlos  A.

Repositorio Digital de la UNC

La paradoja de Béziau y la lógica positiva

Fil: Oller, Carlos  A. Universidad de Buenos Aires; Argentina.Fil: Oller, Carlos  A. Universidad Nacional de la Plata; Argentina.En este artículo presentaremos una nueva paradoja del tipo de la de Béziau. Para ello, consideraremos un sistema de lógica proposicional positiva - libre de negación- más débil que el de la lógica positiva clásica.Fil: Oller, Carlos  A. Universidad de Buenos Aires; Argentina.Fil: Oller, Carlos  A. Universidad Nacional de la Plata; Argentina

Repositorio Digital de la Universidad Nacional de Córdoba

 EPISTEMOLOGÍA E HISTORIA DE LA CIENCIA SELECCIÓN DE TRABAJOS DE LAS  XVII JORNADAS VOLUMEN 13 (2007) Pío García Luis Salvatico Editores     ÁREA LOGICO-EPISTEMOLÓGICA DE LA ESCUELA DE F ILOSOFÍA CENTRO DE INVESTIGACIONES DE LA FACULTAD DE F ILOSOFÍA Y HUMANIDADES UNIVERSIDAD NACIONAL DE CÓRDOBA   Esta obra está bajo una Licencia Creative Commons atribución NoComercial -SinDerivadas 2.5 Argentina    La paradoja de Béziau y la lógica positiva CarlosA~ Oller' 1. Introducción: La paradoja de Bézian En su artículo "Clasical Negation can be Expressed by One ofits Halves" [1] Jean"Yves Béziau presenta una paradoja que consiste en que la. lógica proposicional clásica K puede reconstruirse en el interior de una lógica proposicional K/2 estrictan1ente más débil que la .clásica. Este sistema tiene un condicional caracterizado por las cláusulas semánticas clásicas y una negación que se caracteriza semánticamente por sólo una de las dos cláusulas condicionales qué definen a la negación clásica -la que establece que, si V( A)= 1, entonces V{ -.A)=O. La: paradoja deBéziau puede presentarse como una. paradoja relacionada con la cuestión de la traducción entre lógicas. En efecto, Béziau enuncia la paradoja del siguiente modo: 8F=KA si y sólo si ~(Li)F=m ~(A) donde ~ es una función de traducción entre las fórmulas de la lógica proposicional clásica y las de K/2. Esta presentación de la paradoja plantea la .cuestión de los diferentes tipos .de traducción entre lógicas, y tambiéu la de las condiciones que debe cumplir una traducción de este tipo para ser una traducción fiel. Es posible, además, presentar la paradoja de Béziau en términos sintácticos, tal como lo hace Lloyd Humberstone en [3] y [4]. En estos términos, lo paradójico consiste en que la negación de la lógica proposicional clásica puede definirse en un sistema axiomáticq -cuyo conjunto de axiomas y reglas de inferencia para la implicación mat~al y la negación es un subconjUnto propio --del respecnvo coll}uiito de ax!oma!l y regias de illferenda de fa lógica proposicional clásica para esas conectivas. En efecto, esto resulta sorprendente si se sostiene la concepción de las definiciones como meras abreviaturas que no agregan nada sustJmcial al sistema en el que se formulan. La presentación sintáctica de la paradoja de Béziau plantea, pues, la cuestión del rol de las definiciones en un sistema lógico. En este artículo presentaremos una nueva paradoja del tipo de la de Béziau. Para ello, consideraremos un sistema de lógica proposicional positiva -i.e. libre de negación- más débil que el de la lógica positiva clásica. El con~icional de este sistema está caracterizado por las cláusulas semánticas habituales para el rondicional material, salvo la que establece que, si V(A)=O y V(B)=i, entonces V(A ~ B)=i. La conjunción y la disyunción de este sistema están caracterizadas por las cláusulas clásicas para estas conectivas. La ley de refuerzo del antecedente. no es válida para el condicional de este sistema, por lo que puede considerarse que incluye una lógica para los condicionales derrotables (dejei:1Sil1le conditionals)~ Sin embargo, mostraremos que en este sistema de lógica positiva es posible definir el condicional material clásico y, de esta manera, reconstruir la lógica positiva clásica en el interior de una lógica positiva más débil. 'UBAIUNLP -410-Epistemología e Historia de la Ctencta, Volumen 13 (2007) Z. Traducciones entre lógicas, defmiciones y la paradoja de Béziau Las cláusulas semánticas clásicas para el condicional material y la negación pueden formularse del siguiente modo: V(A ~ B) =O si y sólo si V(A)=l y V(B)=O V( A)= 1 si y sólo si V( -,A )=O Dado qne las demás conectivas veritativo-funcionales de la lógica proposicional clásica K pueden definirse en términos del condicional material y la negación, estas cláusulas caracterizan a K. Béziau propone en [1] que consideremos la lógica K/2 caracterizada por la cláusula para el condicional material y sólo una de las dos cláusulas condicionales que definen a la negación clásica: V(A)=J, entonces V(-u4)=0 Esta lógica es más débil que la clásica, ya que el conjunto de sus verdades lógicas está propiamente incluido en el conjunto de las verdades lógicas de K. Sin embargo, K es traducible en K/2. En esto consiste lo que Hutnberstone ha llamado en [3]/aparadoja de la traducción de Béziau. Consideremos las dos lógicas K y K/2 caracterizadas por las siguientes estructuras: K=<1(.;~;-,; FK > K/2 = < 7(z; =>;-; l=m> 'l(y 7(z son los conjuntos de fórmulas bien formadas de K y K/2, respectivamente. Las conectivas ~ y => son los condicionales de K y K/2, respectivamente. Las conectivas -, y- son sus respectivas negaciones. Las relaciones I=K y l=m son las relaciones de consecuencia semántica -<lefinidas de la manera habitnal- de K y K/2, respectivamente. La traducción de K en K/2 puede hacerse usando una función de traducción ~ caracterizada por las siguientes cláusulas: ~(A)= A, si A es atómica ~(A ~ B) =~(A)=> ~(Ií) ~(-.A) =~(A)=> --r(A) Es posible demostrar ahora que: AI=K A si y sólo si ~(A)I=m (A) donde ~(A) denota la traducción, de acuerdo a estas cláusulas, de las fórmulas que componen el conjunto A de premisas. Esto puede interpretarse como la afirmación de que es K traducible en K/2. En este artículo no entraremos en la discusión detallada de la noción de traducción entre lógicas y de las propiedades que debe tener una buena traducción de este tipo. Para ello, referimos a los/las lectores/a:> a las discusiones contenidas en los trabajos de Béziau [!] y Coniglio [2] citados en la bibliografia. Además, en los próximos párrafos veremos que esta paradoja puede formularse en términos que evitau estas cuestiones, aunque nos obligan a replantearnos otros problemas relativos a la filoso:fia de los sistemas formales. La paradoja de Béziau puede también presentarse en términos puramente sintácticos. Lloyd Humberstone propone en [3] que consideremos la siguiente axiomatización para la lógica proposicional clásica K, con el Modus Ponens como regla de inferencia: (Al)(A ~ (B ~A)) ·4!1. (A2) ((A~ (B ~ C)) ~((A~ B) ~(A~ C))) (A3) (((A ~ B) ~A)~ A) (A4) (A ~ (-,A ~ C)) (AS) ((A~ C) ~((-,A~ C)~ C)) Llamemos K/2 a la lógica axiomatizada por (Al)-(A4), con el Modus Ponens como regla de inferencia. El conjunto de axiomas de K/2 está propiamente incluido en el conjunto de axiomas de K, y se puede probar que el conjunto de teoremas de K/2también está propiamente incluido en el conjunto de teoremas de K. En este sentido, se puede afirmar que K/2 es inferencialmente más débil que K. Sin embargo, Humberstone nos propone que introduzcamos. en el lenguaje de K/2 la conectiva de negación clásica ~ mediante la siguiente definición: (Def.l) -,A =df(A ~-A) Es posible, entonces, reconstruir laJógic;a proposicion.al cl!Í¡;i<cl! !} «n el i¡J.terigr el<: !}!X, ya q11e valen para las conectivas~ y -los axiomas (Al)-(A5). La negación de la lógica proposicional clásica K puede, pues, definirse en el sistema axiomático K/2, cuyo conjunto de axiomas para la implicación material y la negación es un subconjunto propio del respectivo conjunto de axiomas y reglas de inferencia de K para esas conectivas. Esto resulta paradójico si se consideran a las definiciones como meras abreviatoras metalingüisticas que no agregan nada sustancial al sistema lógico en el que se formulan. La presentación sintáctica de la paradoja de Béziau que ofrece Humberstone motiva, por lo tanto, una discusión filosófica acerca del rol de las definiciones en los sistemas formales. 3. La paradoja de la traducción y la lógica positiva clásica En esta sección presentaremos una nueva paradoja de la traducción del tipo de la formulada por Béziau. Para ello, consideraremos un sistema de lógica pmposicional positiva -ie. libre de negación- más débil que la lógica positiva clásica P K· Las cláusulas semánticas para la conjunción y la disyunción de este sistema, al que denominaremos Pv. son las clásicas: V(A &B)= 1 si y sólo si V(A)= 1 y V(B)= 1 V(A v' B)= l si y sólo si V(A) = 1 ó V(B) = l El condicional> del sistema P0 , sin embargo, está caracterizado por las siguientes dos cláusulas semánticas: Si V(A) = 1 y V(B) = O, entonces V(A > B) =O Si V(A) = V(B), entonces V( A >BJ = 1 Es decir, las cláusulas habituales para el condicional material ~. con la excepción de la que establece que, si V(A)=O y V(B)=1, entonces V(A ~ B)=l. No resulta válida para el condicional de este sistema, Como es Íácil comprobar, la siguiente ley de refuerzo del antecedente: · · · · · · · ~ · · - · - ·· ·· ·- ··· - · · · ((A > B) ~((A & C) >B)) por lo que puede considerársele un condicional derrotable (defeasible conditional). Puede comprobarse que este condicional tampoco cumple con varias otras leyes, como por ejemplo la de transitividad del condicional. -412-Por lo tanto, la lógica positiva Pv es más débil que la lógica positiva clásica PK pero, sin embargo, PK es traducible en Pv. De esta manera, y como se verá a continuación, estamos en presencia de otra paradoja de la traducción del tipo de la presentada por Béziau. Consideremos las dos lógicas PK y Pv caracterizadas por las siguientes estructuras: PK= < PK;-+; A; V; FPK > Pn=< Pn;>; & ; v'; l=pn> 'E K y 'E D son los conjuntos de fórmulas bien formadas de PK y Pv, respectivamente. Las conectivas~ y > son los condicionales de PK y Pv, respectivamente. Las conectivas A y&, y por otra parte, v y v' son sus respectivas conjunciones y disyunciones. Las relaciones i=PK y l=pv son las relaciones de consecuencia semántica ___,¡efinidas de la manera luibitnal- de PK y PD> respectivamente. La traducción de P K en P D puede hacerse usando una función de traducción T caracterizada por las siguientes cláusulas: T(A) =A, si A es atómica T(A A B) = T(A) & T(B) T(A V B) = T(A) v' T(B) T(A ~B)=T(A)>T(A AB) Es posible demostrar ahora, como el/la lector/a puede comprobar fácilmente, que: d FPKA Si y sólo si T(d) FPD T(A) lo que puede interpretarse como la afrrmación de que PK es traducible en Pv. Esta nueva paradoja de la traducción puede también presentarse en términos puramente sintácticos. Para ello, es necesario considerar una axiomatización para la lógica proposicional positiva Pv que resulte completa respecto de la semántica presentada más arriba para este sistema. El condicional de la lógica proposicional positiva clásica h podrá introducirse en este sistema axiomático para P D mediante la siguiente definición: (Def.2)(A ~B) =df(A >(A & B)) Las siguientes tablas de verdad muestran como esta definición permite completar la tabla de la conectiva >,que está sólo parcialmente determinada por las cláusulas semánticas ofrecidas más arriba, de manera tal que la conectiva ~ así definida se identifica con el condicional material· A B (A>B) A B (A&B) (A>(A&B) 1 1 1 1 1 1 1 o 1 -o 1 o 1 1 o o 1 o o o o o 1 o o o 1 .. Las tablas antenores JUStifican mtuttivamente tanto la elecctón de las reglas de traducción propuestas más arriba, como la de la Definición 2. 4. Conclusión En este trabajo se ha presentado una paradoja de la traducción que consiste en que la lógica proposicional positiva clásica puede traducirse en una lógica positiva más débil que la clásica. Lo notable de este tipo de traducciones entre lógicas, cuyo antecedente más temprano parece ser la -413-traducción de Kolmogorov de la lógica clásica en la lógica intuicionista, es que son traducciones de un sistema lógico en otro que es, desde un punto de vista inferencia!, estrictamente más débil que él. La noción del poder inferencia! de un sistema lógico parece quedar cuestionada o, al menos, relatiVizada. Como hemos seflalado, y aunque no se les reconozca un carácter paradójico, este tipo de traducciones plantea varios problemas para la filosoffa de los sistemas formales. Además, como sugiere Béziau, estas traducciones parecen desafiar algunas clasificaciones comúnmente aceptadas en filosoffa de la lógica, tales como la distinción entre extensiones y desviaciones de un sistema lógico. Por lo tanto, las consecuencias teóricas de estas paradojas parecen constitnir un tema de interés para la investigación en filosofia de la lógica. Referencias [1] Béziau, J.Y, "C1asical Negatíon can be Expressed by One of its !!al~<'$.", Logic JQU!J1!!/ pf~ ,IQPL, 7 (1~~). 1~5· 151. [2] Coniglio, M. E., "Towards a Stronger Notion ofTrans1ation Between l,ogics", M(IIJUScri(o, 28 (2005), 231 ·2~2. [3] Humberstone, L., "Béziau's Trans1ation Paradox", Theoria, 71 (2005), 138·181. [4] Humberstune, L., "Contrariety and Subcontrariety: Tbe Anatomy ofNegatíon (with Special Reference tu an Examp1e ofJ.·Y. Béziau)", Tbeoria, 71 (2005), 241·262. ·414· 

https://rdu.unc.edu.ar/bitstream/11086/3062/1/58-la%20%20paradoja.pdf

La paradoja de Béziau y la lógica positiva

Abstract

Similar works

Full text

Available Versions

Repositorio Digital de la UNC

Repositorio Digital de la Universidad Nacional de Córdoba