Combining Texts

All the ideas for 'Exigency to Exist in Essences', 'Philosophy of Language' and 'Model Theory for Modal Logic I'

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


12 ideas

4. Formal Logic / D. Modal Logic ML / 3. Modal Logic Systems / h. System S5
S5 provides the correct logic for necessity in the broadly logical sense [Fine,K]
     Full Idea: S5 provides the correct logic for necessity in the broadly logical sense.
     From: Kit Fine (Model Theory for Modal Logic I [1978], 151), quoted by Charles Chihara - A Structural Account of Mathematics
     A reaction: I have no view on this, but I am prejudiced in favour of the idea that there is a correct logic for such things, whichever one it may be. Presumably the fact that S5 has no restrictions on accessibility makes it more comprehensive and 'metaphysical'.
5. Theory of Logic / F. Referring in Logic / 1. Naming / d. Singular terms
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.
7. Existence / A. Nature of Existence / 5. Reason for Existence
Possibles demand existence, so as many of them as possible must actually exist [Leibniz]
     Full Idea: From the conflict of all the possibles demanding existence, this at once follows, that there exists that series of things by which as many of them as possible exist.
     From: Gottfried Leibniz (Exigency to Exist in Essences [1690], p.91)
     A reaction: I'm in tune with a lot of Leibniz, but my head swims with this one. He seems to be a Lewisian about possible worlds - that they are concrete existing entities (with appetites!). Could Lewis include Leibniz's idea in his system?
God's sufficient reason for choosing reality is in the fitness or perfection of possibilities [Leibniz]
     Full Idea: The sufficient reason for God's choice can be found only in the fitness (convenance) or in the degree of perfection that the several worlds possess.
     From: Gottfried Leibniz (Exigency to Exist in Essences [1690], p.92)
     A reaction: The 'fitness' of a world and its 'perfection' seem very different things. A piece of a jigsaw can have wonderful fitness, without perfection. Occasionally you get that sinking feeling with metaphysicians that they just make it up.
10. Modality / E. Possible worlds / 1. Possible Worlds / a. Possible worlds
The actual universe is the richest composite of what is possible [Leibniz]
     Full Idea: The actual universe is the collection of the possibles which forms the richest composite.
     From: Gottfried Leibniz (Exigency to Exist in Essences [1690], p.92)
     A reaction: 'Richest' for Leibniz means a maximum combination of existence, order and variety. It's rather like picking the best starting team from a squad of footballers.
19. Language / A. Nature of Meaning / 4. Meaning as Truth-Conditions
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).
19. Language / A. Nature of Meaning / 5. Meaning as Verification
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.
19. Language / A. Nature of Meaning / 6. Meaning as Use
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.
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.
19. Language / C. Assigning Meanings / 6. Truth-Conditions Semantics
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.
19. Language / C. Assigning Meanings / 8. Possible Worlds Semantics
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.
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).