8 ideas
17751 | Gödel proved the completeness of first order predicate logic in 1930 [Gödel, by Walicki] |
4483 | If abstract terms are sets of tropes, 'being a unicorn' and 'being a griffin' turn out identical [Loux] |
14296 | Dispositions are physical states of mechanism; when known, these replace the old disposition term [Quine] |
4477 | Universals come in hierarchies of generality [Loux] |
4481 | Austere nominalists insist that the realist's universals lack the requisite independent identifiability [Loux] |
4482 | Austere nominalism has to take a host of things (like being red, or human) as primitive [Loux] |
4478 | Nominalism needs to account for abstract singular terms like 'circularity'. [Loux] |
4480 | Times and places are identified by objects, so cannot be used in a theory of object-identity [Loux] |