Philosophy Lexicon of Arguments

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

> Suggest your own contribution | > Suggest a correction | > Export as BibTeX file
Ed. Martin Schulz, access date 2017-04-23