scientific article
From MaRDI portal
Publication:3340832
zbMath0548.03002MaRDI QIDQ3340832
No author found.
Publication date: 1983
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
arithmeticset theorylogicismformalismmathematical truthphilosophy of mathematicsontologyepistemologyintuitionismexistence of mathematical objects
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 (64)
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?
This page was built for publication:
