6 ideas
11074 | 'It is true that this follows' means simply: this follows [Wittgenstein] |
11073 | Two and one making three has the necessity of logical inference [Wittgenstein] |
6408 | Russell needed three extra axioms to reduce maths to logic: infinity, choice and reducibility [Grayling] |
14082 | No sortal could ever exactly pin down which set of particles count as this 'cup' [Schaffer,J] |
14081 | Identities can be true despite indeterminate reference, if true under all interpretations [Schaffer,J] |
6414 | Two propositions might seem self-evident, but contradict one another [Grayling] |