15 ideas
| 15163 | The interest of quantified modal logic is its metaphysical necessity and essentialism [Soames] |
| Full Idea: The chief philosophical interest in quantified modal logic lies with metaphysical necessity, essentialism, and the nontrivial modal de re. | |
| From: Scott Soames (Philosophy of Language [2010], 3.1) |
| 15158 | Indefinite descriptions are quantificational in subject position, but not in predicate position [Soames] |
| Full Idea: The indefinite description in 'A man will meet you' is naturally treated as quantificational, but an occurrence in predicative position, in 'Jones is not a philosopher', doesn't have a natural quantificational counterpart. | |
| From: Scott Soames (Philosophy of Language [2010], 1.23) |
| 15157 | Recognising the definite description 'the man' as a quantifier phrase, not a singular term, is a real insight [Soames] |
| Full Idea: Recognising the definite description 'the man' as a quantifier phrase, rather than a singular term, is a real insight. | |
| From: Scott Soames (Philosophy of Language [2010], 1.22) | |
| A reaction: 'Would the man who threw the stone come forward' seems like a different usage from 'would the man in the black hat come forward'. |
| 15156 | The universal and existential quantifiers were chosen to suit mathematics [Soames] |
| Full Idea: Since Frege and Russell were mainly interested in formalizing mathematics, the only quantifiers they needed were the universal and existential one. | |
| From: Scott Soames (Philosophy of Language [2010], 1.22) |
| 8698 | Modal structuralism says mathematics studies possible structures, which may or may not be actualised [Hellman, by Friend] |
| Full Idea: The modal structuralist thinks of mathematical structures as possibilities. The application of mathematics is just the realisation that a possible structure is actualised. As structures are possibilities, realist ontological problems are avoided. | |
| From: report of Geoffrey Hellman (Mathematics without Numbers [1989]) by Michèle Friend - Introducing the Philosophy of Mathematics 4.3 | |
| A reaction: Friend criticises this and rejects it, but it is appealing. Mathematics should aim to be applicable to any possible world, and not just the actual one. However, does the actual world 'actualise a mathematical structure'? |
| 9557 | Statements of pure mathematics are elliptical for a sort of modal conditional [Hellman, by Chihara] |
| Full Idea: Hellman represents statements of pure mathematics as elliptical for modal conditionals of a certain sort. | |
| From: report of Geoffrey Hellman (Mathematics without Numbers [1989]) by Charles Chihara - A Structural Account of Mathematics 5.3 | |
| A reaction: It's a pity there is such difficulty in understanding conditionals (see Graham Priest on the subject). I intuit a grain of truth in this, though I take maths to reflect the structure of the actual world (with possibilities being part of that world). |
| 10263 | Modal structuralism can only judge possibility by 'possible' models [Shapiro on Hellman] |
| Full Idea: The usual way to show that a sentence is possible is to show that it has a model, but for Hellman presumably a sentence is possible if it might have a model (or if, possibly, it has a model). It is not clear what this move brings us. | |
| From: comment on Geoffrey Hellman (Mathematics without Numbers [1989]) by Stewart Shapiro - Philosophy of Mathematics 7.3 | |
| A reaction: I can't assess this, but presumably the possibility of the model must be demonstrated in some way. Aren't all models merely possible, because they are based on axioms, which seem to be no more than possibilities? |
| 15161 | There are more metaphysically than logically necessary truths [Soames] |
| Full Idea: The set of metaphysically necessary truths is larger than the set of logically necessary truths. | |
| From: Scott Soames (Philosophy of Language [2010], 3.1) | |
| A reaction: Likewise, the set of logically possible truths is much larger than the set of metaphysically possible truths. If a truth is logically necessary, it will clearly be metaphysically necessary. Er, unless it is necessitated by daft logic... |
| 15162 | We understand metaphysical necessity intuitively, from ordinary life [Soames] |
| Full Idea: Our understanding of metaphysical necessity is intuitive - drawn from our ordinary thought and talk. | |
| From: Scott Soames (Philosophy of Language [2010], 3.1) | |
| A reaction: This, of course, is a good reason for analytic philosophers to dislike metaphysical necessity. |
| 15152 | To study meaning, study truth conditions, on the basis of syntax, and representation by the parts [Soames] |
| Full Idea: The systematic study of meaning requires a framework for specifying the truth conditions of sentences on the basis of their syntactic structure, and the representational contents of their parts. | |
| From: Scott Soames (Philosophy of Language [2010], Intro) | |
| A reaction: Soames presents this as common sense, on the first page of his book, and it is hard to disagree. Representation will shade off into studying the workings of the mind. Fodor seems a good person to start with. |
| 15153 | Tarski's account of truth-conditions is too weak to determine meanings [Soames] |
| Full Idea: The truth conditions provided by Tarski's theories (based on references of subsentential constituents) are too weak to determine meanings, because they lacked context-sensitivity and various forms of intensionality. | |
| From: Scott Soames (Philosophy of Language [2010], Intro) | |
| A reaction: Interesting. This suggests that stronger modern axiomatic theories of truth might give a sufficient basis for a truth conditions theory of meaning. Soames says possible worlds semantics was an attempt to improve things. |
| 15154 | We should use cognitive states to explain representational propositions, not vice versa [Soames] |
| Full Idea: Instead of explaining the representationality of sentences and cognitive states in terms of propositions, we must explain the representationality of propositions in terms of the representationality of the relevant cognitive states. | |
| From: Scott Soames (Philosophy of Language [2010], Intro) | |
| A reaction: Music to my ears. I am bewildered by this Russellian notion of a 'proposition' as some abstract entity floating around in the world waiting to be expressed. The vaguer word 'facts' (and false facts?) will cover that. It's Frege's fault. |
| 5049 | Intelligent pleasure is the perception of beauty, order and perfection [Leibniz] |
| Full Idea: An intelligent being's pleasure is simply the perception of beauty, order and perfection. | |
| From: Gottfried Leibniz (A Résumé of Metaphysics [1697], §18) | |
| A reaction: Leibniz seems to have inherited this from the Greeks, especially Pythagoras and Plato. Buried in Leibniz's remark I see the Christian fear of physical pleasure. He should have got out more. Must an intelligent being always be intelligent? |
| 5048 | Perfection is simply quantity of reality [Leibniz] |
| Full Idea: Perfection is simply quantity of reality. | |
| From: Gottfried Leibniz (A Résumé of Metaphysics [1697], §11) | |
| A reaction: An interesting claim, but totally beyond my personal comprehension. I presume he inherited 'quantity of reality' from Plato, e.g. as you move up the Line from shadows to Forms you increase the degree of reality. I see 'real' as all-or-nothing. |
| 5050 | Evil serves a greater good, and pain is necessary for higher pleasure [Leibniz] |
| Full Idea: Evils themselves serve a greater good, and the fact that pains are found in minds is necessary if they are to reach greater pleasures. | |
| From: Gottfried Leibniz (A Résumé of Metaphysics [1697], §23) | |
| A reaction: How much pain is needed to qualify for the 'greater pleasures'? Some people receive an awful lot. I am not sure exactly how an evil can 'serve' a greater good. Is he recommending evil? |