Combining Texts

All the ideas for 'fragments/reports', 'The Source of Necessity' and 'Gentzen's Analysis of First-Order Proofs'

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

---

9 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]

10. Modality / C. Sources of Modality / 1. Sources of Necessity

12432

Explanation of necessity must rest on something necessary or something contingent [Hale]

12434

Why is this necessary, and what is necessity in general; why is this necessary truth true, and why necessary? [Hale]

12435

The explanation of a necessity can be by a truth (which may only happen to be a necessary truth) [Hale]

10. Modality / C. Sources of Modality / 3. Necessity by Convention

12433

If necessity rests on linguistic conventions, those are contingent, so there is no necessity [Hale]

10. Modality / C. Sources of Modality / 4. Necessity from Concepts

12436

Concept-identities explain how we know necessities, not why they are necessary [Hale]

21. Aesthetics / C. Artistic Issues / 7. Art and Morality

468	Musical performance can reveal a range of virtues [Damon of Ath.]