scientific article

No author found.

Publication date: 1983

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

arithmetic set theory logicism formalism mathematical truth philosophy of mathematics ontology epistemology intuitionism existence of mathematical objects

Mathematics Subject Classification ID

Philosophy of mathematics (00A30) History of mathematics in the 20th century (01A60) Philosophical and critical aspects of logic and foundations (03A05) Collected or selected works; reprintings or translations of classics (01A75) History of mathematical logic and foundations (03-03) Collections of articles of general interest (00B10)

Related Items

Historical development of the foundations of mathematics: Course description, Non-well-founded sets via revision rules, V = Land Intuitive Plausibility in set Theory. A Case Study, What is the Philosophy of Mathematics, and what should it be?, Life on the Ship of Neurath: Mathematics in the Philosophy of Mathematics, Paradox, ZF, and the Axiom of Foundation, The proof-theoretic strength of Ramsey's theorem for pairs and two colors, What do we do when we do mathematics?, Computational logic: its origins and applications, The role of symmetry in mathematics, Traditional logic and the early history of sets, 1854-1908, Splittings and disjunctions in reverse mathematics, STRICT FINITISM, FEASIBILITY, AND THE SORITES, The objectivity of mathematics, The logic of justified belief, explicit knowledge, and conclusive evidence, Proof vs Provability: On Brouwer’s Time Problem, Pluralistic perspectives on logic: an introduction, Formalising Mathematics in Simple Type Theory, Hierarchical multiverse of sets, The unbearable circularity of easy ontology, Against naturalized cognitive propositions, The Mathematical Development of Set Theory from Cantor to Cohen, In Praise of Replacement, A guide for the perplexed: what mathematicians need to know to understand philosophers of mathematics, Intuitive set theory, Philosophy of mathematics: Prospects for the 1990s, Mathematics, science and ontology, Explaining Maximality Through the Hyperuniverse Programme, Objectivity and Truth in Mathematics: A Sober Non-platonist Perspective, Dummett's intuitionism is not strict finitism, Reverse mathematics of topology: dimension, paracompactness, and splittings, The role of axioms in mathematics, On the concept of finitism, Between Vienna and Berlin: The Immediate Reception of Godel's Incompleteness Theorems, Quine's Philosophy of Language and Polish Logic, Intuitionism, Meaning Theory and Cognition, Numbers as moments of multisets: a new-old formulation of arithmetic, HOW APPLIED MATHEMATICS BECAME PURE, ON ADOPTING KRIPKE SEMANTICS IN SET THEORY, THE POTENTIAL HIERARCHY OF SETS, Linguistic knowledge of reality: a metaphysical impossibility?, Predicative Fragments of Frege Arithmetic, 2004 Annual Meeting of the Association for Symbolic Logic, Some proposals for reviving the philosophy of mathematics, What is identical?, Brouwer’s Ideas and Intuitionistic Fuzziness, Changing the Subject: Quine, Putnam and Waismann on Meaning-Change, Logic, and Analyticity, Putnam on Foundations: Models, Modals, Muddles, Putnam on Mathematics as Modal Logic, Predicativity and Feferman, What the Applicability of Mathematics Says About Its Philosophy, The Search for New Axioms in the Hyperuniverse Programme, The Search for New Axioms in the Hyperuniverse Programme, The happy formalist, Intuitionism: an inspiration?, The hyperuniverse program, Nets and reverse mathematics, A modern elaboration of the ramified theory of types, Predicativity and constructive mathematics, Gödel and Intuitionism, Are mathematical theorems analytic or synthetic?, Skolem and the löwenheim-skolem theorem: a case study of the philosophical significance of mathematical results, The logic and meaning of plurals. I, Why ramify?