Abstract
What makes necessary truths true? I argue that all truth supervenes on how things are, and that necessary truths are no exception. What makes them true are proofs. But if so, the notion of proof needs to be generalized to include verification-transcendent proofs, proofs whose correctness exceeds our ability to verify it. It is incumbent on me, therefore, to show that arguments, such as Dummett’s, that verification-truth is not compatible with the theory of meaning, are mistaken. The answer is that what we can conceive and construct far outstrips our actual abilities. I conclude by proposing a proof-theoretic account of modality, rejecting a claim of Armstrong’s that modality can reside in non-modal truthmakers.
Reprinted with kind permission of the editors of Kriterion
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
- 2.
- 3.
- 4.
Clearly, in the presence of infinite proofs, the notion of Gödel number will need to be generalized.
- 5.
The assumption that languages are countable can be challenged. For example, infinite decimals are expressions (expressions using base-10 notation), though no (non-recurring) infinite decimal can ever be written down. Nonetheless, there are uncountably many such decimals, as the usual diagonalization argument shows.
- 6.
[8, p. 16].
- 7.
- 8.
In symbols, Dummett expresses ‘Jones was brave or Jones was not brave’ as \((\alpha{\ {\square}\hspace{-1ex}\to} \beta)\vee(\alpha{\ {\square}\hspace{-1ex}\to}\neg\beta)\), where ‘\({\ {\square}\hspace{-1ex}\to}\)’ is the subjunctive conditional, ‘If it were α it would be β’. The correct analysis is \((\alpha {\ {\square}\hspace{-1ex}\to}\beta)\vee(\alpha {\ \lozenge\hspace{-1ex}\to}\neg\beta)\), where \(\alpha {\ \lozenge\hspace{-1ex}\to}\beta\) is equivalent to \(\neg(\alpha {{\square}\to}\neg\beta)\), that is, it is not the case that if it were α it would not be β, i.e., if it were α it might be β.
- 9.
For an elaboration of this argument, see [18].
- 10.
See the radical anti-realism of Jacques Dubucs: e.g., [7, p. 214].
- 11.
- 12.
See, e.g., [19]. Note that a one-step inference is a function, from one proof to another.
- 13.
- 14.
[3, p. 15].
- 15.
- 16.
See [17].
- 17.
Note that nothing I have said above commits me to the S5 principle \(\lozenge p\to\Box\lozenge p\). If one were committed to it, one would need a proof that there is no proof of \(\neg p\). More plausibly, a theory of necessity as proof will reject \(\lozenge p\to\Box\lozenge p\) and endorse an S4 theory of modality.
References
Anderson, A., and N. D. Belnap. 1975. Entailment: The Logic of Relevance and Necessity, vol. 1. Princeton, NJ: Princeton UP.
Armstrong, D. M. 2000. “Difficult Cases in the Theory of Truthmaking.” Monist 83:150–60.
Armstrong, D. M. 2002. “Truthmakers for Modal Truths.” In Real Metaphysics: Essays in Honour of D. H. Mellor, edited by H. Lillehammer and G. Rodriguez-Pereyra, 12–24. London: Routledge.
Armstrong, D. M. 2004. Truth and Truthmakers. Cambridge, MA: Cambridge University Press.
Carnap, R. 1937. The Logical Syntax of Language. London: Routledge. A. Smeaton, Eng. Tr.
Church, A. 1951. “The Weak Theory of Implication.” In Kontrolliertes Denken: Untersuchungen zum Logikkalkül und der Logik der Einzelwissenschaften, edited by A. Wilhelmy, A. Menne, and H. Angstl, 22–37. Freiburg-im-Breisgau: Karl Alber.
Dubucs, J. 2002. “Feasibility in Logic.” Synthese 132:213–37.
Dummett, M. 1978. “Truth.” In idem, Truth and Other Enigmas, 1–24. London: Duckworth.
Dummett, M. 1991. Logical Basis of Metaphysics. London: Duckworth.
Ebbinghaus, H. D. 1991. Numbers. New York, NY: Springer.
Gödel, K. 1972. “Some Remarks on the Undecidability Results.” In Collected Works, edited by S. Feferman et al., vol. II, 305–06. Oxford: Oxford University Press, 1990.
Langford, C. H. 1928. “Concerning Logical Principles.” Bulletin of the American Mathematical Society 34:573–82.
Lewis, D. 1973. Counterfactuals. Oxford: Blackwell.
Priest, G. 2008. An Introduction to Non-Classical Logic: From If to Is (2nd Edition). Cambridge, MA: Cambridge University Press.
Quine, W. V. O. 1936. “Truth by Convention.” In Philosophical Essays for A. N. Whitehead, edited by O. H. Lee, 90–124. New York, NY: Longmans.
Quine, W. V. O. 1970. Philosophy of Logic. Englewood Cliffs, NJ: Prentice-Hall.
Read, S. 2000. “Harmony and Autonomy in Classical Logic.” Journal of Philosophical Logic 29:123–54.
Read, S. 2005. “The Unity of the Fact.” Philosophy 80:317–42.
Read, S. 2008. “Harmony and Modality.” In Dialogues, Logics and Other Strange Things: Essays in Honour of Shahid Rahman, edited by C. Dégremont, L. Kieff, and H. Rückert, 285–303. London: College Publications.
Stewart, I., and D. Tall. 1977. The Foundations of Mathematics. Oxford: Oxford University Press.
Tarski, A. 1956. “The Concept of Truth in Formalized Languages.” In Logic, Semantics, Metamathematics, edited by J. H. Woodger, 152–278. Oxford: Clarendon Press.
Acknowledgments
This paper was presented at the conference ‘(Anti-)Realisms, Logic and Metaphysics’: Nancy, 28 June–1 July 2006 and first published in Kriterion 50 (2010), 47–67.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2012 Springer Science+Business Media B.V.
About this chapter
Cite this chapter
Read, S. (2012). Necessary Truth and Proof. In: Rahman, S., Primiero, G., Marion, M. (eds) The Realism-Antirealism Debate in the Age of Alternative Logics. Logic, Epistemology, and the Unity of Science, vol 23. Springer, Dordrecht. https://doi.org/10.1007/978-94-007-1923-1_13
Download citation
DOI: https://doi.org/10.1007/978-94-007-1923-1_13
Published:
Publisher Name: Springer, Dordrecht
Print ISBN: 978-94-007-1922-4
Online ISBN: 978-94-007-1923-1
eBook Packages: Humanities, Social Sciences and LawPhilosophy and Religion (R0)