3 ideas
10594 | Henkin semantics is more plausible for plural logic than for second-order logic [Maddy] |
18198 | Mathematics is part of science; transfinite mathematics I take as mostly uninterpreted [Quine] |
490 | Everything happens by reason and necessity [Leucippus] |