Statements (50)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:scientific_theory
gptkb:philosophy |
| gptkbp:analyzes |
Properties of theories
Structure of theories |
| gptkbp:appliesTo |
Formal systems
Axiomatic systems Logical systems Mathematical theories Scientific theories |
| gptkbp:contrastsWith |
Object theory
|
| gptkbp:mayInclude |
Independence
Translations Completeness Consistency Interpretations Interpretability Categoricity Expressiveness Soundness Decidability Meta-axioms Meta-languages Meta-logic Meta-mathematics Meta-properties Meta-rules Meta-structures Meta-theorems Model existence Proof-theoretic strength Relative consistency Semantic properties Syntactic properties |
| gptkbp:originatedIn |
20th century
|
| gptkbp:purpose |
To provide a framework for analyzing other theories
|
| gptkbp:relatedTo |
Metamathematics
Model theory Proof theory Philosophy of science Metalanguage Metalogic |
| gptkbp:studies |
Theories
|
| gptkbp:used_in |
gptkb:Linguistics
gptkb:Mathematics gptkb:logic gptkb:philosophy Computer science |
| gptkbp:bfsParent |
gptkb:Kevin_Lin
|
| gptkbp:bfsLayer |
8
|
| https://www.w3.org/2000/01/rdf-schema#label |
Metatheory
|