Combining Texts

All the ideas for 'Material Constitution', 'works' and 'Gentzen's Analysis of First-Order Proofs'

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

---

9 ideas

4. Formal Logic / F. Set Theory ST / 8. Critique of Set Theory

13536

Skolem did not believe in the existence of uncountable sets [Skolem]

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]

9. Objects / C. Structure of Objects / 6. Constitution of an Object

16065

Constitution is identity (being in the same place), or it isn't (having different possibilities) [Wasserman]

16067

Constitution is not identity, because it is an asymmetric dependence relation [Wasserman]

16069

There are three main objections to seeing constitution as different from identity [Wasserman]

9. Objects / C. Structure of Objects / 8. Parts of Objects / a. Parts of objects

16068

The weight of a wall is not the weight of its parts, since that would involve double-counting [Wasserman]

9. Objects / F. Identity among Objects / 3. Relative Identity

16074

Relative identity may reject transitivity, but that suggests that it isn't about 'identity' [Wasserman]