Combining Texts

All the ideas for 'On Multiplying Entities', 'Some Puzzles of Ground' and 'Intellectual Autobiography'

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

---

15 ideas

2. Reason / B. Laws of Thought / 6. Ockham's Razor

8207	The quest for simplicity drove scientists to posit new entities, such as molecules in gases [Quine]

8208	In arithmetic, ratios, negatives, irrationals and imaginaries were created in order to generalise [Quine]

3. Truth / B. Truthmakers / 5. What Makes Truths / a. What makes truths

18901

Truthmakers are facts 'of' a domain, not something 'in' the domain [Sommers]

4. Formal Logic / A. Syllogistic Logic / 3. Term Logic

18904

'Predicable' terms come in charged pairs, with one the negation of the other [Sommers, by Engelbretsen]

18895

Logic which maps ordinary reasoning must be transparent, and free of variables [Sommers]

4. Formal Logic / E. Nonclassical Logics / 3. Many-Valued Logic

14263

Strong Kleene disjunction just needs one true disjunct; Weak needs the other to have some value [Fine,K]

5. Theory of Logic / D. Assumptions for Logic / 4. Identity in Logic

18897

Predicate logic has to spell out that its identity relation '=' is an equivalent relation [Sommers]

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]

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]

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]

7. Existence / B. Change in Existence / 4. Events / c. Reduction of events

8205	Explaining events just by bodies can't explain two events identical in space-time [Quine]

7. Existence / C. Structure of Existence / 1. Grounding / a. Nature of grounding

14262

Formal grounding needs transitivity of grounding, no self-grounding, and the existence of both parties [Fine,K]

7. Existence / D. Theories of Reality / 2. Realism

18900

Unfortunately for realists, modern logic cannot say that some fact exists [Sommers]

10. Modality / A. Necessity / 11. Denial of Necessity

8206	Necessity could be just generalisation over classes, or (maybe) quantifying over possibilia [Quine]

19. Language / B. Reference / 1. Reference theories

18898

In standard logic, names are the only way to refer [Sommers]