Concept
Metatheory

Overview
A metatheory or meta-theory is a theory whose subject matter is another theory. Analyses or descriptions of an existing theory would be considered meta-theories. For mathematics and mathematical logic, a metatheory is a mathematical theory about another mathematical theory. Meta-theoretical investigations are part of the philosophy of science. The topic of metascience is an attempt to use scientific knowledge to improve the practice of science itself.
The study of metatheory became widespread during the 20th century after its application to various topics, including scientific linguistics and its concept of metalanguage.
Overview adapted from Wikipedia (CC BY-SA 4.0; see the article history for authors).
Related ideas
- Evidence-based medicine
- Formal language
- Germany
- Argument
- Philosophy
- Interpretation (logic)
- Kurt Gödel
- Proof theory
- Sociology
- Mathematics
- Mathematician
- Mathematical logic
- Internet Encyclopedia of Philosophy
- Model theory
- Validity (logic)
- Linguistics
- Science
- Soundness
- Self-reference
- Theory
- Completeness (logic)
- Philosophy of science
- Formal system
- Metalanguage
Place in the tradition
Part of Meta-ontology.