|Law of the Excluded Middle: an assertion is either true or false. "There is no third possibility."See also bivalence, anti-realism, multivalued logic._____________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. |
Similarity metric/the conditionally excluded middle/Read: the conditionally excluded middle: one or the other member of a pair of conditional sentences must be true. - That equals the assumption that there is always a single most similar world. - Stalnaker pro - LewisVsStalnaker: e.g. Bizet/Verdi: all combinations are wrong - Stalnaker: instead of the only similar one at least one similar - LewisVs: The amount of the possible worlds in the Lewis 2 m + e is large, whereby e decreases suitably; it has no limit. - Solution/Lewis: instead of the selection function: similarity relation: he proposes that "if A, then B" is then true in w if there is either no "A or non-B" world, or some "A" and "B" world that is more similar than any "A and non-B" world.
Verdi-Example: where there is no unique, most similar world, the "would" condition sentences are false because there is no similar world for any of the most appropriate similar worlds in which they are fellow country men, in which Bizet has a different nationality. - Example: if you get an A, you will receive a scholarship: will be true if there is a more similar world in which you get both for each world in which you get an A and not a scholarship. - ((s) without conditional sentence of the excluded middle).
Sentence of the excluded middle/SaD/Constructivism/Read: Constructivists often present so-called "weak counterexamples" against the excluded middle - if a is a real number, "a = 0" is not decidable. Consequently, the constructivist cannot claim that all real numbers are either identical to zero or not. - But this is more of a question of representation._____________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.
Me I Albert Menne Folgerichtig Denken Darmstadt 1988
HH II Hoyningen-Huene Formale Logik, Stuttgart 1998
Re III Stephen Read Philosophie der Logik Hamburg 1997
Sal IV Wesley C. Salmon Logik Stuttgart 1983
Sai V R.M.Sainsbury Paradoxien Stuttgart 2001