Combining Texts

Ideas for 'fragments/reports', 'Russell's Metaphysical Logic' and 'Metaphysics'

unexpand these ideas     |    start again     |     choose another area for these texts

display all the ideas for this combination of texts


2 ideas

5. Theory of Logic / D. Assumptions for Logic / 1. Bivalence
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.
5. Theory of Logic / D. Assumptions for Logic / 2. Excluded Middle
Every proposition is either true or false [Chrysippus, by Cicero]
     Full Idea: We hold fast to the position, defended by Chrysippus, that every proposition is either true or false.
     From: report of Chrysippus (fragments/reports [c.240 BCE]) by M. Tullius Cicero - On Fate ('De fato') 38
     A reaction: I am intrigued to know exactly how you defend this claim. It may depend what you mean by a proposition. A badly expressed proposition may have indeterminate truth, quite apart from the vague, the undecidable etc.