from Wikipedia, the free encyclopedia

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 .


  • 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

See also