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