## Philosophy Lexicon of Arguments | |||

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