# Reflections on Skolem's Relativity of Set-Theoretical Concepts

@article{Jane2001ReflectionsOS, title={Reflections on Skolem's Relativity of Set-Theoretical Concepts}, author={Ignagio Jane}, journal={Philosophia Mathematica}, year={2001}, volume={9}, pages={129-153} }

In this paper an attempt Is made to present Skolem's argument for the relativity of some set-theoretical notions as a sensible one. Skolem's critique of set theory is seen as part of a larger argument to the effect that no conclusive evidence has been given for the existence of uncountable sets. Some replies to Skolem are discussed and are shown not to affect Skolem's position, since they all presuppose the existence of uncountable sets. The paper ends with an assess- mont of the assumptions on…

## 13 Citations

Tarski ’ s Intuitive Notion of Set

- Philosophy
- 2005

Tarski did research on set theory and also used set theory in many of his emblematic writings. Yet his notion of set from the philosophical viewpoint was almost unknown. By studying mostly the…

Genericity and Arbitrariness

- Philosophy
- 2019

We compare the notions of genericity and arbitrariness on the basis of the realist import of the method of forcing. We argue that Cohen's Theorem, similarly to Cantor's Theorem, can be considered a…

The Implicit Definition of the Set-Concept

- PhilosophySynthese
- 2004

It is argued that a Wittgensteinian conception of meaning looms large beneath Hilbert's conception of implicit definability, and the philosophical resources gathered are employed to dissolve all traditional worries about the coherence of the set-concept.

Models as Universes

- PhilosophyNotre Dame J. Formal Log.
- 2017

This article proposes one way in which any model of set theory can be compared to a background universe and shown to contain internal models and solves the model-scaled version of Kreisel’s set-theoretic problem, and presents various further results bearing on internal models.

An Epistemic Structuralist Account of Mathematical Knowledge

- Philosophy
- 2003

ii This thesis aims to explain the nature and justification of mathematical knowledge using an epistemic version of mathematical structuralism, that is a hybrid of Aristotelian structuralism and…

Formal Methods Seminar 2012 : The compactness and Löwenheim – Skolem theorems

- Philosophy
- 2012

First-order logic is a powerful and expressive system which has been used to formalise many basic systems of mathematics, including set theory, arithmetic, and the real closed field. It has been…

Mathematical continua & the intuitive idea of continuity

- Philosophy
- 2006

The construction of an axiomatic system can help to defend arithmetical continuity, which is omnipresent in modern mathematics; yet, it is fraught with difficulties in relation to the infinite.

Application of data mining technology in alarm analysis of communication network

- Computer ScienceComput. Commun.
- 2020

A novel methodology for modeling diversified network queues

- Computer ScienceEurocon 2013
- 2013

This paper presents a working scheme refered to as Network Queue Set Theory (NQST), based on Continuous Time Markov Decision Process (CTMDP) and Set Theory, by deducing in quantifiable form, the allowable transition states, experienced by a packet.

## References

SHOWING 1-10 OF 32 REFERENCES

Skolem and the Skeptic

- Philosophy
- 1985

structure that all progressions have in common in virtue of being progressions. It is not a science concerned with particular objects-the numbers. The search for which independently identifiable…

From Frege to Gödel: A Source Book in Mathematical Logic, 1879-1931

- Philosophy
- 1967

The fundamental texts of the great classical period in modern logic, some of them never before available in English translation, are here gathered together for the first time. Modern logic, heralded…

Beyond first-order logic: the historical interplay between mathematical logic and axiomatic set theory

- Philosophy
- 1980

What has been the historical relationship between set theory and logic? On the one hand, Zermelo and other mathematicians developed set theory as a Hilbert-style axiomatic system. On the other hand,…

Skolem's paradox and constructivism

- Mathematics, Computer ScienceJ. Philos. Log.
- 1987

Les AA. soutiennent que les mathematiques intuitionnistes ne donnent pas lieu au paradoxe de Skolem. Ils soutiennent de plus que les preuves connues du theoreme de Lowenheim-Skolem sont inacceptables…

Eine Axiomatisierung der Mengenlehre.

- Mathematics
- 1925

I n h a l t s v e r z e i c h n i s : Seite I. Das A x i o m e n s y s t e m 219 § 1. Prinzipielles zur Axiomatisierung der Mengenlehre 219! § 2. Allgemeines über die Axiomatik 221 § 3. Die Axiome…

Abstract Set Theory

- GeographyNature
- 1954

Abstract Set TheoryBy Prof. Abraham A. Fraenkel. (Studies in Logic and the Foundations of Mathematics.) Pp. xii + 480. (Amsterdam: North-Holland Publishing Co., 1953.) 38f.; 76s.