Anti-realist classical logic and realist mathematics

Greg Restall

doi:10.1007/978-94-007-1923-1_14

Anti-realist classical logic and realist mathematics

Greg Restall^*

^*Corresponding author for this work

Philosophy

Research output: Chapter in Book/Report/Conference proceeding › Chapter

Abstract

I sketch an application of a semantically anti-realist understanding of the classical sequent calculus to the topic of mathematics. The result is a semantically anti-realist defence of a kind of mathematical realism. In the paper, I begin the development of the view and compare it to orthodox positions in the philosophy of mathematics.

Original language	English
Title of host publication	The Realism-Antirealism Debate in the Age of Alternative Logics
Publisher	Springer
Pages	269-284
Number of pages	16
ISBN (Electronic)	9789400719231
ISBN (Print)	9789400719224
DOIs	https://doi.org/10.1007/978-94-007-1923-1_14
Publication status	Published - 1 Jan 2012

Access to Document

10.1007/978-94-007-1923-1_14

Handle.net

Persistent link

Cite this

@inbook{13c30eeebc21475a8b3d32506efab8f1,

title = "Anti-realist classical logic and realist mathematics",

abstract = "I sketch an application of a semantically anti-realist understanding of the classical sequent calculus to the topic of mathematics. The result is a semantically anti-realist defence of a kind of mathematical realism. In the paper, I begin the development of the view and compare it to orthodox positions in the philosophy of mathematics.",

author = "Greg Restall",

note = "Publisher Copyright: {\textcopyright} Springer Science+Business Media B.V. 2012.",

year = "2012",

month = jan,

day = "1",

doi = "10.1007/978-94-007-1923-1\_14",

language = "English",

isbn = "9789400719224",

pages = "269--284",

booktitle = "The Realism-Antirealism Debate in the Age of Alternative Logics",

publisher = "Springer",

address = "Netherlands",

}

TY - CHAP

T1 - Anti-realist classical logic and realist mathematics

AU - Restall, Greg

PY - 2012/1/1

Y1 - 2012/1/1

N2 - I sketch an application of a semantically anti-realist understanding of the classical sequent calculus to the topic of mathematics. The result is a semantically anti-realist defence of a kind of mathematical realism. In the paper, I begin the development of the view and compare it to orthodox positions in the philosophy of mathematics.

AB - I sketch an application of a semantically anti-realist understanding of the classical sequent calculus to the topic of mathematics. The result is a semantically anti-realist defence of a kind of mathematical realism. In the paper, I begin the development of the view and compare it to orthodox positions in the philosophy of mathematics.

UR - https://www.scopus.com/pages/publications/84890890821

U2 - 10.1007/978-94-007-1923-1_14

DO - 10.1007/978-94-007-1923-1_14

M3 - Chapter

AN - SCOPUS:84890890821

SN - 9789400719224

SP - 269

EP - 284

BT - The Realism-Antirealism Debate in the Age of Alternative Logics

PB - Springer

ER -

Anti-realist classical logic and realist mathematics

Abstract

Access to Document

Handle.net

Other files and links

Fingerprint

Cite this