Combining Texts

Ideas for 'fragments/reports', 'Logicism and Ontological Commits. of Arithmetic' and 'Thinking About Mechanisms'

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 / 2. Excluded Middle

6023	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.

5. Theory of Logic / D. Assumptions for Logic / 4. Identity in Logic

10011	Identity is a level one relation with a second-order definition [Hodes]
	Full Idea: Identity should he considered a logical notion only because it is the tip of a second-order iceberg - a level 1 relation with a pure second-order definition.
	From: Harold Hodes (Logicism and Ontological Commits. of Arithmetic [1984])