Foundations Without Foundationalism

@inproceedings{Shapiro1991FoundationsWF,
  title={Foundations Without Foundationalism},
  author={S. Shapiro},
  year={1991}
}
Second-order logic: properties, semantics, and existential commitments
  • B. Hale
  • Computer Science
  • Synthese
  • 2015
ISOMORPHISM INVARIANCE AND OVERGENERATION
Fraenkel's Axiom of Restriction: axiom choice, intended models, and categoricity
Higher-order Logic Reconsidered
  • I. Jané
  • Mathematics, Computer Science
  • The Oxford Handbook of Philosophy of Mathematics and Logic
  • 2007
On the Referential Indeterminacy of Logical and Mathematical Concepts
  • O. Bueno
  • Mathematics, Computer Science
  • J. Philos. Log.
  • 2005
Remarks on second-order consequence
NEITHER CATEGORICAL NOR SET-THEORETIC FOUNDATIONS
  • G. Hellman
  • Mathematics, Computer Science
  • The Review of Symbolic Logic
  • 2012
The epistemology of abstractionism
...
1
2
3
4
5
...