Stewart Shapiro

Publication Activity (10 Years)

Years Active: 1977-2023
Publications (10 Years): 6

Top Topics

Top Venues

Rev. Symb. Log.

Bull. Symb. Log.

Notre Dame J. Formal Log.

Publications

Charles McCarty, Stewart Shapiro, Ansten Mørch Klev
The Axiom of Choice Is False Intuitionistically (in Most Contexts). Bull. Symb. Log. 29 (1) (2023)
Øystein Linnebo, Stewart Shapiro
Predicativism as a Form of Potentialism. Rev. Symb. Log. 16 (1) (2023)
Sam Roberts, Stewart Shapiro
Hume's Principle, Bad Company, and the Axiom of Choice. Rev. Symb. Log. 16 (4) (2023)
Benjamin Siskind, Paolo Mancosu, Stewart Shapiro
A note on Choice Principles in second-order Logic. Rev. Symb. Log. 16 (2) (2023)
Stewart Shapiro, Michael Lynch
Does logical pluralism imply, or suggest, truth pluralism, or vice versa? Synth. 198 (20-S) (2021)
Stewart Shapiro, Craige Roberts
Open Texture and Mathematics. Notre Dame J. Formal Log. 62 (1) (2021)
Stewart Shapiro, Øystein Linnebo
Frege Meets Brouwer (or Heyting or Dummett). Rev. Symb. Log. 8 (3) (2015)
Geoffrey Hellman, Stewart Shapiro
The Classical Continuum without Points - CORRIGENDUM. Rev. Symb. Log. 6 (3) (2013)
Geoffrey Hellman, Stewart Shapiro
The Classical continuum without Points. Rev. Symb. Log. 6 (3) (2013)
Stewart Shapiro
An "I" for an I: singular Terms, uniqueness, and Reference. Rev. Symb. Log. 5 (3) (2012)
Philip A. Ebert, Stewart Shapiro
The good, the bad and the ugly. Synth. 170 (3) (2009)
Stewart Shapiro
We Hold these Truths to be Self-Evident: but What do we mean by that? Rev. Symb. Log. 2 (1) (2009)
Stewart Shapiro
Reasoning with Slippery Predicates. Stud Logica 90 (3) (2008)
Stewart Shapiro, Gabriel Uzquiano
Frege Meets Zermelo: a Perspective on ineffability and Reflection. Rev. Symb. Log. 1 (2) (2008)
Stewart Shapiro
The Objectivity of Mathematics. Synth. 156 (2) (2007)
Stewart Shapiro
Mechanism, Truth, and Penrose's New Argument. J. Philos. Log. 32 (1) (2003)
Stewart Shapiro
Frege Meets Dedekind: A Neologicist Treatment of Real Analysis. Notre Dame J. Formal Log. 41 (4) (2000)
Stewart Shapiro
Book Review: John P. Burgess and Gideon Rose. A Subject with No Object: Strategies for Nominalistic Interpretation of Mathematics. Notre Dame J. Formal Log. 39 (4) (1998)
Stewart Shapiro
Incompleteness, mechanism, and optimism. Bull. Symb. Log. 4 (3) (1998)
Harold Emanuel, Fred Niederman, Stewart Shapiro
Online services as distributed meeting support software. SIGCPR (1995)
George F. Schumm, Stewart Shapiro
Expressive Completeness and Decidability. Notre Dame J. Formal Log. 31 (4) (1990)
Stewart Shapiro
The Lindenbaum construction and decidability. Notre Dame J. Formal Log. 29 (2) (1988)
Timothy G. McCarthy, Stewart Shapiro
Turing projectability. Notre Dame J. Formal Log. 28 (4) (1987)
Stewart Shapiro
Principles of reflection and second-order logic. J. Philos. Log. 16 (3) (1987)
Stewart Shapiro
Second-Order Languages and Mathematical Practice. J. Symb. Log. 50 (3) (1985)
Stewart Shapiro
Acceptable notation. Notre Dame J. Formal Log. 23 (1) (1982)
Stewart Shapiro
Understanding Church's thesis. J. Philos. Log. 10 (3) (1981)
Stewart Shapiro
Incomplete translations of complete logics. Notre Dame J. Formal Log. 18 (2) (1977)