3 ideas
8728 | Intuitionist mathematics deduces by introspective construction, and rejects unknown truths [Brouwer] |
10994 | Conditionals are true if minimal revision of the antecedent verifies the consequent [Stalnaker, by Read] |
6017 | Nomos is king [Pindar] |