## 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 | Summary | Meta data |
---|---|---|---|

Books on Amazon | 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. _____________ Explanation of symbols: Roman numerals indicate the source, arabic numerals indicate the page number. The corresponding books are indicated on the right hand side. ((s)…): Comment by the sender of the contribution. |
MD I J. McDowell Geist und Welt Frankfurt 2001 |

> Counter arguments against **McDowell**

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

Ed. Martin Schulz, access date 2018-05-23