## Shapiro, Stewart

Compute Distance To:
 Author ID: shapiro.stewart Published as: Shapiro, Stewart Homepage: https://philosophy.osu.edu/people/shapiro.4 External Links: MGP · Wikidata · GND · IdRef
 Documents Indexed: 91 Publications since 1977, including 8 Books 9 Contributions as Editor Co-Authors: 18 Co-Authors with 31 Joint Publications 55 Co-Co-Authors
all top 5

### Co-Authors

 69 single-authored 10 Hellman, Geoffrey 5 Linnebo, Øystein 4 Snyder, Eric 2 Detlefsen, Michael E. 2 Samuels, Richard 2 Weir, Alan 1 Arnold, Jack 1 Brauer, Ethan 1 Cook, Roy T. 1 Ebert, Philip A. 1 Kouri Kissel, Teresa 1 McCarthy, Timothy G. 1 Roberts, Craige 1 Scanlan, Michael J. 1 Schumm, George F. 1 Sousedik, Prokop 1 Svoboda, David 1 Uzquiano, Gabriel
all top 5

### Serials

 18 Philosophia Mathematica. Series III 7 Notre Dame Journal of Formal Logic 6 The Review of Symbolic Logic 4 Philosophia Mathematica. Series III 3 Synthese 3 Nôus 2 Journal of Philosophical Logic 2 History and Philosophy of Logic 2 The Bulletin of Symbolic Logic 2 Topoi 2 Erkenntnis 1 The British Journal for the Philosophy of Science 1 Dialectica 1 The Journal of Symbolic Logic 1 Studia Logica 1 Analysis 1 Logic and Logical Philosophy 1 Oxford Logic Guides 1 Studies in Logic and the Foundations of Mathematics 1 Philosophy of Science 1 Oxford Handbooks in Philosophy 1 Elements in the Philosophy of Mathematics 1 Elements in Philosophy and Logic
all top 5

### Fields

 95 Mathematical logic and foundations (03-XX) 46 General and overarching topics; collections (00-XX) 9 History and biography (01-XX) 3 Category theory; homological algebra (18-XX) 3 Real functions (26-XX) 2 Geometry (51-XX) 2 Computer science (68-XX)

### Citations contained in zbMATH Open

