Looking for more wisdom about philosophy?
Imagine Britannica's 32-volume encyclopedia online right there for you, plus full access to articles. Amazing content, written by world experts, that you can cite for projects and assignments.
Study of the syntax and the semantics of formal languages and formal systems. It is related to, but does not include, the formal treatment of natural languages (e.g., English, Russian, etc.). Metalogic has led to a great deal of work of a mathematical nature in axiomatic set theory, model theory, and recursion theory (in which functions that are computable in a finite number of steps are studied).
Find more information on metalogic. Upgrade to Britannica Online for more on metalogic.