Combining Texts

All the ideas for 'Warrant and Proper Function', 'A Defense of Abortion' and 'Introduction to Zermelo's 1930 paper'

expand these ideas     |    start again     |     specify just one area for these texts


13 ideas

4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / a. Axioms for sets
The first-order ZF axiomatisation is highly non-categorical [Hallett,M]
Non-categoricity reveals a sort of incompleteness, with sets existing that the axioms don't reveal [Hallett,M]
4. Formal Logic / F. Set Theory ST / 7. Natural Sets
Zermelo allows ur-elements, to enable the widespread application of set-theory [Hallett,M]
6. Mathematics / A. Nature of Mathematics / 5. The Infinite / g. Continuum Hypothesis
The General Continuum Hypothesis and its negation are both consistent with ZF [Hallett,M]
13. Knowledge Criteria / C. External Justification / 3. Reliabilism / a. Reliable knowledge
Maybe a reliable justification must come from a process working with its 'proper function' [Plantinga, by Pollock/Cruz]
25. Social Practice / F. Life Issues / 3. Abortion
Is someone's right to life diminished if they were conceived by a rape? [Thomson]
No one is morally required to make huge sacrifices to keep someone else alive for nine months [Thomson]
It can't be murder for a mother to perform an abortion on herself to save her own life [Thomson]
A newly fertilized ovum is no more a person than an acorn is an oak tree [Thomson]
Maybe abortion can be justified despite the foetus having full human rights [Thomson, by Foot]
The foetus is safe in the womb, so abortion initiates its death, with the mother as the agent. [Foot on Thomson]
The right to life does not bestow the right to use someone else's body to support that life [Thomson]
The right to life is not a right not to be killed, but not to be killed unjustly [Thomson]