Psychology Dictionary of Arguments

Home Screenshot Tabelle Begriffe

 
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


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

Authors A   B   C   D   E   F   G   H   I   J   K   L   M   N   O   P   Q   R   S   T   U   V   W   Z  


Concepts A   B   C   D   E   F   G   H   I   J   K   L   M   N   O   P   Q   R   S   T   U   V   W   Y   Z