2145 | In mathematics certain things have to be accepted without further explanation [Plato] |
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] |
1668 | An axiom is a principle which must be understood if one is to learn anything [Aristotle] |
20791 | Chrysippus has five obvious 'indemonstrables' of reasoning [Chrysippus, by Diog. Laertius] |
5620 | Philosophy has no axioms, as it is just rational cognition of concepts [Kant] |
9154 | Frege agreed with Euclid that the axioms of logic and mathematics are known through self-evidence [Frege, by Burge] |
9585 | Since every definition is an equation, one cannot define equality itself [Frege] |
9542 | The best known axiomatization of PL is Whitehead/Russell, with four axioms and two rules [Russell/Whitehead, by Hughes/Cresswell] |
9013 | We can eliminate 'or' from our basic theory, by paraphrasing 'p or q' as 'not(not-p and not-q)' [Quine] |
13610 | A logic with ¬ and → needs three axiom-schemas and one rule as foundation [Bostock] |
8086 | Predicate logic retains the axioms of propositional logic [Devlin] |
6299 | Axioms are often affirmed simply because they produce results which have been accepted [Resnik] |
8476 | Axiomatization simply picks from among the true sentences a few to play a special role [Orenstein] |
7797 | Axiom systems of logic contain axioms, inference rules, and definitions of proof and theorems [Girle] |
4631 | In ideal circumstances, an axiom should be such that no rational agent could possibly object to its use [Baggini /Fosl] |
4632 | 'Natural' systems of deduction are based on normal rational practice, rather than on axioms [Baggini /Fosl] |