Combining Texts

Ideas for 'Thinking About Mathematics', 'Truth-makers and dependence' and 'Naming and Necessity notes and addenda'

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

display all the ideas for this combination of texts

---

2 ideas

12. Knowledge Sources / A. A Priori Knowledge / 8. A Priori as Analytic

17052	The a priori analytic truths involving fixing of reference are contingent [Kripke]
	Full Idea: If statements whose a priori truth is known via the fixing of a reference are counted as analytic, then some analytic truths are contingent.
	From: Saul A. Kripke (Naming and Necessity notes and addenda [1972], note 63)

12. Knowledge Sources / C. Rationalism / 1. Rationalism

8725	Rationalism tries to apply mathematical methodology to all of knowledge [Shapiro]
	Full Idea: Rationalism is a long-standing school that can be characterized as an attempt to extend the perceived methodology of mathematics to all of knowledge.
	From: Stewart Shapiro (Thinking About Mathematics [2000], 1.1)
	A reaction: Sometimes called 'Descartes's Dream', or the 'Enlightenment Project', the dream of proving everything. Within maths, Hilbert's Programme aimed for the same certainty. Idea 22 is the motto for the opposition to this approach.