9 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] |
| 594 | Speusippus suggested underlying principles for every substance, and ended with a huge list [Speussipus, by Aristotle] |
| 11214 | We learn 'not' along with affirmation, by learning to either affirm or deny a sentence [Rumfitt] |
| 2632 | Speusippus said things were governed by some animal force rather than the gods [Speussipus, by Cicero] |