4 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] |
| 20363 | Leaves are unequal, but we form the concept 'leaf' by discarding their individual differences [Nietzsche] |
| Full Idea: Every concept arises through the setting equal of the unequal. Just as it is certain that one leaf is never wholly equal to another, so it is certain that the concept leaf is formed by arbitrarily discarding these individual differences. | |
| From: Friedrich Nietzsche (On Truth and Lies in a Nonmoral Sense [1872]), quoted by John Richardson - Nietzsche's System 2.1.1 n28 | |
| A reaction: Nietzsche adds an interesting aspect to psychological abstraction, of abstracting away the differences between things, which we might label as the (further) capacity for Equalisation. If two cars differ only in a blemish, we abstract away the blemish. |
| 1748 | Archelaus was the first person to say that the universe is boundless [Archelaus, by Diog. Laertius] |
| Full Idea: Archelaus was the first person to say that the universe is boundless. | |
| From: report of Archelaus (fragments/reports [c.450 BCE]) by Diogenes Laertius - Lives of Eminent Philosophers 02.Ar.3 |
| 5989 | Archelaus said life began in a primeval slime [Archelaus, by Schofield] |
| Full Idea: Archelaus wrote that life on Earth began in a primeval slime. | |
| From: report of Archelaus (fragments/reports [c.450 BCE]) by Malcolm Schofield - Archelaus | |
| A reaction: This sounds like a fairly clearcut assertion of the production of life by evolution. Darwin's contribution was to propose the mechanism for achieving it. We should honour the name of Archelaus for this idea. |