Una breve clasificación de las estructuras teóricas

Hay cuatro tipos principales:

Tipo 1:

Las teorías deductivamente completas poseen una estructura completamente formal con los axiomas completamente especificados y todos los pasos en la elaboración deductiva enunciados. Un libro de texto en geometría euclidiana, por ejemplo, exhibe este tipo de estructura.

Tipo 2:

La presuposición sistemática en las teorías implica la referencia a otro conjunto de teorías.

Hay dos subtipos que pueden distinguirse:

(i) Las formulaciones elípticas presuponen un cuerpo de teoría que es deductivamente completo. Podríamos, por ejemplo, referirnos a uno de los teoremas de la geometría sin citar toda la prueba. Dichas explicaciones formuladas de manera elíptica son incompletas, pero como señala Hempel, esto es así en "un sentido bastante inofensivo".

(ii) En otros casos, el cuerpo teórico al que se hace referencia puede ser incompleto o incluso inexistente. Las presuposiciones de "sentido común" de una teoría a menudo permanecen inexplicadas, ya sea por la dificultad técnica de hacer una declaración completa de ellas o por "la ignorancia de un teórico de lo que su teoría presupone".

Tipo 3:

Las teorías cuasi-deductivas pueden considerarse incompletas porque los términos primitivos de la teoría o la elaboración deductiva de la misma no se ajustan a los estándares de la teoría formal.

Hay tres subtipos:

(i) Las sistematizaciones inductivas se pueden considerar como una forma de cuasi deducción, ya que las conclusiones solo siguen probabilísticamente las premisas.

(ii) Puede ocurrir una elaboración deductiva incompleta / en el sentido inofensivo de que, aunque se pueden mostrar los pasos, se los deja por razones de brevedad de la exposición. Pero en otros casos, la casi deducción implica hacer suposiciones más serias. Los pasos en el argumento pueden ser demasiado complicados o técnicamente demasiado difíciles para que se empleen procedimientos explícitamente deductivos.

En el mejor de los casos, esto puede significar que, por ejemplo, un sistema de ecuaciones diferenciales no se puede resolver analíticamente fácilmente y, por lo tanto; Se emplean procedimientos de simulación para encontrar una solución aproximada. En el peor de los casos, esto puede significar que un salto puramente intuitivo puede o no resultar justificado a largo plazo. Pero seguramente significa que nuestra confianza en la validez lógica de la teoría debe reducirse sustancialmente.

(iii) Las teorías que hacen uso de lo relativamente primitivo son automáticamente cuasi-deductivas en la Estructura, ya que los términos y conceptos primitivos están solo parcialmente establecidos. En las etapas iniciales de la formación de la teoría, puede ser difícil establecer cuál de los términos indígenas en la teoría debería considerarse primitivo. De hecho, todos los términos primitivos aún no pueden ser desarrollados.

Por lo tanto, aparte de las situaciones en las que se pueden hacer referencias a términos primitivos externos, como en las situaciones de tipo 3, el carácter incompleto de una formulación teórica puede deberse completamente al fracaso en la formación e identificación de conceptos. Sin una formación conceptual precisa, los términos primitivos de la teoría pueden permanecer borrosos y oscuros.

Tipo 4:

Las teorías no formales pueden considerarse como declaraciones hechas con intenciones teóricas, pero para las cuales no se ha desarrollado ningún lenguaje teórico. Las teorías enunciadas en el lenguaje cotidiano pueden variar en sofisticación, desde sistemas cuidadosamente pensados ​​de afirmaciones vinculadas hasta el tipo de "bosquejo explicativo" utilizado frecuentemente por los historiadores.

Podemos distinguir dos subtipos:

(i) Explicación verbal que puede, sin ninguna modificación sustancial de conceptos o manipulaciones, convertirse, en el mejor de los casos, parcialmente en una estructura formal. Un ejemplo extremadamente bueno de este tipo es la teoría de la interacción en grupos sociales propuesta por Homans.

(ii) Explicación verbal que ni siquiera puede formalizarse parcialmente sin una modificación sustancial de los conceptos utilizados y la clasificación de las relaciones deductivas propuestas. Dichas teorías pueden considerarse en su estado inicial como pseudo teorías, ya que pretenden que las teorías sean apropiadas para su explicación sin conformarse de ninguna manera con el modelo básico de explicación científica.

Por supuesto, a menudo es extremadamente difícil determinar si las teorías expresadas verbalmente se encuentran en esta categoría o en la categoría 4 (i). Dicha investigación bien puede resultar ser una de las áreas principales del esfuerzo de investigación en disciplinas donde el desarrollo teórico es deficiente.