Stewart Shapiro

36 papers Journal 29Unranked 1

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	A Classical-Modal Interpretation of smooth Infinitesimal Analysis. Rev. Symb. Log. Geoffrey Hellman, Stewart Shapiro
2025	J	`jnl`	Intuitionistic sets and numbers: small set theory and Heyting arithmetic. Arch. Math. Log. Stewart Shapiro, Charles McCarty, Michael Rathjen
2023	J	`jnl`	A note on Choice Principles in second-order Logic. Rev. Symb. Log. Benjamin Siskind, Paolo Mancosu, Stewart Shapiro
2023	J	`jnl`	Hume's Principle, Bad Company, and the Axiom of Choice. Rev. Symb. Log. Sam Roberts, Stewart Shapiro
2023	J	`jnl`	Predicativism as a Form of Potentialism. Rev. Symb. Log. Øystein Linnebo, Stewart Shapiro
2023	J	`jnl`	The Axiom of Choice Is False Intuitionistically (in Most Contexts). Bull. Symb. Log. Charles McCarty, Stewart Shapiro, Ansten Mørch Klev
2021	J	`jnl`	Does logical pluralism imply, or suggest, truth pluralism, or vice versa? Synth. Stewart Shapiro, Michael Lynch
2021	J	`jnl`	Open Texture and Mathematics. Notre Dame J. Formal Log. Stewart Shapiro, Craige Roberts
2015	J	`jnl`	Frege Meets Brouwer (or Heyting or Dummett). Rev. Symb. Log. Stewart Shapiro, Øystein Linnebo
2013	J	`jnl`	The Classical Continuum without Points - CORRIGENDUM. Rev. Symb. Log. Geoffrey Hellman, Stewart Shapiro
2013	J	`jnl`	The Classical continuum without Points. Rev. Symb. Log. Geoffrey Hellman, Stewart Shapiro
2012	J	`jnl`	An "I" for an I: singular Terms, uniqueness, and Reference. Rev. Symb. Log. Stewart Shapiro
2012	—	`ch.`	Life on the Ship of Neurath: Mathematics in the Philosophy of Mathematics. Between Logic and Reality Stewart Shapiro
2011	—	`ch.`	Vagueness and Logic. Vagueness: A Guide Stewart Shapiro
2009	J	`jnl`	The good, the bad and the ugly. Synth. Philip A. Ebert, Stewart Shapiro
2009	J	`jnl`	We Hold these Truths to be Self-Evident: but What do we mean by that? Rev. Symb. Log. Stewart Shapiro
2008	J	`jnl`	Frege Meets Zermelo: a Perspective on ineffability and Reflection. Rev. Symb. Log. Stewart Shapiro, Gabriel Uzquiano
2008	J	`jnl`	Reasoning with Slippery Predicates. Stud Logica Stewart Shapiro
2007	—	`ch.`	Higher-order Logic. The Oxford Handbook of Philosophy of Mathematics and Logic Stewart Shapiro
2007	—	`ch.`	Logical Consequence, Proof Theory, and Model Theory. The Oxford Handbook of Philosophy of Mathematics and Logic Stewart Shapiro
2007	—	`ch.`	Philosophy of Mathematics and Its Logic: Introduction. The Oxford Handbook of Philosophy of Mathematics and Logic Stewart Shapiro
2007	J	`jnl`	The Objectivity of Mathematics. Synth. Stewart Shapiro
2007	—	`book`	The Oxford Handbook of Philosophy of Mathematics and Logic. Stewart Shapiro
2003	J	`jnl`	Mechanism, Truth, and Penrose's New Argument. J. Philos. Log. Stewart Shapiro
2000	J	`jnl`	Frege Meets Dedekind: A Neologicist Treatment of Real Analysis. Notre Dame J. Formal Log. Stewart Shapiro
1998	J	`jnl`	Book Review: John P. Burgess and Gideon Rose. A Subject with No Object: Strategies for Nominalistic Interpretation of Mathematics. Notre Dame J. Formal Log. Stewart Shapiro
1998	J	`jnl`	Incompleteness, mechanism, and optimism. Bull. Symb. Log. Stewart Shapiro
1995	—	`conf`	Online services as distributed meeting support software. SIGCPR Harold Emanuel, Fred Niederman, Stewart Shapiro
1990	J	`jnl`	Expressive Completeness and Decidability. Notre Dame J. Formal Log. George F. Schumm, Stewart Shapiro
1988	J	`jnl`	The Lindenbaum construction and decidability. Notre Dame J. Formal Log. Stewart Shapiro
1987	J	`jnl`	Principles of reflection and second-order logic. J. Philos. Log. Stewart Shapiro
1987	J	`jnl`	Turing projectability. Notre Dame J. Formal Log. Timothy G. McCarthy, Stewart Shapiro
1985	J	`jnl`	Second-Order Languages and Mathematical Practice. J. Symb. Log. Stewart Shapiro
1982	J	`jnl`	Acceptable notation. Notre Dame J. Formal Log. Stewart Shapiro
1981	J	`jnl`	Understanding Church's thesis. J. Philos. Log. Stewart Shapiro
1977	J	`jnl`	Incomplete translations of complete logics. Notre Dame J. Formal Log. Stewart Shapiro