Philosophy Lexicon of Arguments

Search  
 
Author Item Excerpt Meta data
Mates, Benson
 
Books on Amazon
Conditional I 71
Def Inference/Mates: exists when the associated subjunction (Ante/Suc) is valid.
I 84
Def Inference/Mates: is a statement j of a set G of statements, iff there is no interpretation where all statements of G are true and j is false.
Def Consistent: is a set G of statements if there is an interpretation where no statements of G are true. (Here, consistency = satisfiable) - Def satisfiability: a set G of statements is satisfiable if there is an interpretation in which all statements of G are true (= consistent).
Problem: this does not enable us to decide whether a statement is valid, which is an inference, or what a consistent set is.

Mate I
B. Mates
Elementare Logik Göttingen 1969

Mate II
B. Mates
0226509869 1981


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



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