display all the ideas for this combination of texts
2 ideas
| 13979 | Logic studies consequence, compatibility, contradiction, corroboration, necessitation, grounding.... [Ryle] |
| Full Idea: Logic studies the way in which one thing follows from another, in which one thing is compatible with another, contradicts, corroborates or necessitates another, is a special case of another or the nerve of another. And so on. | |
| From: Gilbert Ryle (Are there propositions? [1930], IV) | |
| A reaction: I presume that 'and so on' would include how one thing proves another. This is quite a nice list, which makes me think a little more widely about the nature of logic (rather than just about inference). Incompatibility isn't a process. |
| 21597 | Logical connectives have the highest precision, yet are infected by the vagueness of true and false [Russell, by Williamson] |
| Full Idea: Russell says the best chance of avoiding vagueness are the logical connectives. ...But the vagueness of 'true' and 'false' infects the logical connectives too. All words are vague. Russell concludes that all language is vague. | |
| From: report of Bertrand Russell (Vagueness [1923]) by Timothy Williamson - Vagueness 2.4 | |
| A reaction: This relies on the logical connectives being defined semantically, in terms of T and F, but that is standard. Presumably the formal uninterpreted syntax is not vague. |