Philosophy Lexicon of Arguments

Search  
 
Author Item Excerpt Meta data
Mates, Benson
 
Books on Amazon
Consistency I 234
Consistency/Mates: can be doubly checked: a) semantically: by specifying an interpretation in which all axioms are true - b) syntactically: by showing without referring to an interpretation that there is no statement j such that both j and ~j can be derived from the axioms

Mate I
B. Mates
Elementare Logik Göttingen 1969

Mate II
B. Mates
0226509869 1981


> Counter arguments against Mates
> Counter arguments in relation to Consistency



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