Psychology Dictionary of ArgumentsHome | |||
| |||
Conditional: A conditional in logic is a statement that asserts a relationship between two propositions, typically in an "if-then" format. It states that if the antecedent is true, then the consequent must also be true. In contrast to (purely formal) implication, the conditional refers to the content of the propositions. See also Implication._____________Annotation: The above characterizations of concepts are neither definitions nor exhausting presentations of problems related to them. Instead, they are intended to give a short introduction to the contributions below. – Lexicon of Arguments. | |||
Author | Concept | Summary/Quotes | Sources |
---|---|---|---|
Benson Mates on Conditional - Dictionary of Arguments
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._____________Explanation of symbols: Roman numerals indicate the source, arabic numerals indicate the page number. The corresponding books are indicated on the right hand side. ((s)…): Comment by the sender of the contribution. Translations: Dictionary of Arguments The note [Concept/Author], [Author1]Vs[Author2] or [Author]Vs[term] resp. "problem:"/"solution:", "old:"/"new:" and "thesis:" is an addition from the Dictionary of Arguments. If a German edition is specified, the page numbers refer to this edition. |
Mate I B. Mates Elementare Logik Göttingen 1969 Mate II B. Mates Skeptical Essays Chicago 1981 |