Abstract
The Knowability Paradox is a logical argument showing that if all truths are knowable in principle, then all truths are, in fact, known. Many strategies have been suggested in order to avoid the paradoxical conclusion. A family of solutions—called logical revision—has been proposed to solve the paradox, revising the logic underneath, with an intuitionistic revision included. In this paper, we focus on so-called revisionary solutions to the paradox—solutions that put the blame on the underlying logic. Specifically, we analyse a possibile translation of the paradox into a modified intuitionistic fragment of a logic for pragmatics (KILP) inspired by Dalla Pozza and Garola [4]. Our aim is to understand if KILP is a candidate for the logical revision of the paradox and to compare it with the standard intuitionistic solution to the paradox.
Keywords
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
See [15], Sect. II.1.
- 2.
An interesting analysis of the issue can be found in Dalla Pozza [3].
- 3.
“My argument for the law of excluded middle and against the definition of “truth” in terms of “verifiability” is not that it is impossible to construct a system on this basis, but rather that it is possible to construct a system on the opposite basis, and that this wider system, which embraces unverifiable truths, is necessary for the interpretation of beliefs which none of us, if we were sincere, are prepared to abandon” (p. 682).
- 4.
[18] points out that empirical and mathematical assertions can be justified by means of different grounds. He remarks that “a ground for the assertion of a numerical identity would be obtained by making a certain calculation, and outside of mathematics, a ground for asserting an observational sentence would be got by making an adequate observation”. Dummett [5], in fact, points out that: “The intuitionist theory of meaning applies only to mathematical statements, whereas a justificationist theory is intended to apply to the language as a whole. The fundamental difference between the two lies in the fact that, whereas a means of deciding a range of mathematical statements, or any other effective mathematical procedure, if available at all, is permanently available, the opportunity to decide whether or not an empirical statement holds good may be lost: what can be effectively decided now will no longer be effectively decidable next year, nor, perhaps, next week” (p. 42).
- 5.
See also Hand [9].
- 6.
From this perspective, notice that an assertion is a “purely logical entity” independent of the speaker’s intentions and beliefs. For a different perspective see [10].
- 7.
A similar intermediate logic has been developed in [1].
References
Bellin, G., & Biasi, C. (2004). Towards a logic for pragmatics: Assertions and conjectures. Journal of Logic and Computation, 14(4), 473–506.
Church, A. (2009). Referee reports on Fitch’s "A definition of value". In J. Salerno (Ed.), New essays on the knowability paradox (pp. 13–20). Oxford: Oxford University Press.
Dalla Pozza, C. (2008). Il problema della demarcazione. Verificabilità, falsificabilità e conferma bayesiana a confronto. Ese, Lecce.
Dalla Pozza, C., & Garola, C. (1995). A pragmatic interpretation of intuitionistic propositional logic. Erkenntnis, 43(1), 81–109.
Dummett, M. (2004). Truth and the past. New York: Columbia University Press.
Dummett, M. (2009). Fitch’s paradox of knowability. In J. Salerno (Ed.), New essays on the knowability paradox (pp. 51–2). Oxford: Oxford University Press.
Fitch, F. (1963). A logical analysis of some value concepts. Journal of Symbolic Logic, 28(2), 135–42.
Geach, P. (1965). Assertion. Philosophical Review, 74(4), 449–65.
Hand, M. (2010). Antirealism and universal knowledge. Synthese, 173(1), 25–39.
Lackey, J. (2007). Norms of assertion. Noûs, 41(4), 594–626.
Marton, P. (2006). Verificationists versus Realists: The battle over knowability. Synthese, 151, 81–98.
Murzi, J. (2010). Knowability and bivalence: Intuitionistic solutions to the paradox of knowability. Philosophical Studies, 149(2), 269–81.
Pap, A. (1962). An introduction to the philosophy of science. New York: Free Press.
Percival, P. (1990). Fitch and intuistionistic knowability. Analysis, 50(3), 182–7.
Poincaré, E. (1914). Science and Method Analysis. London, New York: T. Nelson and Sons.
Prawitz, D. (1987). Dummett on a theory of meaning and its impact on logic. In B. M. Taylor (Ed.), Contributions to philosophy (pp. 117–65). Dordrecht: Martinus Nijhoff.
Prawitz, D. (2002). Problems for a generalization of a verificationist theory of meaning. Topoi, 21(1–2), 87–92.
Prawitz, D. (2012). The epistemic significance of valid inference. Synthese, 187, 887–898.
Reichenbach, H. (1947). Elements of symbolic logic. New York: Free Press.
Ranatler, K. (2008). A semantic analysis of a logic for pragmatics with assertions, obligations, and causal implication. Fundamenta Informaticae, 84(3–4), 443–470.
Salerno, J. (Ed.). (2009). New essays on the knowability paradox. Oxford: Oxford University Press.
Schilpp, P. A. (Ed.). (1951). The philosophy of Bertrand Russell (3rd ed.). New York: Tudor Publ. Co.
Sundholm, G. (1997). Implicit epistemic aspects of constructive logic. Journal of Logic, Language and Information, 6(2), 191–212.
Williamson, T. (1982). Intuitionism disproved. Analysis, 42(4), 203–7.
Williamson, T. (1994). Never say never. Topoi, 13(2), 135–145.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2014 Springer International Publishing Switzerland
About this chapter
Cite this chapter
Carrara, M., Chiffi, D. (2014). The Knowability Paradox in the Light of a Logic for Pragmatics. In: Ciuni, R., Wansing, H., Willkommen, C. (eds) Recent Trends in Philosophical Logic. Trends in Logic, vol 41. Springer, Cham. https://doi.org/10.1007/978-3-319-06080-4_3
Download citation
DOI: https://doi.org/10.1007/978-3-319-06080-4_3
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-06079-8
Online ISBN: 978-3-319-06080-4
eBook Packages: Mathematics and StatisticsMathematics and Statistics (R0)