Page 199 - Dialectica
P. 199

La dial´ ectica de los predicados









             Introducci´ on
                Una funci´ on proposicional es una aplicaci´ on del universo real –o
             de un fragmento del universo– sobre un reticulado. Para la l´ ogica tra-
             dicional las funciones proposicionales son funciones abstractas, para la
             dial´ ectica materialista las funciones proposicionales representan pro-
             piedades materiales. Por esta raz´ on, agregaremos la palabra “material”
             a la mayor´ ıa de los enunciados sobre funciones proposicionales.
                Igual que en la l´ ogica tradicional, se puede llamar propiedades a
             las funciones proposicionales de una ´ unica variable y relaciones a las
             funciones proposicionales de varias variables. Consideremos la propo-
             sici´ on simple

                  Lope ama.


             Esta proposici´ on en realidad es una instancia material de una propie-
             dad F(x) de la variable material x que recorre el conjunto de los seres
             humanos o cualquier otro conjunto apropiado que se desee. La propie-
             dad puede ser expresada como: 147
                  F(x) = x ama.

                Interesa investigar los valores l´ ogicos toma esta funci´ on proposicio-
             nal. En la l´ ogica binaria tenemos dos opciones puesto que solamente
             existen dos valores l´ ogicos. El panorama es diferente cuando entramos
             en la dial´ ectica. En estos casos cabe preguntarse por los valores que la
             funci´ on proposicional puede tomar. Es comprensible que esta funci´ on
             no tome el valor l´ ogico “verdadero” para ning´ un x porque este hecho es
             casi imposible de interpretar. No puede entenderse que la proposici´ on

             147
               Solamente para dejar constancia, vale la pena recordar que esta proposici´ on es di-
             ferente –pero pr´ oxima– de la relaci´ on P(x, y) = x ama y.
                                                                       199
   194   195   196   197   198   199   200   201   202   203   204