4 ideas
9465 | Substitutional universal quantification retains truth for substitution of terms of the same type [Jacquette] |
9466 | Nominalists like substitutional quantification to avoid the metaphysics of objects [Jacquette] |
18810 | Aristotle's proofs give understanding, so it can't be otherwise, so consequence is necessary [Smiley, by Rumfitt] |
20713 | God must be fit for worship, but worship abandons morally autonomy, but there is no God [Rachels, by Davies,B] |