All Questions
Tagged with foundationalism set-theory
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 ...
5
votes
2
answers
203
views
How many variations on graph-theoretic/related parameters indicate alternatives to foundationalism/coherentism/infinitism?
The set theory I'm trying to work in right now is geared towards applying an "axiom of multifoundation" whose local maximum representation is:
The interpretation of the elementhood glyphs ...
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 ...