13 ideas
11211 | If a sound conclusion comes from two errors that cancel out, the path of the argument must matter [Rumfitt] |
11210 | Standardly 'and' and 'but' are held to have the same sense by having the same truth table [Rumfitt] |
11212 | The sense of a connective comes from primitively obvious rules of inference [Rumfitt] |
17423 | The essence of natural numbers must reflect all the functions they perform [Sicha] |
17425 | To know how many, you need a numerical quantifier, as well as equinumerosity [Sicha] |
17424 | Counting puts an initial segment of a serial ordering 1-1 with some other entities [Sicha] |
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] |
11214 | We learn 'not' along with affirmation, by learning to either affirm or deny a sentence [Rumfitt] |