Philosophy Lexicon of Arguments

Search  
 
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



back to list view | > Suggest your own contribution | > Suggest a correction
 
Ed. Martin Schulz, access date 2017-03-28