53 ideas
10468 | A metaphysics has an ontology (objects) and an ideology (expressed ideas about them) [Oliver] |
19275 | You cannot understand what exists without understanding possibility and necessity [Hale] |
10471 | Ockham's Razor has more content if it says believe only in what is causal [Oliver] |
19291 | A canonical defintion specifies the type of thing, and what distinguish this specimen [Hale] |
10749 | Necessary truths seem to all have the same truth-maker [Oliver] |
10750 | Slingshot Argument: seems to prove that all sentences have the same truth-maker [Oliver] |
19297 | The two Barcan principles are easily proved in fairly basic modal logic [Hale] |
19301 | With a negative free logic, we can dispense with the Barcan formulae [Hale] |
19296 | If second-order variables range over sets, those are just objects; properties and relations aren't sets [Hale] |
19289 | Maybe conventionalism applies to meaning, but not to the truth of propositions expressed [Hale] |
19298 | Unlike axiom proofs, natural deduction proofs needn't focus on logical truths and theorems [Hale] |
19295 | Add Hume's principle to logic, to get numbers; arithmetic truths rest on the nature of the numbers [Hale] |
19281 | Interesting supervenience must characterise the base quite differently from what supervenes on it [Hale] |
19278 | There is no gap between a fact that p, and it is true that p; so we only have the truth-condtions for p [Hale] |
10747 | Accepting properties by ontological commitment tells you very little about them [Oliver] |
10748 | Reference is not the only way for a predicate to have ontological commitment [Oliver] |
10721 | If properties are sui generis, are they abstract or concrete? [Oliver] |
10719 | There are four conditions defining the relations between particulars and properties [Oliver] |
10716 | There are just as many properties as the laws require [Oliver] |
10720 | We have four options, depending whether particulars and properties are sui generis or constructions [Oliver] |
10714 | The expressions with properties as their meanings are predicates and abstract singular terms [Oliver] |
10715 | There are five main semantic theories for properties [Oliver] |
10739 | The property of redness is the maximal set of the tropes of exactly similar redness [Oliver] |
10738 | Tropes are not properties, since they can't be instantiated twice [Oliver] |
10740 | The orthodox view does not allow for uninstantiated tropes [Oliver] |
10741 | Maybe concrete particulars are mereological wholes of abstract particulars [Oliver] |
10742 | Tropes can overlap, and shouldn't be splittable into parts [Oliver] |
10472 | 'Structural universals' methane and butane are made of the same universals, carbon and hydrogen [Oliver] |
10724 | Located universals are wholly present in many places, and two can be in the same place [Oliver] |
10730 | If universals ground similarities, what about uniquely instantiated universals? [Oliver] |
7963 | Aristotle's instantiated universals cannot account for properties of abstract objects [Oliver] |
7962 | Uninstantiated properties are useful in philosophy [Oliver] |
10727 | Uninstantiated universals seem to exist if they themselves have properties [Oliver] |
10722 | Instantiation is set-membership [Oliver] |
10744 | Nominalism can reject abstractions, or universals, or sets [Oliver] |
10726 | Things can't be fusions of universals, because two things could then be one thing [Oliver] |
10725 | Abstract sets of universals can't be bundled to make concrete things [Oliver] |
19302 | If a chair could be made of slightly different material, that could lead to big changes [Hale] |
19290 | Absolute necessities are necessarily necessary [Hale] |
19286 | 'Absolute necessity' is when there is no restriction on the things which necessitate p [Hale] |
19288 | Logical and metaphysical necessities differ in their vocabulary, and their underlying entities [Hale] |
19285 | Logical necessity is something which is true, no matter what else is the case [Hale] |
19287 | Maybe each type of logic has its own necessity, gradually becoming broader [Hale] |
19282 | It seems that we cannot show that modal facts depend on non-modal facts [Hale] |
10745 | Science is modally committed, to disposition, causation and law [Oliver] |
19276 | The big challenge for essentialist views of modality is things having necessary existence [Hale] |
19293 | Essentialism doesn't explain necessity reductively; it explains all necessities in terms of a few basic natures [Hale] |
19294 | If necessity derives from essences, how do we explain the necessary existence of essences? [Hale] |
19279 | What are these worlds, that being true in all of them makes something necessary? [Hale] |
19299 | Possible worlds make every proposition true or false, which endorses classical logic [Hale] |
19300 | The molecules may explain the water, but they are not what 'water' means [Hale] |
10746 | Conceptual priority is barely intelligible [Oliver] |
467 | A virtue is a combination of intelligence, strength and luck [Ion] |