|Multi-valued logic: a logic that assumes more than the two classical truth values true and false. There are trivalent logics with possibility or indeterminacy as a third value. For tetravalent logics there are e.g. ¼ or ¾ as additional values that introduce a gradation in the rating. In the case of infinite-valued logics, the truth values can be interpreted as probability values._____________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. |
Three-valued logic/Kleene/Field: Def correct/Kleene: an assertion is correct only if it has the highest of the three truth values.
Field: Problem: not all of Tarski’s biconditionals remain correct. Even E.g. "If A, then A" is not generally assertible. Therefore, the Kleene logic is weak. - "If A then A" is not generally assertible -> Restall: "n-fold jump" ... + ...
Material conditional/Three-valued logic/Kleene/Field: the materal conditional is a conditional that has one of the two highest truth values. - So the Curry paradox is impossible: "If this statement is true, then p"._____________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.
Realism, Mathematics and Modality Oxford New York 1989
Truth and the Absence of Fact Oxford New York 2001
Science without numbers Princeton New Jersey 1980