55 ideas
14092 | Philosophers are often too fussy about words, dismissing perfectly useful ordinary terms [Rosen] |
6222 | If a decision is in accord with right reason, everyone can agree with it [Cumberland] |
14100 | Figuring in the definition of a thing doesn't make it a part of that thing [Rosen] |
10859 | A set is 'well-ordered' if every subset has a first element [Clegg] |
10857 | Set theory made a closer study of infinity possible [Clegg] |
10864 | Any set can always generate a larger set - its powerset, of subsets [Clegg] |
10872 | Extensionality: Two sets are equal if and only if they have the same elements [Clegg] |
18851 | Pairing (with Extensionality) guarantees an infinity of sets, just from a single element [Rosen] |
10875 | Pairing: For any two sets there exists a set to which they both belong [Clegg] |
10876 | Unions: There is a set of all the elements which belong to at least one set in a collection [Clegg] |
10878 | Infinity: There exists a set of the empty set and the successor of each element [Clegg] |
10877 | Powers: All the subsets of a given set form their own new powerset [Clegg] |
10879 | Choice: For every set a mechanism will choose one member of any non-empty subset [Clegg] |
10871 | Axiom of Existence: there exists at least one set [Clegg] |
10874 | Specification: a condition applied to a set will always produce a new set [Clegg] |
14096 | Explanations fail to be monotonic [Rosen] |
10880 | Mathematics can be 'pure' (unapplied), 'real' (physically grounded); or 'applied' (just applicable) [Clegg] |
10860 | An ordinal number is defined by the set that comes before it [Clegg] |
10861 | Beyond infinity cardinals and ordinals can come apart [Clegg] |
10854 | Transcendental numbers can't be fitted to finite equations [Clegg] |
10858 | By adding an axis of imaginary numbers, we get the useful 'number plane' instead of number line [Clegg] |
10853 | Either lack of zero made early mathematics geometrical, or the geometrical approach made zero meaningless [Clegg] |
10866 | Cantor's account of infinities has the shaky foundation of irrational numbers [Clegg] |
10869 | The Continuum Hypothesis is independent of the axioms of set theory [Clegg] |
10862 | The 'continuum hypothesis' says aleph-one is the cardinality of the reals [Clegg] |
14097 | Things could be true 'in virtue of' others as relations between truths, or between truths and items [Rosen] |
14095 | Facts are structures of worldly items, rather like sentences, individuated by their ingredients [Rosen] |
14093 | An 'intrinsic' property is one that depends on a thing and its parts, and not on its relations [Rosen] |
8915 | How we refer to abstractions is much less clear than how we refer to other things [Rosen] |
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] |
14094 | The excellent notion of metaphysical 'necessity' cannot be defined [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] |
14101 | Are necessary truths rooted in essences, or also in basic grounding laws? [Rosen] |
18853 | A proposition is 'correctly' conceivable if an ominiscient being could conceive it [Rosen] |
8917 | The Way of Abstraction used to say an abstraction is an idea that was formed by abstracting [Rosen] |
8912 | Nowadays abstractions are defined as non-spatial, causally inert things [Rosen] |
8913 | Chess may be abstract, but it has existed in specific space and time [Rosen] |
8914 | Sets are said to be abstract and non-spatial, but a set of books can be on a shelf [Rosen] |
8916 | Conflating abstractions with either sets or universals is a big claim, needing a big defence [Rosen] |
8918 | Functional terms can pick out abstractions by asserting an equivalence relation [Rosen] |
8919 | Abstraction by equivalence relationships might prove that a train is an abstract entity [Rosen] |
14099 | 'Bachelor' consists in or reduces to 'unmarried' male, but not the other way around [Rosen] |
6217 | Natural law is supplied to the human mind by reality and human nature [Cumberland] |
6221 | If there are different ultimate goods, there will be conflicting good actions, which is impossible [Cumberland] |
6218 | The happiness of individuals is linked to the happiness of everyone (which is individuals taken together) [Cumberland] |
6220 | The happiness of all contains the happiness of each, and promotes it [Cumberland] |
6216 | Natural law is immutable truth giving moral truths and duties independent of society [Cumberland] |
18854 | The MRL view says laws are the theorems of the simplest and strongest account of the world [Rosen] |
14098 | An acid is just a proton donor [Rosen] |