3 ideas
9463 | Classical logic is bivalent, has excluded middle, and only quantifies over existent objects [Jacquette] |
22110 | Demonstration provides depth of understanding and explanation (rather than foundations) [Kretzmann/Stump] |
8592 | Empty space is measurable in ways in which empty time necessarily is not [Bennett, by Shoemaker] |