Metatheorie
Dieser Artikel erfüllt die GlossarWiki-Qualitätsanforderungen nur teilweise:
| Korrektheit: 4 (großteils überprüft) |
Umfang: 1 (zu gering) |
Quellenangaben: 5 (vollständig vorhanden) |
Quellenarten: 5 (ausgezeichnet) |
Konformität: 5 (ausgezeichnet) |
Ein formales System, wie z. B. eine mathematische Theorie oder auch eine Programmiersprache, kann weder definiert werden, noch können Eigenschaften dieses Systems gezeigt werden, wenn nicht ein formales oder auch informelles Metasystem existiert, mit dessen Hilfe dies geschieht.
Mathematiker behelfen sich, indem sie zunächst eine möglichst einfache und plausible Metatheorie festlegen, mit deren Hilfe sie ein erstes mathematisches System definieren. Sie zeigen dann Eigenschaften dieses Systems und können in einem nächsten Schritt eine komplexere Metatheorie als gegeben absehen, mit deren Hilfe sie weitere, komplexere Systeme forml definieren können. Etc. pp.
Informatiker gehen bei der Definition von Programmiersprachen und der Implementierung zugehöriger Compiler im Prinzip genauso vor. Dieses Verfahren wird Bootstraping genannt.
Definition (Duden – Das Fremdwörterbuch (2001))[1]
Metatheorie: wissenschaftliche Theorie, die ihrerseits eine Theorie zum Gegenstand hat; vgl. Metasprache
Definition (Gulbrecht, Oberschelp, Todt (1983, S. 30))[2]
Um unsere logischen Systeme zu entwickeln, brauchen wir eine Theorie, die wir inhaltlich bereits voraussetzen. Wir nennen diese die Metatheorie.
Die Methatheorien der Klassenlogiken
Quellen
- ↑ Duden Band 5 (2001): Duden – Das Fremdwörterbuch; Band: 5; Auflage: 7; Verlag: Bibliographisches Institut & F.A. Brockhaus AG; Adresse: Mannheim; ISBN: 3411040572; 2001; Quellengüte: 5 (Buch)
- ↑
