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] |
604 | Knowledge is mind and knowing 'cohabiting' [Lycophron, by Aristotle] |