We deal with a paradox involving the relations between propositions and sets (Appendix B of Principles of Mathematics), and the problem of its formalization. We first propose two (mutually incompatible) abstract theories of propositions and truth. The systems are predicatively inspired and are shown consistent by constructing suitable inductive models. We then consider a reconstruction of a theory of truth in the context of (a consistent fragment of) Quine’s set theory NF. The theory is motivated by an alternative route to the solution of the Russellian difficulty and yields an impredicative semantical system, where there exists a high degree of self-reference and yet paradoxes are blocked by restrictions to the diagonalization mechanism.
On a Russellian Paradox about Propositions and Truth / A. CANTINI. - STAMPA. - (2004), pp. 259-284.
On a Russellian Paradox about Propositions and Truth
CANTINI, ANDREA
2004
Abstract
We deal with a paradox involving the relations between propositions and sets (Appendix B of Principles of Mathematics), and the problem of its formalization. We first propose two (mutually incompatible) abstract theories of propositions and truth. The systems are predicatively inspired and are shown consistent by constructing suitable inductive models. We then consider a reconstruction of a theory of truth in the context of (a consistent fragment of) Quine’s set theory NF. The theory is motivated by an alternative route to the solution of the Russellian difficulty and yields an impredicative semantical system, where there exists a high degree of self-reference and yet paradoxes are blocked by restrictions to the diagonalization mechanism.File | Dimensione | Formato | |
---|---|---|---|
Russellian.pdf
Accesso chiuso
Tipologia:
Versione finale referata (Postprint, Accepted manuscript)
Licenza:
Tutti i diritti riservati
Dimensione
170.77 kB
Formato
Adobe PDF
|
170.77 kB | Adobe PDF | Richiedi una copia |
I documenti in FLORE sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.