@misc{Lexicon of Arguments,
title = {Quotation from: Lexicon of Arguments – Concepts - Ed. Martin Schulz, 29 Mar 2024},
author = {Mates,Benson},
subject = {Conditional},
note = {I 71
Def Inference/Mates: exists when the associated subjunction (Ante/Suc) is valid.
>Validity.
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.
>Interpretation.
Def Consistent: is a set G of statements if there is an interpretation where no statements of G are true. (Here, consistency = satisfiable)
>Consistency, >Contradictions, >Satisfaction, >Satisfiability.
Def satisfiability: a set G of statements is satisfiable if there is an interpretation in which all statements of G are true (= consistent).
>Truth.
Problem: this does not enable us to decide whether a statement is valid, which is an inference, or what a consistent set is.
>Decidability/Mates, >Decidability.},
note = { Mate I B. Mates Elementare Logik Göttingen 1969 Mate II B. Mates Skeptical Essays Chicago 1981
},
file = {http://philosophy-science-humanities-controversies.com/listview-details.php?id=239922}
url = {http://philosophy-science-humanities-controversies.com/listview-details.php?id=239922}
}