53 Publications have been cited 439 times in 330 Documents Cited by Year
Foundations without foundationalism. A case for second-order logic. Zbl 0732.03002
Shapiro, Stewart
1991
Philosophy of mathematics: structure and ontology. Zbl 0897.00004
Shapiro, Stewart
1997
Thinking about mathematics: the philosophy of mathematics. Zbl 0990.00005
Shapiro, Stewart
2000
New V, ZF and abstraction. Zbl 0953.03061
Shapiro, Stewart; Weir, Alan
1999
The Oxford handbook of philosophy of mathematics and logic. Zbl 1081.03001
2005
Intensional mathematics. Zbl 0547.00010
1985
Categories, structures, and the Frege-Hilbert controversy: the status of meta-mathematics. Zbl 1082.18001
Shapiro, Stewart
2005
Frege meets Dedekind: A neologicist treatment of real analysis. Zbl 1014.03013
Shapiro, Stewart
2000
Varieties of logic. Zbl 1303.03001
Shapiro, Stewart
2014
Second-order languages and mathematical practice. Zbl 0596.03003
Shapiro, Stewart
1985
Identity, indiscernibility, and ante rem structuralism: The tale of $$i$$ and $$-i$$. Zbl 1162.03308
Shapiro, Stewart
2008
Logical consequence: Models and modality. Zbl 0923.03014
Shapiro, Stewart
1998
Mathematics and reality. Zbl 1223.00005
Shapiro, Stewart
1983
The classical continuum without points. Zbl 1326.03019
Hellman, Geoffrey; Shapiro, Stewart
2013
Epistemic and intuitionistic arithmetic. Zbl 0559.03036
Shapiro, Stewart
1985
Prolegomenon to any future neo-logicist set theory: Abstraction and indefinite extensibility. Zbl 1041.03004
Shapiro, Stewart
2003
We hold these truths to be self-evident: but what do we mean by that? Zbl 1170.03003
Shapiro, Stewart
2009
“Neo-logicist” logic is not epistemically innocent. Zbl 0966.03002
Shapiro, Stewart; Weir, Alan
2000
Acceptable notation. Zbl 0452.68055
Shapiro, Stewart
1982
Incompleteness, mechanism, and optimism. Zbl 0921.03005
Shapiro, Stewart
1998
Classical logic. II: Higher-order logic. Zbl 0997.03003
Shapiro, Stewart
2001
Principles of reflection and second-order logic. Zbl 0635.03059
Shapiro, Stewart
1987
Mechanism, truth, and Penrose’s new argument. Zbl 1022.03001
Shapiro, Stewart
2003
Actual and potential infinity. Zbl 1446.03013
Linnebo, Øystein; Shapiro, Stewart
2019
Regions-based two dimensional continua: the Euclidean case. Zbl 1372.03026
Hellman, Geoffrey; Shapiro, Stewart
2015
Computability, proof, and open-texture. Zbl 1105.03013
Shapiro, Stewart
2006
Where in the (world wide) web of belief is the law of non-contradiction? Zbl 1366.03017
Arnold, Jack; Shapiro, Stewart
2006
Mathematics and philosophy of mathematics. Zbl 0795.00007
Shapiro, Stewart
1994
Turing projectability. Zbl 0645.03038
McCarthy, Timothy; Shapiro, Stewart
1987
Systems between first-order and second-order logics. 2nd ed. Zbl 1003.03512
Shapiro, Stewart
2001
Space, number and structure: A tale of two debates. Zbl 0909.03002
Shapiro, Stewart
1996
Do not claim too much: Second-order logic and first-order logic. Zbl 0924.03010
Shapiro, Stewart
1999
The work of John Corcoran: an appreciation. Zbl 1051.01509
Scanlan, Michael; Shapiro, Stewart
1999
Why anti-realists and classical mathematicians cannot get along. Zbl 0995.03007
Shapiro, Stewart
2001
Varieties of continua. From regions to points and back. Zbl 1391.01003
Hellman, Geoffrey; Shapiro, Stewart
2018
Simple truth, contradiction, and consistency. Zbl 1067.03010
Shapiro, Stewart
2004
Computing with numbers and other non-syntactic things: de re knowledge of abstract objects. Zbl 1420.03015
Shapiro, Stewart
2017
The good, the bad and the ugly. Zbl 1182.03013
Ebert, Philip; Shapiro, Stewart
2009
Vagueness and conversation. Zbl 1135.03318
Shapiro, Stewart
2003
An “$$i$$” for an $$i$$: singular terms, uniqueness, and reference. Zbl 1272.03041
Shapiro, Stewart
2012
Higher-order logic or set theory: a false dilemma. Zbl 1272.03042
Shapiro, Stewart
2012
The open texture of computability. Zbl 1372.03014
Shapiro, Stewart
2013
Aristotelian continua. Zbl 1384.03053
Linnebo, Øystein; Shapiro, Stewart; Hellman, Geoffrey
2016
Logic, ontology, mathematical practice. Zbl 0757.03003
Shapiro, Stewart
1989
Structures and logics: a case for (a) relativism. Zbl 1304.03029
Shapiro, Stewart
2014
Resolving Frege’s other puzzle. Zbl 07511964
Snyder, Eric; Samuels, Richard; Shapiro, Stewart
2022
Inconsistency and incompleteness, revisited. Zbl 1469.03027
Shapiro, Stewart
2019
Classical first-order logic. Zbl 07455978
Shapiro, Stewart; Kouri Kissel, Teresa
2022
Reasoning with slippery predicates. Zbl 1161.03005
Shapiro, Stewart
2008
The objectivity of mathematics. Zbl 1125.03007
Shapiro, Stewart
2007
The guru, the logician, and the deflationist: truth and logical consequence. Zbl 1366.03130
Shapiro, Stewart
2003
The company kept by cut abstraction (and its relatives). Zbl 1410.03007
Shapiro, Stewart
2011
Mathematical structuralism. Zbl 1451.03003
Hellman, Geoffrey; Shapiro, Stewart
2019
Resolving Frege’s other puzzle. Zbl 07511964
Snyder, Eric; Samuels, Richard; Shapiro, Stewart
2022
Classical first-order logic. Zbl 07455978
Shapiro, Stewart; Kouri Kissel, Teresa
2022
Actual and potential infinity. Zbl 1446.03013
Linnebo, Øystein; Shapiro, Stewart
2019
Inconsistency and incompleteness, revisited. Zbl 1469.03027
Shapiro, Stewart
2019
Mathematical structuralism. Zbl 1451.03003
Hellman, Geoffrey; Shapiro, Stewart
2019
Varieties of continua. From regions to points and back. Zbl 1391.01003
Hellman, Geoffrey; Shapiro, Stewart
2018
Computing with numbers and other non-syntactic things: de re knowledge of abstract objects. Zbl 1420.03015
Shapiro, Stewart
2017
Aristotelian continua. Zbl 1384.03053
Linnebo, Øystein; Shapiro, Stewart; Hellman, Geoffrey
2016
Regions-based two dimensional continua: the Euclidean case. Zbl 1372.03026
Hellman, Geoffrey; Shapiro, Stewart
2015
Varieties of logic. Zbl 1303.03001
Shapiro, Stewart
2014
Structures and logics: a case for (a) relativism. Zbl 1304.03029
Shapiro, Stewart
2014
The classical continuum without points. Zbl 1326.03019
Hellman, Geoffrey; Shapiro, Stewart
2013
The open texture of computability. Zbl 1372.03014
Shapiro, Stewart
2013
An “$$i$$” for an $$i$$: singular terms, uniqueness, and reference. Zbl 1272.03041
Shapiro, Stewart
2012
Higher-order logic or set theory: a false dilemma. Zbl 1272.03042
Shapiro, Stewart
2012
The company kept by cut abstraction (and its relatives). Zbl 1410.03007
Shapiro, Stewart
2011
We hold these truths to be self-evident: but what do we mean by that? Zbl 1170.03003
Shapiro, Stewart
2009
The good, the bad and the ugly. Zbl 1182.03013
Ebert, Philip; Shapiro, Stewart
2009
Identity, indiscernibility, and ante rem structuralism: The tale of $$i$$ and $$-i$$. Zbl 1162.03308
Shapiro, Stewart
2008
Reasoning with slippery predicates. Zbl 1161.03005
Shapiro, Stewart
2008
The objectivity of mathematics. Zbl 1125.03007
Shapiro, Stewart
2007
Computability, proof, and open-texture. Zbl 1105.03013
Shapiro, Stewart
2006
Where in the (world wide) web of belief is the law of non-contradiction? Zbl 1366.03017
Arnold, Jack; Shapiro, Stewart
2006
The Oxford handbook of philosophy of mathematics and logic. Zbl 1081.03001
2005
Categories, structures, and the Frege-Hilbert controversy: the status of meta-mathematics. Zbl 1082.18001
Shapiro, Stewart
2005
Simple truth, contradiction, and consistency. Zbl 1067.03010
Shapiro, Stewart
2004
Prolegomenon to any future neo-logicist set theory: Abstraction and indefinite extensibility. Zbl 1041.03004
Shapiro, Stewart
2003
Mechanism, truth, and Penrose’s new argument. Zbl 1022.03001
Shapiro, Stewart
2003
Vagueness and conversation. Zbl 1135.03318
Shapiro, Stewart
2003
The guru, the logician, and the deflationist: truth and logical consequence. Zbl 1366.03130
Shapiro, Stewart
2003
Classical logic. II: Higher-order logic. Zbl 0997.03003
Shapiro, Stewart
2001
Systems between first-order and second-order logics. 2nd ed. Zbl 1003.03512
Shapiro, Stewart
2001
Why anti-realists and classical mathematicians cannot get along. Zbl 0995.03007
Shapiro, Stewart
2001
Thinking about mathematics: the philosophy of mathematics. Zbl 0990.00005
Shapiro, Stewart
2000
Frege meets Dedekind: A neologicist treatment of real analysis. Zbl 1014.03013
Shapiro, Stewart
2000
“Neo-logicist” logic is not epistemically innocent. Zbl 0966.03002
Shapiro, Stewart; Weir, Alan
2000
New V, ZF and abstraction. Zbl 0953.03061
Shapiro, Stewart; Weir, Alan
1999
Do not claim too much: Second-order logic and first-order logic. Zbl 0924.03010
Shapiro, Stewart
1999
The work of John Corcoran: an appreciation. Zbl 1051.01509
Scanlan, Michael; Shapiro, Stewart
1999
Logical consequence: Models and modality. Zbl 0923.03014
Shapiro, Stewart
1998
Incompleteness, mechanism, and optimism. Zbl 0921.03005
Shapiro, Stewart
1998
Philosophy of mathematics: structure and ontology. Zbl 0897.00004
Shapiro, Stewart
1997
Space, number and structure: A tale of two debates. Zbl 0909.03002
Shapiro, Stewart
1996
Mathematics and philosophy of mathematics. Zbl 0795.00007
Shapiro, Stewart
1994
Foundations without foundationalism. A case for second-order logic. Zbl 0732.03002
Shapiro, Stewart
1991
Logic, ontology, mathematical practice. Zbl 0757.03003
Shapiro, Stewart
1989
Principles of reflection and second-order logic. Zbl 0635.03059
Shapiro, Stewart
1987
Turing projectability. Zbl 0645.03038
McCarthy, Timothy; Shapiro, Stewart
1987
Intensional mathematics. Zbl 0547.00010
1985
Second-order languages and mathematical practice. Zbl 0596.03003
Shapiro, Stewart
1985
Epistemic and intuitionistic arithmetic. Zbl 0559.03036
Shapiro, Stewart
1985
Mathematics and reality. Zbl 1223.00005
Shapiro, Stewart
1983
Acceptable notation. Zbl 0452.68055
Shapiro, Stewart
1982
all top 5

