Combining Texts

All the ideas for 'The Epistemology of Modality', 'Ancient Thought in Modern Physics' and 'A Plea for Substitutional Quantification'

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


5 ideas

4. Formal Logic / D. Modal Logic ML / 4. Alethic Modal Logic
Modal logic is not an extensional language [Parsons,C]
     Full Idea: Modal logic is not an extensional language.
     From: Charles Parsons (A Plea for Substitutional Quantification [1971], p.159 n8)
     A reaction: [I record this for investigation. Possible worlds seem to contain objects]
5. Theory of Logic / G. Quantification / 4. Substitutional Quantification
Substitutional existential quantifier may explain the existence of linguistic entities [Parsons,C]
     Full Idea: I argue (against Quine) that the existential quantifier substitutionally interpreted has a genuine claim to express a concept of existence, which may give the best account of linguistic abstract entities such as propositions, attributes, and classes.
     From: Charles Parsons (A Plea for Substitutional Quantification [1971], p.156)
     A reaction: Intuitively I have my doubts about this, since the whole thing sounds like a verbal and conventional game, rather than anything with a proper ontology. Ruth Marcus and Quine disagree over this one.
On the substitutional interpretation, '(∃x) Fx' is true iff a closed term 't' makes Ft true [Parsons,C]
     Full Idea: For the substitutional interpretation of quantifiers, a sentence of the form '(∃x) Fx' is true iff there is some closed term 't' of the language such that 'Ft' is true. For the objectual interpretation some object x must exist such that Fx is true.
     From: Charles Parsons (A Plea for Substitutional Quantification [1971], p.156)
     A reaction: How could you decide if it was true for 't' if you didn't know what object 't' referred to?
10. Modality / D. Knowledge of Modality / 4. Conceivable as Possible / a. Conceivable as possible
How do you know you have conceived a thing deeply enough to assess its possibility? [Vaidya]
     Full Idea: The main issue with learning possibility from conceivability concerns how we can be confident that we have conceived things to the relevant level of depth required for the scenario to actually be a presentation or manifestation of a genuine possibility.
     From: Anand Vaidya (The Epistemology of Modality [2015], 1.2.2)
     A reaction: [He cites Van Inwagen 1998 for this idea] The point is that ignorant imagination can conceive of all sorts of absurd things which are seen to be impossible when enough information is available. We can hardly demand a criterion for this.
14. Science / D. Explanation / 2. Types of Explanation / j. Explanations by reduction
You can only explain the qualities of large objects using entities which lack those qualities [Heisenberg]
     Full Idea: It is impossible to explain the manifest qualities of ordinary middle-sized objects except by tracing these back to the behaviour of entities which themselves no longer possess these qualities.
     From: Werner Heisenberg (Ancient Thought in Modern Physics [1937], p.119), quoted by William Lycan - Consciousness 8.10
     A reaction: Compare the similar wonderful remark by Lucretius (Idea 5713). If we accept this as a general principle for all of nature (including us) - and I do - then it is silly to complain that consciousness isn't found in basic physics.