Publication:5387442
From MaRDI portal
zbMath1158.00006MaRDI QIDQ5387442
Publication date: 13 May 2008
00A30: Philosophy of mathematics
03-02: Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations
Related Items
The Ontological Innocence of Schematic Logic, LEVEL THEORY, PART 1: AXIOMATIZING THE BARE IDEA OF A CUMULATIVE HIERARCHY OF SETS, Putnam on Mathematics as Modal Logic, Predicativity and Feferman, Feferman on Set Theory: Infinity up on Trial, The foundational problem of logic, Strong Logics of First and Second Order, PREDICATIVISM AS A FORM OF POTENTIALISM, Internal categoricity, truth and determinacy, The twofold role of diagrams in Euclid's plane geometry, Comparing Peano arithmetic, Basic Law V, and Hume's Principle, Plural quantifiers: a modal interpretation, On the concept of finitism, Platitudes in mathematics, Discernibility by symmetries, Rethinking geometrical exactness, Structuralism and meta-mathematics, Why do mathematicians need different ways of presenting mathematical objects? The case of Cayley graphs, Arithmetic is determinate, Ontological dependence and grounding for a weak mathematical structuralism, LOGICISM, INTERPRETABILITY, AND KNOWLEDGE OF ARITHMETIC, On Arbitrary sets andZFC, RELATIVE CATEGORICITY AND ABSTRACTION PRINCIPLES, Chalmers, Quantifier Variance and Mathematicians’ Freedom, Verificationism and Classical Realizability, Abstraction and Intuition in Peano's Axiomatizations of Geometry, 2009 North American Annual Meeting of the Association for Symbolic Logic