Philosophy Lexicon 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, D. Proof Theory   Hilbert, D.
Logic Texts Proof Theory   Logic Texts
McDowell, John Proof Theory   McDowell, John

Ed. Martin Schulz, access date 2017-06-29