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] |
| 8326 | Science has shown that causal relations are just transfers of energy or momentum [Fair, by Sosa/Tooley] |
| Full Idea: Basic causal relations can, as a consequence of our scientific knowledge, be identified with certain physicalistic [sic] relations between objects that can be characterized in terms of transference of either energy or momentum between objects. | |
| From: report of David Fair (Causation and the Flow of Energy [1979]) by E Sosa / M Tooley - Introduction to 'Causation' §1 | |
| A reaction: Presumably a transfer of momentum is a transfer of energy. If only anyone had the foggiest idea what energy actually is, we'd be doing well. What is energy made of? 'No identity without substance', I say. I like Fair's idea. |
| 10379 | Fair shifted his view to talk of counterfactuals about energy flow [Fair, by Schaffer,J] |
| Full Idea: Fair, who originated the energy flow view of causation, moved to a view that understands connection in terms of counterfactuals about energy flow. | |
| From: report of David Fair (Causation and the Flow of Energy [1979]) by Jonathan Schaffer - The Metaphysics of Causation 2.1.2 | |
| A reaction: David Fair was a pupil of David Lewis, the king of the counterfactual view. To me that sounds like a disappointing move, but it is hard to think that a mere flow of energy through space would amount to causation. Cause must work back from an effect. |