45 ideas
| 10468 | A metaphysics has an ontology (objects) and an ideology (expressed ideas about them) [Oliver] |
| 15545 | Armstrong's analysis seeks truthmakers rather than definitions [Lewis] |
| 10471 | Ockham's Razor has more content if it says believe only in what is causal [Oliver] |
| 13838 | A decent modern definition should always imply a semantics [Hacking] |
| 15546 | Predications aren't true because of what exists, but of how it exists [Lewis] |
| 15548 | Say 'truth is supervenient on being', but construe 'being' broadly [Lewis] |
| 10749 | Necessary truths seem to all have the same truth-maker [Oliver] |
| 14399 | Presentism says only the present exists, so there is nothing for tensed truths to supervene on [Lewis] |
| 10750 | Slingshot Argument: seems to prove that all sentences have the same truth-maker [Oliver] |
| 13833 | 'Thinning' ('dilution') is the key difference between deduction (which allows it) and induction [Hacking] |
| 13834 | Gentzen's Cut Rule (or transitivity of deduction) is 'If A |- B and B |- C, then A |- C' [Hacking] |
| 13835 | Only Cut reduces complexity, so logic is constructive without it, and it can be dispensed with [Hacking] |
| 13845 | The various logics are abstractions made from terms like 'if...then' in English [Hacking] |
| 13840 | First-order logic is the strongest complete compact theory with Löwenheim-Skolem [Hacking] |
| 13844 | A limitation of first-order logic is that it cannot handle branching quantifiers [Hacking] |
| 13842 | Second-order completeness seems to need intensional entities and possible worlds [Hacking] |
| 13837 | With a pure notion of truth and consequence, the meanings of connectives are fixed syntactically [Hacking] |
| 13839 | Perhaps variables could be dispensed with, by arrows joining places in the scope of quantifiers [Hacking] |
| 13843 | If it is a logic, the Löwenheim-Skolem theorem holds for it [Hacking] |
| 15543 | How do things combine to make states of affairs? Constituents can repeat, and fail to combine [Lewis] |
| 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] |
| 10719 | There are four conditions defining the relations between particulars and properties [Oliver] |
| 10721 | If properties are sui generis, are they abstract or concrete? [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] |
| 10738 | Tropes are not properties, since they can't be instantiated twice [Oliver] |
| 10739 | The property of redness is the maximal set of the tropes of exactly similar redness [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] |
| 7963 | Aristotle's instantiated universals cannot account for properties of abstract objects [Oliver] |
| 10730 | If universals ground similarities, what about uniquely instantiated universals? [Oliver] |
| 10727 | Uninstantiated universals seem to exist if they themselves have properties [Oliver] |
| 7962 | Uninstantiated properties are useful in philosophy [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] |
| 10745 | Science is modally committed, to disposition, causation and law [Oliver] |
| 10746 | Conceptual priority is barely intelligible [Oliver] |