Combining Texts

Ideas for 'Defending the Axioms', 'Conditionals' and 'Beyond internal Foundations to external Virtues'

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

display all the ideas for this combination of texts

---

2 ideas

5. Theory of Logic / K. Features of Logics / 1. Axiomatisation

17605	Hilbert's geometry and Dedekind's real numbers were role models for axiomatization [Maddy]
	Full Idea: At the end of the nineteenth century there was a renewed emphasis on rigor, the central tool of which was axiomatization, along the lines of Hilbert's axioms for geometry and Dedekind's axioms for real numbers.
	From: Penelope Maddy (Defending the Axioms [2011], 1.3)

17625	If two mathematical themes coincide, that suggest a single deep truth [Maddy]
	Full Idea: The fact that two apparently fruitful mathematical themes turn out to coincide makes it all the more likely that they're tracking a genuine strain of mathematical depth.
	From: Penelope Maddy (Defending the Axioms [2011], 5.3ii)