vorausgesetztes Verständnis des Begriffs"Theorie" hier: http://de.wikipedia.org/wiki/Strukturalistisches_Theorienkonzept (non statement view of science).

Eine Theorie T besteht aus:

Strukturkern K ("Formeln") ist

• in sich widerspruchsfrei
• ggf. "schön" oder "hässlich"
• aber ohne empirischen Gehalt, dehalb immun gegen Falsifizierung

• wir modelliert als
  • z.B. Gleichungssystem
  • z.B. Prolog-Programm
  • seit etwa 10 Jahren als SemanticWeb-Ontologie

Spezialgesetze (ebenfalls "Formeln"; werden zu K hinzugemischt.)

• erweitern den Kern K
• speziell ausgewählt je nach Anwendungsbereich I

Menge der intendierten Anwendungen I

• der sogenannte "Anwendungsbereich"
• kann immer nur sprachlich vermittelt sein

Querverbindungen

• Bezüge zu anderen Theorien T2..Tn