Combining Texts

All the ideas for 'works', 'Building Blocks of Mathematical Logic' and 'Intuitionism'

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

---

6 ideas

5. Theory of Logic / E. Structures of Logic / 4. Variables in Logic

17699

Variables are auxiliary notions, and not part of the 'eternal' essence of logic [Schönfinkel]

6. Mathematics / B. Foundations for Mathematics / 3. Axioms for Geometry

13007

Archimedes defined a straight line as the shortest distance between two points [Archimedes, by Leibniz]

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]