Incomplete translations of complete logics. - Stewart Shapiro (Notre Dame J. Formal Log., 1977)

Understanding Church's thesis. - Stewart Shapiro (J. Philos. Log., 1981)

Acceptable notation. - Stewart Shapiro (Notre Dame J. Formal Log., 1982)

Second-Order Languages and Mathematical Practice. - Stewart Shapiro (J. Symb. Log., 1985)

Principles of reflection and second-order logic. - Stewart Shapiro (J. Philos. Log., 1987)

Turing projectability. - Timothy G. McCarthy; Stewart Shapiro (Notre Dame J. Formal Log., 1987)

The Lindenbaum construction and decidability. - Stewart Shapiro (Notre Dame J. Formal Log., 1988)

Expressive Completeness and Decidability. - George F. Schumm; Stewart Shapiro (Notre Dame J. Formal Log., 1990)

Online services as distributed meeting support software. - Harold Emanuel; Fred Niederman; Stewart Shapiro (SIGCPR, 1995)

Incompleteness, mechanism, and optimism. - Stewart Shapiro (Bull. Symb. Log., 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)

Frege Meets Dedekind: A Neologicist Treatment of Real Analysis. - Stewart Shapiro (Notre Dame J. Formal Log., 2000)

Mechanism, Truth, and Penrose's New Argument. - Stewart Shapiro (J. Philos. Log., 2003)

Philosophy of Mathematics and Its Logic: Introduction. - Stewart Shapiro (The Oxford Handbook of Philosophy of Mathematics and Logic, 2007)

Logical Consequence, Proof Theory, and Model Theory. - Stewart Shapiro (The Oxford Handbook of Philosophy of Mathematics and Logic, 2007)

Higher-order Logic. - Stewart Shapiro (The Oxford Handbook of Philosophy of Mathematics and Logic, 2007)

The Objectivity of Mathematics. - Stewart Shapiro (Synth., 2007)

Frege Meets Zermelo: a Perspective on ineffability and Reflection. - Stewart Shapiro; Gabriel Uzquiano (Rev. Symb. Log., 2008)

Reasoning with Slippery Predicates. - Stewart Shapiro (Stud Logica, 2008)

We Hold these Truths to be Self-Evident: but What do we mean by that? - Stewart Shapiro (Rev. Symb. Log., 2009)

The good, the bad and the ugly. - Philip A. Ebert; Stewart Shapiro (Synth., 2009)

Vagueness and Logic. - Stewart Shapiro (Vagueness: A Guide, 2011)

An "I" for an I: singular Terms, uniqueness, and Reference. - Stewart Shapiro (Rev. Symb. Log., 2012)

Life on the Ship of Neurath: Mathematics in the Philosophy of Mathematics. - Stewart Shapiro (Between Logic and Reality, 2012)

The Classical continuum without Points. - Geoffrey Hellman; Stewart Shapiro (Rev. Symb. Log., 2013)

The Classical Continuum without Points - CORRIGENDUM. - Geoffrey Hellman; Stewart Shapiro (Rev. Symb. Log., 2013)

Frege Meets Brouwer (or Heyting or Dummett). - Stewart Shapiro; Øystein Linnebo (Rev. Symb. Log., 2015)

Open Texture and Mathematics. - Stewart Shapiro; Craige Roberts (Notre Dame J. Formal Log., 2021)

Does logical pluralism imply, or suggest, truth pluralism, or vice versa? - Stewart Shapiro; Michael Lynch (Synth., 2021)

The Axiom of Choice Is False Intuitionistically (in Most Contexts). - Charles McCarty; Stewart Shapiro; Ansten Mørch Klev (Bull. Symb. Log., 2023)

Predicativism as a Form of Potentialism. - Øystein Linnebo; Stewart Shapiro (Rev. Symb. Log., 2023)

A note on Choice Principles in second-order Logic. - Benjamin Siskind; Paolo Mancosu; Stewart Shapiro (Rev. Symb. Log., 2023)

Hume's Principle, Bad Company, and the Axiom of Choice. - Sam Roberts; Stewart Shapiro (Rev. Symb. Log., 2023)

Intuitionistic sets and numbers: small set theory and Heyting arithmetic. - Stewart Shapiro; Charles McCarty; Michael Rathjen (Arch. Math. Log., 2025)