Combining Texts

All the ideas for 'The Logical Form of Action Sentences', 'Intellectual Autobiography' and 'On the Source of Necessity'

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


15 ideas

3. Truth / B. Truthmakers / 5. What Makes Truths / a. What makes truths
Truthmakers are facts 'of' a domain, not something 'in' the domain [Sommers]
4. Formal Logic / A. Syllogistic Logic / 3. Term Logic
'Predicable' terms come in charged pairs, with one the negation of the other [Sommers, by Engelbretsen]
Logic which maps ordinary reasoning must be transparent, and free of variables [Sommers]
4. Formal Logic / D. Modal Logic ML / 3. Modal Logic Systems / g. System S4
S4 says there must be some necessary truths (the actual ones, of which there is at least one) [Cameron]
5. Theory of Logic / D. Assumptions for Logic / 4. Identity in Logic
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
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
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
Predicates form a hierarchy, from the most general, down to names at the bottom [Sommers]
7. Existence / B. Change in Existence / 4. Events / a. Nature of events
We need 'events' to explain adverbs, which are adjectival predicates of events [Davidson, by Lycan]
Language-learning is not good enough evidence for the existence of events [Yablo on Davidson]
7. Existence / D. Theories of Reality / 2. Realism
Unfortunately for realists, modern logic cannot say that some fact exists [Sommers]
7. Existence / D. Theories of Reality / 11. Ontological Commitment / d. Commitment of theories
If the best theory of adverbs refers to events, then our ontology should include events [Davidson, by Sider]
10. Modality / C. Sources of Modality / 1. Sources of Necessity
Blackburn fails to show that the necessary cannot be grounded in the contingent [Cameron]
19. Language / B. Reference / 1. Reference theories
In standard logic, names are the only way to refer [Sommers]
27. Natural Reality / D. Time / 1. Nature of Time / f. Eternalism
The 'moving spotlight' theory makes one time privileged, while all times are on a par ontologically [Cameron]