Abstract
In this paper I try to discuss the question of the truth-value of Gödel-type undecidable sentences in a framework which keeps into due account the idea that mathematical inquiry develops in a three-level framework: informal (or pre-formal) mathematics, (informal) theories, and formal theories. Moreover, it is to be stressed that no phase deletes the other ones; all of them, so to speak, live together.
I wish to thank my colleague Luca Bellotti for many helpful discussions on these topics.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
- 2.
We report here the italian text:
Ciò che viene accettato concordemente da tutti i matematici è il carattere specifico di tutti gli enunciati matematici, delle dimostrazioni matematiche. È assolutamente fuori discussione fra i matematici che cosa voglia dire che “un teorema è sensato”, ossia scritto in modo coerente alle regole interne della matematica e che “una dimostrazione è giusta” o “è sbagliata”. Su questo esiste una totale unanimità fra i matematici.
- 3.
- 4.
For a thorough treatment of the question of self-reference one can see Halbach and Visser (2014).
- 5.
What I mean is the impossibility to have in PA the uniform assertion of its soundness. It is well known, on the other hand, that it is possible to build partial truth definitions which, given, say, an arithmetical sentence A ∈ Σ n, allow to formalize in PA the obvious intuitive implication from provability to truth with respect to sentences of that complexity.
- 6.
The question of (the sense in which one can speak about) the truth of G has been vastly debated: we limit to mention the very recent (Piazza and Pulcini 2013, 2015, 2016); each of them contains many pertinent references. For an interesting survey of the entire debate concerning the assessment of the (possible) truth-value of G, one can profitably see also (Pantsar 2009).
References
Bassani, F., A. Marino, and C. Sbordone, eds. 2001. E. De Giorgi. Anche la scienza ha bisogno di sognare. Pisa: Pisa University Press.
Beklemishev, L.D. 2010. Gödel incompleteness theorems and the limits of their applicability. I. Russian Mathematical Surveys 65: 857–899.
Benacerraf, P. 1973. Mathematical truth. The Journal of Philosophy 70: 661–679.
Benacerraf, P., and H. Putnam, eds. 1983. Philosophy of mathematics. Selected readings. Cambridge: Cambridge University Press.
Buldt, B. 2014. The scope of Gödel’s first incompleteness theorem. Logica Universalis 8: 499–552.
Ewald, William, ed. 1996. From Kant to Hilbert. A source book in the foundations of mathematics, vol. II. Oxford: Clarendon Press.
Gödel, K. 1986. Collected works. Volume I (Publications 1929–1936), ed. S. Feferman, et al. New York/Oxford: Oxford University Press/Clarendon Press.
Gödel, K. 2003. Collected works IV–V: Correspondence, ed. S. Feferman, et al. New York: Oxford University Press.
Halbach, V., and A. Visser. 2014. Self-reference in arithmetic I and II. The Review of Symbolic Logic 7(4): 671–712.
Hempel, C.C. 1945. On the nature of mathematical truth. American Mathematical Monthly 52: 543. Reprinted in Feigl, H., and W. Sellars, Readings in philosophical analysis, New York, 1949.
Hilbert, D. 1918. Axiomatisches denken. Mathematische Annalen 78: 405–415. Reprinted in Hilbert, 1935. Eng. trans. in Ewald, 1996.
Lakatos, I. 1976. Proofs and refutations. Cambridge: Cambridge University Press. The articles were originally published in the British Journal for the Philosophy of Science, 1963–1964.
Pantsar, M. 2009. Truth, proof and Gödelian arguments: A defence of Tarskian truth in mathematics. Philosophical studies from the University of Helsinki, vol. 23. Department of Philosophy, University of Helsinki.
Piazza, M., and G. Pulcini. 2013. Strange case of Dr. soundness and Mr. consistency. In Logica yearbook, 161–172. College Publications.
Piazza, M., and G. Pulcini. 2015. A deflationary account of the truth of the Gödel sentence G. In From logic to practice. Italian studies in the philosophy of mathematics, ed. G. Lolli, M. Panza, and G. Venturi, 71–90. Heidelberg: Springer.
Piazza, M., and G. Pulcini. 2016. What’s so special about the Gödel sentence G? In Objectivity, realism, and proof. FilMat studies in the philosophy of mathematics. Boston studies in the philosophy and history of science, vol. 318, ed. F.B.A. Sereni, 245–263. Cham: Springer.
Tait, W. 1986. Truth and proof: The platonism of mathematics. Synthese 69: 341–370.
Tarski, A. 1983. Logic, semantics, metamathematics. Papers from 1923 to 1938, 2nd revised ed. Indianapolis: Hackett.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2018 Springer International Publishing AG, part of Springer Nature
About this chapter
Cite this chapter
Moriconi, E. (2018). Some Remarks on True Undecidable Sentences. In: Piazza, M., Pulcini, G. (eds) Truth, Existence and Explanation. Boston Studies in the Philosophy and History of Science, vol 334. Springer, Cham. https://doi.org/10.1007/978-3-319-93342-9_1
Download citation
DOI: https://doi.org/10.1007/978-3-319-93342-9_1
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-93341-2
Online ISBN: 978-3-319-93342-9
eBook Packages: Religion and PhilosophyPhilosophy and Religion (R0)