Intuitionism reconsidered

In Stewart Shapiro (ed.), Oxford Handbook of Philosophy of Mathematics and Logic. Oxford and New York: Oxford University Press. pp. 387--411 (2005)
  Copy   BIBTEX

Abstract

This chapter examines the debate between advocates of classical logic and advocates of intuitionistic logic. It examines the semantic and epistemic issues on which this debate is usually conducted. After introducing the idea that logic is a model of correct reasoning, the chapter explores the viability of a logic intermediate between classical and intuitionistic.

Categories

Keywords

Reprint years

DOI

10.1093/0195148770.003.0011

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,888

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Intuitionism reconsidered.Hugues Leblanc - 1962 - Notre Dame Journal of Formal Logic 3 (2):79-82.
Leblanc Hugues and Belnap Nuel D. Jr., Intuitionism reconsidered. Notre Dame journal of formal logic, vol. 3 , pp. 79–82. [REVIEW]A. Heyting - 1963 - Journal of Symbolic Logic 28 (3):256-256.
Dummett's Views on Intuitionism Logic.Xiao-Ming Ren & Biao Gu - 2007 - Nankai University (Philosophy and Social Sciences) 4:46-51.
Intuitionism and philosophy.Carl Posy - 2005 - In Stewart Shapiro (ed.), Oxford Handbook of Philosophy of Mathematics and Logic. Oxford and New York: Oxford University Press. pp. 319--355.
Intuitionism in Mathematics.D. C. McCarty - 2005 - In Stewart Shapiro (ed.), Oxford Handbook of Philosophy of Mathematics and Logic. Oxford and New York: Oxford University Press.
IF Epistemic Logic and Mathematical Knowledge.Manuel Rebuschi - unknown
Gnomes in the Fog: The Reception of Brouwer's Intuitionism in the 1920s.Dennis E. Hesseling - 2003 - Birkhauser.
On logics intermediate between intuitionistic and classical predicate logic.Toshio Umezawa - 1959 - Journal of Symbolic Logic 24 (2):141-153.

Analytics

Added to PP
2014-02-01

Downloads
59 (#362,045)

6 months
8 (#580,966)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Inferentialism.Florian Steinberger & Julien Murzi - 2017 - In Steinberger Florian & Murzi Julien (eds.), Blackwell Companion to Philosophy of Language. pp. 197-224.
Why Conclusions Should Remain Single.Florian Steinberger - 2011 - Journal of Philosophical Logic 40 (3):333-355.
Classical Harmony and Separability.Julien Murzi - 2020 - Erkenntnis 85 (2):391-415.
Carnapian frameworks.Gabriel L. Broughton - 2021 - Synthese 199 (1-2):4097-4126.

View all 12 citations / Add more citations

References found in this work

No references found.

Add more references