All Questions
Tagged with mathematical-philosophy set-theory
117 questions
124
votes
17
answers
18k
views
Pressure to defend the relevance of one's area of mathematics
I am a set theorist. Since I began to study this subject, I became increasingly aware of negative attitudes about it. These were expressed both from an internal and an external perspective. By the “...
122
votes
4
answers
39k
views
Is the analysis as taught in universities in fact the analysis of definable numbers?
Ten years ago, when I studied in university, I had no idea about definable numbers, but I came to this concept myself. My thoughts were as follows:
All numbers are divided into two classes: those ...
- 10.1k
74
votes
11
answers
12k
views
Why hasn't mereology succeeded as an alternative to set theory?
I have recently run into this Wikipedia article on mereology. I was surprised I had never heard of it before and indeed it seems to be seldom mentioned in the mathematical literature. Unlike set ...
- 5,902
72
votes
13
answers
19k
views
Logic in mathematics and philosophy
What are the relations between logic as an area of (modern) philosophy and mathematical logic.
The world "modern" refers to 20th century and later, and I am curious mainly about the second ...
- 24.7k
70
votes
6
answers
8k
views
The logic of Buddha: a formal approach
Buddhist logic is a branch of Indian logic (see also Nyaya), one of the three original traditions of logic, alongside the Greek and the Chinese logic. It seems Buddha himself used some of the features ...
67
votes
10
answers
14k
views
Arguments against large cardinals
I started to learn about large cardinals a while ago, and I read that the existence, and even the consistency of the existence of an inaccessible cardinal, i.e. a limit cardinal which is additionally ...
- 825
60
votes
8
answers
10k
views
Why should we believe in the axiom of regularity?
Today I started reading Maddy's Believing the axioms. As I knew beforehand, it includes some discussion of ZFC axioms. However, I really hoped for a more extensive discussion of axiom of foundation/...
- 28.2k
55
votes
10
answers
11k
views
How should a "working mathematician" think about sets? (ZFC, category theory, urelements)
Note that "a working mathematician" is probably not the best choice of words, it's supposed to mean "someone who needs the theory for applications rather than for its own sake". Think about it as a ...
- 1,115
53
votes
2
answers
3k
views
Silver's approach to the inconsistency of $\mathrm{ZFC}$
As all probably know, Jack Silver passed away about one month ago. The announcement released, with delay, by European Set Theory Society includes a quote by Solovay about his belief on inconsistency ...
- 2,381
50
votes
4
answers
6k
views
Do set-theorists use informal set theory as their meta-theory when talking about models of ZFC?
Here, Noah Schweber writes the following:
Most mathematics is not done in ZFC. Most mathematics, in fact, isn't done axiomatically at all: rather, we simply use propositions which seem "intuitively ...
- 509
45
votes
1
answer
3k
views
Hilbert's alleged proof of the Continuum Hypothesis in "On the Infinite"
As is known, Hilbert attempted a proof sketch of the Continuum Hypothesis in the latter part of his paper, "On the Infinite". It is also known that it is false.
Has there ever been a published ...
- 6,132
43
votes
16
answers
9k
views
Essential reads in the philosophy of mathematics and set theory
I am graduate student and have a decent understanding of logic and set theory.
Recently I have got interested in the philosophy of mathematics and set theory. I have read a number of papers by ...
40
votes
5
answers
7k
views
Were Bourbaki committed to set-theoretical reductionism?
A set-theoretical reductionist holds that sets are the only abstract objects, and that (e.g.) numbers are identical to sets. (Which sets? A reductionist is a relativist if she is (e.g.) indifferent ...
- 1,257
39
votes
5
answers
6k
views
Why do categorical foundationalists want to escape set theory?
This is a question that I have seen asked passively in comments relating to the separation of category theory from set theory, but I haven't seen it addressed in full.
I know that it's possible to ...
- 855
35
votes
8
answers
7k
views
Why not adopt the constructibility axiom $V=L$?
Gödelian incompleteness seems to ruin the idea of mathematics offering absolute certainty and objectivity. But Gödel‘s proof gives examples of independent statements that are often remarked as having ...
35
votes
8
answers
4k
views
Interpretation of the Second Incompleteness Theorem
For simplicity, let me pick a particular instance of Gödel's Second Incompleteness
Theorem:
ZFC (Zermelo-Fraenkel Set Theory plus the Axiom of Choice, the usual foundation of mathematics) does not ...
- 16.2k
31
votes
3
answers
5k
views
Should there be a true model of set theory?
As I understand it, there is a program in set theory to produce an ultimate, canonical model of set theory which, among other things, positively answers the Continuum Hypothesis and various questions ...
- 3,982
26
votes
9
answers
8k
views
Why are proofs so valuable, although we do not know that our axiom system is consistent? [closed]
As a person who has been spending significant time to learn mathematics, I have to admit that I sometimes find the fact uncovered by Godel very upsetting: we never can know that our axiom system is ...
26
votes
7
answers
6k
views
What "forces" us to accept large cardinal axioms?
Large cardinal axioms are not provable using usual mathematical tools (developed in $\text{ZFC}$).
Their non-existence is consistent with axioms of usual mathematics.
It is provable that some of ...
user47697
26
votes
6
answers
3k
views
Is there a metamathematical $V$?
As with many of you, I've been following Peter Scholze's recent question about universes with great interest. In ring theory, we don't often have to deal with proper classes, but they occasionally ...
- 18.7k
23
votes
3
answers
2k
views
Why would the category of sets be intuitionistic?
This question is probably really naive. And, I hope the title doesn't come off as too combative. I think that topoi of $\mathbf{Set}$-valued sheaves provide an excellent motivation for higher-order ...
- 3,793
22
votes
4
answers
4k
views
Are proper classes objects?
Many of us presume that mathematics studies objects. In agreement with this, set theorists often say that they study the well founded hereditarily extensional objects generated ex nihilo by the "...
- 1,081
22
votes
4
answers
2k
views
Does Zorn's Lemma imply a physical prediction? [duplicate]
A friend of mine joked that Zorn's lemma must be true because it's used in functional analysis, which gives results about PDEs that are then used to make planes, and the planes fly. I'm not super ...
- 407
21
votes
2
answers
2k
views
Philosophical arguments in defense (or against) large cardinals
The question is essentially what is asked in the title. I split it into two parts
(A) (Arguments supporting the existence of large cardinals) What are the main philosophical arguments in defense of ...
21
votes
1
answer
3k
views
Philosophical consistency proof for set theory
In his ASL Gödel lecture (Las Vegas, Nevada, 2002), Harvey Friedman asked the following question:
Are there fundamental principles of a general philosophical nature which can be used to give ...
- 261
20
votes
1
answer
1k
views
Axiom of Choice versus V=L in opposition to large cardinals
Consider the following two observations:
The axiom $V=L$ is incompatible with large cardinal axioms that are somehow "too large", like measurable cardinals.
The axiom of Choice is incompatible with ...
- 32.5k
19
votes
3
answers
2k
views
Is platonism regarding arithmetic consistent with the multiverse view in set theory?
A "truth" platonist for arithmetic believes, given a statement in the language of arithmetic, that the problem whether the statement is true has a definite answer.
Prof. Hamkins has argued for a ...
- 261
19
votes
2
answers
2k
views
Can we take a supremum over all Hilbert spaces?
In my paper On the optimal error bound for the first step in the method of cyclic alternating projections, I defined functions $f_n:[0,1]\to\mathbb{R}$,
$n\geqslant 2$, by
$$
f_n(c)=\sup\{\|P_n\dotsm ...
- 935
18
votes
2
answers
2k
views
A “paradox” about the inner model problem
As stated in Woodin, Davis, and Rodriguez - The HOD dichotomy, a longstanding open problem in set theory is to construct a canonical inner model for supercompactness. In general there are various ...
- 18.6k
18
votes
3
answers
5k
views
Is there a compendium of the consistency strength between the most important formal theories?
Preliminar Notions:
A formal system is a tuple $(\Sigma,G,A,R)$ where $\Sigma$ is an alphabet (set of symbols), $G$ is a formal grammar on $\Sigma$ that generates a formal language $L$ (set of well ...
- 283
18
votes
2
answers
3k
views
Universe view vs. Multiverse view of Set Theory
Here I refer to Hamkins' slides:
http://lumiere.ens.fr/~dbonnay/files/talks/hamkins.pdf
particularly, to the "Universe view simulated inside Multiverse", p. 22.
My question is: is it very unsound ...
- 1,465
17
votes
8
answers
2k
views
The Importance of ZF
It seems as though many consider ZF to be the foundational set of axioms for all of mathematics (or at least, a crucial part of the foundations); when a theorem is found to be independent of ZF, it's ...
- 397
16
votes
2
answers
2k
views
Why should I believe the Singular Cardinal Hypothesis?
The Singular Cardinal Hypothesis (SCH) is the statement that $\kappa^{cf(\kappa)} = \kappa^+ \cdot 2^{cf(\kappa)}$ for every singular cardinal $\kappa$ (or various equivalent statements).
It is ...
- 1,793
16
votes
1
answer
1k
views
Proving that ZF is Artemov-consistent
As discussed in another MO question, Sergei Artemov has proposed that the standard formalization Con(PA) of "PA is consistent" is flawed, and has proposed a different way to formalize "...
- 82.7k
15
votes
5
answers
2k
views
In what sense does the sentence $\operatorname{con}(\mathsf{PA})$ "say" that $\mathsf{PA}$ is consistent?
It seems common amongst logicians to think of "truth" as being relative to a particular structure. Consider, for instance, the first-order theory of groups. The sentence $\forall x\forall y(...
- 961
15
votes
5
answers
2k
views
Intended interpretations of set theories
In his Set Theory. An Introduction to Indepencence Proofs, Kunen develops $ZFC$ from a platonistic point of view because he believes that this is pedagogically easier. When he talks about the intended ...
- 1,465
15
votes
1
answer
986
views
Does every model of ZF-foundation have an extension, with no new well-founded sets, where every set is bijective with a well-founded set?
This question follows up on an issue arising in Peter LeFanu
Lumsdaine's nice question: Does foundation/regularity have any
categorical/structural consequences, in
ZF?
Let me mention first that my ...
- 236k
15
votes
1
answer
985
views
Does inner model theory seek canonical models for large cardinals?
Like the author of this question, I have heard that a main goal of inner model theory is building canonical inner models for large cardinals. My questions are: (a) Is this accurate? (b) If so, in ...
- 18.6k
14
votes
3
answers
2k
views
Are there natural examples of mathematical statements which follow from consistency statements?
Motivation
One of the methods for strictly extending a theory $T$ (which is axiomatizable and consistent, and includes enough arithmetic) is adding the sentence expressing the consistency of $T$ ( $...
- 5,502
14
votes
2
answers
994
views
Set-theoretical foundations of Mathematics with only bounded quantifiers
It seems that outside of researchers in Mathematical Logic, mathematicians use almost exclusively bounded quantifiers instead of unbounded quantifiers. In fact, I haven't observed any other practice ...
- 5,327
14
votes
1
answer
2k
views
Martin's "Philosophical Issues about the Hierarchy of Sets"
Some months ago (October 2010), in the context of the Workshop on Set Theory and the Philosophy of Mathematics, Professor Donald A. Martin gave a talk entitled "Philosophical issues about the ...
- 1,465
13
votes
2
answers
1k
views
Can we define an "empirically generic" real number?
Summary: My question, in a nutshell, is how we should intuitively imagine a generic real number (as opposed to a random one), and whether we can construct numbers which empirically behave like generic ...
- 32.5k
13
votes
1
answer
751
views
Is there a class of mathematical structures with non-isomorphic natural representations as a standard Borel space?
Background. The field of Borel equivalence relation theory
provides a robust, unifying theory that organizes most of the
classification problems of classical mathematics into a hierarchy,
allowing us ...
- 236k
13
votes
0
answers
2k
views
Is there any correspondence between Gödel and Kreisel that supports Kreisel's observation that Gödel changed his mind about his 1938 set theory note?
At a conference in 1965 there were some interesting comments made by Kreisel and Mostowski asserting that Gödel later changed his mind regarding his1938 note on his set theory results (see Problems in ...
- 481
13
votes
0
answers
882
views
Arguments against Freiling's argument against Continuum Hypothesis
Freiling's axiom of symmetry ($\sf AS$) is known as a justification for falsity of Continuum Hypothesis. Freiling in his 1986 paper, Axioms of symmetry: throwing darts at the real number line, ...
12
votes
2
answers
2k
views
Proving Independence of Axioms by Exhibiting Models Which Don't Satisfy Our Intuition
I recently saw the proof of the independence of ZF (with allowance for multiple empty sets) and AC. The proof constructed the model based on a set theory generated by infinitely many empty sets and ...
- 15.4k
12
votes
5
answers
5k
views
Proper classes and their consequences
I have two main questions:
What is a proper class? I've read that it's collection of objects that's "too big" to be a set, but in what sense is such a collection "too big"? Since I'd like this post ...
- 3,079
12
votes
3
answers
3k
views
Has Dedekind's proof of existence of infinite sets been analyzed by historians?
This pdf by David Joyce notes that in paragraph 66 of his famous essay, Dedekind claims to prove the existence of an infinite set.
The proof exploits the assumption that there exists a set $S$ of all ...
- 16.6k
11
votes
3
answers
2k
views
What governs our "perception?" about the platonic realm of sets?
Here, I want to delve into what do we exactly feel about what constitutes a platonic existence of a set? Or what makes us think or actually a kind of feel or sense the existence of a set in the ...
- 11.3k
11
votes
5
answers
9k
views
Models of ZFC Set Theory - Getting Started
For just any first-order theory: What are the sets I am supposed/allowed to think of when thinking of models as sets (of something + additional structure)?
Provided:
I can think of models of any ...
- 9,720