Una breve classificazione delle strutture teoriche

Esistono quattro tipi principali:

Tipo 1:

Le teorie deduttivamente complete possiedono una struttura completamente formale con gli assiomi completamente specificati e tutti i passaggi dell'elaborazione deduttiva sono pienamente enunciati. Un libro di testo in geometria euclidea, ad esempio, esibisce questo tipo di struttura.

Tipo 2:

La presupposizione sistematica nelle teorie implica il riferimento a un altro insieme di teorie.

Esistono due sottotipi che possono essere distinti:

(i) Le formulazioni ellittiche presuppongono un corpo di teoria che è deduttivamente completo. Potremmo, per esempio, fare riferimento a uno dei teoremi della geometria senza citare l'intera prova. Tali spiegazioni ellitticamente formulate sono incomplete, ma come sottolinea Hempel, è così in un "senso piuttosto innocuo".

(ii) In altri casi, il corpo della teoria a cui si fa riferimento può essere incompleto o addirittura inesistente. I presupposti di "buon senso" di una teoria spesso rimangono inesplicati sia a causa della difficoltà tecnica di fare una piena affermazione di essi sia a causa di una "ignoranza da parte del teorico di ciò che la sua teoria presuppone".

Tipo 3:

Le teorie quasi deduttive possono essere considerate incomplete perché i termini primitivi della teoria o l'elaborazione deduttiva di esso non sono conformi agli standard della teoria formale.

Esistono tre sottotipi:

(i) Le sistematizzazioni induttive possono essere considerate come una forma di quasi deduzione poiché le conclusioni si basano solo probabilisticamente sulle premesse.

(ii) L'elaborazione deduttiva incompleta può verificarsi / nel senso innocuo che, sebbene i passaggi possano essere mostrati, vengono lasciati fuori per brevità di esposizione. Ma in altri casi, la quasi deduzione implica fare ipotesi più serie. I passaggi nell'argomento possono essere troppo complicati o tecnicamente troppo difficili da impiegare procedure esplicitamente deduttive.

Nel migliore dei casi, ciò potrebbe significare che, ad esempio, un sistema di equazioni differenziali non può essere facilmente risolto analiticamente e, quindi; vengono utilizzate procedure di simulazione per trovare una soluzione approssimativa. Nel peggiore dei casi, ciò potrebbe significare che un salto puramente intuitivo potrebbe o meno rivelarsi giustificato a lungo termine. Ma sicuramente significa che la nostra fiducia nella validità logica della teoria deve essere sostanzialmente ridotta.

(iii) Le teorie che fanno uso del relativamente primitivo sono automaticamente quasi deduttive nella Struttura poiché i termini ei concetti primitivi sono solo parzialmente stabiliti. Nelle fasi iniziali della formazione teorica, può essere difficile stabilire quale dei termini indigeni nella teoria debba essere considerato come primitivo. In effetti, tutti i termini primitivi potrebbero non essere ancora sviluppati.

Pertanto, a parte le situazioni in cui possono essere fatti riferimenti a termini primitivi esterni, come nelle situazioni di tipo 3, l'incompletezza di una formulazione teorica può essere interamente dovuta al fallimento nella formazione e identificazione del concetto. Senza una formazione concettuale precisa, i termini primitivi della teoria possono rimanere confusi e oscuri.

Tipo 4:

Le teorie non formali possono essere considerate come affermazioni fatte con intenzioni teoriche, ma per le quali non è stato sviluppato alcun linguaggio teorico. Le teorie affermate nella lingua di tutti i giorni possono essere sofisticate da sistemi attentamente pensati di affermazioni collegate al tipo di "schizzo di spiegazione" usato frequentemente dagli storici.

Possiamo distinguere due sottotipi:

(i) Spiegazione verbale che può, senza alcuna modifica sostanziale di concetti o manipolazioni, essere resa nella migliore delle ipotesi parzialmente in una struttura formale. Un esempio estremamente buono di questo tipo è la teoria dell'interazione nei gruppi sociali proposta da Homans.

(ii) Spiegazione verbale che non può essere nemmeno parzialmente formalizzata senza una modifica sostanziale dei concetti utilizzati e la classificazione delle relazioni deduttive proposte. Tali teorie possono essere considerate nel loro stato iniziale come pseudo-teorie poiché si propongono teorie appropriate alla spiegazione senza conformarsi in alcun modo al modello base della spiegazione scientifica.

Ovviamente è spesso estremamente difficile determinare se le teorie riportate verbalmente si trovano in questa categoria o nella categoria 4 (i). Un'indagine del genere potrebbe rivelarsi una delle principali aree di ricerca nelle discipline in cui lo sviluppo teorico è scarso.