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] |
20992 | Right and wrong concerns what other people cannot reasonably reject [Scanlon] |
Full Idea: Thinking about right and wrong is, at the most basic level, thinking about what could be justified to others on grounds that they, if appropriately motivated, could not reasonably reject. | |
From: Thomas M. Scanlon (What We Owe to Each Other [1998], Intro) | |
A reaction: The tricky bit is that the acceptance by others must be 'reasonable', so we need a reasonably objective view of rationality. Don't picture your neighbours, picture the locals when you are on holiday in a very different culture. Other Nazis? |
16713 | Philosophers are the forefathers of heretics [Tertullian] |
Full Idea: Philosophers are the forefathers of heretics. | |
From: Tertullian (works [c.200]), quoted by Robert Pasnau - Metaphysical Themes 1274-1671 20.2 |
6610 | I believe because it is absurd [Tertullian] |
Full Idea: I believe because it is absurd ('Credo quia absurdum est'). | |
From: Tertullian (works [c.200]), quoted by Robert Fogelin - Walking the Tightrope of Reason n4.2 | |
A reaction: This seems to be a rather desperate remark, in response to what must have been rather good hostile arguments. No one would abandon the support of reason if it was easy to acquire. You can't deny its engaging romantic defiance, though. |