Philosophy Dictionary of Arguments  
 
Proof Theory: mathematics, logic is about the existence or nonexistence of finite strings of symbols allowing to derive a statement. Therefore, proof theory is a part of the syntax, as opposed to the model theory, which belongs to the semantics. See also model theory, syntax, semantics. _____________ 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  Proof Theory  Field, Hartry  
Hilbert, David  Proof Theory  Hilbert, David  
Logic Texts  Proof Theory  Logic Texts  
McDowell, John  Proof Theory  McDowell, John  
