Movatterモバイル変換

[0]ホーム
URL:

PhilPapersPhilPeoplePhilArchivePhilEventsPhilJobs
Switch to: References

Citations of:

The effect of intuitionism on classical algebra of logic

Proceedings of the Royal Irish Academy 57:113–116 (1955)

Add citations

You mustlogin to add citations.
  1. The development of intuitionistic logic.Mark van Atten -2008 -Stanford Encyclopedia of Philosophy.
  • Against Against Intuitionism.Dirk Schlimm -2005 -Synthese 147 (1):171-188.
    The main ideas behind Brouwer’s philosophy of Intuitionism are presented. Then some critical remarks against Intuitionism made by William Tait in “Against Intuitionism” [Journal of Philosophical Logic, 12, 173–195] are answered.
    Direct download(4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  • Brouwer's Conception of Truth.Casper Storm Hansen -2016 -Philosophia Mathematica 24 (3):379-400.
    In this paper it is argued that the understanding of Brouwer as replacing truth conditions with assertability or proof conditions, in particular as codified in the so-called Brouwer-Heyting-Kolmogorov Interpretation, is misleading and conflates a weak and a strong notion of truth that have to be kept apart to understand Brouwer properly: truth-as-anticipation and truth- in-content. These notions are explained, exegetical documentation provided, and semi-formal recursive definitions are given.
    Direct download(3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
    • Home |New books and articles |Bibliographies |Philosophy journals |About PhilPapers |API |Contact us |Code of conduct

    CDPPhiosophy Documentation Center
    PhilPapers logo byAndrea Andrews andMeghan Driscoll.
    This site uses cookies and Google Analytics (see ourterms & conditions for details regarding the privacy implications).

    Use of this site is subject toterms & conditions.
    All rights reserved byThe PhilPapers Foundation

    Server: philpapers-web-54b44b69b7-bbztg uwo
    [8]ページ先頭
    ©2009-2025 Movatter.jp