More download options

Frege meets Brouwer

Stewart Shapiro & Øystein Linnebo

Review of Symbolic Logic 8 (3):540-552 (2015) Copy BIBT_EX

Abstract

We show that, by choosing definitions carefully, a version of Frege's theorem can be proved in intuitionistic logic.

Cite

Plain text

BibTeX

Formatted text

Reference Manager

RefWorks

Options

Mark as duplicate

Find it on Scholar

Request removal from index

Revision history

Author Profiles

Øystein Linnebo

University of Oslo

Stewart Shapiro

Ohio State University

Categories

Frege: Philosophy of Mathematics, Misc in 20th Century Philosophy

Intuitionism and Constructivism in Philosophy of Mathematics

Logic and Philosophy of Logic

Logicism in Mathematics in Philosophy of Mathematics

Mathematical Neo-Fregeanism in Philosophy of Mathematics

Keywords

Frege's theorem intuitionism

Reprint years

DOI

10.1017/s1755020315000039

Other Versions

No versions found

Links

PhilArchive

Upload a copy of this work Papers currently archived: 101,337

External links

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

Through your library

Sign in / register and customize your OpenURL resolver
Configure custom resolver

My notes

Sign in to use this feature

Similar books and articles

Ramified Frege Arithmetic.Richard G. Heck Jr - 2011 - Journal of Philosophical Logic 40 (6):715 - 735.

Ramified Frege Arithmetic.Richard G. Heck - 2011 - Journal of Philosophical Logic 40 (6):715-735.

Predicative fragments of Frege arithmetic.Øystein Linnebo - 2004 - Bulletin of Symbolic Logic 10 (2):153-174.

Frege's Theorem in Plural Logic.Simon Hewitt - manuscript

Erratum: Frege's Theorem and the Peano Postulates.George Boolos - 1996 - Bulletin of Symbolic Logic 2 (1):126-126.

Hale’s Deflationary Conception of Properties and Frege’s Theorem.Eduardo Villanueva - 2020 - Analysis 80 (3):583-594.

Book Review: Mark van Atten. On Brouwer. [REVIEW]O. Bradley Bassler - 2006 - Notre Dame Journal of Formal Logic 47 (4):581-599.

Fuzzy intuitionistic quantum logics.Gianpiero Cattaneo, Maria L. Dalla Chiara & Roberto Giuntini - 1993 - Studia Logica 52 (3):419 - 442.

Reply to Øystein Linnebo and Stewart Shapiro.Ian Rumfitt - 2019 - Inquiry: An Interdisciplinary Journal of Philosophy 62 (7):842-858.

A new semantics for intuitionistic predicate logic.Yuichi Komori - 1986 - Studia Logica 45 (1):9 - 17.

Analytics

Added to PP
2015-09-03

Downloads
155 (#148,143)

6 months
14 (#229,302)

Historical graph of downloads

How can I increase my downloads?

Author Profiles

Øystein Linnebo

University of Oslo

Stewart Shapiro

Ohio State University

Citations of this work

Forms of Luminosity: Epistemic Modality and Hyperintensionality in Mathematics.David Elohim - 2017 - Dissertation, Arché, University of St Andrews

The Potential in Frege’s Theorem.Will Stafford - 2023 - Review of Symbolic Logic 16 (2):553-577.

Hyperintensional Foundations of Mathematical Platonism.David Elohim - manuscript

Forms of Luminosity: Epistemic Modality and Hyperintensionality in Mathematics.David Elohim - 2017

Add more citations

References found in this work

Truth and objectivity.Crispin Wright - 1992 - Cambridge: Harvard University Press.

Die Grundlagen der Arithmetik. Eine logisch mathematische Untersuchung über den Begriff der Zahl.Gottlob Frege - 1884 - Wittgenstein-Studien 3 (2):993-999.

Fixing Frege.John P. Burgess - 2005 - Princeton University Press.

Frege’s Theorem: An Introduction.Richard G. Heck - 1999 - The Harvard Review of Philosophy 7 (1):56-73.

Foundations without Foundationalism: A Case for Second-Order Logic.Gila Sher - 1994 - Philosophical Review 103 (1):150.

View all 17 references / Add more references