Logicism, Intuitionism, and Formalism
Latest Publications

TOTAL DOCUMENTS

20

(FIVE YEARS 0)

H-INDEX

3

(FIVE YEARS 0)

Published By Springer Netherlands

9781402089251, 9781402089268

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

The Measure of Scottish Neo-Logicism

Logicism, Intuitionism, and Formalism ◽

10.1007/978-1-4020-8926-8_4 ◽

2009 ◽

pp. 69-90

Author(s):

Stewart Shapiro

Download Full-text

Program Extraction in Constructive Analysis

Logicism, Intuitionism, and Formalism ◽

10.1007/978-1-4020-8926-8_13 ◽

2009 ◽

pp. 255-275 ◽

Author(s):

Helmut Schwichtenberg

Keyword(s):

Program Extraction ◽

Constructive Analysis

Download Full-text

Frege’s Context Principle and Reference to Natural Numbers

Logicism, Intuitionism, and Formalism ◽

10.1007/978-1-4020-8926-8_3 ◽

2009 ◽

pp. 47-68 ◽

Author(s):

Øystein Linnebo

Keyword(s):

Natural Numbers

Download Full-text

Protocol Sentences for Lite Logicism

Logicism, Intuitionism, and Formalism ◽

10.1007/978-1-4020-8926-8_2 ◽

2009 ◽

pp. 27-46

Author(s):

John P. Burgess

Download Full-text

Tarski’s Practice and Philosophy: Between Formalism and Pragmatism

Logicism, Intuitionism, and Formalism ◽

10.1007/978-1-4020-8926-8_16 ◽

2009 ◽

pp. 357-396 ◽

Author(s):

Hourya Benis Sinaceur

Download Full-text

Natural Logicism via the Logic of Orderly Pairing

Logicism, Intuitionism, and Formalism ◽

10.1007/978-1-4020-8926-8_5 ◽

2009 ◽

pp. 91-125 ◽

Author(s):

Neil Tennant

Download Full-text

Hilbert and the Problem of Clarifying the Infinite

Logicism, Intuitionism, and Formalism ◽

10.1007/978-1-4020-8926-8_20 ◽

2009 ◽

pp. 485-503 ◽

Author(s):

Sören Stenlund

Download Full-text

Beyond Hilbert’s Reach?

Logicism, Intuitionism, and Formalism ◽

10.1007/978-1-4020-8926-8_19 ◽

2009 ◽

pp. 449-483 ◽

Author(s):

Wilfried Sieg

Download Full-text

Categories, Structures, and the Frege-Hilbert Controversy: The Status of Meta-mathematics

Logicism, Intuitionism, and Formalism ◽

10.1007/978-1-4020-8926-8_18 ◽

2009 ◽

pp. 435-448

Author(s):

Stewart Shapiro

Keyword(s):

Download Full-text

Intuitionism and the Anti-Justification of Bivalence

Logicism, Intuitionism, and Formalism ◽

10.1007/978-1-4020-8926-8_11 ◽

2009 ◽

pp. 221-236

Author(s):

Peter Pagin

Download Full-text