Philosophy of mathematics

Definition

Philosophy of mathematics is the branch of philosophy that deals with the nature of mathematics and its relationship to other areas of philosophy, particularly epistemology and metaphysics. Central questions posed include whether or not mathematical objects are purely abstract entities or are in some way concrete, and in what the relationship such objects have with physical reality consists.

Related concepts

A. J. Ayer A Mathematician's Apology Abductive reasoning Abhidharma Absolute idealism Abstract algebra Abstract logic Abstract object Academic Skepticism Achintya Bheda Abheda Ackermann set theory Action at a distance Action theory (philosophy)Advaita Vedanta Aesthetic Aesthetic emotions Aesthetics African philosophy Africana philosophy Agriculturalism Ajñana Alan Turing Albert Einstein Aleph number Alfred North Whitehead Alfred Tarski Algebra Algebraic geometry Algebraic logic Algebraic number theory Algebraic topology Algorithm Alphabet (formal languages)American philosophy Amy Roth McDuffie Analytic geometry Analytic number theory Analytic philosophy Analytic proposition Analytical Marxism Analytical feminism Analytic–synthetic distinction Anarchism Ancient Egyptian philosophy Ancient Greek philosophers Ancient Greek philosophy Ancient Roman philosophy Ancient philosophy Anekantavada Antecedent (logic)Anti-psychologism Anti-realism Anti-realist Antihumanism Antinomy Applied ethics Applied mathematics Applied philosophy Areas of mathematics Arend Heyting Argument Argumentation theory Aristotelian logic Aristotelian realist philosophy of mathematics Aristotelianism Arithmetic Arithmetic geometry Arity Armand Borel Art Assignment (mathematical logic)Atomic formula Atomic model (mathematical logic)Atomic sentence Atomism Augustinianism Australian philosophy Automata theory Automated theorem proving Averroism Avicennism Axiom Axiom of choice Axiom of reducibility Axiom schema Axiomatic set theory Axiomatic system Axiomatization of Boolean algebras Axioms Aztec philosophy Banach–Tarski paradox Behaviorism Benacerraf's identification problem Bertrand Russell Bhedabheda Bijection Binary code Binary operation Bob Hale (philosopher)Boolean algebra Boolean algebras canonically defined Boolean function Brian Butterworth British idealism British philosophy Buddhist philosophy Byzantine philosophy Calculus Cambridge University Press Cantor's diagonal argument Cantor's paradox Cantor's theorem Cardinality Cartesian product Cartesianism Categorical theory Categories for the Working Mathematician Category (mathematics)Category of sets Category theory Causal Certainty Chan Buddhism Charles Hermite Charles S. Peirce Charles Sanders Peirce Charles Sanders Peirce bibliography Charvaka Chinese philosophy Christian philosophy Christoph von Sigwart Church Fathers Church encoding Church–Turing thesis Class (set theory)Classical Realism Classical liberalism Classical logic Codomain Cognition Cognitive bias Cognitive science of mathematics Coherentism Collective intelligence Collectivism and individualism Combinatorics Communications on Pure and Applied Mathematics Communitarianism Commutative algebra Compactness theorem Compatibilism Complement (set theory)Complete theory Complex analysis Complex geometry Complex number Computability theory Computable function Computable number Computable set Computably enumerable set Computational complexity theory Computational geometry Computational mathematics Computer Computer algebra Computer science Concept Conceptualism Concrete category Cone Confirmation holism Confucianism Conic section Consequent Consequentialism Conservatism Conservative extension Consilience Consistency Consistency proof Constructible universe Construction of the real numbers Constructive analysis Constructive mathematics Constructive set theory Constructivism (philosophy of mathematics)Contemporary philosophy Context-free grammar Continental philosophy Continuous function Continuum hypothesis Contradiction Control theory Conventionalism Conventionalist Countable set Countably infinite Counterexample Crispin Wright Critical rationalism Critical theory Critical thinking Cynicism (philosophy)Cyrenaics Czech philosophy Danish philosophy David Corfield David Hilbert Decidability (logic)Decimal Decision problem Decision theory Deconstruction Deductive closure Deductive reasoning Deductive system Deductivism Definition Definitions of mathematics Dennis Elliot Shasha Deontology Description Determinism Diagram (mathematical logic)Dichotomy Differentiable function Differential equation Differential geometry Differential topology Diophantine geometry Discrete geometry Discrete mathematics Dispositio Divine proportion Domain of a function Double negation elimination Dutch philosophy Dvaita Vedanta E.O. Wilson Early modern philosophy Eastern philosophy Edo neo-Confucianism Edward N. Zalta Einstein Eleatics Electron Element (mathematics)Elementary algebra Elementary diagram Elementary equivalence Elementary function arithmetic Eliminative materialism Ellipse Embodied mind Emergentism Empirical evidence Empiricism Empty set Engineering mathematics Enumeration Epicureanism Epiphenomenalism Epistemic Epistemic community Epistemological particularism Epistemologically Epistemology Equiconsistency Equivalence relation Erdős number Eretrian school Errett Bishop Ethics Ethiopian philosophy Euclid Euclid's Elements Euclidean geometry Eugene Wigner Euler's identity Event (philosophy)Evolution Existence Existential quantification Existentialism Experimental philosophy Experimentation Expression (mathematics)Extension by definitions Extension by new constant and function names Extensionality Falsifiability Falsifiable Feminist philosophy Fiction Fictionalism Fideism Finitary relation Finite-valued logic Finite geometry Finite model theory Finite set Finitism First-order logic Fixed-point logic Forcing (mathematics)Formal grammar Formal language Formal logic Formal proof Formal semantics (logic)Formal semantics (natural language)Formal system Formalism (art)Formalism (mathematics)Formalism (philosophy of mathematics)Formation rule Foundation of mathematics Foundational crisis of mathematics Foundationalism Foundations of geometry Foundations of mathematics Frankfurt School Free logic Free variables and bound variables Free will Frege's theorem French philosophy Function (mathematics)Functional analysis Functional predicate Functionalism (philosophy of mind)Fundamental theorem of arithmetic Future of mathematics Fuzzy set G. H. Hardy Game Game theory General relativity General set theory General topology Geomathematics Geometric topology Geometry Georg Cantor George Berkeley George Lakoff German idealism German philosophy Glossary of mathematical symbols Golden ratio Gottlob Frege Grammatical tense Graph theory Greek mathematics Gregory Chaitin Grothendieck universe Ground expression Ground formula Group theory Gustave Le Bon Gödel's completeness theorem Gödel's incompleteness theorem Gödel's incompleteness theorems Gödel numbering H. M. Weber Hallucination Halting problem Hard determinism Hard incompatibilism Harmonic analysis Hartry Field Haskell Curry Hegelianism Hellenistic philosophy Henri Poincaré Hereditary set Hermeneutics Hexadecimal Higher-order logic Hilary Putnam Hilbert's axioms Hilbert's program Hilbert system Hindu philosophy Historicism History and philosophy of science History of logic History of mathematical logic History of mathematics History of philosophy History of philosophy in Finland History of philosophy in Poland Holism Homological algebra Homotopy theory Huayan Humanism Hume's principle Husserl Hypercomplex analysis Ian Stewart (mathematician)Idealism Illuminationism Illusion Image (mathematics)Imaginary number Immanent realism Imre Lakatos In re structuralism Inaccessible cardinal Incompatibilism Independence (mathematical logic)Index of logic articles Indian philosophy Indiana Philosophy Ontology Project Indigenous American philosophy Indispensability argument Individualism Indonesian philosophy Inductive reasoning Inference Inference rule Infinite-valued logic Infinite set Infinite sets Infinitesimal Informal logic Informal mathematics Information theory Inhabited set Injective function Institutional theory of art Integers Internalism and externalism Internet Internet Encyclopedia of Philosophy Interpretation (logic)Interpretation (model theory)Interpretation function Intersection (set theory)Intrinsic and extrinsic properties (philosophy)Introduction to Mathematical Philosophy Intuition Intuition (knowledge)Intuitionism Intuitionistic logic Ionian School (philosophy)Iranian philosophy Islamic philosophy Isomorphism Italian idealism Italian philosophy Jain philosophy James Franklin (philosopher)Japanese philosophy Jerrold Katz Jewish philosophy Johann Eduard Erdmann Johannes Kepler John Penn Mayberry John Rawls John Stuart Mill Judeo-Islamic philosophies (800–1400)Kalam Kantianism Karl Popper Keith Devlin Knot theory Kokugaku Kolmogorov complexity Korean Confucianism Korean philosophy Krausism Kripke's theory of truth Kripke–Platek set theory Kyoto School L. E. J. Brouwer Lambda calculus Large cardinal Large numbers Law of excluded middle Law of the excluded middle Legal positivism Legalism (Chinese philosophy)Lemma (mathematics)Leopold Kronecker Libertarianism (metaphysics)Lindström's theorem Line (geometry)Linear algebra Linguistic entailment List of Boolean algebra topics List of Hilbert systems List of Slovene philosophers List of Turkish philosophers List of axioms List of fallacies List of films about mathematicians List of first-order theories List of formal systems List of logic symbols List of logicians List of mathematical logic topics List of mathematical theories List of mathematicians List of paradoxes List of rules of inference List of set identities and relations List of set theory topics List of statements independent of ZFC Lists of mathematics topics Literature Logic Logic in computer science Logical Investigations (Husserl)Logical biconditional Logical conjunction Logical connective Logical consequence Logical constant Logical disjunction Logical equality Logical equivalence Logical form Logical positivism Logical theory Logical truth Logicism Ludwig Wittgenstein Luitzen Egbertus Jan Brouwer Löwenheim–Skolem theorem Machine-readable medium Madhyamaka Manifold Many-valued logic Map (mathematics)Marxist philosophy Mary Leng Mary Tiles Massimo Pigliucci Material conditional Materialism Mathematical Mathematical Platonism Mathematical analysis Mathematical and theoretical biology Mathematical beauty Mathematical chemistry Mathematical constructivism Mathematical economics Mathematical empiricism Mathematical entity Mathematical finance Mathematical folklore Mathematical geology Mathematical intuitionism Mathematical linguistics Mathematical logic Mathematical model Mathematical object Mathematical optimization Mathematical philosophy Mathematical physics Mathematical practice Mathematical proof Mathematical psychology Mathematical rigor Mathematical sociology Mathematical statistics Mathematical structuralism Mathematical theory Mathematical universe hypothesis Mathematician Mathematicians Mathematicism Mathematics Mathematics and art Mathematics education Maurice Merleau-Ponty Max Tegmark Mazdakism Measure (mathematics)Medieval philosophy Megarian school Meta-ethics Metalanguage Metalogic Metamathematics Metaphilosophy Metaphysical naturalism Metaphysics Middle Eastern philosophy Middle Platonism Mind–body dualism Minimal axioms for Boolean algebra Mithraism Model complete theory Model theory Modern philosophy Modernism Mohism Monadic predicate calculus Monadic second-order logic Monism Moral absolutism Moral nihilism Moral particularism Moral realism Moral skepticism Moral universalism Morse–Kelley set theory Multilinear algebra Mīmāṃsā NP (complexity)Naive set theory Name Natural deduction Natural law Natural number Naturalism (philosophy)Naturalized epistemology Navya-Nyāya Necessity and sufficiency Negation Neo-Confucianism Neo-Kantianism Neo-Marxism Neo-scholasticism Neoplatonism Neopythagoreanism Neuroscience New Confucianism New Foundations New historicism Newton's law of gravitation Newtonian mechanics Newtonianism Nihilism Nimbarka Sampradaya Nominalism Non-Euclidean geometries Non-Euclidean geometry Non-classical logic Non-logical symbol Non-standard analysis Non-standard model Non-standard model of arithmetic Norm (philosophy)Normative ethics Norwood Russell Hanson Number Number line Number theory Numeral system Numerical analysis Nyaya Objective idealism Objectivism Objectivity (philosophy)Occamism Omega baryon On Computable Numbers, with an Application to the Entscheidungsproblem On Formally Undecidable Propositions of Principia Mathematica and Related Systems Ontological Ontology Open formula Operation (mathematics)Operations research Order theory Ordinal analysis Ordinal number Ordinary language philosophy Outline of logic Outline of philosophy P (complexity)P versus NP problem Pakistani philosophy Paradox Paradoxes of set theory Parallel postulate Part of speech Particle Partition of a set Paul Benacerraf Paul Erdős Paul Ernest Peano axioms Penelope Maddy Perception Perihelion precession of Mercury Peripatetic school Phenomenology (philosophy)PhilPapers Philip J. Davis Philosophia Mathematica Philosophical logic Philosophical methodology Philosophical pessimism Philosophical realism Philosophical skepticism Philosophy Philosophy Now Philosophy in Canada Philosophy in Malta Philosophy in Taiwan Philosophy of Arithmetic Philosophy of Friedrich Nietzsche Philosophy of Mathematics Education Journal Philosophy of Science (journal)Philosophy of Søren Kierkegaard Philosophy of education Philosophy of information Philosophy of language Philosophy of logic Philosophy of mind Philosophy of physics Philosophy of probability Philosophy of religion Philosophy of science Physicalism Plane (geometry)Plato Platonic Academy Platonist Pleonasm Political philosophy Positivism Positron Post-structuralism Postanalytic philosophy Postcritique Posthumanism Postmodern mathematics Postmodern philosophy Power set Practical philosophy Pragmatism Pre-Socratic philosophy Predicate (mathematical logic)Predicate logic Predicate variable Preintuitionism Premise Prime factorization Prime model Primitive recursive arithmetic Primitive recursive function Principia Mathematica Probability Probability theory Process philosophy Proof (mathematics)Proof assistant Proof checking Proof of impossibility Proof theory Proposition Propositional calculus Propositional formula Propositional variable Psychologism Psychologists Pudgalavada Pyrrhonism Pythagoras Pythagorean theorem Pythagoreanism QED project Quantification (logic)Quantifier (logic)Quantifier rank Quantum nonlocality Quark Quasi-empiricism in mathematics Quietism (philosophy)Quine–Putnam indispensability argument RSA cryptosystem Rafael E. Núñez Ramified type theory Rationalism Real analysis Realism (philosophy)Realistic rationalism Reality Reason Recreational mathematics Recursion Recursive set Reductio ad absurdum Reductionism Reference Reformed epistemology Relation (mathematics)Relationship between mathematics and physics Relativism Renaissance humanism Renaissance philosophy Reuben Hersh Reverse mathematics Rigor Robert Audi Robinson arithmetic Roman Frigg Romanian philosophy Rudolf Carnap Rule of inference Russell's paradox Russian cosmism Russian philosophy Samkhya Samuel Eilenberg Sarvastivada Satisfiability Saturated model Saunders Mac Lane Sautrāntika Scholasticism School of Names School of Naturalists School of the Sextii Schröder–Bernstein theorem Science Science Without Numbers Science studies Scientific method Scientific realism Scientific skepticism Scientism Scotism Scottish philosophy Second-order arithmetic Second-order logic Second Sophistic Self-verifying theories Semantic theory of truth Semantics of logic Sentence (mathematical logic)Sequent calculus Set (mathematics)Set theory Sherlock Holmes Shuddhadvaita Signature (logic)Singleton (mathematics)Sir Roger Penrose Skolem arithmetic Social constructionism Social constructivism Social contract Social philosophy Socialism Solipsism Sophist Soundness Spacetime Spanish philosophy Spatiotemporal Special relativity Spectrum of a sentence Spectrum of a theory Spinozism Square of opposition Square root of 2 Stanford Encyclopedia of Philosophy Stanislas Dehaene Statement (logic)Statistics Stephan Hartmann Stephan Körner Stephen Cole Kleene Stephen Yablo Stewart Shapiro Stoicism Strength (mathematical logic)String (formal languages)Structuralism Structuralism (philosophy of mathematics)Structure (mathematical logic)Subculture Subjective idealism Subjectivism Substitution (logic)Substructure (mathematics)Sufi philosophy Supertask Surjective function Svatantrika–Prasaṅgika distinction Syllogism Symbol (formal)Syntax (logic)Systemics Systems science Syādvāda T-schema Taoism Tarski's axiomatization of the reals Tarski's axioms Tarski's theory of truth Tarski's undefinability theorem Tarski–Grothendieck set theory Tautology (logic)Term (logic)Term logic The Analyst The Emperor's New Mind The Foundations of Arithmetic The Math Instinct The Unreasonable Effectiveness of Mathematics in the Natural Sciences The arts Theorem Theoretical philosophy Theories of truth Theory (mathematical logic)Theory of computation Theory of relativity Thomas Tymoczko Thomism Three-valued logic Tiantai Tibetan Buddhism Timeline of mathematical logic Timeline of mathematics Topology Trajectories Transactionalism Transcendental idealism Transcendentalism Transfer principle Transitive set True arithmetic Truth Truth predicate Truth table Truth value Turing machine Type (mathematics)Type (model theory)Type theory Ubuntu philosophy Ultrafilter (set theory)Ultrafinitism Ultraproduct Uncountable set Undecidable problem Unifying conjecture Uninterpreted function Union (set theory)Uniqueness quantification Universal algebra Universal quantification Universal set Universe (mathematics)Urelement Useful fiction Utilitarianism Vaisheshika Validity (logic)Value theory Variable (mathematics)Vector field Vedanta Venn diagram Vienna Circle Vietnamese philosophy Virtue ethics Vishishtadvaita Von Neumann universe Von Neumann–Bernays–Gödel set theory W. V. O. Quine Weierstrass function Well-formed formula Western Marxism Western philosophy Where Mathematics Comes From Willard Quine Xuanxue Yangism Yoga Sutras of Patanjali Yogachara Yugoslav philosophy Zen Zermelo–Fraenkel set theory Zero Zoroastrianism Zurvanism Ājīvika Śūnyatā

212 concepts already in your glossary