15 ideas
| 3338 | Numbers have been defined in terms of 'successors' to the concept of 'zero' [Peano, by Blackburn] |
| 5897 | 0 is a non-successor number, all successors are numbers, successors can't duplicate, if P(n) and P(n+1) then P(all-n) [Peano, by Flew] |
| 4483 | If abstract terms are sets of tropes, 'being a unicorn' and 'being a griffin' turn out identical [Loux] |
| 4481 | Austere nominalists insist that the realist's universals lack the requisite independent identifiability [Loux] |
| 4477 | Universals come in hierarchies of generality [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] |
| 11976 | Aristotelian essentialism says essences are not relative to specification [Lewis] |
| 11978 | Causal necessities hold in all worlds compatible with the laws of nature [Lewis] |
| 11979 | It doesn't take the whole of a possible Humphrey to win the election [Lewis] |
| 16994 | Counterpart theory is bizarre, as no one cares what happens to a mere counterpart [Kripke on Lewis] |
| 11974 | Counterparts are not the original thing, but resemble it more than other things do [Lewis] |
| 11975 | If the closest resembler to you is in fact quite unlike you, then you have no counterpart [Lewis] |
| 11977 | Essential attributes are those shared with all the counterparts [Lewis] |