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}
}
  • I. Jane
  • Published 1 June 2001
  • Philosophy
  • Philosophia Mathematica
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… 
Tarski ’ s Intuitive Notion of Set
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
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
TLDR
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.
Thoralf Albert Skolem
Models as Universes
TLDR
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
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
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
TLDR
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.
A novel methodology for modeling diversified network queues
TLDR
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
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
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
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
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.
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
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.
Gesammelte Abhandlungen
...
...