Combining Texts

Ideas for 'Metaphysics', 'Dion and Theon: an essentialist solution' and 'What Does It Take to Refer?'

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 / 6. Free Logic

10455	Free logic at least allows empty names, but struggles to express non-existence [Bach]
	Full Idea: Unlike standard first-order logic, free logic can allow empty names, but still has to deny existence by either representing it as a predicate, or invoke some dubious distinction such as between existence and being.
	From: Kent Bach (What Does It Take to Refer? [2006], 22.2 L1)