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] |
22013 | Subjects distinguish representations, as related both to subject and object [Reinhold] |
Full Idea: In consciousness the subject distinguishes the representation from the subject and object, and relates it to both. | |
From: Karl Leonhard Reinhold (Foundations of Philosophical Knowledge [1791], p.78), quoted by Terry Pinkard - German Philosophy 1760-1860 04 | |
A reaction: This is a reminder that twentieth century analytic discussions of perception were largely recapitulating late Enlightenment German philosophy. This is a very good definition of sense-data. I can think about my representations. Reinhold was a realist. |
1513 | The Egyptians were the first to say the soul is immortal and reincarnated [Herodotus] |
Full Idea: The Egyptians were the first to claim that the soul of a human being is immortal, and that each time the body dies the soul enters another creature just as it is being born. | |
From: Herodotus (The Histories [c.435 BCE], 2.123.2) |