Combining Texts

All the ideas for 'works (all lost)', 'Dynamic Logics' and 'The Psychophysical Nexus'

unexpand these ideas     |    start again     |     specify just one area for these texts

---

2 ideas

4. Formal Logic / E. Nonclassical Logics / 11. Dynamic Logics

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]

7. Existence / C. Structure of Existence / 5. Supervenience / c. Significance of supervenience

4242	Pure supervenience explains nothing, and is a sign of something fundamental we don't know [Nagel]
	Full Idea: Pure, unexplained supervenience is never a solution to a problem but a sign that there is something fundamental we don't know.
	From: Thomas Nagel (The Psychophysical Nexus [2000], §III)
	A reaction: This seems right. It is not a theory or an explanation, merely the observation of a correlation which will require explanation. Why are they correlated?