Combining Texts

All the ideas for 'Gentzen's Analysis of First-Order Proofs', 'Theses on Feuerbach' and 'Socrates: Ironist and Moral Philosopher'

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

9 ideas

1. Philosophy / D. Nature of Philosophy / 5. Aims of Philosophy / a. Philosophy as worldly
5300 Philosophers have interpreted the world, but the point is to change it [Marx]
2. Reason / A. Nature of Reason / 5. Objectivity
5297 Whether human thinking can be 'true' must be decided in practice, not theory [Marx]
5. Theory of Logic / A. Overview of Logic / 1. Overview of Logic
13831 Logic is based on transitions between sentences [Prawitz]
5. Theory of Logic / E. Structures of Logic / 2. Logical Connectives / a. Logical connectives
13825 Natural deduction introduction rules may represent 'definitions' of logical connectives [Prawitz]
5. Theory of Logic / H. Proof Systems / 4. Natural Deduction
13823 In natural deduction, inferences are atomic steps involving just one logical constant [Prawitz]
16. Persons / E. Rejecting the Self / 2. Self as Social Construct
22598 The authentic self exists at the level of class, rather than the individual [Marx, by Dunt]
22. Metaethics / A. Ethics Foundations / 2. Source of Ethics / e. Human nature
5298 The human essence is not found in individuals but in social relations [Marx]
25. Social Practice / D. Justice / 3. Punishment / b. Retribution for crime
1658 In early Greece the word for punishment was also the word for vengeance [Vlastos]
29. Religion / D. Religious Issues / 1. Religious Commitment / a. Religious Belief
5299 Religious feeling is social in origin [Marx]