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

McDowell, John Books on Amazon |
Proof Theory | ad HC I 119 Validity/Propositional Calculus: truth tables are not sufficient for an evaluation of formulas in the propositional calculus - because we cannot assign specific individual variable and predicate variables. |
MD I J. McDowell Geist und Welt Frankfurt 2001 |

> Counter arguments against **McDowell**

> Suggest your own contribution | > Suggest a correction | > Export as BibTeX file

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