Abstract
In this paper, I focus on some intuitionistic solutions to the Paradox of Knowability. I first consider the relatively little discussed idea that, on an intuitionistic interpretation of the conditional, there is no paradox to start with. I show that this proposal only works if proofs are thought of as tokens, and suggest that anti-realists themselves have good reasons for thinking of proofs as types. In then turn to more standard intuitionistic treatments, as proposed by Timothy Williamson and, most recently, Michael Dummett. Intuitionists can either point out the intuitionistc invalidity of the inference from the claim that all truths are knowable to the insane conclusion that all truths are known, or they can outright demur from asserting the existence of forever-unknown truths, perhaps questioning—as Dummett now suggests—the applicability of the Principle of Bivalence to a certain class of empirical statements. I argue that if intuitionists reject strict finitism—the view that all truths are knowable by beings just like us—the prospects for either proposal look bleak.
Similar content being viewed by others
Notes
Assuming the full power of classical logic, this is the contrapositive of Fitch’s original Theorem 5 : \(\exists \varphi(\varphi\land\lnot{\mathcal{K}}p)\to\exists \varphi(\varphi\land\lnot\lozenge{\mathcal{K}}\varphi).\)
Proof Assume that somebody at some time knows that p is true and forever-unknown. If knowledge is factive and distributes over conjunction, \({\mathcal{K}}p\land\lnot{\mathcal{K}}p\) follows. Contradiction. By negation introduction, \(\lnot{\mathcal{K}}(p\land\lnot{\mathcal{K}}p)\). By necessitation, \(\lnot\lozenge{\mathcal{K}}(p\land\lnot{\mathcal{K}}p)\). Now assume that all truths are knowable and that there is a forever-unknown truth. Then, \(p\land\lnot{\mathcal{K}}p\) must be knowable too. Contradiction. We must therefore negate, and discharge, one of our intitial assumptions. Anti-realists will discharge the second, thereby committing themselves, if classical logic is in place, to the claim that all truths will be known at some time. By one step of arrow introduction, \(\forall\varphi(\varphi\to\lozenge{\mathcal{K}}\varphi)\to\forall \varphi(\varphi\to{\mathcal{K}}\varphi)\) follows. □
The terminology is Timothy Williamson’s (2000).
See also Williamson (1988, p. 429).
See e.g. Dummett (1987, p. 285). I for one don’t think this a very serious problem. As Cesare Cozzo (1994, p. 77) observes, the standard intuitionistic argument for rejecting Bivalence holds even if proofs are conceived of as Platonic objects—after all, we have no guarantee that there is either a Platonic proof, or a Platonic disproof, of Goldbach’s Conjecture. If Bivalence is necessary for semantic realism, then a conception of truth as the existence of a Platonistic proof counts as an anti-realist one. See also Prawitz (1998b, p. 289) for a response to an argument by Dummett (1987, 1998) to the effect that Platonism about proofs enjoys commitment to Bivalence.
See Dummett (1973, pp. 239–243).
Besides (2), Philip Percival points out two more untoward intuitionistic consequences of weak verificationism: \(\forall\varphi(\lnot{\mathcal{K}}\varphi\leftrightarrow\lnot\varphi)\) and \(\forall\varphi\lnot(\lnot{\mathcal{K}}\varphi\land\lnot{\mathcal{K}}\lnot\varphi).\) See Percival (1990).
The example is Wolfgang Künne’s (2007).
Proof Assume \(\lnot{\mathcal{K}}p,\)\(\lnot{\mathcal{K}}\lnot p\) and \(p\lor\lnot p.\) Then, \((p \land \lnot{\mathcal{K}}p) \lor (\lnot p \land\lnot{\mathcal{K}}\lnot p)\). Now assume \((p \land \lnot{\mathcal{K}}p).\) By existential introduction, derive \(\exists \varphi(\varphi\land\lnot{\mathcal{K}}\varphi).\) By arrow introduction, it follows that \((p \land \lnot{\mathcal{K}}p) \to \exists \varphi(\varphi\land\lnot{\mathcal{K}}\varphi).\) By similar reasoning, show that \((\lnot p \land \lnot{\mathcal{K}}\lnot p) \to \exists \varphi(\varphi\land\lnot{\mathcal{K}}\varphi).\) By disjunction elimination, conclude \(\exists \varphi(\varphi\land\lnot{\mathcal{K}}\varphi).\) □
See Dummett (2007c, p. 349).
See also Dummett (2007b, pp. 303–304).
See Florio and Murzi (in press) for a detailed presentation of the Paradox.
I am here assuming that our cognitive capacities can be parametrized, and that the cognitive capacities of actual agents have an upper bound. Let this upper bound be n. Then, any agent whose cognitive capacities exceed n to a significant degree will count as ideal.
Proof Assume that \(q\land\lnot\exists xIx.\) Then, \(\lozenge{\mathcal{K}}(q\land\lnot\exists xIx)\) follows by weak verificationism. By the Paradox of Idealisation, however, \(\lnot\lozenge{\mathcal{K}}(q\land\lnot\exists xIx)\) holds too. We thus have a contradiction resting on (7), (8) and weak verificationism. A parallel reasoning shows that the Paradox of Idealisation and Dummett’s (1) give us the intuitionistically inconsistent \(\lnot{\mathcal{K}}(q \land \lnot \exists xIx)\) and \(\lnot\lnot{\mathcal{K}}(q \land \lnot \exists xIx).\) □
Proof Assume that some agent knows q. Call this agent a. By (7), a is an ideal agent, which contradicts our assumption that there are no ideal agents. Hence, nobody knows q. □
See e.g. Wansing (2002).
References
Church, A. (in press). Anonymous referee reports on Fitch’s A Definition of Value. In J. Salerno (Ed.), New Essays on the Knowability Paradox. Oxford: Oxford University Press.
Cozzo, C. (1994). What can we learn from the Paradox of Knowability? Topoi, 13, 71–78.
Dummett, M. (1973). The philosophical basis of intuitionistic logic. In H. E. Rose, J. C. Shepherdson (Eds.), Logic Colloquium ‘73. Amsterdam: North-Holland. (Reprinted from Truth and other enigmas, pp. 215–247, by M. Dummett, Ed., 1978,London: Duckworth).
Dummett, M. (1975). Wang’s paradox. Synthese, 30, 301–304, 1975. (Reprinted from Truth and other enigmas, pp. 248–268, by M. Dummett, Ed., 1978, London: Duckworth).
Dummett, M. (1987). Reply to Dag Prawitz. In Michael Dummett: Contributions to Philosophy (pp. 281–316). The Hague: Martinus Nijhoff Publishers.
Dummett, M. (1998). Truth from a constructive standpoint. Theoria, 14, 122–138.
Dummett, M. (2001). Victor’s error. Analysis, 61, 1–2.
Dummett, M. (2004). Truth and the Past. New York: Columbia University Press.
Dummett, M. (2006). Truth and Reality. Oxford: Oxford University Press.
Dummett, M. (2007a). Reply to Crispin Wright. In R. E. Auxier, L. E. Hahn (Eds.), The Philosophy of Michael Dummett (pp. 445–454). Chicago: Open Court.
Dummett, M. (2007b). Reply to John Campbell. In R. E. Auxier, L. E. Hahn (Eds.), The philosophy of Michael Dummett (pp. 301–313). Chicago: Open Court.
Dummett, M. (2007c). Reply to Wolfgang Künne. In R. E. Auxier, L. E. Hahn (Eds.), The philosophy of Michael Dummett (pp. 345–350). Chicago: Open Court.
Dummett, M. (2008). Fitch’s Paradox of Knowability. In J. Salerno (Ed.), New essays on the knowability paradox. Oxford: Oxford University Press. (forthcoming).
Fitch, F. (1963). A logical analysis of some value concepts. Journal of Philosophical Logic, 28, 135–142.
Florio, S, & Murzi, J. (in press). The paradox of idealization. Analysis, 69.
Hand, M. (2003). Knowability and epistemic truth. The Australasian Journal of Philosophy, 81(2), 216–228.
Hand, M. (in press). Performance and paradox. In J. Salerno (Ed.), New essays on the knowability paradox. Oxford: Oxford University Press.
Hart, W. D. (1979). The epistemology of abstract objects: access and inference. Proceedings of the Aristotelian Society, 53, 153–165.
Hart, W. D., & McGinn, C. (1976). Knowledge and necessity. Journal of Philosophical Logic, 5, 205–208.
Khlentzos, D. (2004). Naturalistic realism and the antirealist challenge. Cambridge, MA: MIT Press.
Künne, W. (2007). Two principles concerning truth. In R. E. Auxier, L. E. Hahn (Eds.), The philosophy of Michael Dummett (pp. 315–334). Chicago: Open Court.
Martino, E, & Usberti, G. (1994). Temporal and atemporal truth in intuitionistic mathematics. Topoi, 13, 83–92.
Percival, P. (1990). Fitch and intuitionistic knowability. Analysis, 50, 182–187.
Prawitz, D. (1998a). Comments on Lars Bergström’s paper: Prawitz’s version of verificationism. Theoria, 64, 293–303.
Prawitz, D. (1998b). Comments on Michael Dummett’s paper ‘truth from the constructive standpoint’. Theoria, 64, 283–292.
Tennant, N. (1997). The Taming of the true. Oxford: Oxford University Press.
Tennant, N. (in press). Revamping the restriction strategy. Synthese.
Wansing, H. (2002). Diamonds are philosopher’s best friends. Journal of Philosophical Logic, 31(6), 591–612.
Williamson, T. (1982). Intuitionism disproved?. Analysis, 42, 203–207.
Williamson, T. (1988). Knowability and constructivism. The Philosophical Quarterly, 38, 422–432.
Williamson, T. (2000). Knowledge and its limits. Oxford: Oxford University Press.
Acknowledgements
This is the sequel of a paper I wrote with my colleague and friend Salvatore Florio, to whom I am very much indebted. Many thanks to Dominic Gregory, Bob Hale, Stephen Read, Joe Salerno, Fredrik Stjernberg, Gabriele Usberti, Tim Williamson, and an anonymous referee for valuable comments and discussion on some of the topics discussed herein. An earlier version of this material was presented at the University of Cambridge and at the Eastern Division of the American Philosophical Association in Baltimore. I am grateful to the members of these audiences, especially to Luca Incurvati, for their valuable feedback. I wish to thank the University of Sheffield and the Royal Institute of Philosophy for their generous financial support.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Murzi, J. Knowability and bivalence: intuitionistic solutions to the Paradox of Knowability. Philos Stud 149, 269–281 (2010). https://doi.org/10.1007/s11098-009-9349-y
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11098-009-9349-y