display all the ideas for this combination of texts
4 ideas
| 10691 | Logical consequence needs either proofs, or absence of counterexamples [Beall/Restall] |
| Full Idea: Technical work on logical consequence has either focused on proofs, where validity is the existence of a proof of the conclusions from the premises, or on models, which focus on the absence of counterexamples. | |
| From: JC Beall / G Restall (Logical Consequence [2005], 3) |
| 10695 | Logical consequence is either necessary truth preservation, or preservation based on interpretation [Beall/Restall] |
| Full Idea: Two different views of logical consequence are necessary truth-preservation (based on modelling possible worlds; favoured by Realists), or truth-preservation based on the meanings of the logical vocabulary (differing in various models; for Anti-Realists). | |
| From: JC Beall / G Restall (Logical Consequence [2005], 2) | |
| A reaction: Thus Dummett prefers the second view, because the law of excluded middle is optional. My instincts are with the first one. |
| 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. |
| 10689 | A step is a 'material consequence' if we need contents as well as form [Beall/Restall] |
| Full Idea: A logical step is a 'material consequence' and not a formal one, if we need the contents as well as the structure or form. | |
| From: JC Beall / G Restall (Logical Consequence [2005], 2) |