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] |
651 | Eurytus showed that numbers underlie things by making pictures of creatures out of pebbles [Eurytus, by Aristotle] |
Full Idea: Eurytus assigned numbers to things by taking some pebbles and using them to create likeness of the shapes of living things, such as a man or a horse. | |
From: report of Eurytus (fragments/reports [c.400 BCE]) by Aristotle - Metaphysics 1092b | |
A reaction: Pythagorean. Digitising reality. |
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) |