3 ideas
9355 | One sort of circularity presupposes a premise, the other presupposes a rule being used [Braithwaite, by Devitt] |
17750 | The first clear proof of the consistency of the first order predicate logic was in 1928 [Hilbert/Ackermann, by Walicki] |
15456 | Extrinsic properties, unlike intrinsics, imply the existence of a separate object [Kim, by Lewis] |