Page 176 - Dialectica
P. 176

Estudios sobre l´ ogica dial´ ectica

                La l´ ogica dial´ ectica es una extensi´ on de la l´ ogica binaria de modo
             de incluir otras formas de pensamiento que escapan al modelo bina-
             rio. Puesto que la implicaci´ on se ocupa de construir teor´ ıas formales,
             no ocupa un lugar importante en la dial´ ectica. No obstante eso, co-
             mo dial´ ectica debe contener como caso particular a la l´ ogica binaria, es
             necesario extender la definici´ on de la implicaci´ on. Sin embargo no se
             espera que agregue nuevas formas de construcci´ on del conocimiento
             deductivo.
                La etapa final de consolidaci´ on del conocimiento cient´ ıfico es la
             formulaci´ on de una teor´ ıa deductiva. En la construcci´ on de la teor´ ıa
             intervienen axiomas o principios o hip´ otesis que sirven como propo-
             siciones aceptadas con un determinado nivel l´ ogico. A partir de estas
             proposiciones b´ asicas aceptadas, se construyen nuevos enunciados me-
             diante la aplicaci´ on de un conjunto reducido de estructuras formales
             que son aceptadas como v´ alidas.
                En la l´ ogica dial´ ectica el problema de extender la definici´ on de la
             implicaci´ on es bastante complejo. Comprende dos grupos de reglas:

                  Las reglas formales para construir nuevos enunciados a partir de
                  los enunciados aceptados como v´ alidos.

                  Las reglas sem´ anticas que permiten la aplicaci´ on de la dial´ ectica
                  a los casos de inter´ es de la ciencia o la historia.

                Lo que importa, en ´ ultima instancia, es definir las reglas de razona-
             miento que se emplean en la matem´ atica y en las ciencias. No sirve para
             nada crear funciones a priori como ha hecho la l´ ogica binaria. Un ca-
             mino diferente ha planteado Frederic Fitch (1908, 1987), ver [23, 86].
             En lo esencial define un conjunto de reglas que permiten construir un
             razonamiento v´ alido. En todo lo que sigue sobre la funci´ on implicaci´ on
             emplearemos esta formalizaci´ on, con algunas adaptaciones necesarias.

             Las reglas formales de la implicaci´ on dial´ ectica

                En esta secci´ on nos ocupamos de estas estructuras formales y de su
             extensi´ on a la l´ ogica dial´ ectica. Si eliminamos repeticiones obvias, 137

             137
               La equivalencia –co–implicaci´ on en Fitch– de proposiciones es algo redundante que
             agrega nada. Por esta raz´ on se la omite de las reglas formales.
             176
   171   172   173   174   175   176   177   178   179   180   181