Dictionary of Arguments  
 
Model Theory: The model theory investigates whether an axiom system is fulfilled and thus provides one (or more) models. Model theory belongs to the semantics because it uses the concept of truth, while the proof theory belongs to the domain of syntax by asking for the existence of finite character string (of proofs). One problem is the exclusion of unintended models. _____________ Annotation: The above characterizations of concepts are neither definitions nor exhausting presentations of problems related to them. Instead, they are intended to give a short introduction to the contributions below. – Lexicon of Arguments.  
Author  Item  More concepts for author  

Field, Hartry  Model Theory  Field, Hartry  
Hintikka, Jaakko  Model Theory  Hintikka, Jaakko  
Rorty, Richard  Model Theory  Rorty, Richard  
