display all the ideas for this combination of texts
3 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. |
16967 | 'Are Coriscus and Callias at home?' sounds like a single question, but it isn't [Aristotle] |
Full Idea: If you ask 'Are Coriscus and Callias at home or not at home?', whether they are both at home or not there, the number of propositions is more than one. For if the answer is true, it does not follow that the question is a single one. | |
From: Aristotle (Sophistical Refutations [c.331 BCE], 176a08) | |
A reaction: [compressed] Aristotle is saying that some questions should not receive a 'yes' or 'no' answer, because they are equivocal. Arthur Prior cites this passage, on 'and'. Ordinary use of 'and' need not be the logical use of 'and'. |