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] |
8732 | It is spooky the way mathematics anticipates physics [Weinberg] |
Full Idea: It is positively spooky how the physicist finds the mathematician has been there before him or her. | |
From: Steven Weinberg (Lecture on Applicability of Mathematics [1986], p.725), quoted by Stewart Shapiro - Thinking About Mathematics 2.3 | |
A reaction: This suggests that mathematics might be the study of possibilities or hypotheticals, like mental rehearsals for physics. See Hellman's modal structuralism. Maybe mathematicians are reading the mind of God, but I doubt that. |
7903 | The six perfections are giving, morality, patience, vigour, meditation, and wisdom [Nagarjuna] |
Full Idea: The six perfections are of giving, morality, patience, vigour, meditation, and wisdom. | |
From: Nagarjuna (Mahaprajnaparamitashastra [c.120], 88) | |
A reaction: What is 'morality', if giving is not part of it? I like patience and vigour being two of the virtues, which immediately implies an Aristotelian mean (which is always what is 'appropriate'). |