L. Brouwer’s Intuitionism
Sources, Development, and the Contribution by Polish Logicians
Abstract
The article is devoted to L.E.J. Brouwer’s intuitionistic logic. It discusses the origins and objectives of this logic, which was one of the constructivist trends in the philosophy of mathematics. The logic was intended to resolve the crisis of the foundations of mathematics. The article also covers the primary stages of its development, including the work of A. Heyting and K. Gӧdel. Additionally, it emphasizes the significance of research conducted by Polish logicians, such as Z. Zawirski, J. Łukasiewicz, A. Tarski, and S. Jaśkowski. The article’s conclusions. Which are justified on the basis of historical findings, are also important for metaphilosophical discussions about understanding mathematics and the basic laws of logic. These discussions also address the relationship between language and reality.
References
Czeżowski Tadeusz, Logika. Podręcznik dla studiujących nauki filozoficzne (Warszawa: Państwowy Zakład Wydawnictw Szkolnych, 1948).
Heyting Arend, Die formalen Regeln der intuitionistischen Logik (Berlin: Deütsche Akademie der Wissenschaften zu Berlin, 1930).
Iwanicki Józef, Dedukcja naturalna i logistyka (Warszawa: Nakładem Polskiego Tow. Teologicznego w Warszawie, 1949).
Körner Stephan, What is Philosophy? One Philosopher’s Answer (London: Wydawnictwo Allen Lane, 1969).
Kuiper Johannes John Carel, Ideas and Explorations. Brouwer’s Road to Intuitionism (Utrecht: Uniwersytet Utrecht, 2004).
Mostowski Andrzej, Logika matematyczna (Warszawa–Wrocław: 1948). Murawski Roman, Filozofia matematyki. Zarys dziejów (Warszawa: Wydawnictwo Naukowe UAM, 1995).
Priest Graham, Richard Routley, Jean Norman, Paraconsistent Logic: Essays on the Inconsistent (Wien: Philosophia Verlag, München-Hamden, 1989).
Śleziński Krzysztof, Towards Scientific Metaphysics, t. 1: In the Circle of the Scientific Metaphysics of Zygmunt Zawirski. Development and Comments on Zawirski’s Concepts and their Philosophical Context, Polish Contemporary Philosophy and Philosophical Humanities, t. 15, red. Jan Hartman (Berlin: Wyd. Peter Lang, 2019).
Bornstein Benedykt, „Zarys teorii logiki dialektycznej”, w Benedykta Bornsteina niepublikowane pisma z teorii poznania, logiki i metafizyki. Wybór i opracowanie oraz wprowadzenie i komentarze, red. Krzysztof Śleziński (Katowice: Uniwersytet Śląski, 2014), 128–190.
Brouwer Luitzen Egbertus Jan, „Consciousness, Philosophy and Mathematics”, w Collected Works. Philosophy and Foundations of Mathematics, t. I, red. Arend Heyting (Amsterdam–Oxford–New York: North-Holland Publishing Company; American Elsevier Publishing Company, 1975), 480–481.
Brouwer Luitzen Egbertus Jan, „Historical Background, Principles and Methods of Intuitionism”, w Collected Works. Philosophy and Foundations of Mathematics, t. I, red. Arend Heyting (Amsterdam–Oxford–New York: NorthHolland Publishing Company; American Elsevier Publishing Company, 1975), 508–515.
Brouwer Luitzen Egbertus Jan, „Life, Art and Mysticism”, w Collected Works. Philosophy and Foundations of Mathematics, t. I, red. Arend Heyting (Amsterdam–Oxford–New York: North-Holland Publishing Company; American Elsevier Publishing Company, 1975), 1–9.
Brouwer Luitzen Egbertus Jan, „Mathematik, Wissenschaft und Sprache”, w Collected Works. Philosophy and Foundations of Mathematics, t. I, red. Arend Heyting (Amsterdam–Oxford–New York: North-Holland Publishing Company; American Elsevier Publishing Company, 1975), 417–428.
Brouwer Luitzen Egbertus Jan, „On the Foundations of Mathematics”, w Collected Works. Philosophy and Foundations of Mathematics, t. I, red. Arend Heyting (Amsterdam–Oxford–New York: North-Holland Publishing Company; American Elsevier Publishing Company, 1975), 12–101.
Jaśkowski Stanisław, „Recherches sur le système de la logique intuitioniste”, w Actes du Congrès International de Philosophie Scientifique, t. VI: Philosophie des mathématiques, Actualités scientifiques et industrielles 393 (Paris: Hermann & Cie, 1936), 58–61.
Jaśkowski Stanisław, Elementy logiki matematycznej [skrypt] (Toruń: 1947).
Łukasiewicz Jan, „O intuicjonistycznym rachunku zdań”, w Z zagadnień logiki i filozofii. Pisma wybrane, red. Jan Słupecki (Warszawa: Państwowe Wydawnictwo Naukowe, 1961), 261–274.
Piotrowska Ewa, „Filozoficzne podstawy intuicjonizmu matematycznego w ujęciu L.E.J. Brouwera”, w Z zagadnień nad filozoficznymi podstawami nauk, red. Stefan Kaczmarek (Poznań: Wydawnictwo Nauk. Uniwersytetu im. Adama Mickiewicza, 1981), 113–171.
Tarski Alfred, „Badania nad rachunkiem zdań”, w Pisma logiczno-filozoficzne. Metalogika, t II, red. Jan Zygmunt (Warszawa: Wydawnictwo Naukowe PWN, 2001), 7–14.
Tarski Alfred, „Podstawowe pojęcia metodologii nauk dedukcyjnych”, w Pisma logiczno-filozoficzne. Metalogika, t. II, red. Jan Zygmunt (Warszawa: Wydawnictwo Naukowe PWN, 2001), 51–60.
Brouwer Luitzen Egbertus Jan, „Intuitionism and Formalism”, Bulletin of the American Mathematical Society 20/2 (1913): 85–96.
Brouwer Luitzen Egbertus Jan, „Über Abbildung von Mannigfaltigkeiten”, Mathematische Annalen 71 (1912): 97–115.
Czarnecka Bożena, „Jana Łukasiewicza ujęcie intuicjonistycznego rachunku zdań”, Rocznik Filozoficzny 48/1 (2000): 231–237.
Feys Robert, „Les methodes de deduction naturelle”, Revue Philosophique de Louvain 44 (1946): 370–400.
Feys Robert, „Les methodes de deduction naturelle”, Revue Philosophique de Louvain 45 (1947): 60–72.
Gentzen Gerhard, „Untersuchungen über das logische Schliessen”, Mathematische Zeitschrift 39 (1934): 176–210.
Gödel Kurt, „Zum intuitionistischem Aussagenkalkül”, Academie der Wissenschaften in Wien, Mathematisch-naturwissenschaftliche Klasse 69 (1932): 65–66.
Łukasiewicz Jan, „Die Logik und das Grundlagenproblem”, Les Entretiens de Zürich sur les fondements et la méthode des sciences mathématiques 12/6–9 (1938) [Zürich, 1941]: 82–100.
Łukasiewicz Jan, „O logice trójwartościowej”, Ruch Filozoficzny 5 (1920): 170–171. Łukasiewicz Jan, „O pojęciu możliwości”, Ruch Filozoficzny 5 (1920): 169–170. Misiuna Krystyna, „O obliczach sprzeczności”, Filozofia Nauki 43/3 (2010): 55–78.
Park Sehie, Ninety Years of the Brouwer Fixed Point Theorem, „Vietnam Journal of Mathematics” 27/3 (1999): 187–222.
Suszko Roman, „W sprawie logiki bez aksjomatów”, Kwartalnik Filozoficzny 17 (1948): 199–205.
Zawirski Zygmunt, „Geneza i rozwój logiki intuicjonistycznej”, Kwartalnik Filozoficzny 16 (1946): 165–222.
Copyright (c) 2025 Ignatianum University in Cracow
This work is licensed under a Creative Commons Attribution-NoDerivatives 4.0 International License.
The Yearbook only accepts materials for publication that are free of all conflicts of interest, and that in no way involve conflicts over authorship, copyright, etc. The Editors will take action against any cases of plagiarizing, ghostwriting1, guest/honorary authorship2, etc. Where co-authored work is concerned, the Author listed first is expected to take responsibility for the submission, and is required to make clear the contributions of all of the Co-Authors involved. In the event of the publication owing its existence to funding dedicated to this purpose, this fact should be made clear: e.g. in any note of thanks/acknowledgement, or in a footnote, etc. Explicit notification should be given of any form of reprinting, with the appropriate evidence of permission to publish being furnished as required. Any impropriety on the part of Authors/Reviewers risks exposing them to appropriate responses from the relevant institutions.
______
1 This term refers to instances of a person who has made an essential contribution being omitted from the list of authors, or from notes conveying gratitude and/or acknowledgement.
2 This occurs when a person who has made either an insignificant contribution or no contribution at all nevertheless appears on the list of authors.
