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. |
18779 | 'The' is a quantifier, like 'every' and 'a', and does not result in denotation [Montague] |
Full Idea: The expression 'The' turns out to play the role of a quantifier, in complete analogy with 'every' and 'a', and does not generate (in common with common noun phrases) denoting expressions | |
From: Richard Montague (English as a Formal Language [1970], p.216), quoted by Bernard Linsky - Quantification and Descriptions 4 | |
A reaction: Linsky says that it is now standard to interpret definite descriptions as quantifiers |
20713 | God must be fit for worship, but worship abandons morally autonomy, but there is no God [Rachels, by Davies,B] |
Full Idea: Rachels argues 1) If any being is God, he must be a fitting object of worship, 2) No being could be a fitting object of worship, since worship requires the abandonment of one's role as an autonomous moral agent, so 3) There cannot be a being who is God. | |
From: report of James Rachels (God and Human Attributes [1971], 7 p.334) by Brian Davies - Introduction to the Philosophy of Religion 9 'd morality' | |
A reaction: Presumably Lionel Messi can be a fitting object of worship without being God. Since the problem is with being worshipful, rather than with being God, should I infer that Messi doesn't exist? |