3 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] |
16627 | If you remove the accidents from a horse and a lion, the intellect can't tell them apart [Francis of Marchia] |