RUS  ENG JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB
 General information Latest issue Archive Impact factor Subscription License agreement Submit a manuscript Search papers Search references RSS Latest issue Current issues Archive issues What is RSS

 Uspekhi Mat. Nauk: Year: Volume: Issue: Page: Find

 Uspekhi Mat. Nauk, 2004, Volume 59, Issue 2(356), Pages 53–64 (Mi umn717)

Kolmogorov and Brouwer on constructive implication and the Ex Falso rule

D. Van Dalen

Utrecht University

Abstract: In his dissertation (1907) Brouwer expressed several remarks concerning the subject which was later called “intuitionistic logic.” His strict algorithmic point of view led to rejecting the Ex Falso principle and, unfortunately, to many other consequences. The Ex Falso principle was also rejected in Kolmogorov's 1925 paper on logic. However, in 1932, using the “intended interpretation” (interpretation problem), Kolmogorov concluded that this rule should be accepted. Heyting's proof interpretation led to the same conclusion. Here the role of implication and negation in the Ex Falso principle in the works of Brouwer, Kolmogorov, and Heyting is studied. It is asserted that the 1907 point of view of Brouwer is too strict to create a satisfactory logic, and Brouwer exceeds the bounds of minimal logic in his understanding of implication. The above points of view are compared, and it is concluded that the interpretation problem and the proof interpretation, understood correctly, admit the full intuitionistic logic.

DOI: https://doi.org/10.4213/rm717

Full text: PDF file (232 kB)
References: PDF file   HTML file

English version:
Russian Mathematical Surveys, 2004, 59:2, 247–257

Bibliographic databases:

UDC: 510.2+510.642
MSC: Primary 03F55, 03-03; Secondary 03F25

Citation: D. Van Dalen, “Kolmogorov and Brouwer on constructive implication and the Ex Falso rule”, Uspekhi Mat. Nauk, 59:2(356) (2004), 53–64; Russian Math. Surveys, 59:2 (2004), 247–257

Citation in format AMSBIB
\Bibitem{Van04} \by D.~Van Dalen \paper Kolmogorov and Brouwer on constructive implication and the Ex Falso rule \jour Uspekhi Mat. Nauk \yr 2004 \vol 59 \issue 2(356) \pages 53--64 \mathnet{http://mi.mathnet.ru/umn717} \crossref{https://doi.org/10.4213/rm717} \mathscinet{http://www.ams.org/mathscinet-getitem?mr=2086636} \zmath{https://zbmath.org/?q=an:1056.03039} \adsnasa{http://adsabs.harvard.edu/cgi-bin/bib_query?2004RuMaS..59..247V} \elib{http://elibrary.ru/item.asp?id=14355700} \transl \jour Russian Math. Surveys \yr 2004 \vol 59 \issue 2 \pages 247--257 \crossref{https://doi.org/10.1070/RM2004v059n02ABEH000717} \isi{http://gateway.isiknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=PARTNER_APP&SrcAuth=LinksAMR&DestLinkType=FullRecord&DestApp=ALL_WOS&KeyUT=000223519000004} \scopus{http://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-4344603649}