4 ideas
6408 | Russell needed three extra axioms to reduce maths to logic: infinity, choice and reducibility [Grayling] |
14742 | It can't be indeterminate whether x and y are identical; if x,y is indeterminate, then it isn't x,x [Salmon,N] |
6414 | Two propositions might seem self-evident, but contradict one another [Grayling] |
18885 | Kripke and Putnam made false claims that direct reference implies essentialism [Salmon,N] |