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






Personal entry:
Login:
Password:
Save password
Enter
Forgotten password?
Register


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
Received: 20.06.2003

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}


Linking options:
  • http://mi.mathnet.ru/eng/umn717
  • https://doi.org/10.4213/rm717
  • http://mi.mathnet.ru/eng/umn/v59/i2/p53

    SHARE: VKontakte.ru FaceBook Twitter Mail.ru Livejournal Memori.ru


    Citing articles on Google Scholar: Russian citations, English citations
    Related articles on Google Scholar: Russian articles, English articles
  • Успехи математических наук Russian Mathematical Surveys
    Number of views:
    This page:393
    Full text:184
    References:37
    First page:1

     
    Contact us:
     Terms of Use  Registration  Logotypes © Steklov Mathematical Institute RAS, 2019