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.
2019
Venturi, G
File in questo prodotto:
File Dimensione Formato  
Genericity and arbitrariness L&A.pdf

embargo fino al 31/12/2024

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   Richiedi una copia

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11568/1163598
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? 3
social impact