Page 178 - Dialectica
P. 178

Estudios sobre l´ ogica dial´ ectica

                  tambi´ en lo es (PC). El principio extendido establece que si a ⇒ b
                  y a ⇒ N b son tesis, entonces N a tambi´ en lo es. PCE es una
                  consecuencia de PC y las reglas anteriores. 140  PC es un caso par-
                  ticular de PCE.

                Antes de continuar con este tema es necesario aclarar un punto
             esencial sobre IC. Consideremos dos ´ atomos a, b del reticulado. Es cla-
             ro que ambos son tesis, sin embargo ocurre a . b = 0, luego no se cum-
             ple IC. Este resultado no solamente es general para todos los reticulados
             dial´ ecticos sino que IC tampoco se cumple para muchos otros elemen-
             tos del reticulado. Desde ya sabemos que la regla IC no es v´ alida en
             general. Por esta raz´ on en la exposici´ on que sigue la expresi´ on “cumple
             con las reglas formales” quiere decir “cumple con las reglas formales,
             excepto IC”. Cuanto el punto sea importante se lo indicar´ a expresa-
             mente. Este tema se considera en detalle en lo que sigue y es un punto
             esencial en la teor´ ıa de la implicaci´ on dial´ ectica.


             Las reglas sem´ anticas de la implicaci´ on dial´ ectica
                Las reglas sem´ anticas son condiciones adicionales que se exige a
             una funci´ on implicaci´ on para que arroje resultados coherentes con el
             uso real y espont´ aneo de la dial´ ectica.


               1. El principio de permanencia (PP): se deben respetar los valores
                  de la l´ ogica binaria, luego 0 ⇒ 0 = 1, 0 ⇒ 1 = 1, 1 ⇒ 0 = 0,
                  1 ⇒ 1 = 1.

               2. La invariancia en la rotaci´ on (IR): la funci´ on implicaci´ on debe
                  ser invariante en la rotaci´ on del reticulado rDn donde se define,
                  esto es R(x ⇒ y) = Rx ⇒ Ry. Como consecuencia, si x ⇒ y
                  es tesis, Rx ⇒ Ry tambi´ en lo es.


               3. Idempotencia (I): Para todo valor dial´ ectico d se cumple que
                  d ⇒ d = d.

             140
               La demostraci´ on es as´ ı. Tomemos como hip´ otesis: 1. a; 2. a ⇒ b y 3. a ⇒ Nb luego
             sigue: 4. b por MP en 1 y 2; 5. NNb ⇒ Na por MTE en 3; 6. b ⇒ Na por PNN en 5.;
             Na por MP en 4 y 6. Luego Na es una tesis.
             178
   173   174   175   176   177   178   179   180   181   182   183