3 ideas
| 15381 | Dyamic logics model changes between classical states, in action, belief, and computing [Uckelman] |
| Full Idea: Dynamic logic gives versions of propositional, modal and predicate logics, in which the states are classical, but changes of assignments between states can be expressed, by modelling action, knowledge and belief change, and compute programs. | |
| From: Sara L. Uckelman (Dynamic Logics [2010]) | |
| A reaction: [compressed] |
| 22063 | Effective individuals must posit a specific material body for themselves [Fichte] |
| Full Idea: Rational beings cannot posit themselves as effective individuals without ascribing to themselves a material body and determining it in doing so. | |
| From: Johann Fichte (The Science of Rights [1797], p.87), quoted by Ludwig Siep - Fichte | |
| A reaction: To be free entails a belief that one is 'effective', and a body is our only concept for that. This seems to be a transcendental proof that the body must exist, which is a neat inverted move! The Self sustains the body, for Fichte. |
| 468 | Musical performance can reveal a range of virtues [Damon of Ath.] |
| Full Idea: In singing and playing the lyre, a boy will be likely to reveal not only courage and moderation, but also justice. | |
| From: Damon (fragments/reports [c.460 BCE], B4), quoted by (who?) - where? |