### Cited by 309 Authors

 20 Shapiro, Stewart 7 Hellman, Geoffrey 6 Linnebo, Øystein 5 Dershowitz, Nachum 5 Maddy, Penelope J. 5 Ternullo, Claudio 4 Avron, Arnon 4 Flagg, Robert C. 4 Friedman, Sy-David 4 Panza, Marco 4 Paseau, Alexander Christopher 4 Uzquiano, Gabriel 3 Alexander, Samuel Allen 3 Antos, Carolin 3 Barton, Neil 3 Boker, Udi 3 Bueno, Otávio 3 Cohen, Liron 3 Cook, Roy T. 3 Hale, Bob 3 Horsten, Leon 3 Katz, Mikhail G. 3 Lloyd, John Wylie 3 Lucas, Salvador 3 Meadows, Toby 3 Mormann, Thomas 3 Ng, Kee Siong 3 Picollo, Lavinia María 3 Sagi, Gil 3 Schiemer, Georg 3 Sereni, Andrea 3 Walsh, Sean 3 Wright, Crispin 2 Barrio, Eduardo Alejandro 2 Brauer, Ethan 2 Bringsjord, Selmer 2 Carrara, Massimiliano 2 Clarke-Doane, Justin 2 Corcoran, John 2 Corfield, David 2 Detlefsen, Michael E. 2 Dutilh Novaes, Catarina 2 Ebels-Duggan, Sean C. 2 Florio, Salvatore 2 Friedman, Harvey M. 2 George, Benjamin R. 2 Gruszczyński, Rafał 2 Hamkins, Joel David 2 Hewitt, Simon Thomas 2 Honzik, Radek 2 Jané, Ignacio 2 Kanovei, Vladimir G. 2 Klement, Kevin C. 2 Landry, Elaine 2 Leach-Krouse, Graham 2 Lindström, Per 2 Martino, Enrico 2 Nefdt, Ryan M. 2 Oliveri, Gianluigi 2 Paoli, Francesco 2 Peregrin, Jaroslav 2 Pollard, Stephen K. 2 Priest, Graham 2 Rizza, Davide 2 Sagüillo, Jose-Miguel 2 Scott, Dana Stewart 2 Sergeev, Yaroslav Dmitrievich 2 Sher, Gila 2 Tsementzis, Dimitris 2 Urbaniak, Rafał 2 Uther, William T. B. 2 Waxman, Daniel 2 Weaver, George E. 2 Zalta, Edward N. 1 Ahsan, Abbas 1 Ainsworth, Peter M. 1 Al-Dhalimy, Haidar 1 Amidei, Jacopo 1 Anderson, David Joseph 1 Andrade-Lotero, Edgar 1 Arenhart, Jonas Rafael Becker 1 Arkoudas, Konstantine 1 Armour-Garb, Bradley 1 Artemov, Sergei 1 Awodey, Steve 1 Azzouni, Jody 1 Bacon, Andrew 1 Balzer, Wolfgang 1 Baumes, Jeffrey 1 Baumgartner, Michael 1 Bays, Timothy 1 Bellantoni, Stephen J. 1 Bellotti, Luca 1 Berkovitz, Joseph 1 Berry, Sharon 1 Besson, Corine 1 Bianchi, Silvia M. 1 Bjørner, Dines 1 Blanchette, Patricia A. 1 Boccuni, Francesca ...and 209 more Authors
