Philosophy Lexicon of Arguments

Search  
 
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.
 
Author Item Excerpt Meta data
Logic Texts
 
Books on Amazon
Proof Theory Hoyningen-Huene II 257ff
Proof Theory / Hoyningen-Huene: here the abstraction trend is driven even further than with the model theory - to define the metalogical terms we abstract from the meaning of the connectives - The procedure is purely syntactic - a calculus is nothing more than a system of production rules for printing images. > Uninterpreted formal system - the calculi differ in their use of the operators.
Logic Texts
Me I Albert Menne Folgerichtig Denken Darmstadt 1988
HH II Hoyningen-Huene Formale Logik, Stuttgart 1998
Re III Stephen Read Philosophie der Logik Hamburg 1997
Sal IV Wesley C. Salmon Logik Stuttgart 1983
Sai V R.M.Sainsbury Paradoxien Stuttgart 2001




> Suggest your own contribution | > Suggest a correction | > Export as BibTeX file
 
Ed. Martin Schulz, access date 2017-04-26