Abstract
This essay is our modest contribution to a volume in honor of our dear friend and fellow logician Peter Schroeder-Heister. The objective of the article is to reexamine Kolmogorov’s problem interpretation for intuitionistic logic and the basics of a general theory of problems. The task is developed by first examining the interpretation and presenting a new elucidation of it through Reduction Semantics. Next, in view of Kolmogorov’s intentions concerning his problem interpretation, Reduction Semantics is employed in an brief epistemological analysis of Euclidean Geometry and its construction problems. Finally, on the basis of the previous steps, some theses are raised concerning intuitionistic logical constants and concerning proofs and hypotheses in Euclid’s Elements.
Chapter PDF
Similar content being viewed by others
References
Aho, A. V., J. E. Hopcroft, and J. D. Ullman (1975). The Design and Analysis of Computer Algorithms. Reading: Addison-Wesley.
Coquand, T. (2007). Kolmogorov’s contribution to intuitionistic logic. In: Kolmogorov’s Heritage in Mathematics. Ed. by É. Charpentier, N. K. Nikolski, and A. Lesne. Heidelberg: Springer, 19–40.
de Campos Sanz, W. (2012). Kolmogorov e a lógica de problemas I. Notae Philosophicae Scientiae Formalis 1, 184–197.
de Campos Sanz, W. (2019). Hypo: a simple constructive semantics for intuitionistic sentential logic; soundness and completeness. In: Proof-Theoretic Semantics: Assessment and Future Perspectives. Proceedings of the Third Tübingen Conference on Proof-Theoretic Semantics, 27–30 March 2019, 153–178. url: https://doi.org/10.15496/publikation-35319.
de Campos Sanz, W. (2021). Euclidean machines: general theory of problems. In: A Question is More Illuminating than an Answer. A Festschrift for Paolo A. S. Veloso. Ed. By E. Haeusler, L. Pereira, and J. Viana. London: College.
Došen, K. (1989). Logical constants as punctuation marks. Notre Dame Journal of Formal Logic 30, 362–381.
Fitzpatrick, R. (2008). Euclid’s Elements of Geometry. The Greek text of J. L. Heiberg (1883–1885) from Euclidis Elementa, edidit et Latine interpretatus est I. L. Heiberg, in aedibus B.G. Teubneri, 1883–1885; edited, and provided with a modern English translation, by Richard Fitzpatrick.
Gómez-Torrente, M. (2019). Logical Truth. In: The Stanford Encyclopedia of Philosophy. Ed. by E. N. Zalta. Spring 2019 edition. Metaphysics Research Lab, Stanford University.
Heyting, A. (1930). Die formalen Regeln der intuitionistischen Logik. In: Sitzungsberichte der Preussischen Akademie der Wissenschaften. Physikalisch-Mathematische Klasse, 42–56.
Heyting, A. (1956). Intuitionism. An Introduction. Amsterdam: North-Holland.
Hilbert, D. (1899). The Foundations of Geometry. La Salle, Illinois: Open Court 1950 english translation, 2ed.
Kant, I. (1992). The Hechsel Logic (in part). In: Lectures on Logic. Ed. by J. Young. The Cambridge Edition of the Works of Immanuel Kant. Cambridge University Press.
Kant, I. (1800/1904). Logik. Ed. by G. B. Jäsche. English translation by R. S. Hartman and W. Schwartz, Logic, Dover, N.Y. 1988. Leipzig: Felix Meiner.
Kolmogorov, A. (1932). Zur Deutung der intuitionistischen Logik. Mathematische Zeitschrift 35. Pagination from the English edition in Tikhomirov (1991), 58–65.
Lassalle-Casanave, A. (2019). Por Construção de Conceitos – Em torno da Filosofia Kantiana da Matemática. Rio de Janeiro: Puc-Rio.
Naibo, A. (2018). Constructivity and Geometry. In: From Logic to Practice. Ed. By G. et alli. Heidelberg: Springer, 123–161.
Sidoli, N. (2018). Use of constructions in Problems and Theorems in Euclid’s Elements. Archive for History of Exact Sciences 72, 403–452.
Tikhomirov, V. M., ed. (1991). SelectedWorks of A. N. Kolmogorov. Vol. 1. Translated from the Russian by V. M. Volosov. Dordrecht: Kluwer.
Veloso, P. (1984). Aspectos de uma teoria geral de problemas. Cadernos de História e Filosofia da Ciência 7, 21–42.
von Plato, J. and P. Mäenpää (1990). The logic of Euclidean Construction Procedures. Acta Phenica 49, 275–293.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Open Access This chapter is licensed under the terms of the Creative Commons Attribution-ShareAlike 4.0 International License (http://creativecommons.org/licenses/by-sa/4.0/), which permits use, sharing, adaptation, distribution, and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license and indicate if changes were made. If you remix, transform, or build upon this chapter or a part thereof, you must distribute your contributions under the same license as the original.
The images or other third party material in this chapter are included in the chapter's Creative Commons license, unless indicated otherwise in a credit line to the material. If material is not included in the chapter's Creative Commons license and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder.
Copyright information
© 2024 The Author(s)
About this chapter
Cite this chapter
de Campos Sanz, W. (2024). Kolmogorov and the General Theory of Problems. In: Piecha, T., Wehmeier, K.F. (eds) Peter Schroeder-Heister on Proof-Theoretic Semantics. Outstanding Contributions to Logic, vol 29. Springer, Cham. https://doi.org/10.1007/978-3-031-50981-0_5
Download citation
DOI: https://doi.org/10.1007/978-3-031-50981-0_5
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-031-50980-3
Online ISBN: 978-3-031-50981-0
eBook Packages: Religion and PhilosophyPhilosophy and Religion (R0)