Questions tagged [set-theory]
The set-theory tag has no usage guidance.
111
questions
1
vote
1
answer
66
views
Relativism and common sense in ZFC
ZFC is the most well known set theory which is considered by many as the foundation of mathematics but I am confused to understand it intuitively. Most of us have a clear understating of empty set and ...
0
votes
0
answers
45
views
Jerry-rigging a set's elementhood parameters
Suppose one has a bunch of possible elements x that satisfy some parameter P. Then suppose one tries to get a set X that holds all satisfiers of P, so all those x. Suppose that X doesn't itself ...
5
votes
10
answers
1k
views
What if all sets contain themselves? [closed]
If we define (i.e., by definition) a set as an abstract collection of at least one element, and
If we say that by nature (i.e., as an axiom) all sets contain one element that is the set itself at the ...
1
vote
0
answers
22
views
Would contingently inhabited sets be necessarily impure?
Allow that ur-elements can count as purely set-theoretic, depending on which ones are introduced (we might say: an ur-element is pure if the only extralogical facts about it feature just the ...
10
votes
7
answers
3k
views
What did Russell mean when he wrote that the null-class, the class having no members, did not exist?
I am not quite sure I interpret the following sentence correctly in Bertrand Russell's paper on existential import:
and among classes there is just one which does not exist, namely, the class having ...
1
vote
1
answer
62
views
Is the response (in the mathematics community) to Wiles' proof of Fermat's Last Theorem, evidence for social constructivism about math?
Wiles' proof initially involved reference to functional equivalents of inaccessible cardinals (here, Grothendieck universes). Rather than take this as evidence for the meaningfulness and usefulness of ...
2
votes
1
answer
40
views
Is set theory a part of, or even identical to, mathematical logic?
The philosopher Quine famously said that second-order logic is set theory in sheep's clothing. However, what if it is really the other way around? Is set theory part of mathematical logic, or even the ...
1
vote
2
answers
220
views
How is the concept of a topos in mathematics relevant to philosophy?
https://en.wikipedia.org/wiki/Topos
Topoi behave much like the category of sets and possess a notion of
localization; they are a direct generalization of point-set topology.
My understanding is that ...
0
votes
0
answers
32
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 ...
1
vote
0
answers
24
views
Is there a difference between "is an intensional element of" and "is an extensional element of"?
There is a version of set theory according to which there are two flavors (types? categories?) of elementhood relation, and if it's ultimately coherent, it does offer a solution to Russell's paradox (...
3
votes
1
answer
106
views
Is the multiverse standpoint in set theory "ideologically committed" to plural quantification over universes/axioms?
One of the ways in which Hamkins expresses the multiverse standpoint is as the assertion that there is no "absolute background concept of sets or even ordinals." He spells out examples of ...
1
vote
0
answers
32
views
Is the set of all good things incommensurable with the sets we use the natural/related numbers for?
Suppose that there is a set of all good things, and that it is well-founded. Then it would not be an element of itself, i.e. would not be a good thing. Maybe it would be hypergood, but maybe it would ...
-1
votes
1
answer
69
views
Could we use the foundation axiom to generate counterexamples to almost any substantial axiom?
Here's the argument scheme I have in mind ("F" refers to a substantial/positive property/description; negative qualifiers like "inaccessible" do not sustain this scheme correctly):
...
0
votes
0
answers
38
views
Filling in the gaps in an erotetic argument for pluralism about the Continuum Hypothesis
Syntax assumption/stipulation. I have decided to work with an erotetic function that is parenthetical. So I will not start with some proposition A and then have A? as its associated question, but I ...
3
votes
2
answers
128
views
ZFC Axioms and First Order Logic
I have never been formally trained in logic and philosophy. I became increasingly interested in the foundation of mathematics after I graduated from university.
Recently, I've been self-studying ZFC ...
1
vote
0
answers
66
views
Is the powerset question really an (indefinitely expansive) series of questions?
At the "end of the day," it has turned out that:
If we deny the powerset axiom, then the expression "the powerset of the zeroth aleph" refers to nothing, in which case there is an ...
1
vote
0
answers
88
views
What is the definition of a set of "purely mathematical" objects?
I was originally planning to post this on Math Stack Exchange, but I decided this was a better stack exchange. According to the axioms of set theory, there exists a set containing just an apple, and ...
0
votes
0
answers
29
views
Can 'collections' be 'objects'?
Most things we call 'objects' are generally made up of other 'objects' can we consider a collection, such as a physical collection of objects as an 'object' itself?
If we have a 'collection' or an ...
0
votes
1
answer
71
views
Physical vs abstract collections
In mathematics we deal with 'sets' they are abstract as the objects in them are abstract, they have no tempo-spatial location. How about standard 'collections' we would encounter in real life, if I ...
1
vote
0
answers
50
views
Do set theories have inconsistency strengths, on top of consistency strengths?
Caveat: this question is fairly technical in nature, and I have reason to believe it would be more fitting for the MathOverflow, especially in terms of potentially informative responses (there are ...
3
votes
2
answers
145
views
Discerning between a number 'x' as a Natural or Real number
The usual way of teaching is to explain the numbers that are element of the reals and naturals as being the same, this was a perfectly valid way of understanding for me, why do some consider '2' as an ...
4
votes
3
answers
116
views
What is the benefit of distinguishing elements of a set instead of subsets of a set?
What is the purpose of "is element of" relation instead of just using "is a subset of" relation for everything?
For example, instead of saying, "Set A has a subset B, and B ...
1
vote
0
answers
52
views
If "erotetic model theory" makes sense, what is its relationship to the downward Löwenheim–Skolem theorem?
First, a point-of-departure introduction to/outline of model theory:
An interpretation of an axiomatic system is the assignment of meanings or values to a given axiomatic system such that all ...
1
vote
0
answers
39
views
Can the "doctrine of degrees of existence" be used to support the well-ordering lemma apart from the axiom of choice?
I was pleasantly surprised to read (in a Wikipedia article) that:
In second order logic, however, the well-ordering theorem is strictly stronger than the axiom of choice: from the well-ordering ...
2
votes
2
answers
186
views
Can a collection be a single 'thing'?
Can a collection be any single object in itself, for example Collection A is 'one collection' or set A is 'one set' or even one 'mathematical object' if viewed as a whole? For example a set containing ...
0
votes
0
answers
35
views
ZFA vs. ZFC vs. ~Con(ZFA)
Among other places, I've seen it here said that ZFC and ZFA (cofoundational instead of strictly well-foundational) are equiconsistent. I feel like I should know the answer to my question, but if ZFA ...
12
votes
11
answers
4k
views
Why is a set with one element distinct from the element itself?
Why do we consider a set which is treated for all intents and purposes as a 'collection' with one element as being different from the element itself? In this 'collection' there is one element, and ...
2
votes
1
answer
82
views
Constructivism and the effects of constructing definitions on morality
My friend states that 'morality is subjective' since one can construct definitions based on arbitrary intensions and extensions of a well-defined set viz. 'My own morally not bad actions' from the ...
0
votes
0
answers
114
views
Constructing natural numbers from nothing
I found that many of us (mathematicians) try to construct natural numbers defined from the intuitive concept 'size of the set'. They take ϕ, the empty set, as the starting point, then define and ...
0
votes
0
answers
88
views
If the Continuum's cardinality could physically change because of a physical manifestation of forcing
Suppose that the Continuum has a specific cardinality assigned to it when it exists "in" a physical universe. (This, or a similar-sounding supposition, occurs frequently enough in the ...
0
votes
0
answers
26
views
Transconsistency and Diaconescu's theorem
Let T be some set theory. Now there is at least one constructivist T such that T(AOC) ⊨ LEM, that is, via the axiom of choice in T, the law of the excluded middle becomes a theorem (Diaconescu's). So ...
0
votes
0
answers
85
views
Is there a notion analogous to “the inductive conception of set” in modal logic?
In many introductory treatments of modal logic, one defines a Kripke model with respect to some domain D. In variable domain semantics, each world in the Kripke model is assigned a different subset of ...
0
votes
2
answers
203
views
Can set theory be non-extensional?
Here is Juliet Floyd stating "Wittgenstein's non-extensionalism, like Russell's in Principia, precluded development of an extensional theory of the infinite (set theory). https://youtu.be/...
2
votes
3
answers
606
views
Can something be both a type and a token?
I wonder, can something be both a type and a token (in reference to the type-token distinction in philosophy)? For example, an individual dog is a token of the type of dog, but the type of dog is ...
0
votes
4
answers
208
views
Intuition behind existence of "function sets"
The usual axioms ensure the existence of certain sets that serve as functions. For example (which is chosen arbitrarily) the function f which maps real values of x to x^2+2 can be represented by the ...
2
votes
1
answer
118
views
Cardinality of the logical space according to David Lewis
I just read an extract of David Lewis's Counterfactuals and he claims there in a footnote on page 90 that there are at least beth_2 possible worlds. He also claims in the very same footnote that "...
1
vote
0
answers
93
views
Are implementations to semiotics what proofs are to syntax, and models to semantics?
I see this term implementation and its family used here and there in writings on set theory. There are implementations of natural numbers, of ordered pairs, of functions, of "mathematics in ...
3
votes
2
answers
522
views
Set theory with full comprehension
A few years ago I was reading an entry in the Stanford Encyclopedia of Philosophy related to set theory and I stumbled across a statement along these lines:
There is a set theory where full ...
0
votes
2
answers
119
views
How to write that two specific sets are the same set in first-order naive set theory?
Consider the following true statement
(1) The set whose only members are the prime numbers between 6 and 12 is the same as the set whose only members are the solutions to the equation x^2-18x+77=0.
...
0
votes
0
answers
76
views
Erotetic quantifiers?
I can't find it, but I have a distinct memory of there being an SEP article that says something like as if the ordinals were there before the sets in relation to a question about whether ordinals (or ...
0
votes
2
answers
175
views
Can Physical and Mathematical objects exist in the same set?
I'm fairly comfortable dealing with sets of purely Mathematical objects, when I remembered something I heard a long time ago that sets can have elements of any type. Is it possible to define a set ...
0
votes
0
answers
47
views
Mathematical "forms" as a relation of varying arity
This might be more a MathSE question, but on the other hand, it would involve a peculiar reimagining of the relation between set theory and type theory, so I'll try it out here.
OK, so earlier I ...
8
votes
3
answers
2k
views
Set theory vs. type theory vs. category theory
IIRC, in the univalent-foundations program (per Voevodsky), category theory is represented as a possible sort of evolution or new wave of type theory. Maybe my memory is off, but anyway, in nlab they ...
1
vote
1
answer
167
views
Rehabilitating Zermelo's description of the universe of sets?
I was reading various essays about Cantor's doctrine of absolute infinity, and it came up again that Zermelo's doctrine, by contrast, was of V as an "unfinished totality." Initially, this ...
0
votes
1
answer
113
views
What are sufficient grounds for establishing a theory?
This question delves into the definition of a theory, but somewhat into the grounds of Set Theory as well. I was wondering on what grounds is theory established and accepted. To what degree do the ...
0
votes
1
answer
102
views
Can Mathematics be a tool to analyse immaterial existences
Doubt: Can we say that Mathematical thoughts (arguments) can be independent of physical (Time-space continuum or material) world since it is an abstract science. In other words can Mathematics be a ...
0
votes
0
answers
53
views
Justification values
The concept of truth values is sometimes expressed in terms of "truth as an object vs. truth as a property." My in-a-slogan understanding of this alternative is "sentences being ...
0
votes
0
answers
69
views
Forcing and justification
In "The set-theoretic multiverse," Hamkins talks about forcing giving us "glimpses" of other set-theoretic universes. He states his position as a Platonistic one, i.e. these "...
3
votes
3
answers
345
views
How do we arrive at stronger theories in mathematics/logic?
A reasonable aim of formal mathematics/logic is to build systems which can "interpret" many things. As an example, ZFC can interpret a number of things. Incompleteness Theorems provide us ...
1
vote
1
answer
180
views
Does the forcing phenomenon prove some sort of set-theoretic multiverse?
It seems that, "A can be forced to equal B," allows, "A is possibly equal to B." In possible-worlds lingo, this gets us, "There is a possible world where A = B." Since ...