Combining Texts

All the ideas for 'fragments/reports', 'Existence and Quantification' and 'Persistence, Change and Explanation'

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

22 ideas

4. Formal Logic / D. Modal Logic ML / 1. Modal Logic
5745 Quine says quantified modal logic creates nonsense, bad ontology, and false essentialism [Melia on Quine]
5. Theory of Logic / A. Overview of Logic / 7. Second-Order Logic
8789 Various strategies try to deal with the ontological commitments of second-order logic [Hale/Wright on Quine]
5. Theory of Logic / L. Paradox / 2. Aporiai
13931 By using aporiai as his start, Aristotle can defer to the wise, as well as to the many [Haslanger]
7. Existence / A. Nature of Existence / 3. Being / b. Being and existence
16966 Philosophers tend to distinguish broad 'being' from narrower 'existence' - but I reject that [Quine]
7. Existence / A. Nature of Existence / 6. Criterion for Existence
16965 All we have of general existence is what existential quantifiers express [Quine]
7. Existence / D. Theories of Reality / 1. Ontologies
13925 Ontology disputes rest on more basic explanation disputes [Haslanger]
7. Existence / D. Theories of Reality / 11. Ontological Commitment / b. Commitment of quantifiers
16963 Existence is implied by the quantifiers, not by the constants [Quine]
7. Existence / D. Theories of Reality / 11. Ontological Commitment / c. Commitment of predicates
16964 Theories are committed to objects of which some of its predicates must be true [Quine]
7. Existence / D. Theories of Reality / 11. Ontological Commitment / d. Commitment of theories
4216 Express a theory in first-order predicate logic; its ontology is the types of bound variable needed for truth [Quine, by Lowe]
18966 Ontological commitment of theories only arise if they are classically quantified [Quine]
7. Existence / D. Theories of Reality / 11. Ontological Commitment / e. Ontological commitment problems
14490 You can be implicitly committed to something without quantifying over it [Thomasson on Quine]
7. Existence / E. Categories / 1. Categories
16961 In formal terms, a category is the range of some style of variables [Quine]
9. Objects / E. Objects over Time / 3. Three-Dimensionalism
13924 The persistence of objects seems to be needed if the past is to explain the present [Haslanger]
13930 Persistence makes change and its products intelligible [Haslanger]
9. Objects / E. Objects over Time / 5. Temporal Parts
13927 We must explain change amongst 'momentary entities', or else the world is inexplicable [Haslanger]
13928 If the things which exist prior to now are totally distinct, they need not have existed [Haslanger]
14. Science / D. Explanation / 2. Types of Explanation / g. Causal explanations
13929 Natural explanations give the causal interconnections [Haslanger]
14. Science / D. Explanation / 2. Types of Explanation / j. Explanations by reduction
13926 Best explanations, especially natural ones, need grounding, notably by persistent objects [Haslanger]
19. Language / F. Communication / 3. Denial
1554 Contradiction is impossible, since only one side of the argument refers to the true facts [Prodicus, by Didymus the Blind]
28. God / B. Proving God / 3. Proofs of Evidence / c. Teleological Proof critique
1555 People used to think anything helpful to life was a god, as the Egyptians think the Nile a god [Prodicus]
28. God / C. Attitudes to God / 5. Atheism
535 The gods are just personified human benefits [Prodicus]
1543 He denied the existence of the gods, saying they are just exaltations of things useful for life [Prodicus]