Stewart Shapiro - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 34 from 34

2025

Intuitionistic sets and numbers: small set theory and Heyting arithmeticStewart Shapiro, Charles McCarty, Michael Rathjen. AML, 64(1):79-105, February 2025. [doi]

2023

The Axiom of Choice Is False Intuitionistically (in Most Contexts)Charles McCarty, Stewart Shapiro, Ansten Mørch Klev. bsl, 29(1):71-96, March 2023. [doi]

Hume's Principle, Bad Company, and the Axiom of ChoiceSam Roberts, Stewart Shapiro. rsl, 16(4):1158-1176, December 2023. [doi]

A note on Choice Principles in second-order LogicBenjamin Siskind, Paolo Mancosu, Stewart Shapiro. rsl, 16(2):339-350, June 2023. [doi]

Predicativism as a Form of PotentialismØystein Linnebo, Stewart Shapiro. rsl, 16(1):1-32, March 2023. [doi]

2021

Open Texture and MathematicsStewart Shapiro, Craige Roberts. ndjfl, 62(1), 2021. [doi]

Does logical pluralism imply, or suggest, truth pluralism, or vice versa?Stewart Shapiro, Michael Lynch. synthese, 198(20):4925-4936, 2021. [doi]

2015

Frege Meets Brouwer (or Heyting or Dummett)Stewart Shapiro, Øystein Linnebo. rsl, 8(3):540-552, 2015. [doi]

2013

The Classical Continuum without Points - CORRIGENDUMGeoffrey Hellman, Stewart Shapiro. rsl, 6(3):571, 2013. [doi]

The Classical continuum without PointsGeoffrey Hellman, Stewart Shapiro. rsl, 6(3):488-512, 2013. [doi]

2012

An "I" for an I: singular Terms, uniqueness, and ReferenceStewart Shapiro. rsl, 5(3):380-415, 2012. [doi]

Life on the Ship of Neurath: Mathematics in the Philosophy of MathematicsStewart Shapiro. In Majda Trobok, Nenad Miscevic, Berislav Zarnic, editors, Between Logic and Reality - Modeling Inference, Action and Understanding. Volume 25 of Logic, Epistemology, and the Unity of Science, pages 11-27, Springer, 2012. [doi]

2011

Vagueness and LogicStewart Shapiro. In Giuseppina Ronzitti, editor, Vagueness: A Guide. Volume 19 of Logic, Epistemology, and the Unity of Science, pages 55-81, Springer, 2011. [doi]

2009

The good, the bad and the uglyPhilip Ebert, Stewart Shapiro. synthese, 170(3):415-441, 2009. [doi]

We Hold these Truths to be Self-Evident: but What do we mean by that?Stewart Shapiro. rsl, 2(1):175-207, 2009. [doi]

2008

Frege Meets Zermelo: a Perspective on ineffability and ReflectionStewart Shapiro, Gabriel Uzquiano. rsl, 1(2):241-266, 2008. [doi]

Reasoning with Slippery PredicatesStewart Shapiro. sLogica, 90(3):313-336, 2008. [doi]

2007

The Objectivity of MathematicsStewart Shapiro. synthese, 156(2):337-381, 2007. [doi]

Philosophy of Mathematics and Its Logic: IntroductionStewart Shapiro. In Stewart Shapiro, editor, The Oxford Handbook of Philosophy of Mathematics and Logic. Oxford handbooks in philosophy, pages 3-27, Oxford University Press, 2007.

Higher-order LogicStewart Shapiro. In Stewart Shapiro, editor, The Oxford Handbook of Philosophy of Mathematics and Logic. Oxford handbooks in philosophy, pages 751-780, Oxford University Press, 2007.

Logical Consequence, Proof Theory, and Model TheoryStewart Shapiro. In Stewart Shapiro, editor, The Oxford Handbook of Philosophy of Mathematics and Logic. Oxford handbooks in philosophy, pages 651-670, Oxford University Press, 2007.

2003

Mechanism, Truth, and Penrose's New ArgumentStewart Shapiro. jphil, 32(1):19-42, 2003. [doi]

2000

Frege Meets Dedekind: A Neologicist Treatment of Real AnalysisStewart Shapiro. ndjfl, 41(4):335-364, 2000.

1998

Incompleteness, mechanism, and optimismStewart Shapiro. bsl, 4(3):273-302, 1998. [doi]

Book Review: John P. Burgess and Gideon Rose. A Subject with No Object: Strategies for Nominalistic Interpretation of MathematicsStewart Shapiro. ndjfl, 39(4):600-612, 1998.

1995

Online services as distributed meeting support softwareHarold Emanuel, Fred Niederman, Stewart Shapiro. sigcpr 1995: 213-222 [doi]

1990

Expressive Completeness and DecidabilityGeorge F. Schumm, Stewart Shapiro. ndjfl, 31(4):576-579, 1990.

1988

The Lindenbaum construction and decidabilityStewart Shapiro. ndjfl, 29(2):208-213, 1988. [doi]

1987

Turing projectabilityTimothy McCarthy, Stewart Shapiro. ndjfl, 28(4):520-535, 1987. [doi]

Principles of reflection and second-order logicStewart Shapiro. jphil, 16(3):309-333, 1987. [doi]

1985

Second-Order Languages and Mathematical PracticeStewart Shapiro. JSYML, 50(3):714-742, 1985.

1982

Acceptable notationStewart Shapiro. ndjfl, 23(1):14-20, 1982. [doi]

1981

Understanding Church's thesisStewart Shapiro. jphil, 10(3):353-365, 1981. [doi]

1977

Incomplete translations of complete logicsStewart Shapiro. ndjfl, 18(2):248-250, 1977. [doi]

Sign in or sign up to see more results.

runs on WebDSL