Metalogik
aus Wikipedia, der freien Enzyklopädie
Metalogik ist eine Grundlagendisziplin, in der es um Forschungen und Theorien über die Logik geht.
Es geht dabei nicht nur um die semantische Rechtfertigung etwa von Wahrheitswert-Tabellen durch Logikkalküle, sondern besonders um eine formalisierte Theorie der Mengenlehre und um eine Modelltheorie.
[Bearbeiten] Literatur
- G. Hunter, Metalogic. Berkeley/Los Angeles 1971 1973²