display all the ideas for this combination of texts
3 ideas
| 3809 | If complex logic requires rules, then so does basic logic [Searle] |
| Full Idea: If you think you need a rule to infer q from 'p and (if p then q)', then you would also need a rule to infer p from p. | |
| From: John Searle (Rationality in Action [2001], Ch.1.II) |
| 11115 | 'All horses' either picks out the horses, or the things which are horses [Jubien] |
| Full Idea: Two ways to see 'all horses are animals' are as picking out all the horses (so that it is a 'horse-quantifier'), ..or as ranging over lots of things in addition to horses, with 'horses' then restricting the things to those that satisfy 'is a horse'. | |
| From: Michael Jubien (Analyzing Modality [2007], 2) | |
| A reaction: Jubien says this gives you two different metaphysical views, of a world of horses etc., or a world of things which 'are horses'. I vote for the first one, as the second seems to invoke an implausible categorical property ('being a horse'). Cf Idea 11116. |
| 3810 | In real reasoning semantics gives validity, not syntax [Searle] |
| Full Idea: In real-life reasoning it is the semantic content that guarantees the validity of the inference, not the syntactical rule. | |
| From: John Searle (Rationality in Action [2001], Ch.1.II) |