scientific article; zbMATH DE number 5274054
From MaRDI portal
Publication:5387442
zbMath1158.00006MaRDI QIDQ5387442
Publication date: 13 May 2008
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Philosophy of mathematics (00A30) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02)
Related Items (30)
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
This page was built for publication:
