4 ideas
9465 | Substitutional universal quantification retains truth for substitution of terms of the same type [Jacquette] |
9466 | Nominalists like substitutional quantification to avoid the metaphysics of objects [Jacquette] |
22110 | Demonstration provides depth of understanding and explanation (rather than foundations) [Kretzmann/Stump] |
19000 | Read 'all ravens are black' as about ravens, not as about an implication [Belnap] |