Uma breve classificação das estruturas teóricas

Existem quatro tipos principais:

Tipo 1:

As teorias dedutivamente completas possuem uma estrutura completamente formal, com os axiomas totalmente especificados e todas as etapas da elaboração dedutiva totalmente declaradas. Um livro de texto em geometria euclidiana, por exemplo, exibe esse tipo de estrutura.

Tipo 2:

O pressuposto sistemático nas teorias envolve referência a outro conjunto de teorias.

Existem dois subtipos que podem ser distinguidos:

(i) As formulações elípticas pressupõem um corpo teórico que é dedutivamente completo. Podemos, por exemplo, nos referir a um dos teoremas da geometria sem citar toda a prova. Tais explicações elipticamente formuladas são incompletas, mas como Hempel aponta, isso é assim “em um sentido inofensivo”.

(ii) Em outros casos, o corpo da teoria referida pode ser incompleto ou mesmo inexistente. As pressuposições de "senso comum" de uma teoria muitas vezes permanecem inexplicáveis, seja por causa da dificuldade técnica de fazer uma afirmação completa delas, seja por causa de uma "ignorância do teórico do que sua teoria pressupõe".

Tipo 3:

Teorias quase dedutivas podem ser consideradas incompletas porque os termos primitivos da teoria ou a elaboração dedutiva dela não estão de acordo com os padrões da teoria formal.

Existem três subtipos:

(i) As sistematizações indutivas podem ser consideradas como uma forma de quase-dedução, uma vez que as conclusões seguem apenas probabilisticamente as premissas.

(ii) A elaboração dedutiva incompleta pode ocorrer / no sentido inofensivo de que, embora as etapas possam ser mostradas, elas são deixadas de lado por uma questão de brevidade de exposição. Mas em outros casos, quase-dedução envolve fazer suposições mais sérias. As etapas do argumento podem ser muito complicadas ou tecnicamente muito difíceis para procedimentos explicitamente dedutivos a serem empregados.

Na melhor das hipóteses, isso pode significar que, por exemplo, um sistema de equações diferenciais não pode ser facilmente resolvido analiticamente e, portanto; procedimentos de simulação são empregados para encontrar uma solução aproximada. Na pior das hipóteses, isso pode significar que um salto puramente intuitivo pode ou não se justificar a longo prazo. Mas certamente significa que nossa confiança na validade lógica da teoria deve ser substancialmente reduzida.

(iii) As teorias que fazem uso do relativamente primitivo são automaticamente quase dedutivas na Estrutura, uma vez que os termos e conceitos primitivos são apenas parcialmente estabelecidos. Nos estágios iniciais da formação da teoria, pode ser difícil estabelecer qual dos termos indígenas na teoria deve ser considerado primitivo. De fato, todos os termos primitivos podem ainda não ter sido desenvolvidos.

Assim, além das situações em que referências podem ser feitas a termos primitivos externos, como em situações do tipo 3, a incompletude de uma formulação teórica pode ser inteiramente devida a falhas na formação e identificação de conceitos. Sem a formação precisa de conceitos, os termos primitivos da teoria podem permanecer confusos e obscuros.

Tipo 4:

Teorias não-formais podem ser consideradas declarações feitas com intenções teóricas, mas para as quais nenhuma linguagem teórica foi desenvolvida. As teorias declaradas na linguagem cotidiana podem variar em sofisticação, desde sistemas cuidadosamente elaborados de enunciados ligados até o tipo de "esboço de explicação" freqüentemente usado pelos historiadores.

Podemos distinguir dois subtipos:

(i) Explicação verbal que pode, sem qualquer modificação substancial de conceitos ou manipulações, ser, na melhor das hipóteses, traduzida parcialmente em estrutura formal. Um exemplo extremamente bom desse tipo é a teoria da interação em grupos sociais proposta por Homans.

(ii) Explicação verbal que não pode ser parcialmente formalizada sem uma modificação substancial dos conceitos utilizados e classificação das relações dedutivas propostas. Tais teorias podem ser consideradas em seu estado inicial como pseudo-teorias, uma vez que se referem a teorias apropriadas à explicação, sem conformar-se de qualquer forma ao modelo básico de explicação científica.

É claro que é extremamente difícil determinar se as teorias verbais estão nessa categoria ou na categoria 4 (i). Tal investigação pode muito bem ser uma das principais áreas de pesquisa em disciplinas onde o desenvolvimento teórico é deficiente.