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] |
| 6356 | Maybe a reliable justification must come from a process working with its 'proper function' [Plantinga, by Pollock/Cruz] |
| Full Idea: A modified version of reliabilism proposes that a belief is justified in case it is the product of a process that is working according to its 'proper function' in the environment for which it is appropriate. | |
| From: report of Alvin Plantinga (Warrant and Proper Function [1993]) by J Pollock / J Cruz - Contemporary theories of Knowledge (2nd) §1.5.4 | |
| A reaction: Something might infallibly indicate something without that being its proper function (e.g. 'Red sky at night/ Shepherds' delight'). An inaccurate clock is fulfilling its proper function (telling the time), but not very well. |
| 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. |