Combining Texts

Ideas for 'Writing the Book of the World', 'Intellectual Autobiography' and 'Trees, Terms and Truth'

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

display all the ideas for this combination of texts

---

7 ideas

5. Theory of Logic / E. Structures of Logic / 1. Logical Form

18893

Translating into quantificational idiom offers no clues as to how ordinary thinkers reason [Sommers]

18922

Logical syntax is actually close to surface linguistic form [Engelbretsen]

18905

Propositions can be analysed as pairs of terms glued together by predication [Engelbretsen]

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

15019

Define logical constants by role in proofs, or as fixed in meaning, or as topic-neutral [Sider]

5. Theory of Logic / E. Structures of Logic / 2. Logical Connectives / c. not

18903

Sommers promotes the old idea that negation basically refers to terms [Sommers, by Engelbretsen]

18908

Standard logic only negates sentences, even via negated general terms or predicates [Engelbretsen]

5. Theory of Logic / E. Structures of Logic / 7. Predicates in Logic

18894

Predicates form a hierarchy, from the most general, down to names at the bottom [Sommers]