Foundations without Foundationalism
A Case for Second-Order Logic
Bibliographic Data
| ID | 10692428 |
|---|---|
| Authors | Gila Sher (0000-0002-2395-9228) |
| Year | 1994 |
| Volume | 103 |
| Issue | 1 |
| Pages | 150 |
| Publication date | 1994-01-01 |
| Peer Reviewed | Yes |
| Open Access | No |
| Type | REVIEW |
| Review of | Foundations without Foundationalism: A Case for Second-order Logic, Stewart Shapiro, 2000 |
| Venue | The Philosophical Review (JOURNAL) |
| Journal identifiers | ISSN: 0031-8108 • E-ISSN: 1558-1470 |
| Publisher | JSTOR (PUBLISHER) |
| DOI | 10.2307/2185879 |
| OpenAlex | W2055655687 |
| Language | EN |
PART I: ORIENTATION Terms and questions Foundationalism and foundations of mathematics PART II: LOGIC AND MATHEMATICS Theory Metatheory Second-order logic and mathematics Advanced metatheory PART III: HISTORY AND PHILOSOPHY The historical triumph of first-order languages Second-order logic and rule-following The competition Index
Economics · Epistemology · Foundationalism · Order (exchange) · Classical Philosophy and Thought · History and Theory of Mathematics · Philosophy
Philosophical Uses of Categoricity Arguments
To deny, to justify, or to apologize
Bibliografía sobre
Plurals
All sets great and small
Everything
Deflationism and the Function of Truth
What If We Change Our Axioms? A Feminist Inquiry into the Foundations of Mathematics
Identity universalism and ontological explosion
Restricted nominalism about number and its problems
The Logic of Opacity
Plural Identity
Unrestricted Quantification and the Structure of Type Theory
The Logic in Philosophy of Science
The Metaphysics and Mathematics of Arbitrary Objects
The Mereology of Classes
The Oxford handbook of philosophy of mathematics and logic
What Can a Categoricity Theorem Tell Us?
Hintikka's Revolution
Plurals and Complexes
Structuralism, Model Theory and Reduction
Confirming Mathematical Theories
Does Homotopy Type Theory Provide a Foundation for Mathematics
Logical Truth and Tarskian Logical Truth
Speaking with Shadows
Prolegomenon To Any Future Neo‐Logicist Set Theory
Putnam on Reference and Constructive Sets
Empirical Adequacy and Ramsification
W.D. Hart, The Evolution of Logic
Nociones logicistas en filosofía de la matemática
Nota crítica sobre La Paradoja de Orayen
Against Fregean Quantification
Securing Arithmetical Determinacy
Nominalism and Mathematical Objectivity
Cantor's Abstractionism and Hume's Principle
Categoricity by convention
A Benacerraf problem for higher‐order metaphysics
Model pluralism for logic
Reflective Equilibrium on the Fringe
The middle ground-ancestral logic
Requiem for logical nihilism, or
Prolegomena to virtue-theoretic studies in the philosophy of mathematics
Bad company generalized
The good, the bad and the ugly
Sets and supersets
Is logic in the mind or in the world
Continuum, name and paradox
In defence of Higher-Level Plural Logic
Possible predicates and actual properties
Hume’s Big Brother
Towards a theory of universes
A metasemantic challenge for mathematical determinacy
Can Church’s thesis be viewed as a Carnapian explication
The Objectivity of Mathematics
Axiomatizations of arithmetic and the first-order/second-order divide
Logical Combinatorialism
| Citation velocity | historical |
|---|---|
| Highly cited | No |