5 ideas
9470 | 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] |
9469 | 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. |
9468 | 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? |
18810 | Aristotle's proofs give understanding, so it can't be otherwise, so consequence is necessary [Smiley, by Rumfitt] |
Full Idea: The ingredient of necessity [in Aristotle's account of consequence] is required by his demand that proof should produce 'understanding' [episteme], coupled with his claim that understanding something involves seeing that it cannot be otherwise. | |
From: report of Timothy Smiley (Conceptions of Consequence [1998], p.599) by Ian Rumfitt - The Boundary Stones of Thought 3.2 | |
A reaction: An intriguing reverse of the normal order. Not 'necessity in logic delivers understanding', but 'reaching understanding shows the logic was necessary'. |
17722 | The concept 'red' is tied to what actually individuates red things [Peacocke] |
Full Idea: The possession conditions for the concept 'red' of the colour red are tied to those very conditions which individuate the colour red. | |
From: Christopher Peacocke (Explaining the A Priori [2000], p.267), quoted by Carrie Jenkins - Grounding Concepts 2.5 | |
A reaction: Jenkins reports that he therefore argues that we can learn something about the word 'red' from thinking about the concept 'red', which is his new theory of the a priori. I find 'possession conditions' and 'individuation' to be very woolly concepts. |