Abstract
William Calvert Kneale (1906–1990) was a British logician and historian of logic, who is best known for his book The Development of Logic (Kneale and Kneale,.The Development of Logic, Oxford University Press, Clarendon Press, 1962) on the history of logic, jointly written with his wife Martha Kneale. (For further biographical details cf. Smiley,.Proceedings of the British Academy 87:385–397, 1995.) In his letter to Popper, Kneale suggests a generalization of Popper’s single-conclusion deducibility relation a1..... an.b to a multi-conclusion relation a1..... an.b1..... bm, where the formulas b1..... bm are understood conjunctively. This direction would later be pursued in ( Kneale, W. (1956). The Province of Logic. In: Contemporary British Philosophy, Third series. Ed. by H. D. Lewis. London: Allen & Unwin and New York: Humanities Press, pp. 235–261.) and in (Kneale and Kneale,.The Development of Logic, Oxford University Press, Clarendon Press, 1962), Ch. IX). Both of these texts refer to Popper, and Kneale develops Popper’s ideas of inferential definitions into a theory where logical constants are defined by double-line rules, that is, rules which can be read in both directions. This makes Kneale one of the few persons who further developed Popper’s ideas on the nature of logical constants.
Chapter PDF
Similar content being viewed by others
References
Berry, G. D. W. (1948). Review: Hao Wang, A Note on Quine’s Principles of Quantification. In: Journal of Symbolic Logic 13 (2), pp. 115–116.
Kneale, W. (1956). The Province of Logic. In: Contemporary British Philosophy, Third series. Ed. by H. D. Lewis. London: Allen & Unwin and New York: Humanities Press, pp. 235–261.
Kneale, W. and M. Kneale (1962). The Development of Logic. Clarendon Press: Oxford University Press.
McKinsey, J. C. C. (1948). Review of Logic without Assumptions and New Foundations for Logic. In: Journal of Symbolic Logic 13 (2), pp. 114–115. Reprinted as § 13.14 of this volume.
Popper, K. R. (1947b). Logic without Assumptions. In: Proceedings of the Aristotelian Society 47, pp. 251–292. Reprinted as Chapter 2 of this volume.
– (1947c). New Foundations for Logic. In: Mind 56 (223), pp. 193–235. Reprinted as Chapter 3 of this volume.
– (1949c). A Note on Natural Laws and So-Called “Contrary-to-Fact Conditionals”. In: Mind 58 (229), pp. 62–66.
Smiley, T. (1995).William Calvert Kneale, 1906–1990. In: Proceedings of the British Academy 87, pp. 385–397.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Open Access This chapter is licensed under the terms of the Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International License (http://creativecommons.org/licenses/by-nc-nd/4.0/), which permits any noncommercial use, sharing, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license and indicate if you modified the licensed material. You do not have permission under this license to share adapted material derived from this chapter or parts of it.
The images or other third party material in this chapter are included in the chapter's Creative Commons license, unless indicated otherwise in a credit line to the material. If material is not included in the chapter's Creative Commons license and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder.
Copyright information
© 2022 The Author(s)
About this chapter
Cite this chapter
Popper, K.R., Kneale, W.C. (2022). Popper’s Correspondence with William Calvert Kneale. In: Binder, D., Piecha, T., Schroeder-Heister, P. (eds) The Logical Writings of Karl Popper. Trends in Logic, vol 58. Springer, Cham. https://doi.org/10.1007/978-3-030-94926-6_29
Download citation
DOI: https://doi.org/10.1007/978-3-030-94926-6_29
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-94925-9
Online ISBN: 978-3-030-94926-6
eBook Packages: Mathematics and StatisticsMathematics and Statistics (R0)