display all the ideas for this combination of texts
5 ideas
| 8078 | Modus ponens is one of five inference rules identified by the Stoics [Chrysippus, by Devlin] |
| Full Idea: Modus ponens is just one of the five different inference rules identified by the Stoics. | |
| From: report of Chrysippus (fragments/reports [c.240 BCE]) by Keith Devlin - Goodbye Descartes Ch.2 | |
| A reaction: Modus ponens strikes me as being more like a definition of implication than a 'rule'. Implication is what gets you from one truth to another. All the implications of a truth must also be true. |
| 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. |
| 13449 | We could have unrestricted quantification without having an all-inclusive domain [Rayo/Uzquiano] |
| Full Idea: The possibility of unrestricted quantification does not immediately presuppose the existence of an all-inclusive domain. One could deny an all-inclusive domain but grant that some quantifications are sometimes unrestricted. | |
| From: Rayo,A/Uzquiasno,G (Introduction to 'Absolute Generality' [2006], 1.1) | |
| A reaction: Thus you can quantify over anything you like, but only from what is available. Eat what you like (in this restaurant). |
| 13450 | Absolute generality is impossible, if there are indefinitely extensible concepts like sets and ordinals [Rayo/Uzquiano] |
| Full Idea: There are doubts about whether absolute generality is possible, if there are certain concepts which are indefinitely extensible, lacking definite extensions, and yielding an ever more inclusive hierarchy. Sets and ordinals are paradigm cases. | |
| From: Rayo,A/Uzquiasno,G (Introduction to 'Absolute Generality' [2006], 1.2.1) |
| 13453 | Perhaps second-order quantifications cover concepts of objects, rather than plain objects [Rayo/Uzquiano] |
| Full Idea: If one thought of second-order quantification as quantification over first-level Fregean concepts [note: one under which only objects fall], talk of domains might be regimented as talk of first-level concepts, which are not objects. | |
| From: Rayo,A/Uzquiasno,G (Introduction to 'Absolute Generality' [2006], 1.2.2) | |
| A reaction: That is (I take it), don't quantify over objects, but quantify over concepts, but only those under which known objects fall. One might thus achieve naïve comprehension without paradoxes. Sound like fun. |