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