Combining Texts

All the ideas for 'fragments/reports', 'Review of Aron 'Our Knowledge of Universals'' and 'Gentzen's Analysis of First-Order Proofs'

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

7 ideas

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]
18. Thought / D. Concepts / 2. Origin of Concepts / a. Origin of concepts
10645 We reach concepts by clarification, or by definition, or by habitual experience [Price,HH]
18. Thought / E. Abstraction / 2. Abstracta by Selection
10644 A 'felt familiarity' with universals is more primitive than abstraction [Price,HH]
10646 Our understanding of 'dog' or 'house' arises from a repeated experience of concomitances [Price,HH]
22. Metaethics / C. The Good / 2. Happiness / b. Eudaimonia
5996 Critolaus redefined Aristotle's moral aim as fulfilment instead of happiness [Critolaus, by White,SA]