## 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. | |||

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