Combining Texts

All the ideas for 'works', 'Intuitionism' and 'Completeness of Axioms of Logic'

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

7 ideas

4. Formal Logic / C. Predicate Calculus PC / 3. Completeness of PC
17751 Gödel proved the completeness of first order predicate logic in 1930 [Gödel, by Walicki]
22. Metaethics / A. Ethics Foundations / 2. Source of Ethics / c. Ethical intuitionism
7260 If there are intuited moral facts, why should we care about them? [Dancy,J]
7261 Internalists say that moral intuitions are motivating; externalist say a desire is also needed [Dancy,J]
7262 Obviously judging an action as wrong gives us a reason not to do it [Dancy,J]
7265 Moral facts are not perceived facts, but perceived reasons for judgements [Dancy,J]
29. Religion / B. Monotheistic Religion / 4. Christianity / d. Heresy
16713 Philosophers are the forefathers of heretics [Tertullian]
29. Religion / D. Religious Issues / 1. Religious Commitment / e. Fideism
6610 I believe because it is absurd [Tertullian]