4 ideas
8460 | Philosophers have given precise senses to deduction, probability, computability etc [Quine/Ullian] |
10594 | Henkin semantics is more plausible for plural logic than for second-order logic [Maddy] |
13304 | Learned men gain more in one day than others do in a lifetime [Posidonius] |
20820 | Time is an interval of motion, or the measure of speed [Posidonius, by Stobaeus] |