Metalogic: Quick Facts

Written and fact-checked by

The Information Architects of Encyclopaedia Britannica

Photos

See All Images →

Topics

model theory recursion theory Linguistics metalogical variable consistency inconsistency Semantics Logical positivism Semiotics Formal system Formal logic Applied logic fuzzy logic Predicate calculus Modal logic Propositional calculus Mereology Many-valued logic History of logic Modern logic

Dig Deeper: More Articles That Discuss This Topic