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.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
https://hdl.handle.net/11365/983753