Philosophy Dictionary of ArgumentsHome | |||
| |||
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. | |||
Author | Concept | Summary/Quotes | Sources |
---|---|---|---|
W.V.O. Quine on Excluded Middle - Dictionary of Arguments
XIII 55 Sentence of the Excluded Middle/excluded middle/Quine: Thesis: each sentence is either true or false. You can say a lot about that, pro and contra. Set Theory/Quine: 1. Much in it does not satisfy most standards of intuitionism, i.e. it is assumed that it is neither true nor false (without truth value). This leads from classical logic to intuitionism. >Set Theory/Quine. QuineVsDummett/QuineVsAnti-Realism: the requirement that there must be direct evidence for or against an assertion, but it also obscures the clarity and simplicity of the sciences. QuineVsIntuitionism: is obscure, especially when extended to mathematics. Bivalence/Logic/Quine: the bivalence with the Sentence of the Excluded Middle is the minimal, most streamlined thing that logic has to offer. It comes from the number two, the smallest and simplest number rising from the ground. Assertiveness/Truth/QuineVsIntuitionism: assertiveness is one thing, truth another. XIII 56 Realism/Quine: pro: some truths can be found out, others not. N.B.: then we are also free to call the rest of the (undetectable) sentences false. Future/Sentence of the Excluded Middle/VsSentence of the Excluded Middle/Bivalence/Quine: 3. The Sentence of the Excluded Middle has also come under fire from another side: Thesis: Contingents of predictions are neither true nor false. (See future/Quine). VsSentence of the Excluded Middle/Quine: a further objection is: non-designating terms such as e.g. Pegasus: sentences containing such terms are neither true nor false. Empty singular terms/Quine: we can accept this for everyday language, but not in science or logic. (See singular terms). Vagueness/VsSentence of the Excluded Middle/Sorites/Quine: 4. Objection: vague expressions: here again I would plead for a double standard: in logic we simply want to proceed in such a way that we assume that all expressions are precise. Determination/Quine: we can even introduce an additional convention. XIII 57 Sorites/Quine: we save the mathematical (complete) induction by setting exact limits for what a heap is. Even if we do not specify where it goes! Sentence of the Excluded Middle/Quine: pro: the first two objections are ignored, the other two are overcome by a double standard. Proposition/Sentence of the Excluded Middle/Quine: some authors resort to propositions to explain. Thesis: The lack would concern sentences, but not the corresponding propositions. QuineVsPropositions: this is an empty game with words (see >truth). Sentence of the Excluded Middle/Quine: is not a fact of life, but a norm that governs efficient logical regimentation._____________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. |
Quine I W.V.O. Quine Word and Object, Cambridge/MA 1960 German Edition: Wort und Gegenstand Stuttgart 1980 Quine II W.V.O. Quine Theories and Things, Cambridge/MA 1986 German Edition: Theorien und Dinge Frankfurt 1985 Quine III W.V.O. Quine Methods of Logic, 4th edition Cambridge/MA 1982 German Edition: Grundzüge der Logik Frankfurt 1978 Quine V W.V.O. Quine The Roots of Reference, La Salle/Illinois 1974 German Edition: Die Wurzeln der Referenz Frankfurt 1989 Quine VI W.V.O. Quine Pursuit of Truth, Cambridge/MA 1992 German Edition: Unterwegs zur Wahrheit Paderborn 1995 Quine VII W.V.O. Quine From a logical point of view Cambridge, Mass. 1953 Quine VII (a) W. V. A. Quine On what there is In From a Logical Point of View, , Cambridge, MA 1953 Quine VII (b) W. V. A. Quine Two dogmas of empiricism In From a Logical Point of View, , Cambridge, MA 1953 Quine VII (c) W. V. A. Quine The problem of meaning in linguistics In From a Logical Point of View, , Cambridge, MA 1953 Quine VII (d) W. V. A. Quine Identity, ostension and hypostasis In From a Logical Point of View, , Cambridge, MA 1953 Quine VII (e) W. V. A. Quine New foundations for mathematical logic In From a Logical Point of View, , Cambridge, MA 1953 Quine VII (f) W. V. A. Quine Logic and the reification of universals In From a Logical Point of View, , Cambridge, MA 1953 Quine VII (g) W. V. A. Quine Notes on the theory of reference In From a Logical Point of View, , Cambridge, MA 1953 Quine VII (h) W. V. A. Quine Reference and modality In From a Logical Point of View, , Cambridge, MA 1953 Quine VII (i) W. V. A. Quine Meaning and existential inference In From a Logical Point of View, , Cambridge, MA 1953 Quine VIII W.V.O. Quine Designation and Existence, in: The Journal of Philosophy 36 (1939) German Edition: Bezeichnung und Referenz In Zur Philosophie der idealen Sprache, J. Sinnreich (Hg), München 1982 Quine IX W.V.O. Quine Set Theory and its Logic, Cambridge/MA 1963 German Edition: Mengenlehre und ihre Logik Wiesbaden 1967 Quine X W.V.O. Quine The Philosophy of Logic, Cambridge/MA 1970, 1986 German Edition: Philosophie der Logik Bamberg 2005 Quine XII W.V.O. Quine Ontological Relativity and Other Essays, New York 1969 German Edition: Ontologische Relativität Frankfurt 2003 Quine XIII Willard Van Orman Quine Quiddities Cambridge/London 1987 |