22 ideas
16985 | Possible worlds allowed the application of set-theoretic models to modal logic [Kripke] |
18851 | Pairing (with Extensionality) guarantees an infinity of sets, just from a single element [Rosen] |
16982 | A man has two names if the historical chains are different - even if they are the same! [Kripke] |
18933 | Not-Being obviously doesn't exist, and the five modes of Being are all impossible [Gorgias, by Diog. Laertius] |
18852 | A Meinongian principle might say that there is an object for any modest class of properties [Rosen] |
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] |
18850 | 'Metaphysical' modality is the one that makes the necessity or contingency of laws of nature interesting [Rosen] |
18849 | Metaphysical necessity is absolute and universal; metaphysical possibility is very tolerant [Rosen] |
18857 | Standard Metaphysical Necessity: P holds wherever the actual form of the world holds [Rosen] |
18858 | Sets, universals and aggregates may be metaphysically necessary in one sense, but not another [Rosen] |
18856 | Non-Standard Metaphysical Necessity: when ¬P is incompatible with the nature of things [Rosen] |
18848 | Something may be necessary because of logic, but is that therefore a special sort of necessity? [Rosen] |
18855 | Combinatorial theories of possibility assume the principles of combination don't change across worlds [Rosen] |
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] |
18853 | A proposition is 'correctly' conceivable if an ominiscient being could conceive it [Rosen] |
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] |
9866 | Gorgias says rhetoric is the best of arts, because it enslaves without using force [Gorgias, by Plato] |
5864 | Destroy seriousness with laughter, and laughter with seriousness [Gorgias] |
18854 | The MRL view says laws are the theorems of the simplest and strongest account of the world [Rosen] |