more from this thinker     |     more from this text

Single Idea 573

[filed under theme 4. Formal Logic / B. Propositional Logic PL / 2. Tools of Propositional Logic / e. Axioms of PL ]

Full Idea

A single science, that of the philosopher, also covers the axioms of mathematics.

Clarification

'Axioms' are the initial assumptions

Gist of Idea

The axioms of mathematics are part of philosophy

Source

Aristotle (Metaphysics [c.324 BCE], 1005a15)

Book Ref

Aristotle: 'Metaphysics', ed/tr. Lawson-Tancred,Hugh [Penguin 1998], p.86

The 17 ideas with the same theme [statements treated as true without question]:

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]
4632 'Natural' systems of deduction are based on normal rational practice, rather than on axioms [Baggini /Fosl]
4631 In ideal circumstances, an axiom should be such that no rational agent could possibly object to its use [Baggini /Fosl]