4 ideas
10121 | Contradiction is not a sign of falsity, nor lack of contradiction a sign of truth [Pascal] |
16980 | We need a logical use of 'object' as predicate-worthy, and an 'ontological' use [Strawson,P] |
16979 | It makes no sense to ask of some individual thing what it is that makes it that individual [Strawson,P] |
9141 | Abstraction theories build mathematics out of second-order equivalence principles [Cook/Ebert] |