Metatheory

GPTKB entity

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