all top 5

### Cited in 40 Serials

 50 Synthese 38 The Review of Symbolic Logic 26 Journal of Philosophical Logic 19 Notre Dame Journal of Formal Logic 17 Studia Logica 16 The Bulletin of Symbolic Logic 16 Erkenntnis 11 The Journal of Symbolic Logic 8 Foundations of Science 7 Nôus 6 History and Philosophy of Logic 5 Topoi 5 Logic and Logical Philosophy 4 Annals of Pure and Applied Logic 4 Journal of Applied Logic 3 The Mathematical Intelligencer 3 Journal of Automated Reasoning 3 Journal of Logic, Language and Information 3 Logica Universalis 2 Applied Mathematics and Computation 2 Theoretical Computer Science 2 Mathematical Logic Quarterly (MLQ) 2 Annals of Mathematics and Artificial Intelligence 2 International Studies in the Philosophy of Science 2 Studies in History and Philosophy of Science. Part B. Studies in History and Philosophy of Modern Physics 2 Philosophy Compass 2 Axiomathes 1 Archive for History of Exact Sciences 1 Israel Journal of Mathematics 1 Journal of Computational Physics 1 Fuzzy Sets and Systems 1 The Journal of Mathematical Sociology 1 Archive for Mathematical Logic 1 Matematychni Studiï 1 Philosophical Transactions of the Royal Society of London. Series A. Mathematical, Physical and Engineering Sciences 1 Mediterranean Journal of Mathematics 1 Foundations of Physics 1 New Mathematics and Natural Computation 1 Logical Methods in Computer Science 1 Computability
all top 5

### Cited in 25 Fields

 286 Mathematical logic and foundations (03-XX) 119 General and overarching topics; collections (00-XX) 33 History and biography (01-XX) 27 Computer science (68-XX) 9 Category theory; homological algebra (18-XX) 7 Real functions (26-XX) 6 Quantum theory (81-XX) 5 Geometry (51-XX) 4 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 3 General topology (54-XX) 3 Algebraic topology (55-XX) 3 Mathematics education (97-XX) 2 Order, lattices, ordered algebraic structures (06-XX) 1 Combinatorics (05-XX) 1 Field theory and polynomials (12-XX) 1 Associative rings and algebras (16-XX) 1 Measure and integration (28-XX) 1 Sequences, series, summability (40-XX) 1 Operator theory (47-XX) 1 Convex and discrete geometry (52-XX) 1 Statistics (62-XX) 1 Numerical analysis (65-XX) 1 Fluid mechanics (76-XX) 1 Operations research, mathematical programming (90-XX) 1 Information and communication theory, circuits (94-XX)

### Wikidata Timeline

The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.