3 ideas
10594 | Henkin semantics is more plausible for plural logic than for second-order logic [Maddy] |
10121 | Contradiction is not a sign of falsity, nor lack of contradiction a sign of truth [Pascal] |
3622 | The Cogito is not a syllogism but a self-evident intuition [Descartes] |