3 ideas
15381 | Dyamic logics model changes between classical states, in action, belief, and computing [Uckelman] |
3425 | Reduction has been defined as deriving one theory from another by logic and maths [Nagel,E, by Kim] |
5996 | Critolaus redefined Aristotle's moral aim as fulfilment instead of happiness [Critolaus, by White,SA] |