scientific article; zbMATH DE number 3873291
From MaRDI portal
Publication:3340832
arithmeticepistemologyexistence of mathematical objectsformalismintuitionismlogicismmathematical truthontologyphilosophy of mathematicsset theory
Philosophy of mathematics (00A30) Collections of articles of general interest (00B10) History of mathematics in the 20th century (01A60) Collected or selected works; reprintings or translations of classics (01A75) History of mathematical logic and foundations (03-03) Philosophical and critical aspects of logic and foundations (03A05)
Recommendations
Cited in
(only showing first 100 items - show all)- Are mathematical theorems analytic or synthetic?
- What do we do when we do mathematics?
- Philosophy of mathematics: Prospects for the 1990s
- Mathematics, science and ontology
- Dummett's intuitionism is not strict finitism
- Some proposals for reviving the philosophy of mathematics
- Historical development of the foundations of mathematics: Course description
- Non-well-founded sets via revision rules
- What is the Philosophy of Mathematics, and what should it be?
- The proof-theoretic strength of Ramsey's theorem for pairs and two colors
- The role of symmetry in mathematics
- Truth, objects, infinity. New perspectives on the philosophy of Paul Benacerraf
- Against naturalized cognitive propositions
- Traditional logic and the early history of sets, 1854-1908
- Intuitive set theory
- Reverse mathematics of topology: dimension, paracompactness, and splittings
- Linguistic knowledge of reality: a metaphysical impossibility?
- What is identical?
- Intuitionism: an inspiration?
- Predicativity and constructive mathematics
- Splittings and disjunctions in reverse mathematics
- Founding mathematics on semantic conventions
- Why ramify?
- A modern elaboration of the ramified theory of types
- 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
- Introduction to mathematical philosophy. With an introduction by Michael Otte. Edited by Johannes Lenhard and Michael Otte
- Philosophy of mathematics. An anthology
- The hyperuniverse program
- Philosophy of mathematics
- Life on the Ship of Neurath: Mathematics in the Philosophy of Mathematics
- Paradox, ZF, and the axiom of foundation
- V = L and intuitive plausibility in set theory. A case study
- scientific article; zbMATH DE number 3171964 (Why is no real title available?)
- Explaining maximality through the hyperuniverse programme
- Objectivity and truth in mathematics: a sober non-Platonist perspective
- 2004 Annual Meeting of the Association for Symbolic Logic
- Second philosophy. A naturalistic method
- Labyrinth of thought. A history of set theory and its role in modern mathematics.
- How applied mathematics became pure
- On adopting Kripke semantics in set theory
- scientific article; zbMATH DE number 5527835 (Why is no real title available?)
- Skolem and the löwenheim-skolem theorem: a case study of the philosophical significance of mathematical results
- scientific article; zbMATH DE number 3983097 (Why is no real title available?)
- scientific article; zbMATH DE number 3663047 (Why is no real title available?)
- The logic of justified belief, explicit knowledge, and conclusive evidence
- scientific article; zbMATH DE number 3485695 (Why is no real title available?)
- scientific article; zbMATH DE number 1232826 (Why is no real title available?)
- Conceptions and Paradoxes of Setst†
- scientific article; zbMATH DE number 727594 (Why is no real title available?)
- scientific article; zbMATH DE number 978343 (Why is no real title available?)
- scientific article; zbMATH DE number 1090730 (Why is no real title available?)
- scientific article; zbMATH DE number 1117975 (Why is no real title available?)
- Computational logic: its origins and applications
- Strict finitism, feasibility, and the sorites
- scientific article; zbMATH DE number 2168553 (Why is no real title available?)
- Predicative Fragments of Frege Arithmetic
- scientific article; zbMATH DE number 1927123 (Why is no real title available?)
- A guide for the perplexed: what mathematicians need to know to understand philosophers of mathematics
- The Mathematical Development of Set Theory from Cantor to Cohen
- THE POTENTIAL HIERARCHY OF SETS
- scientific article; zbMATH DE number 1390269 (Why is no real title available?)
- What the Applicability of Mathematics Says About Its Philosophy
- Nets and reverse mathematics
- On the concept of finitism
- Remarks on two papers of Paul Bernays
- Philosophy of mathematics in the twentieth century. Selected essays.
- Hilary Putnam on the philosophy of logic and mathematics
- 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
- Gödel and intuitionism
- Numbers as moments of multisets: a new-old formulation of arithmetic
- In praise of replacement
- scientific article; zbMATH DE number 3288569 (Why is no real title available?)
- scientific article; zbMATH DE number 3311729 (Why is no real title available?)
- scientific article; zbMATH DE number 2212217 (Why is no real title available?)
- The search for new axioms in the hyperuniverse programme
- The search for new axioms in the hyperuniverse programme
- Philosophy of mathematics
- Proof vs Provability: On Brouwer’s Time Problem
- Pluralistic perspectives on logic: an introduction
- Formalising Mathematics in Simple Type Theory
- Hierarchical multiverse of sets
- A note on the ontology of mathematics
- The unbearable circularity of easy ontology
- On set theories and modernism
- Who's afraid of mathematical Platonism? -- An historical perspective
- Denying Infinity: Pragmatism in Abraham Robinson’s Philosophy of Mathematics
- Brouwer, as never read by Husserl
- Maximality principles in the hyperuniverse programme
- Natural constructive proofs of A via A B, proof paradoxes, and impredicativity
- Iteration and dependence again
- The happy formalist
- The logic and meaning of plurals. I
- The objectivity of mathematics
- The role of axioms in mathematics
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3340832)
