## 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 |
---|---|---|---|

Alfred Tarski on Conditional - Dictionary of Arguments Berka I 405f Conclusion/Entailment/Formal/Everyday Language/Tarski: the formal conclusion does not coincide with the everyday language one. E.g. A0: 0 has the given property P A1: 1 has the given property P, etc. An: n has the given property P - with normal rules of inference it is impossible to prove the following proposition with this: A: Every natural number has the given property P - Solution: new rule of inference: infinite induction. Problem: infiniteness. Solution: provability rather than actual evidence. >Provability, >Proofs. Berka I 407 Inference/Entailment/Gödel: Problem: statements can be constructed that follow in the usual sense from the sentences of a theory, but which cannot be proven with the rules of inference. Berka I 409 Def Logical Conclusion/Tarski: the statement X logically follows from the statements of the class K iff. each model of class K is at the same time a model of the statement X. I 410 Def of the logical conclusion has to do with the division into logical and extra-logical concepts - which is arbitrary. ^{(1)}Cf. >Extensional language, >Extensions, >Extensionality, >Formalization, >Everyday language. 1. A.Tarski, „Über den Begriff der logischen Folgerung“, in: Actes du Congrès International de Philosophie Scientifique, Paris 1935, Bd. VII, ASI 394, Paris 1936, pp 1-11 _____________ 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. |
Tarski I A. Tarski Logic, Semantics, Metamathematics: Papers from 1923-38 Indianapolis 1983 Berka I Karel Berka Lothar Kreiser Logik Texte Berlin 1983 |

> Counter arguments against **Tarski**

> Counter arguments in relation to **Conditional**