Combining Texts

All the ideas for 'Ethics: Inventing Right and Wrong', 'Understanding' and 'Principles of Theoretical Logic'

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


5 ideas

4. Formal Logic / C. Predicate Calculus PC / 1. Predicate Calculus PC
The first clear proof of the consistency of the first order predicate logic was in 1928 [Hilbert/Ackermann, by Walicki]
11. Knowledge Aims / A. Knowledge / 2. Understanding
Unlike knowledge, you can achieve understanding through luck [Grimm]
'Grasping' a structure seems to be modal, because we must anticipate its behaviour [Grimm]
You may have 'weak' understanding, if by luck you can answer a set of 'why questions' [Grimm]
22. Metaethics / A. Ethics Foundations / 1. Nature of Ethics / f. Ethical non-cognitivism
The 'error theory' of morals says there is no moral knowledge, because there are no moral facts [Mackie, by Engel]