Abstract
What is the appropriate notion of truth for sentences whose meanings are understood in epistemic terms such as proof or ground for an assertion? It seems that the truth of such sentences has to be identified with the existence of proofs or grounds, and the main issue is whether this existence is to be understood in a temporal sense as meaning that we have actually found a proof or a ground, or if it could be taken in an abstract, tenseless sense. Would the latter alternative amount to realism with respect to proofs or grounds in a way that would be contrary to the supposedly anti-realistic standpoint underlying the epistemic understanding of linguistic expressions? Before discussing this question, I shall consider reasons for construing linguistic meaning epistemically and relations between such reasons and reasons for taking an anti-realist point of view towards the discourse in question.
Similar content being viewed by others
Notes
It is somewhat inappropriate to say that we assert the conclusion or a premiss of an inference, since the premisses and the conclusion are assertions (or judgements). This way of speaking is nevertheless often convenient and is used here; it is even appropriate if we think of the premisses and conclusion as represented by sentences.
Prawitz (1995).
Per Martin-Löf (1998) has drawn the conclusion that it is not. He and Göran Sundholm (1998) indicate this by referring to proofs so conceived as “proof-objects”, where proof-objects are just truth-makers in terms of which the meaning of propositions is explained, much like in realist theories of meaning.
Doubts concerning this have been expressed for instance by Peter Pagin (2009). As argued by Williamson (2003), one has to beware of identifying a person's implicit knowledge of the meaning of a sentence with her actual use of an inference rule or of a form of argument or proof; the knowledge is rather a question of knowing the rule or knowing what counts as a valid argument or proof in the language in question, as pointed out by Cozzo (2008).
Dummett (1987, 286) says that he is happy for any outcome of the investigation: if it supports realism, "we shall have discovered the true justification of realism".
References
Cozzo C (2008) On the copernican turn in semantics. Theoria 74:295–317
Dummett M (1975) The philosophical basis of intuitionistic logic. In: Rose HE et al (eds) Logic colloquium ‘73. North-Holland Publishing Company, Amsterdam, pp 5–40
Dummett M (1976) What is a theory of meaning? (II). In: Evans G, McDowell J (eds) Truth and meaning. Clarendon Press, Oxford
Dummett M (1977) Elements of intuitionism. Clarendon Press, Oxford
Dummett M (1987) Reply to Dag Prawitz. In: Taylor B (ed) Michael Dummett—Contributions to philosophy. Martinus Nijhoff Publishers, Dordrecht, pp 281–286
Dummett M (1991) The logical basis of metaphysics. Duckworth, London
Dummett M (1998) Truth from the constructive standpoint. Theoria 64:122–138
Heyting A (1930) Sur la logique intuitionniste. Académie Royale de Belgique, Bulletin de la Classe des Sciences 16:957–963
Heyting A (1931) Die intuitionistische Grundlegung der Mathematik. Erkenntnis 2:106–115
Martin-Löf P (1984) Intuitionistic type theory. Bibliopolis, Napoli
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 (1998) Truth and knowability: on the principles C and K of Michael Dummett. In: Dales HG, Oliveri G (eds) Truth in mathematics. Clarendon Press, Oxford, pp 105–114
Pagin P (2009) Compositionality, understanding, and proofs. Mind 118:713–737
Prawitz D (1973) Towards a foundation of a general proof theory. In: Suppes P (ed) Logic, methodology, and philosophy of science IV. North-Holland Publishing Company, Amsterdam, pp 225–250
Prawitz D (1974) On the idea of a general proof theory. Synthese 27:63–77
Prawitz D (1987) Dummett on a theory of meaning and its impact on logic. In: Taylor B (ed) Michael Dummett—Contributions to philosophy. Nijhoff, Dordrecht, pp 117–165
Prawitz D (1995) Quine and verificationism. Inquiry 37:487–494
Prawitz D (1998) Comments on the papers. Theoria 64:283–337
Prawitz D (2006) Meaning approached via proofs. Synthese 148:507–524
Prawitz D (2009) Inference and knowledge. In: Pelis M (ed) The Logica yearbook 2008. College Publications, King’s College London, London, pp 175–192
Prawitz D (2011) The epistemic significance of valid inference. Synthese (forthcoming)
Prawitz D (2012) Truth and proof in intutionism (forthcoming)
Raatikainen P (2004) Conceptions of truth in intuitionism. Hist Philos Log 25:131–145
Sundholm G (1998) Proofs as acts and proofs as objects. Some questions for Dag Prawitz. Theoria 64:187–216
Troelstra AS (1977) Aspects of constructive mathematics. In: Barwise J (ed) Handbook of mathematical logic. North-Holland Publishing Company, Amsterdam, pp 973–1052
Troelstra, van Dalen (1988) Constructivism in mathematics. North-Holland Publishing Company, Amsterdam
Williamson T (2003) Understanding and inference. Proc Aristot Soc Suppl 77:249–292
Acknowledgments
I am grateful to professor Cesare Cozzo for constructive comments after his reading of an earlier version of the paper.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Prawitz, D. Truth as an Epistemic Notion. Topoi 31, 9–16 (2012). https://doi.org/10.1007/s11245-011-9107-6
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11245-011-9107-6