3 ideas
18004 | We can't do philosophy without knowledge of types and categories [Ryle] |
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] |