Economics 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 |
---|---|---|---|
H. Wessel on Conditional - Dictionary of Arguments
I 124 Entailment/Wessel: = implication (not an operator, but a predicate). >paradoxes, because content can be contradictory, even if the form is valid. Conditional: (e.g. scientific statement) would be false for the same reason (because the content does not form a context). I 138 Logical Entailment/Wessel: statement about the context (of two statements), not about two objects. - in the rules of entailments no semantic terms must occur - tA: "the statement A" (term or name) - I 140 Entailment/Sense/Wessel: If A I- B, then not only with regard to the truth value, but also in terms of sense. - But not merely assertion that "linked by sense". Context is guaranteed by occurrence of the same variables or the "same material of terms and statements. >Content, >Material conditional. I 286 Use/Mention: logical entailment: A I- B: talks about statements (i.e. precisely not content). Conditional: A -> B: talks about content and about what is being talked about in the statements (e.g. current, magnetic field). "A is true" - precisely does not mean "the current flows". I 279 Conditional/Wessel (s): empirical if-then, no logical necessity conditional operator I- not truth-functional. >Operators, >Truth functions. I 283 Conditional/Wessel: e.g. from empirical studies, from statements about entailment, from axioms, from definitions, from other statements according to rules of inference. I 294 Conclusions on the conditional cannot be made from a conjunction (empirical) - E.g. Potsdam >100,000 inhabitants and state capital, i.e. if P >.... false. I 297 Conditional/Wessel: subjunction follows from a conditional statement. - ((s) but not vice versa.) I 308 Existence Load/Wessel: cannot be determined like this in conditionals, because not truth-functional._____________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. |
Wessel I H. Wessel Logik Berlin 1999 |