In this article 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 meta-theoretical argument in favor of the existence of uncountable collections. Then we discuss the effects of this meta-theoretical perspective on Skolem's Paradox. We conclude discussing how the connection between arbitrariness and genericity can be used to argue in favor of Forcing Axioms.
Genericity and arbitrariness
Venturi G
2019-01-01
Abstract
In this article 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 meta-theoretical argument in favor of the existence of uncountable collections. Then we discuss the effects of this meta-theoretical perspective on Skolem's Paradox. We conclude discussing how the connection between arbitrariness and genericity can be used to argue in favor of Forcing Axioms.File in questo prodotto:
File | Dimensione | Formato | |
---|---|---|---|
Genericity and arbitrariness L&A.pdf
Open Access dal 01/01/2025
Tipologia:
Versione finale editoriale
Licenza:
Tutti i diritti riservati (All rights reserved)
Dimensione
587.62 kB
Formato
Adobe PDF
|
587.62 kB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.