If every true proposition is knowable, then every believed (decidable) proposition is true, or the incompleteness of the intuitionistic solution to the paradox of knowability
David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Jack Alan Reynolds
Learn more about PhilPapers
Fitch’s paradox of knowability is an apparently valid reasoning from the assumption (typical of semantic anti-realism) that every true proposition is knowable to the unacceptable conclusion that every true proposition is known. The paper develops a critical dialectic wrt one of the best motivated solutions to the paradox which have been proposed on behalf of semantic anti-realism—namely, the intuitionistic solution. The solution consists, on the one hand, in accepting the intuitionistically valid part of Fitch’s reasoning while, on the other hand, exploiting the characteristic weakness of intuitionistic logic in order to preserve the consistency of such acceptance with the denial of omniscience. It is ﬁrst remarked how the solution still commits one to acceptance of modal claims which are unwarranted even by the lights of standard intuitionistic semantics. A novel form of the paradox is then introduced, which focuses on infallibility rather than omniscience and derives, from semantic anti-realism and a highly plausible constraint on knowledge, that every believed proposition is not untrue. Because of the logical form of this conclusion, an analogue of the intuitionistic solution for the novel form of the paradox would require drawing the characteristic intuitionistic distinctions wrt decidable propositions, which cannot be done. Semantic anti-realism still intuitionistically entails the unacceptable conclusion that every believed (decidable) proposition is true.
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
|External links||This entry has no external links. Add one.|
|Through your library||Only published papers are available at libraries|
Similar books and articles
Hans van Ditmarsch, Wiebe van der Hoek & Petar Iliev (2011). Everything is Knowable – How to Get to Know Whether a Proposition is True. Theoria 78 (2):93-114.
Peter Marton (2006). Verificationists Versus Realists: The Battle Over Knowability. Synthese 151 (1):81 - 98.
Stephen Read (2010). Field's Paradox and Its Medieval Solution. History and Philosophy of Logic 31 (2):161-176.
Simon Evnine, &Quot;every Proposition Asserts Itself to Be True&Quot;: A Buridanian Solution to the Liar Paradox?
Neil Tennant (2001). Is Every Truth Knowable? Reply to Williamson. Ratio 14 (3):263–280.
Julien Murzi (2010). Knowability and Bivalence: Intuitionistic Solutions to the Paradox of Knowability. [REVIEW] Philosophical Studies 149 (2):269 - 281.
M. Hand (2003). Knowability and Epistemic Truth. Australasian Journal of Philosophy 81 (2):216 – 228.
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. 339--354.
Salvatore Florio & Julien Murzi (2009). The Paradox of Idealization. Analysis 69 (3):461-469.
Added to index2009-07-08
Total downloads42 ( #33,102 of 1,004,644 )
Recent downloads (6 months)0
How can I increase my downloads?