17 ideas
| 14249 | Boolos reinterprets second-order logic as plural logic [Boolos, by Oliver/Smiley] |
| Full Idea: Boolos's conception of plural logic is as a reinterpretation of second-order logic. | |
| From: report of George Boolos (On Second-Order Logic [1975]) by Oliver,A/Smiley,T - What are Sets and What are they For? n5 | |
| A reaction: Oliver and Smiley don't accept this view, and champion plural reference differently (as, I think, some kind of metalinguistic device?). |
| 10830 | Second-order logic metatheory is set-theoretic, and second-order validity has set-theoretic problems [Boolos] |
| Full Idea: The metatheory of second-order logic is hopelessly set-theoretic, and the notion of second-order validity possesses many if not all of the epistemic debilities of the notion of set-theoretic truth. | |
| From: George Boolos (On Second-Order Logic [1975], p.45) | |
| A reaction: Epistemic problems arise when a logic is incomplete, because some of the so-called truths cannot be proved, and hence may be unreachable. This idea indicates Boolos's motivation for developing a theory of plural quantification. |
| 10829 | A sentence can't be a truth of logic if it asserts the existence of certain sets [Boolos] |
| Full Idea: One may be of the opinion that no sentence ought to be considered as a truth of logic if, no matter how it is interpreted, it asserts that there are sets of certain sorts. | |
| From: George Boolos (On Second-Order Logic [1975], p.44) | |
| A reaction: My intuition is that in no way should any proper logic assert the existence of anything at all. Presumably interpretations can assert the existence of numbers or sets, but we should be able to identify something which is 'pure' logic. Natural deduction? |
| 7755 | Singular terms refer, using proper names, definite descriptions, singular personal pronouns, demonstratives, etc. [Lycan] |
| Full Idea: The paradigmatic referring devices are singular terms, denoting particular items. In English these include proper names, definite descriptions, singular personal pronouns, demonstrative pronouns, and a few others. | |
| From: William Lycan (Philosophy of Language [2000], Ch. 1) | |
| A reaction: This list provides the agenda for twentieth century philosophy of language, since this is the point where language is supposed to hook onto the world. |
| 10832 | '∀x x=x' only means 'everything is identical to itself' if the range of 'everything' is fixed [Boolos] |
| Full Idea: One may say that '∀x x=x' means 'everything is identical to itself', but one must realise that one's answer has a determinate sense only if the reference (range) of 'everything' is fixed. | |
| From: George Boolos (On Second-Order Logic [1975], p.46) | |
| A reaction: This is the problem now discussed in the recent book 'Absolute Generality', of whether one can quantify without specifying a fixed or limited domain. |
| 10834 | Weak completeness: if it is valid, it is provable. Strong: it is provable from a set of sentences [Boolos] |
| Full Idea: A weak completeness theorem shows that a sentence is provable whenever it is valid; a strong theorem, that a sentence is provable from a set of sentences whenever it is a logical consequence of the set. | |
| From: George Boolos (On Second-Order Logic [1975], p.52) | |
| A reaction: So the weak version says |- φ → |= φ, and the strong versions says Γ |- φ → Γ |= φ. Presumably it is stronger if it can specify the source of the inference. |
| 13841 | Why should compactness be definitive of logic? [Boolos, by Hacking] |
| Full Idea: Boolos asks why on earth compactness, whatever its virtues, should be definitive of logic itself. | |
| From: report of George Boolos (On Second-Order Logic [1975]) by Ian Hacking - What is Logic? §13 |
| 10833 | Many concepts can only be expressed by second-order logic [Boolos] |
| Full Idea: The notions of infinity and countability can be characterized by second-order sentences, though not by first-order sentences (as compactness and Skolem-Löwenheim theorems show), .. as well as well-ordering, progression, ancestral and identity. | |
| From: George Boolos (On Second-Order Logic [1975], p.48) |
| 2614 | Modern phenomenalism holds that objects are logical constructions out of sense-data [Ayer] |
| Full Idea: Nowadays phenomenalism is held to be a theory of perception which says that physical objects are logical constructions out of sense-data. | |
| From: A.J. Ayer (Phenomenalism [1947], §1) |
| 2615 | The concept of sense-data allows us to discuss appearances without worrying about reality [Ayer] |
| Full Idea: The introduction of the term 'sense-datum' is a means of referring to appearances without prejudging the question of what it is, if anything, that they are appearances of. | |
| From: A.J. Ayer (Phenomenalism [1947], §1) |
| 7768 | The truth conditions theory sees meaning as representation [Lycan] |
| Full Idea: The truth conditions theory sees meaning as representation. | |
| From: William Lycan (Philosophy of Language [2000], Ch. 9) | |
| A reaction: This suggests a nice connection to Fodor's account of intentional thinking. The whole package sounds right to me (though the representations need not be 'symbolic', or in mentalese). |
| 7766 | Meaning must be known before we can consider verification [Lycan] |
| Full Idea: How could we know whether a sentence is verifiable unless we already knew what it says? | |
| From: William Lycan (Philosophy of Language [2000], Ch. 8) | |
| A reaction: This strikes me as a devastating objection to verificationism. Lycan suggests that you can formulate a preliminary meaning, without accepting true meaningfulness. Maybe verification just concerns truth, and not meaning. |
| 7764 | Could I successfully use an expression, without actually understanding it? [Lycan] |
| Full Idea: Could I not know the use of an expression and fall in with it, mechanically, but without understanding it? | |
| From: William Lycan (Philosophy of Language [2000], Ch. 6) | |
| A reaction: In a foreign country, you might successfully recite a long complex sentence, without understanding a single word. This doesn't doom the 'use' theory, but it means that quite a lot of detail needs to be filled in. |
| 7763 | It is hard to state a rule of use for a proper name [Lycan] |
| Full Idea: Proper names pose a problem for the "use" theorist. Try stating a rule of use for the name 'William G. Lycan'. | |
| From: William Lycan (Philosophy of Language [2000], Ch. 6) | |
| A reaction: Presumably it is normally used in connection with a particular human being, and is typically the subject of a grammatical sentence. Any piece of language could also be used to, say, attract someone's attention. |
| 7770 | Truth conditions will come out the same for sentences with 'renate' or 'cordate' [Lycan] |
| Full Idea: A Davidsonian truth theory will not be able to distinguish the meaning of a sentence containing 'renate' from that of one containing 'cordate'. | |
| From: William Lycan (Philosophy of Language [2000], Ch. 9) | |
| A reaction: One might achieve the distinction by referring to truth conditions in possible worlds, if there are possible worlds where some cordates are not renate. See Idea 7773. |
| 7773 | A sentence's truth conditions is the set of possible worlds in which the sentence is true [Lycan] |
| Full Idea: A sentence's truth conditions can be taken to be the set of possible worlds in which the sentence is true. | |
| From: William Lycan (Philosophy of Language [2000], Ch.10) | |
| A reaction: Presumably the meaning can't be complete possible worlds, so this must be a supplement to the normal truth conditions view proposed by Davidson. It particularly addresses the problem seen in Idea 7770. |
| 7774 | Possible worlds explain aspects of meaning neatly - entailment, for example, is the subset relation [Lycan] |
| Full Idea: The possible worlds construal affords an elegant algebra of meaning by way of set theory: e.g. entailment between sentences is just the subset relation - S1 entails S2 if S2 is true in any world in which S1 is true. | |
| From: William Lycan (Philosophy of Language [2000], Ch.10) | |
| A reaction: We might want to separate the meanings of sentences from their entailments (though Brandom links them, see Idea 7765). |