3 ideas
15381 | Dyamic logics model changes between classical states, in action, belief, and computing [Uckelman] |
17743 | De Morgan introduced a 'universe of discourse', to replace Boole's universe of 'all things' [De Morgan, by Walicki] |
22489 | 'Good' is an attributive adjective like 'large', not predicative like 'red' [Geach, by Foot] |