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

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.

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 2017-05-25