All Questions
Tagged with foundationalism foundations-of-mathematics
3
questions
2
votes
3
answers
117
views
Does set-theoretic pluralism, about axiom systems, inevitably become an invitation to non-axiomatic systems of set theory?
Per Hamkins[[11][12]] (see also his [22]), if no individual axiom is too sacred to be denied in some possible world,Q and so if no collection of such axioms is so sacred either, yet then:
The ...
3
votes
3
answers
98
views
Descartes' foundationalism [closed]
Is the cogito an axiom from which we can reason axioms of mathematics? Was Descartes' aim to make mathematics (and other fields of knowledge) reducible to the cogito?
0
votes
0
answers
65
views
Is category theory an example of foundherentism?
After reading this essay about the history of type theory, I have refined my assessment of the set- vs. type-theory question in two ways. More similarly to what I was thinking before, I still ground ...