Combining Texts

All the ideas for 'Gentzen's Analysis of First-Order Proofs', 'Morality and Human Sexuality' and 'Iteration Again'

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

---

6 ideas

4. Formal Logic / F. Set Theory ST / 5. Conceptions of Set / f. Limitation of Size

13547

Limitation of Size is weak (Fs only collect is something the same size does) or strong (fewer Fs than objects) [Boolos, by Potter]

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]

25. Social Practice / F. Life Issues / 5. Sexual Morality

20890

Why do sexual relationships need permanence, if other relationships don't? [Punzo]

20891

Does engaging in sexual intercourse really need no more thought than playing tennis? [Punzo]