Combining Texts

All the ideas for 'fragments/reports', 'Gentzen's Analysis of First-Order Proofs' and 'Commentary on 'Posterior Analytics'

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 / E. Abstraction / 8. Abstractionism Critique
9073 Abstraction from an ambiguous concept like 'mole' will define them as the same [Barnes,J]
9074 Abstraction cannot produce the concept of a 'game', as there is no one common feature [Barnes,J]
9072 Defining concepts by abstractions will collect together far too many attributes from entities [Barnes,J]
23. Ethics / C. Virtue Theory / 1. Virtue Theory / a. Nature of virtue
467 A virtue is a combination of intelligence, strength and luck [Ion]