14 ideas
16985 | Possible worlds allowed the application of set-theoretic models to modal logic [Kripke] |
9455 | Maybe proper names have the content of fixing a thing's category [Bealer] |
16982 | A man has two names if the historical chains are different - even if they are the same! [Kripke] |
9454 | The four leading theories of definite descriptions are Frege's, Russell's, Evans's, and Prior's [Bealer] |
16981 | With the necessity of self-identity plus Leibniz's Law, identity has to be an 'internal' relation [Kripke] |
4942 | The indiscernibility of identicals is as self-evident as the law of contradiction [Kripke] |
16984 | I don't think possible worlds reductively reveal the natures of modal operators etc. [Kripke] |
9385 | The very act of designating of an object with properties gives knowledge of a contingent truth [Kripke] |
4943 | Instead of talking about possible worlds, we can always say "It is possible that.." [Kripke] |
16983 | Probability with dice uses possible worlds, abstractions which fictionally simplify things [Kripke] |
16557 | Salmon's mechanisms are processes and interactions, involving marks, or conserved quantities [Salmon, by Machamer/Darden/Craver] |
9453 | Sentences saying the same with the same rigid designators may still express different propositions [Bealer] |
9452 | Propositions might be reduced to functions (worlds to truth values), or ordered sets of properties and relations [Bealer] |
9451 | Modal logic and brain science have reaffirmed traditional belief in propositions [Bealer] |