Abstract
Proofs are distinguished by identifying some – in fact many – of them as classical and the rest as constructive. This chapter attempts to understand, from a philosophical perspective, the difference between the classical and the constructive. The constructivism latent in constructive proofs is sought to be seen as grounded in a variety of a philosophical position called anti-realism. The ties of the assumptions, or the lack of them, in this variety, with the resulting presentations of logic are explored in the context of truth as well as in that of proofs.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Belnap, N.D. 1962. Tonk, plonk and plink. Analysis 22: 130–134.
Bendall, K. 1978. Natural deduction, separation and the meaning of logical constants. Journal of Philosophical Logic 7: 245–276.
Dicher, B. 2016. Weak disharmony: Some lessons for proof-theoretic semantics. The Review of Symbolic Logic 9: 583–602.
Dummett, M. 1977. Elements of intuitionism. Oxford: Oxford University Press.
———. 1978a. The justification of deduction. In Truth and other enigmas, 290–318. London: Duckworth.
———. 1978b. The philosophical basis of intuitionistic logic. In Truth and other enigmas, 215–247. London: Duckworth.
———. 1991. The logical basis of metaphysics. London: Duckworth.
Gentzen, G. 1969. Investigations into logical deductions. In The collected papers of Gerhard Gentzen, ed. M.E. Szabo, 68–131. Amsterdam: North-Holland Pub.
Heyting, A. 1956. Intuitionism: An introduction. Amsterdam: North-Holland Pub.
Kripke, S.A. 1965. Semantical analysis of intuitionistic logic. In Formal systems and recursive functions, ed. J. Crossley and M. Dummett, 92–130. Amsterdam: North-Holland Pub.
Mukhopadhyay, R. 1990. Self-justifying rules. In Foundations of logic and language, Jadavpur studies in philosophy, second series, ed. Pranab Kumar Sen, 82–106. New Delhi: Allied Publishers Limited.
———. 2010. Dummett on realism and antirealism. In Materialism and immaterialism in India and the West: Varying vistas, ed. Partha Ghose, 481–497. New Delhi: Munshiram Manoharlal Pub. (for Center for Studies in Civilizations).
Prawitz, D. 1965. Natural deduction: A proof theoretical study. Stockholm: Almqvist and Wiksell.
Prior, A.N. 1960. The runabout inference-ticket. Analysis 21 (2): 38–39.
van Dalen, D. 1986. Intuitionistic logic. In Handbook of philosophical logic, vol III: Alternatives in classical logic, ed. D. Gabbay and F. Guenthner, 225–339. Dordrecht: D. Reidel.
Wittgenstein, L. 1953. Philosophical investigations. Oxford: Basil Blackwell.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Section Editor information
Rights and permissions
Copyright information
© 2022 Springer Nature India Private Limited
About this entry
Cite this entry
Mukhopadhyay, R. (2022). Philosophical Aspects of Constructivism in Logic. In: Sarukkai, S., Chakraborty, M.K. (eds) Handbook of Logical Thought in India. Springer, New Delhi. https://doi.org/10.1007/978-81-322-2577-5_53
Download citation
DOI: https://doi.org/10.1007/978-81-322-2577-5_53
Published:
Publisher Name: Springer, New Delhi
Print ISBN: 978-81-322-2576-8
Online ISBN: 978-81-322-2577-5
eBook Packages: Religion and PhilosophyReference Module Humanities and Social SciencesReference Module Humanities