display all the ideas for this combination of texts
2 ideas
19237 | Deduction is true when the premises facts necessarily make the conclusion fact true [Peirce] |
Full Idea: The question of whether a deductive argument is true or not is simply the question whether or not the facts stated in the premises could be true in any sort of universe no matter what be true without the fact stated in the conclusion being true likewise. | |
From: Charles Sanders Peirce (Reasoning and the Logic of Things [1898], III) | |
A reaction: A remarkably modern account, fitting the normal modern view of semantic consequence, and expressing the necessity in the validity in terms of something close to possible worlds. |
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. |