Stewart Shapiro

According to our database, Stewart Shapiro authored at least 33 papers between 1977 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2023

Hume's Principle, Bad Company, and the Axiom of Choice.

Sam Roberts, Stewart Shapiro

Rev. Symb. Log., December, 2023

A note on Choice Principles in second-order Logic.

Benjamin Siskind, Paolo Mancosu, Stewart Shapiro

Rev. Symb. Log., June, 2023

Predicativism as a Form of Potentialism.

Øystein Linnebo, Stewart Shapiro

Rev. Symb. Log., March, 2023

The Axiom of Choice Is False Intuitionistically (in Most Contexts).

Charles McCarty, Stewart Shapiro, Ansten Mørch Klev

Bull. Symb. Log., March, 2023

2021

Does logical pluralism imply, or suggest, truth pluralism, or vice versa?

Stewart Shapiro, Michael Lynch

Synth., 2021

Open Texture and Mathematics.

Stewart Shapiro, Craige Roberts

Notre Dame J. Formal Log., 2021

2015

Frege Meets Brouwer (or Heyting or Dummett).

Stewart Shapiro, Øystein Linnebo

Rev. Symb. Log., 2015

2013

The Classical Continuum without Points - CORRIGENDUM.

Geoffrey Hellman, Stewart Shapiro

Rev. Symb. Log., 2013

The Classical continuum without Points.

Geoffrey Hellman, Stewart Shapiro

Rev. Symb. Log., 2013

2012

Life on the Ship of Neurath: Mathematics in the Philosophy of Mathematics.

Stewart Shapiro

Proceedings of the Between Logic and Reality, 2012

An "I" for an I: singular Terms, uniqueness, and Reference.

Stewart Shapiro

Rev. Symb. Log., 2012

2011

Vagueness and Logic.

Stewart Shapiro

Proceedings of the Vagueness: A Guide, 2011

2009

The good, the bad and the ugly.

Philip A. Ebert, Stewart Shapiro

Synth., 2009

We Hold these Truths to be Self-Evident: but What do we mean by that?

Stewart Shapiro

Rev. Symb. Log., 2009

2008

Reasoning with Slippery Predicates.

Stewart Shapiro

Stud Logica, 2008

Frege Meets Zermelo: a Perspective on ineffability and Reflection.

Stewart Shapiro, Gabriel Uzquiano

Rev. Symb. Log., 2008

2007

The Objectivity of Mathematics.

Stewart Shapiro

Synth., 2007

Higher-order Logic.

Stewart Shapiro

Proceedings of the Oxford Handbook of Philosophy of Mathematics and Logic., 2007

Logical Consequence, Proof Theory, and Model Theory.

Stewart Shapiro

Proceedings of the Oxford Handbook of Philosophy of Mathematics and Logic., 2007

Philosophy of Mathematics and Its Logic: Introduction.

Stewart Shapiro

Proceedings of the Oxford Handbook of Philosophy of Mathematics and Logic., 2007

2003

Mechanism, Truth, and Penrose's New Argument.

Stewart Shapiro

J. Philos. Log., 2003

2000

Frege Meets Dedekind: A Neologicist Treatment of Real Analysis.

Stewart Shapiro

Notre Dame J. Formal Log., 2000

1998

Book Review: John P. Burgess and Gideon Rose. A Subject with No Object: Strategies for Nominalistic Interpretation of Mathematics.

Stewart Shapiro

Notre Dame J. Formal Log., 1998

Incompleteness, mechanism, and optimism.

Stewart Shapiro

Bull. Symb. Log., 1998

1995

Online services as distributed meeting support software.

Harold Emanuel, Fred Niederman, Stewart Shapiro

Proceedings of the 1995 ACM SIGCPR Conference on Supporting Teams, 1995

1990

Expressive Completeness and Decidability.

George F. Schumm, Stewart Shapiro

Notre Dame J. Formal Log., 1990

1988

The Lindenbaum construction and decidability.

Stewart Shapiro

Notre Dame J. Formal Log., 1988

1987

Turing projectability.

Timothy G. McCarthy, Stewart Shapiro

Notre Dame J. Formal Log., 1987

Principles of reflection and second-order logic.

Stewart Shapiro

J. Philos. Log., 1987

1985

Second-Order Languages and Mathematical Practice.

Stewart Shapiro

J. Symb. Log., 1985

1982

Acceptable notation.

Stewart Shapiro

Notre Dame J. Formal Log., 1982

1981

Understanding Church's thesis.

Stewart Shapiro

J. Philos. Log., 1981

1977

Incomplete translations of complete logics.

Stewart Shapiro

Notre Dame J. Formal Log., 1977