Russian Mathematical Surveys
RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB  
General information
Latest issue
Archive
Impact factor
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


Russian Mathematical Surveys, 2004, Volume 59, Issue 2, Pages 247–257
DOI: https://doi.org/10.1070/RM2004v059n02ABEH000717
(Mi rm717)
 

This article is cited in 4 scientific papers (total in 4 papers)

Kolmogorov and Brouwer on constructive implication and the Ex Falso rule

D. Van Dalen

Utrecht University
References:
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.
Received: 20.06.2003
Bibliographic databases:
Document Type: Article
UDC: 510.2+510.642
MSC: Primary 03F55, 03-03; Secondary 03F25
Language: English
Original paper language: Russian
Citation: D. Van Dalen, “Kolmogorov and Brouwer on constructive implication and the Ex Falso rule”, 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 Russian Math. Surveys
\yr 2004
\vol 59
\issue 2
\pages 247--257
\mathnet{http://mi.mathnet.ru//eng/rm717}
\crossref{https://doi.org/10.1070/RM2004v059n02ABEH000717}
\mathscinet{http://mathscinet.ams.org/mathscinet-getitem?mr=2086636}
\zmath{https://zbmath.org/?q=an:1056.03039}
\adsnasa{https://adsabs.harvard.edu/cgi-bin/bib_query?2004RuMaS..59..247V}
\isi{https://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=Publons&SrcAuth=Publons_CEL&DestLinkType=FullRecord&DestApp=WOS_CPL&KeyUT=000223519000004}
\elib{https://elibrary.ru/item.asp?id=14355700}
\scopus{https://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-4344603649}
Linking options:
  • https://www.mathnet.ru/eng/rm717
  • https://doi.org/10.1070/RM2004v059n02ABEH000717
  • https://www.mathnet.ru/eng/rm/v59/i2/p53
  • This publication is cited in the following 4 articles:
    Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    Успехи математических наук Russian Mathematical Surveys
     
      Contact us:
     Terms of Use  Registration to the website  Logotypes © Steklov Mathematical Institute RAS, 2024