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] |
13007 | Archimedes defined a straight line as the shortest distance between two points [Archimedes, by Leibniz] |
Full Idea: Archimedes gave a sort of definition of 'straight line' when he said it is the shortest line between two points. | |
From: report of Archimedes (fragments/reports [c.240 BCE]) by Gottfried Leibniz - New Essays on Human Understanding 4.13 | |
A reaction: Commentators observe that this reduces the purity of the original Euclidean axioms, because it involves distance and measurement, which are absent from the purest geometry. |
7489 | Joshua said, Sun, stand thou still [Anon (Josh)] |
Full Idea: Then Joshua spake to the Lord, and he said in the sight of Israel, Sun, stand thou still upon Gibeon; and the Sun stood still. | |
From: Anon (Josh) (06: Book of Joshua [c.540 BCE], 10.12) | |
A reaction: This verse became highly significant during the controversies from Copernicus to Galileo about the heliocentric universe. |