An intuitionistic solution to the Paradox of Knowability is given. It consists (i) in accepting α→Kα, the ordinary formalization of the principle of Radical Anti-Realism (RAR) that “Every truth is known”, since, intuitionistically understood, it means that proofs are epistemically transparent; and (ii) in accepting (RAR) itself, on the basis of the fact that knowledge is an intuitionistic internal truth notion. Some neo-verificationist approaches are criticized. Finally the problem of how to frame a rational discussion between Classicism and Intuitionism is briefly discussed.

Usberti, G. (2016). The Paradox of Knowability from an Intuitionistic Standpoint. In P.S. Thomas Piecha (a cura di), Advances in Proof-Theoretic Semantics (pp. 115-137). Cham Heidelberg New York Dordrecht London : Springer [10.1007/978-3-319-22686-6].

The Paradox of Knowability from an Intuitionistic Standpoint

USBERTI, GABRIELE
2016-01-01

Abstract

An intuitionistic solution to the Paradox of Knowability is given. It consists (i) in accepting α→Kα, the ordinary formalization of the principle of Radical Anti-Realism (RAR) that “Every truth is known”, since, intuitionistically understood, it means that proofs are epistemically transparent; and (ii) in accepting (RAR) itself, on the basis of the fact that knowledge is an intuitionistic internal truth notion. Some neo-verificationist approaches are criticized. Finally the problem of how to frame a rational discussion between Classicism and Intuitionism is briefly discussed.
2016
978-3-319-22685-9
Usberti, G. (2016). The Paradox of Knowability from an Intuitionistic Standpoint. In P.S. Thomas Piecha (a cura di), Advances in Proof-Theoretic Semantics (pp. 115-137). Cham Heidelberg New York Dordrecht London : Springer [10.1007/978-3-319-22686-6].
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/11365/983753