22 ideas
18851 | Pairing (with Extensionality) guarantees an infinity of sets, just from a single element [Rosen] |
8755 | Maddy replaces pure sets with just objects and perceived sets of objects [Maddy, by Shapiro] |
14249 | Boolos reinterprets second-order logic as plural logic [Boolos, by Oliver/Smiley] |
10830 | Second-order logic metatheory is set-theoretic, and second-order validity has set-theoretic problems [Boolos] |
10829 | A sentence can't be a truth of logic if it asserts the existence of certain sets [Boolos] |
10832 | '∀x x=x' only means 'everything is identical to itself' if the range of 'everything' is fixed [Boolos] |
10834 | Weak completeness: if it is valid, it is provable. Strong: it is provable from a set of sentences [Boolos] |
13841 | Why should compactness be definitive of logic? [Boolos, by Hacking] |
10833 | Many concepts can only be expressed by second-order logic [Boolos] |
10718 | A natural number is a property of sets [Maddy, by Oliver] |
8756 | Intuition doesn't support much mathematics, and we should question its reliability [Maddy, by Shapiro] |
17733 | We know mind-independent mathematical truths through sets, which rest on experience [Maddy, by Jenkins] |
18852 | A Meinongian principle might say that there is an object for any modest class of properties [Rosen] |
18849 | Metaphysical necessity is absolute and universal; metaphysical possibility is very tolerant [Rosen] |
18850 | 'Metaphysical' modality is the one that makes the necessity or contingency of laws of nature interesting [Rosen] |
18858 | Sets, universals and aggregates may be metaphysically necessary in one sense, but not another [Rosen] |
18857 | Standard Metaphysical Necessity: P holds wherever the actual form of the world holds [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] |
18853 | A proposition is 'correctly' conceivable if an ominiscient being could conceive it [Rosen] |
18854 | The MRL view says laws are the theorems of the simplest and strongest account of the world [Rosen] |