6408
|
Russell needed three extra axioms to reduce maths to logic: infinity, choice and reducibility [Grayling]
|
|
Full Idea:
In order to deduce the theorems of mathematics from purely logical axioms, Russell had to add three new axioms to those of standards logic, which were: the axiom of infinity, the axiom of choice, and the axiom of reducibility.
|
|
From:
A.C. Grayling (Russell [1996], Ch.2)
|
|
A reaction:
The third one was adopted to avoid his 'barber' paradox, but many thinkers do not accept it. The interesting question is why anyone would 'accept' or 'reject' an axiom.
|
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?
|