3 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. |
22200 | If you eliminate the impossible, the truth will remain, even if it is weird [Conan Doyle] |
Full Idea: When you have eliminated the impossible, whatever remains, however improbable, must be the truth. | |
From: Arthur Conan Doyle (The Sign of Four [1890], Ch. 6) | |
A reaction: A beautiful statement, by Sherlock Holmes, of Eliminative Induction. It is obviously not true, of course. Many options may still face you after you have eliminated what is actually impossible. |
468 | Musical performance can reveal a range of virtues [Damon of Ath.] |
Full Idea: In singing and playing the lyre, a boy will be likely to reveal not only courage and moderation, but also justice. | |
From: Damon (fragments/reports [c.460 BCE], B4), quoted by (who?) - where? |