Concept

Metalogic

Overview

study of the properties of logical systems

Overview adapted from Wikipedia (CC BY-SA 4.0; see the article history for authors).

Philosophers who discussed Metalogic

• Willard Van Orman Quine
• Edmund Husserl

Related ideas

• Formal language
• First-order logic
• Gödel's completeness theorem
• Argument
• Interpretation (logic)
• Type–token distinction
• Truth value
• Foundations of mathematics
• Formal grammar
• Propositional logic
• Proof theory
• Mathematical logic
• Model theory
• Reference
• Validity (logic)
• Natural number
• Power set
• Symbol (formal)
• Sense and reference
• Rule of inference
• Sequent calculus
• Set (mathematics)
• Soundness
• Semantics

Opposing perspectives

• Logic translation

Place in the tradition

Part of Outline of philosophy.

Narrower topics:

• Cantor's diagonal argument
• Cantor's theorem
• Monadic predicate calculus

Explore Metalogic in the interactive graph →