Combining Texts

All the ideas for 'fragments/reports', '64: Gryllus - on Rationality in Animals' and 'Gentzen's Analysis of First-Order Proofs'

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

8 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]
22. Metaethics / A. Ethics Foundations / 2. Source of Ethics / j. Ethics by convention
1477 Being manly and brave is the result of convention, not of human nature [Plutarch]
22. Metaethics / C. The Good / 3. Pleasure / e. Role of pleasure
1478 Animals don't value pleasure, as they cease sexual intercourse after impregnation [Plutarch]
25. Social Practice / F. Life Issues / 5. Sexual Morality
1479 Animals have not been led into homosexuality, because they value pleasure very little [Plutarch]
26. Natural Theory / A. Speculations on Nature / 5. Infinite in Nature
1748 Archelaus was the first person to say that the universe is boundless [Archelaus, by Diog. Laertius]
27. Natural Reality / G. Biology / 3. Evolution
5989 Archelaus said life began in a primeval slime [Archelaus, by Schofield]