Theoretische Terme

Zusammenfassung

Abschließend wollen wir den entwickelten Begriffsapparat auf ein spezielles metatheoretisches Problem anwenden ,nämlich auf die Definition „theoretischer Terme“.Wir können in Weiterführung des Ansatzes von [Gähde,1983] eine formale Definition von Theoretizität angeben und damit für konkrete Theorien beweisen,welche ihrer Terme theoretisch sind.Diese Untersuchung ist von zentraler Bedeutung,wenn es darum geht, den durch eine einzelne Theorie abgesteckten Rahmen zu erweitern und ganze Theorien-Netze zu betrachten .Ein Kriterium dafür,welche Terme einer Theorie in dieser Theorie theoretisch sind,gibt nämlich dem Theorien-Netz die innere Strukturen der man sieht,wie die verschiedenen Theorien im Netz miteinander zusammenhängen und aufeinander aufbauen.Diese innere Struktur läßt sich definieren,wenn man weiß,wann ein Term in einer Theorie T theoretisch ist.Man definiert dann: Theorie T setzt die Theorie T′ voraus,wenn es einen in T′ theoretischen Term gibt,der in T nicht-theoretisch ist.Daß diese Definition sinnvoll ist, wird natürlich erst klar,wenn man die nun einzuführende Theoretizitäts-definition verstanden hat.Letztere ist so abgefaßt,daß ein Term t in einer Theorie T theoretisch ist genau dann,wenn er in einer genau festgelegten Weise in T meßbar oder bestimmbar ist.Die obige Definition von „Voraussetzen“ bedeutet dann grob folgendes: T setzt T′ voraus, wenn es in T einen Term t gibt,der in T nicht meßbar ist (T-nicht-theoretisch),wohl aber in T′ (der „vorausgesetzten“ Theorie).