In this article we analyze the notion of natural axiom in set theory. To this aim we review the intrinsic-extrinsic dichotomy, finding both the- oretical and practical difficulties in its use. We will describe and discuss a theoretical framework, that we will call conceptual realism, where the standard justification strategy is usually placed. In outlining our view, we suggest that the extensive use of naturalness calls for a revision of the standard strategy, in favor of a justification that takes into account also the historical process that lead to the formalization of set theory. Specifically we will argue that an axiom can be considered natural when it helps the clarification of the notion of arbitrary set.

On the naturalness of new axioms in set theory

Venturi G
2018-01-01

Abstract

In this article we analyze the notion of natural axiom in set theory. To this aim we review the intrinsic-extrinsic dichotomy, finding both the- oretical and practical difficulties in its use. We will describe and discuss a theoretical framework, that we will call conceptual realism, where the standard justification strategy is usually placed. In outlining our view, we suggest that the extensive use of naturalness calls for a revision of the standard strategy, in favor of a justification that takes into account also the historical process that lead to the formalization of set theory. Specifically we will argue that an axiom can be considered natural when it helps the clarification of the notion of arbitrary set.
2018
Venturi, G
File in questo prodotto:
Non ci sono file associati a questo prodotto.

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/1163578
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact