Some Remarks on True Undecidable Sentences

  • Enrico MoriconiEmail author
Part of the Boston Studies in the Philosophy and History of Science book series (BSPS, volume 334)


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.


Truth Proof Gödel’s incompleteness theorems Undecidable sentences 


  1. Bassani, F., A. Marino, and C. Sbordone, eds. 2001. E. De Giorgi. Anche la scienza ha bisogno di sognare. Pisa: Pisa University Press.Google Scholar
  2. Beklemishev, L.D. 2010. Gödel incompleteness theorems and the limits of their applicability. I. Russian Mathematical Surveys 65: 857–899.CrossRefGoogle Scholar
  3. Benacerraf, P. 1973. Mathematical truth. The Journal of Philosophy 70: 661–679.CrossRefGoogle Scholar
  4. Benacerraf, P., and H. Putnam, eds. 1983. Philosophy of mathematics. Selected readings. Cambridge: Cambridge University Press.Google Scholar
  5. Buldt, B. 2014. The scope of Gödel’s first incompleteness theorem. Logica Universalis 8: 499–552.CrossRefGoogle Scholar
  6. Ewald, William, ed. 1996. From Kant to Hilbert. A source book in the foundations of mathematics, vol. II. Oxford: Clarendon Press.Google Scholar
  7. Gödel, K. 1986. Collected works. Volume I (Publications 1929–1936), ed. S. Feferman, et al. New York/Oxford: Oxford University Press/Clarendon Press.Google Scholar
  8. Gödel, K. 2003. Collected works IV–V: Correspondence, ed. S. Feferman, et al. New York: Oxford University Press.Google Scholar
  9. Halbach, V., and A. Visser. 2014. Self-reference in arithmetic I and II. The Review of Symbolic Logic 7(4): 671–712.CrossRefGoogle Scholar
  10. 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.Google Scholar
  11. Hilbert, D. 1918. Axiomatisches denken. Mathematische Annalen 78: 405–415. Reprinted in Hilbert, 1935. Eng. trans. in Ewald,  1996.
  12. 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.Google Scholar
  13. 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.Google Scholar
  14. Piazza, M., and G. Pulcini. 2013. Strange case of Dr. soundness and Mr. consistency. In Logica yearbook, 161–172. College Publications.Google Scholar
  15. 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.Google Scholar
  16. 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.Google Scholar
  17. Tait, W. 1986. Truth and proof: The platonism of mathematics. Synthese 69: 341–370.CrossRefGoogle Scholar
  18. Tarski, A. 1983. Logic, semantics, metamathematics. Papers from 1923 to 1938, 2nd revised ed. Indianapolis: Hackett.Google Scholar

Copyright information

© Springer International Publishing AG, part of Springer Nature 2018

Authors and Affiliations

  1. 1.Dipartimento di Civiltà e Forme del SaperePisaItalia

Personalised recommendations