Combining Texts

Ideas for 'Metaphysics', 'Individuals:Essay in Descript Metaphysics' and 'Dynamic Logics'

unexpand these ideas     |    start again     |     choose another area for these texts

display all the ideas for this combination of texts

---

3 ideas

4. Formal Logic / B. Propositional Logic PL / 2. Tools of Propositional Logic / e. Axioms of PL

562	Axioms are the underlying principles of everything, and who but the philosopher can assess their truth? [Aristotle]
	Full Idea: Axioms are more general, and the principles of all things. If this does not belong to the philosopher, who else will have the job of considering truth and falsity in their case?
	From: Aristotle (Metaphysics [c.324 BCE], 0997a09)

573	The axioms of mathematics are part of philosophy [Aristotle]
	Full Idea: A single science, that of the philosopher, also covers the axioms of mathematics.
	From: Aristotle (Metaphysics [c.324 BCE], 1005a15)

4. Formal Logic / E. Nonclassical Logics / 11. Dynamic Logics

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]