12 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] |
| 9148 | I think of variables as objects rather than as signs [Fine,K] |
| 9152 | If green is abstracted from a thing, it is only seen as a type if it is common to many things [Fine,K] |
| 9149 | To obtain the number 2 by abstraction, we only want to abstract the distinctness of a pair of objects [Fine,K] |
| 9150 | We should define abstraction in general, with number abstraction taken as a special case [Fine,K] |
| 9146 | After abstraction all numbers seem identical, so only 0 and 1 will exist! [Fine,K] |
| 11214 | We learn 'not' along with affirmation, by learning to either affirm or deny a sentence [Rumfitt] |
| 20595 | You can't distribute goods from behind a veil, because their social meaning is unclear [Walzer, by Tuckness/Wolf] |
| 20592 | Complex equality restricts equalities from spilling over, like money influencing politics and law [Walzer, by Tuckness/Wolf] |
| 20549 | Equality is complex, with different spheres of equality where different principles apply [Walzer, by Swift] |