4 ideas
| 10051 | The axiom of infinity is not a truth of logic, and its adoption is an abandonment of logicism [Kneale,W and M] |
| Full Idea: There is something profoundly unsatisfactory about the axiom of infinity. It cannot be described as a truth of logic in any reasonable use of that phrase, and so the introduction of it as a primitive proposition amounts to the abandonment of logicism. | |
| From: W Kneale / M Kneale (The Development of Logic [1962], XI.2) | |
| A reaction: It seems that the axiom is essentially empirical, and it certainly makes an existential claim which seems to me (intuitively) to have nothing to do with logic at all. |
| 14288 | 'If A,B' affirms that A⊃B, and also that this wouldn't change if A were certain [Jackson, by Edgington] |
| Full Idea: According to Jackson, in asserting 'If A,B' the speaker expresses his belief that A⊃B, and also indicates that this belief is 'robust' with respect to the antecedent A - the speaker would not abandon A⊃B if he were to learn that A. | |
| From: report of Frank Jackson (On Assertion and Indicative Conditionals [1979]) by Dorothy Edgington - Conditionals (Stanf) 4.2 | |
| A reaction: The point is that you must not believe A⊃B solely on the dubious grounds of ¬A. This is 'to ensure an assertable conditional is fit for modus ponens' - that is, that you really will affirm B when you learn that A is true. Nice idea. |
| 13769 | Conditionals are truth-functional, but should only be asserted when they are confident [Jackson, by Edgington] |
| Full Idea: Jackson holds that conditionals are truth-functional, but are governed by rules of assertability, rather like 'but' compared to 'and'. The belief must be 'robust' - the speaker would not abandon his belief that A⊃B if he were to learn that A. | |
| From: report of Frank Jackson (On Assertion and Indicative Conditionals [1979]) by Dorothy Edgington - Conditionals 17.3.2 | |
| A reaction: This seems to spell out more precisely the pragmatic approach to conditionals pioneered by Grice, in Idea 13767. The idea is make conditionals 'fit for modus ponens'. They mustn't just be based on a belief that ¬A. |
| 7903 | The six perfections are giving, morality, patience, vigour, meditation, and wisdom [Nagarjuna] |
| Full Idea: The six perfections are of giving, morality, patience, vigour, meditation, and wisdom. | |
| From: Nagarjuna (Mahaprajnaparamitashastra [c.120], 88) | |
| A reaction: What is 'morality', if giving is not part of it? I like patience and vigour being two of the virtues, which immediately implies an Aristotelian mean (which is always what is 'appropriate'). |