Switch to: Citations

References in:

Hugh MacColl and Lewis Carroll: Crosscurrents in geometry and logic

Francine F. Abeles & Amirouche Moktefi

Philosophia Scientiae 15:55-76 (2011)

Add references

You must login to add references.

We hold these truths to be self-evident: But what do we mean by that?: We hold these truths to be self-evident.Stewart Shapiro - 2009 - Review of Symbolic Logic 2 (1):175-207.details At the beginning of Die Grundlagen der Arithmetik [1884], Frege observes that “it is in the nature of mathematics to prefer proof, where proof is possible”. This, of course, is true, but thinkers differ on why it is that mathematicians prefer proof. And what of propositions for which no proof is possible? What of axioms? This talk explores various notions of self-evidence, and the role they play in various foundational systems, notably those of Frege and Zermelo. I argue that both (...) Download Export citation Bookmark 26 citations
Pasch’s philosophy of mathematics.Dirk Schlimm - 2010 - Review of Symbolic Logic 3 (1):93-118.details Moritz Pasch (1843ber neuere Geometrie (1882), in which he also clearly formulated the view that deductions must be independent from the meanings of the nonlogical terms involved. Pasch also presented in these lectures the main tenets of his philosophy of mathematics, which he continued to elaborate on throughout the rest of his life. This philosophy is quite unique in combining a deductivist methodology with a radically empiricist epistemology for mathematics. By taking into consideration publications from the entire span of Paschs (...) Download Export citation Bookmark 23 citations

1