Combining Texts

All the ideas for 'Wiener Logik', 'Persons, Character and Morality' and 'Completeness of Axioms of Logic'

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

7 ideas

2. Reason / D. Definition / 2. Aims of Definition
18261 A simplification which is complete constitutes a definition [Kant]
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]
5. Theory of Logic / A. Overview of Logic / 3. Value of Logic
22275 Logic gives us the necessary rules which show us how we ought to think [Kant]
13. Knowledge Criteria / A. Justification Problems / 3. Internal or External / b. Pro-externalism
18260 If we knew what we know, we would be astonished [Kant]
23. Ethics / C. Virtue Theory / 2. Elements of Virtue Theory / e. Character
23279 It is important that a person can change their character, and not just be successive 'selves' [Williams,B]
23280 Kantians have an poor account of individuals, and insist on impartiality, because they ignore character [Williams,B]
23. Ethics / E. Utilitarianism / 1. Utilitarianism
23278 For utilitarians states of affairs are what have value, not matter who produced them [Williams,B]