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] |
16755 | The possible Aristotelian view that forms are real and active principles is clearly wrong [Fine,K, by Pasnau] |
Full Idea: Aristotle seems to have a possible basis for the belief [in individual forms], namely that forms are real and active principles in the world, which is denied by any right-minded modern. | |
From: report of Kit Fine (A Puzzle Concerning Matter and Form [1994], p.19) by Robert Pasnau - Metaphysical Themes 1274-1671 24.3 n8 | |
A reaction: Pasnau says this is the view of forms promoted by the scholastics, whereas Aristotle's own view should be understood as 'metaphysical'. |
18639 | If we assess what people would buy in an imaginary insurance market, our taxes could copy it [Dworkin, by Kymlicka] |
Full Idea: If we can make sense of a hypothetical insurance market, and find a determinate answer to the question of what insurance people would buy in it, then we could use the tax system to duplicate the results. | |
From: report of Ronald Dworkin (A Matter of Principle [1985]) by Will Kymlicka - Contemporary Political Philosophy (1st edn) 2.4.b | |
A reaction: This is a nice alternative from Dworkin to Rawls's 'veil of ignorance' approach. |