Graduate studies at Western
Synthese 176 (2):177 - 225 (2010)
|Abstract||The Knowability Paradox purports to show that the controversial but not patently absurd hypothesis that all truths are knowable entails the implausible conclusion that all truths are known. The notoriety of this argument owes to the negative light it appears to cast on the view that there can be no verification-transcendent truths. We argue that it is overly simplistic to formalize the views of contemporary verificationists like Dummett, Prawitz or Martin-Löf using the sort of propositional modal operators which are employed in the original derivation of the Paradox. Instead we propose that the central tenet of verificationism is most accurately formulated as follows: if φ is true, then there exists a proof of φ Building on the work of Artemov (Bull Symb Log 7(1): 1-36, 2001), a system of explicit modal logic with proof quantifiers is introduced to reason about such statements. When the original reasoning of the Paradox is developed in this setting, we reach not a contradiction, but rather the conclusion that there must exist non-constructed proofs. This outcome is evaluated relative to the controversy between Dummett and Prawitz about proof existence and bivalence|
|Keywords||Knowability Paradox Fitch Verificationism Intuitionistic logic BHK interpretation Existence predicate Logic of proofs Potential proof Bivalence|
|Categories||categorize this paper)|
|Through your library||Configure|
Similar books and articles
M. Hand (2003). Knowability and Epistemic Truth. Australasian Journal of Philosophy 81 (2):216 – 228.
Berit Brogaard & Joe Salerno (2008). Knowability, Possibility and Paradox. In Vincent Hendricks (ed.), New Waves in Epistemology. Palgrave Macmillan.
Peter Marton (2006). Verificationists Versus Realists: The Battle Over Knowability. Synthese 151 (1):81 - 98.
Berit Brogaard & Joe Salerno, Fitch's Paradox of Knowability. The Stanford Encyclopedia of Philosophy.
Cesare Cozzo (1994). What Can We Learn From the Paradox of Knowability? Topoi 13 (2):71--78.
Jonathan Kvanvig (2009). Restriction Strategies for Knowability : Some Lessons in False Hope. In Joe Salerno (ed.), New Essays on the Knowability Paradox. Oxford University Press.
Greg Restall (2009). Not Every Truth Can Be Known (at Least, Not All at Once). In Joe Salerno (ed.), New Essays on the Knowability Paradox. Oxford University Press.
Salvatore Florio & Julien Murzi (2009). The Paradox of Idealization. Analysis 69 (3):461-469.
Julien Murzi (2010). Knowability and Bivalence: Intuitionistic Solutions to the Paradox of Knowability. [REVIEW] Philosophical Studies 149 (2):269 - 281.
Added to index2009-05-23
Total downloads33 ( #42,031 of 739,369 )
Recent downloads (6 months)1 ( #61,680 of 739,369 )
How can I increase my downloads?