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] |
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? |
4761 | The 'error theory' of morals says there is no moral knowledge, because there are no moral facts [Mackie, by Engel] |
Full Idea: Mackie's 'error theory' of ethics says that if a fact is something that corresponds to a true proposition, there are actually no moral facts, hence no knowledge of what moral statements are about. | |
From: report of J.L. Mackie (Ethics: Inventing Right and Wrong [1977]) by Pascal Engel - Truth §4.2 | |
A reaction: Personally I am inclined to think that there are moral facts (about what nature shows us constitutes a good human being), based on virtue theory. Mackie is a good warning, though, against making excessive claims. You end up like a bad scientist. |