Abstract
In the present paper I wish to regard constructivelogic as a self-contained system for the treatment ofepistemological issues; the explanations of theconstructivist logical notions are cast in anepistemological mold already from the outset. Thediscussion offered here intends to make explicit thisimplicit epistemic character of constructivism.Particular attention will be given to the intendedinterpretation laid down by Heyting. This interpretation, especially as refined in the type-theoretical work of Per Martin-Löf, puts thesystem on par with the early efforts of Frege andWhitehead-Russell. This quite recent work, however,has proved valuable not only in the philosophy andfoundations of mathematics, but has also foundpractical application in computer science, where thelanguage of constructivism serves as an implementableprogramming language, and within the philosophy oflanguage.\footnote{Nordstr\"{o}m et al. (1990) give an overview of the work in computerscience, whereas Ranta (1995) provides an impressiveconstructivist alternative to Montague Grammar usingthe richer type structure of Martin-L\"{o}f in placeof the simple classical type theory of Church.} Mypresentation will be carried out through a contrastwith standard metamathematical work.\footnote{Troelstra and van Dalen (1988) give an encyclopedictreatment of the metamathematics of constructivism.}In the course of the development I have occasion tooffer some novel considerations (in Sections~6 and 8) on thenature of proof and inference(-acts).
Similar content being viewed by others
References
Cohen, L.J., Los, J., Pfeiffer, H., and Podewski, K.-P., eds., 1982, Logic, Methodology and Philosophy of Science VI, Amsterdam: North-Holland.
Fenstad, J.E., 1971, Proceedings of the Second Scandinavian Logic Symposium, Amsterdam: North-Holland.
Franchella, M., 1994, "Heyting’s contribution to the change in research into the foundations of mathematics," History and Philosophy of Logic 15, 149–172.
Frege, G., 1893, Grundgesetze der Arithmetik, Jena: H. Pohle.
Geach, P.T., 1965, "Assertion," Philosophical Review 74. Also in Geach (1972: 254–269).
Geach, P.T., 1972, Logic Matters, Oxford: Basil Blackwell.
Gentzen, G., 1934–1935, "Untersuchungen über das logische Schliessen," Mathematische Zeitschrift 39, 176–210, 405–431. Also in M. Szabo, 1969, Collected Papers, Amsterdam: North-Holland.
Gentzen, G., 1936, "Die Widerspruchsfreihet der reinen Zahlentheorie," Mathematische Annalen 112, 493–565.
Hare, R.M., 1970, "Meaning and speech acts," Philosophical Review 79, 3–24.
Heyting, A., 1930a, "Die formalen regeln der intuitionistischen Logik," Sitzungsberichte der preussischen Akademie von Wissenschaften, Phys-mat Klasse, pp. 42–56.
Heyting, A. 1930b, "Sur la logique intuitionniste," Acad. Roy. Belgique, Bull. Cl. Sci. V(16), 957–963.
Heyting, A., 1931, "Die intuitionistische Grundlegung der Mathematik," Erkenntnis 2, 106–115.
Heyting, A., 1934, Mathematische Grundlagenforschung. Intuitionismus. Beweistheorie, Berlin: Julius Springer.
Heyting, A, 1935, "Intuitionistische Wiskunde," Mathematica B 4, 72–83.
Hintikka, J., 1962, Knowledge and Belief, Ithaca: Cornell University Press.
Howard, W.A., 1980, "The formula-as-types notion of construction," pp. 479–490 in To H.B. Curry: Essays on Combinatory Logic, Lambda Calculus and Formalism, J. Seldin and R. Hindley, eds., London: Academic Press.
Kleene, S.C., 1952, Introduction to Metamathematics, Amsterdam: North-Holland.
Kolmogorov, A., 1932, "Zur Deutung intuitionistischen Logik," Mathematische Zeitschrift 35, 58–65.
Lenzen, W., 1978, "Recent work in epistemic logic," Acta Philosophica Fennica XXX(1).
Martin-Löf, P., 1982, "Constructive mathematics and computer programming," pp. 153–175 in Logic, Methodology and Philosophy of Science VI, L.J. Cohen et al., eds., Amsterdam: North-Holland.
Martin-Löf, P., 1987, "Truth of a proposition, evidence of a judgement, validity of a proof," Synthese 73, 407–420.
Martin-Löf, P., 1991, "A path from logic to metaphysics," pp. 141–149 in Atti del Congresso Nuovi Problemi della Logica e della Filosofia della Scienza, Viareggio, 8–13 gennaio 1990, Vol. II, Bologna: CLUEB.
Martin-Löf, P., forthcoming, "Truth and knowability: on the principles C and K of Michael Dummett," in Truth in Mathematics, H.G. Dales and G. Oliveri, eds., Oxford: Clarendon Press.
Martin-Löf, P., "Verificationism then and now," pp. 187–196 in The Foundational Debate: Complexity and Constructivity in Mathematics and Physics, W. Schimanovich et al., eds., Dordrecht: Kluwer.
Martin-Löf, P., 1983, "On the meanings of the logical constants and the justifications of the logical laws," Nordic Journal of Philsophical Logic 1, 11–61. Text of lectures originally given in 1983 and distributed in 1985.
Martin-Löf, P., 1994, "Analytic and synthetic judgements in type theory," pp. 87–99 in Kant and Contemporary Epistemology, P. Parrini, ed., Dordrecht: Kluwer.
Monk, D., 1976, Mathematical Logic, Berlin: Springer.
Nordström, B., Petterson, K., and Smith, J.M., 1990, Programming in Martin-Löf’s Type Theory, Oxford: Clarendon Press.
Parrini, P., 1994, Kant and Contemporary Epistemology, Dordrecht: Kluwer.
Prawitz, D., 1971, "Ideas and results in proof theory," pp. 235–307 in Proceedings of the Second Scandinavian Logic Symposium, J.E. Fenstad, ed., Amsterdam: North-Holland.
Prawitz, D., 1965, Natural Deduction, Almqvist och Wiksell, Stockholm.
Quine, W.V., 1958, "Speaking of objects," pp. 1–25 W.V. Quine (1968). Originally published in Proceedings and Adresses of the American Philosophical Association 31
Quine, W.V., 1968, Ontological Relativity and Other Essays, New York: Columbia University Press.
Ranta, A., 1994, Type-Theoretical Grammar, Oxford: Clarendon.
Schimanovich, W., De Pauli, Köhler, E., and Stadler, F., eds., 1995, The Foundational Debate: Complexity and Constructivity in Mathematics and Physics, Dordrecht: Kluwer.
Schröder-Heister, P., 1981, "Untersuchungen zur regellogischen Deutung von Aussagenverknüpfungen," Dissertation, Bonn.
Seldin, J. and Hindley, R., eds., 1980, To H. B. Curry: Essays on Combinatory Logic, Lambda Calculus and Formalism, London: Academic Press.
Shapiro, S., ed., 1985a, Intensional Mathematics, Amsterdam: North-Holland.
Shapiro, S., 1985b, "Epistemic and intuitionistic arithemetic" pp. 11–45 in Intensional Mathematics, S. Shapiro, ed., Amsterdam: North-Holland.
Stenius, E., 1960, Wittgenstein’s Tractatus, Oxford: Basil Blackwell.
Sundholm, B.G., 1983, "Constructions, proofs and the meaning of the logical constants," Journal of Philosophical Logic 12, 151–172.
Sundholm, B.G., 1986, "Proof theory and meaning," in Handbook of Philosophical Logic, Vol. III, Chapter III:8, D. Gabbay and F. Guenthner, eds., Dordrecht: Reidel.
Sundholm, B.G., 1993, "Questions of proof," Manuscrito(Campinas) 16, 47–70.
Sundholm, B.G., 1994a, "Existence, proof and truth-making: A perspective on the intuitionisitc conception of truth," TOPOI 13, 117–126.
Sundholm, B.G., 1994b, ’Proof-theoretical semantics and Fregean identity-criteria for propositions," The Monist 77, 294–314.
Thiel, C., 1988, "Die Kontroverse um die intuitionistische Logik vor ihre Axiomatisierung durch Heyting im Jahre 1930," History and Philosophy of Logic 9, 67–75.
Troelstra, A.S. and van Dalen, D., 1988, Constructivism in Mathematics, Vols. I, II, Amsterdam: North-Holland.
Whitehead, A.N. and Russell, B., 1910, Principia Mathematica, Vol. I, Cambridge: Cambridge University Press.
Wittgenstein, L., 1922, Tractatus Logico-Philosophicus, London: Routledge and Kegan Paul.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Sundholm, G. Implicit Epistemic Aspects of Constructive Logic. Journal of Logic, Language and Information 6, 191–212 (1997). https://doi.org/10.1023/A:1008266418092
Issue Date:
DOI: https://doi.org/10.1023/A:1008266418092