Combining Texts

Ideas for 'Mereology', 'Philosophy of Mathematics' and 'Axioms for the Part Relation'

expand these ideas     |    start again     |     choose another area for these texts

display all the ideas for this combination of texts

---

2 ideas

5. Theory of Logic / E. Structures of Logic / 2. Logical Connectives / a. Logical connectives

10212

Classical connectives differ from their ordinary language counterparts; '∧' is timeless, unlike 'and' [Shapiro]

5. Theory of Logic / E. Structures of Logic / 5. Functions in Logic

10209

A function is just an arbitrary correspondence between collections [Shapiro]