3 ideas
15927 | Definition just needs negation, known variables, conjunction, disjunction, substitution and quantification [Weyl, by Lavine] |
14528 | Maybe modal thought is unavoidable, as a priori recognition of necessary truth-preservation in reasoning [Hale/Hoffmann,A] |
20713 | God must be fit for worship, but worship abandons morally autonomy, but there is no God [Rachels, by Davies,B] |