74 ideas
19023 | Slippery slope arguments are challenges to show where a non-arbitrary boundary lies [Vetter] |
19033 | Deontic modalities are 'ought-to-be', for sentences, and 'ought-to-do' for predicates [Vetter] |
19032 | S5 is undesirable, as it prevents necessities from having contingent grounds [Vetter] |
19036 | The Barcan formula endorses either merely possible things, or makes the unactualised impossible [Vetter] |
10676 | The Axiom of Choice is a non-logical principle of set-theory [Hossack] |
10686 | The Axiom of Choice guarantees a one-one correspondence from sets to ordinals [Hossack] |
23623 | Predicativism says only predicated sets exist [Hossack] |
23624 | The iterative conception has to appropriate Replacement, to justify the ordinals [Hossack] |
23625 | Limitation of Size justifies Replacement, but then has to appropriate Power Set [Hossack] |
10687 | Maybe we reduce sets to ordinals, rather than the other way round [Hossack] |
10677 | Extensional mereology needs two definitions and two axioms [Hossack] |
23628 | The connective 'and' can have an order-sensitive meaning, as 'and then' [Hossack] |
23627 | 'Before' and 'after' are not two relations, but one relation with two orders [Hossack] |
10671 | Plural definite descriptions pick out the largest class of things that fit the description [Hossack] |
10666 | Plural reference will refer to complex facts without postulating complex things [Hossack] |
10669 | Plural reference is just an abbreviation when properties are distributive, but not otherwise [Hossack] |
10675 | A plural comprehension principle says there are some things one of which meets some condition [Hossack] |
10673 | Plural language can discuss without inconsistency things that are not members of themselves [Hossack] |
10680 | The theory of the transfinite needs the ordinal numbers [Hossack] |
10684 | I take the real numbers to be just lengths [Hossack] |
23626 | Transfinite ordinals are needed in proof theory, and for recursive functions and computability [Hossack] |
10674 | A plural language gives a single comprehensive induction axiom for arithmetic [Hossack] |
10681 | In arithmetic singularists need sets as the instantiator of numeric properties [Hossack] |
10685 | Set theory is the science of infinity [Hossack] |
23621 | Numbers are properties, not sets (because numbers are magnitudes) [Hossack] |
23622 | We can only mentally construct potential infinities, but maths needs actual infinities [Hossack] |
19034 | The world is either a whole made of its parts, or a container which contains its parts [Vetter] |
19015 | Grounding can be between objects ('relational'), or between sentences ('operational') [Vetter] |
19012 | The Humean supervenience base entirely excludes modality [Vetter] |
10668 | We are committed to a 'group' of children, if they are sitting in a circle [Hossack] |
19024 | A determinate property must be a unique instance of the determinable class [Vetter] |
17954 | Essence is a thing's necessities, but what about its possibilities (which may not be realised)? [Vetter] |
19021 | I have an 'iterated ability' to learn the violin - that is, the ability to acquire that ability [Vetter] |
19016 | We should think of dispositions as 'to do' something, not as 'to do something, if ....' [Vetter] |
19017 | Nomological dispositions (unlike ordinary ones) have to be continually realised [Vetter] |
19014 | How can spatiotemporal relations be understood in dispositional terms? [Vetter] |
10664 | Complex particulars are either masses, or composites, or sets [Hossack] |
10678 | The relation of composition is indispensable to the part-whole relation for individuals [Hossack] |
10665 | Leibniz's Law argues against atomism - water is wet, unlike water molecules [Hossack] |
10682 | The fusion of five rectangles can decompose into more than five parts that are rectangles [Hossack] |
17953 | Real definition fits abstracta, but not individual concrete objects like Socrates [Vetter] |
17952 | Modal accounts make essence less mysterious, by basing them on the clearer necessity [Vetter] |
19030 | Why does origin matter more than development; why are some features of origin more important? [Vetter] |
19040 | We take origin to be necessary because we see possibilities as branches from actuality [Vetter] |
19008 | The modern revival of necessity and possibility treated them as special cases of quantification [Vetter] |
19029 | It is necessary that p means that nothing has the potentiality for not-p [Vetter] |
17959 | Metaphysical necessity is even more deeply empirical than Kripke has argued [Vetter] |
17955 | Possible worlds allow us to talk about degrees of possibility [Vetter] |
19028 | Possibilities are potentialities of actual things, but abstracted from their location [Vetter] |
19010 | All possibility is anchored in the potentiality of individual objects [Vetter] |
19013 | Possibility is a generalised abstraction from the potentiality of its bearer [Vetter] |
17957 | Maybe possibility is constituted by potentiality [Vetter] |
19025 | Potentialities may be too weak to count as 'dispositions' [Vetter] |
19019 | Potentiality is the common genus of dispositions, abilities, and similar properties [Vetter] |
19022 | Water has a potentiality to acquire a potentiality to break (by freezing) [Vetter] |
23705 | A potentiality may not be a disposition, but dispositions are strong potentialities [Vetter, by Friend/Kimpton-Nye] |
19009 | Potentiality does the explaining in metaphysics; we don't explain it away or reduce it [Vetter] |
19027 | Potentiality logic is modal system T. Stronger systems collapse iterations, and necessitate potentials [Vetter] |
19031 | There are potentialities 'to ...', but possibilities are 'that ....'. [Vetter] |
17958 | The apparently metaphysically possible may only be epistemically possible [Vetter] |
17956 | Closeness of worlds should be determined by the intrinsic nature of relevant objects [Vetter] |
19011 | If worlds are sets of propositions, how do we know which propositions are genuinely possible? [Vetter] |
19037 | Are there possible objects which nothing has ever had the potentiality to produce? [Vetter] |
6027 | From the fact that some men die, we cannot infer that they all do [Philodemus] |
19018 | Explanations by disposition are more stable and reliable than those be external circumstances [Vetter] |
19020 | Grounding is a kind of explanation, suited to metaphysics [Vetter] |
10663 | A thought can refer to many things, but only predicate a universal and affirm a state of affairs [Hossack] |
22241 | Don't fear god or worry about death; the good is easily got and the terrible easily cured [Philodemus] |
19039 | The view that laws are grounded in substance plus external necessity doesn't suit dispositionalism [Vetter] |
19038 | Dispositional essentialism allows laws to be different, but only if the supporting properties differ [Vetter] |
17993 | Laws are relations of kinds, quantities and qualities, supervening on the essences of a domain [Vetter] |
10683 | We could ignore space, and just talk of the shape of matter [Hossack] |
19026 | If time is symmetrical between past and future, why do they look so different? [Vetter] |
19041 | Presentists explain cross-temporal relations using surrogate descriptions [Vetter] |