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    More concepts for author
Field, Hartry Proof Theory   Field, Hartry
Hilbert, D. Proof Theory   Hilbert, D.
Logic Texts Proof Theory   Logic Texts
McDowell, John Proof Theory   McDowell, John


Ed. Martin Schulz, access date 2017-04-28