Metalogic
Metalogics is a fundamental philosophical discipline that deals with the requirements and foundations of logic .
It's not just about the semantic justification of about truth value - tables by logic calculi , but especially to a formal theory of set theory and a model theory .
literature
- G. Hunter, Metalogic. Berkeley / Los Angeles 1971 1973²
- Ludwik Borkowski, Formal Logic. Logical systems, introduction to metalogics, CH Beck Verlag, ISBN 3-406-06802-2
Web links
- Stephen Wolfram : 'Logic, Explainability and the Future of Understanding'. Stephen Wolfram's blog