display all the ideas for this combination of texts
2 ideas
22154 | For Aristotle bivalence is a feature of reality [Aristotle, by Boulter] |
Full Idea: For Aristotle the principle of bivalence is primarily a principle of metaphysics, not logic. It applies to entities in the real order first, and to propositions in the rational order second. | |
From: report of Aristotle (Metaphysics [c.324 BCE]) by Stephen Boulter - Why Medieval Philosophy Matters 5 | |
A reaction: This is because nothing is vague. Boulter says this is also the case with non-contradiction. I like this idea very much. I reject the Fregean picture of the autonomy of the rational order. Logic is powerful because it reflects reality. |
8195 | Undecidable statements result from quantifying over infinites, subjunctive conditionals, and the past tense [Dummett] |
Full Idea: I once wrote that there are three linguistic devices that make it possible for us to frame undecidable statements: quantification over infinity totalities, as expressed by word such as 'never'; the subjunctive conditional form; and the past tense. | |
From: Michael Dummett (Truth and the Past [2001], 4) | |
A reaction: Dummett now repudiates the third one. Statements containing vague concepts also appear to be undecidable. Personally I have no problems with deciding (to a fair extent) about 'never x', and 'if x were true', and 'it was x'. |