3 ideas
17962 | The truth-maker principle is that every truth has a sufficient truth-maker [Forrest] |
19000 | Read 'all ravens are black' as about ravens, not as about an implication [Belnap] |
8693 | An 'abstraction principle' says two things are identical if they are 'equivalent' in some respect [Boolos] |