Statements (50)
Predicate | Object |
---|---|
gptkbp:instanceOf |
gptkb:philosophy
scientific theory |
gptkbp:analyzes |
Properties of theories
Structure of theories |
gptkbp:appliesTo |
Formal systems
Axiomatic systems Logical systems Mathematical theories Scientific theories |
gptkbp:contrastsWith |
Object theory
|
https://www.w3.org/2000/01/rdf-schema#label |
Metatheory
|
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 |
7
|