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. |
3061 | Anaxarchus said that he was not even sure that he knew nothing [Anaxarchus, by Diog. Laertius] |
Full Idea: Anaxarchus said that he was not even sure that he knew nothing. | |
From: report of Anaxarchus (fragments/reports [c.340 BCE]) by Diogenes Laertius - Lives of Eminent Philosophers 09.10.1 |
19000 | Read 'all ravens are black' as about ravens, not as about an implication [Belnap] |
Full Idea: 'All ravens are black' might profitably be read as saying not that being a raven 'implies' being black, but rather something more like 'Consider the ravens: each one is black'. | |
From: Nuel D. Belnap (Conditional Assertion and Restricted Quantification [1970], p.7), quoted by Stephen Yablo - Aboutness 04.5 | |
A reaction: Belnap is more interested in the logic than in the paradox of confirmation, since he evidently thinks that universal generalisations should not be read as implications. I like Belnap's suggestion. |
17897 | Analytic explanation is wholes in terms of parts; synthetic is parts in terms of wholes or contexts [Belnap] |
Full Idea: Throughout the whole texture of philosophy we distinguish two modes of explanation: the analytic mode, which tends to explain wholes in terms of parts, and the synthetic mode, which explains parts in terms of the wholes or contexts in which they occur. | |
From: Nuel D. Belnap (Tonk, Plonk and Plink [1962], p.132) | |
A reaction: The analytic would be bottom-up, and the synthetic would be top-down. I'm inclined to combine them, and say explanation begins with a model, which can then be sliced in either direction, though the bottom looks more interesting. |