Questions tagged [set-theory]

The tag has no usage guidance.

Filter by
Sorted by
Tagged with
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 ...
  • 263
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 ...
  • 5,305
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 ...
  • 3,908
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 ...
  • 3,908
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 ...
  • 1,029
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,029
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 ...
  • 131
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 ...
  • 141
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 ...
  • 1,029
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 ...
  • 1,029
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 ...
  • 147
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 ...
  • 147
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/...
  • 1,854
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 ...
  • 3,908
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 "...
  • 69
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 ...
  • 1,029
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,043
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 ...