Combining Texts

All the ideas for 'fragments/reports', 'Finkish dispositions' 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]

8. Modes of Existence / B. Properties / 6. Categorical Properties

15464

The distinction between dispositional and 'categorical' properties leads to confusion [Lewis]

8. Modes of Existence / C. Powers and Dispositions / 3. Powers as Derived

15463

All dispositions must have causal bases [Lewis]

8. Modes of Existence / C. Powers and Dispositions / 6. Dispositions / c. Dispositions as conditional

15461

A 'finkish' disposition is real, but disappears when the stimulus occurs [Lewis]

10. Modality / B. Possibility / 9. Counterfactuals

15462

Backtracking counterfactuals go from supposed events to their required causal antecedents [Lewis]

28. God / A. Divine Nature / 1. God

6011	There is a remote first god (the Good), and a second god who organises the material world [Numenius, by O'Meara]