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] |
3061 | Anaxarchus said that he was not even sure that he knew nothing [Anaxarchus, by Diog. Laertius] |
Full Idea: Anaxarchus said that he was not even sure that he knew nothing. | |
From: report of Anaxarchus (fragments/reports [c.340 BCE]) by Diogenes Laertius - Lives of Eminent Philosophers 09.10.1 |
17593 | Always be ready to give reasons for your beliefs [Peter] |
Full Idea: Be ready to give an answer to every man that asketh you a reason of the hope that is in you with meekness and fear. | |
From: St Peter (21: First Epistle of Peter [c.50], 3:15) | |
A reaction: This quotation is the rational theologian's standard response to pure fideism. |