display all the ideas for this combination of texts
1 idea
| 14185 | Conditionals are just a shorthand for some proof, leaving out the details [Read] |
| Full Idea: Truth enables us to carry various reports around under certain descriptions ('what Iain said') without all the bothersome detail. Similarly, conditionals enable us to transmit a record of proof without its detail. | |
| From: Stephen Read (Formal and Material Consequence [1994], 'Repres') | |
| A reaction: This is his proposed Redundancy Theory of conditionals. It grows out of the problem with Modus Ponens mentioned in Idea 14184. To say that there is always an implied 'proof' seems a large claim. |