Eine kurze Einteilung der theoretischen Strukturen

Es gibt vier Haupttypen:

Typ 1:

Deduktiv vollständige Theorien besitzen eine vollständig formale Struktur, wobei die Axiome vollständig festgelegt und alle Schritte der deduktiven Ausarbeitung vollständig angegeben sind. Ein Lehrbuch in euklidischer Geometrie zeigt beispielsweise diese Art von Struktur.

Typ 2:

Die systematische Voraussetzung in Theorien beinhaltet den Verweis auf andere Theorien.

Es gibt zwei Untertypen, die unterschieden werden können:

(i) Elliptische Formulierungen setzen einen deduktiv vollständigen Theoriebetrag voraus. Wir können zum Beispiel auf einen der Sätze der Geometrie verweisen, ohne den ganzen Beweis zu zitieren. Solche elliptisch formulierten Erklärungen sind unvollständig, aber wie Hempel hervorhebt, ist dies im "eher harmlosen Sinn".

(ii) In anderen Fällen kann der angeführte Theorielehre selbst unvollständig oder gar nicht vorhanden sein. Die Annahme einer Theorie für den gesunden Menschenverstand bleibt oftmals unklar, entweder wegen der technischen Schwierigkeit, eine vollständige Aussage darüber zu machen, oder wegen der Unwissenheit eines Theoretikers über das, was seine Theorie voraussetzt.

Typ 3:

Quasi-deduktive Theorien können als unvollständig angesehen werden, da die primitiven Begriffe der Theorie oder deren deduktive Ausarbeitung nicht den Standards der formalen Theorie entsprechen.

Es gibt drei Untertypen:

(i) Induktive Systematisierungen können als eine Art Quasi-Deduktion betrachtet werden, da die Schlussfolgerungen nur probabilistisch auf die Prämissen folgen.

(ii) Eine unvollständige deduktive Ausarbeitung kann in dem harmlosen Sinn vorkommen, dass die Schritte zwar gezeigt werden können, sie jedoch der Kürze der Darstellung halber weggelassen werden. In anderen Fällen sind bei der Abnahme jedoch ernstere Annahmen erforderlich. Die Schritte in dem Argument sind möglicherweise zu kompliziert oder technisch zu schwierig, um explizit deduktive Verfahren anzuwenden.

Im besten Fall kann dies bedeuten, dass zum Beispiel ein System von Differentialgleichungen nicht einfach analytisch gelöst werden kann und daher; Simulationsverfahren werden angewendet, um eine ungefähre Lösung zu finden. Im schlimmsten Fall kann dies bedeuten, dass ein rein intuitiver Sprung auf lange Sicht gerechtfertigt ist oder nicht. Dies bedeutet jedoch sicherlich, dass unser Vertrauen in die logische Gültigkeit der Theorie erheblich verringert werden muss.

(iii) Theorien, die das relativ Primitive verwenden, sind in Structure automatisch quasi-deduktiv, da die primitiven Ausdrücke und Konzepte nur teilweise aufgestellt sind. In den Anfangsstadien der Theoriebildung kann es schwierig sein, festzustellen, welche der einheimischen Ausdrücke in der Theorie als primitiv betrachtet werden sollten. In der Tat können nicht alle primitiven Begriffe noch entwickelt werden.

Abgesehen von Situationen, in denen auf externe primitive Ausdrücke Bezug genommen werden kann, wie in Situationen des Typs 3, kann die Unvollständigkeit einer theoretischen Formulierung daher vollständig auf einen Misserfolg bei der Konzeptbildung und Identifizierung zurückzuführen sein. Ohne präzise Begriffsbildung können diese primitiven Begriffe der Theorie unscharf und dunkel bleiben.

Typ 4:

Nichtformale Theorien können als Aussagen betrachtet werden, die mit theoretischen Absichten gemacht wurden, für die jedoch keine theoretische Sprache entwickelt wurde. In der Alltagssprache angeführte Theorien reichen von sorgfältig durchdachten Systemen verknüpfter Aussagen bis hin zu einer Art "Erklärungsskizze", die von Historikern häufig verwendet wird.

Wir können zwei Untertypen unterscheiden:

(i) verbale Erklärung, die ohne wesentliche Änderung von Begriffen oder Manipulationen bestenfalls teilweise in eine formale Struktur umgewandelt werden kann. Ein äußerst gutes Beispiel für diese Art ist die von Homans vorgeschlagene Theorie der Interaktion in sozialen Gruppen.

(ii) verbale Erklärung, die nicht einmal teilweise formalisiert werden kann, ohne dass die verwendeten Konzepte wesentlich geändert werden, und die vorgeschlagenen deduktiven Beziehungen werden klassifiziert. Solche Theorien können in ihrem Anfangszustand als Pseudo-Theorien betrachtet werden, da sie Theorien enthalten, die zur Erklärung geeignet sind, ohne sich in irgendeiner Weise an das Grundmodell der wissenschaftlichen Erklärung anzupassen.

Es ist natürlich oft sehr schwierig festzustellen, ob verbal festgelegte Theorien in dieser Kategorie oder in Kategorie 4 (i) liegen. Eine solche Untersuchung könnte sich als einer der Hauptbereiche der Forschung in Disziplinen erweisen, in denen die theoretische Entwicklung schlecht ist.