display all the ideas for this combination of texts
4 ideas
562 | Axioms are the underlying principles of everything, and who but the philosopher can assess their truth? [Aristotle] |
573 | The axioms of mathematics are part of philosophy [Aristotle] |
8859 | The main modal logics disagree over three key formulae [Yablo] |
9449 | The plausible Barcan formula implies modality in the actual world [Bird] |