Intuitionism

Definition

In the philosophy of mathematics, intuitionism, or neointuitionism, is an approach where mathematics is considered to be purely the result of the constructive mental activity of humans rather than the discovery of fundamental principles claimed to exist in an objective reality. That is, logic and mathematics are not considered analytic activities wherein deep properties of objective reality are revealed and applied, but are instead considered the application of internally consistent methods used to realize more complex mental constructs, regardless of their possible independent existence in an objective reality.

Related concepts

A. A. Markov Actual infinity Alan Turing Alexander Esenin-Volpin Ambiguity Anti-realism Antithesis Arend Heyting Argument BHK interpretation Belief Bertrand Russell Bias Brouwer–Hilbert controversy Cardinality of the continuum Computability logic Conceptualism Constance Reid Constructive analysis Constructive logic Constructive mathematics Constructive set theory Constructivism (philosophy of mathematics)Conventionalism Credibility Critical thinking Curry–Howard isomorphism David Hilbert De Morgan's laws Deductive reasoning Degree of truth Description logic Dialectic Dialetheism Dynamic semantics Edward N. Zalta Encyclopædia Britannica 2006 Ultimate Reference Suite DVD Ethical intuitionism Evidence Explanation Explanatory power Fact Fallacy Fictionalism Finitism Formalism (mathematics)Foundations of mathematics Four-valued logic Fuzzy finite element Fuzzy logic Fuzzy rule Fuzzy set Fuzzy set operations Game semantics Georg Cantor Georges Reeb Gottlob Frege Gödel Henri Poincaré Heyting arithmetic Hilary Putnam Hypothesis IEEE 1164 Ian Stewart (mathematician)Imre Lakatos Informal logic Information theory Inquiry Inquisitive semantics Intermediate logic Internet Encyclopedia of Philosophy Intuition (knowledge)Intuitionistic analysis Intuitionistic arithmetic Intuitionistic logic Intuitionistic set theory Intuitionistic type theory Jacques Hartong Jean van Heijenoort Joan Moschovakis John W. Dawson John von Neumann Kleene Kolmogorov Kurt Gödel L.E.J. Brouwer Law of excluded middle Leopold Kronecker Linear logic List of fallacies Logic synthesis Logical atomism Logical disjunction Logical intuition Logical positivism Logicism Luitzen Egbertus Jan Brouwer Many-valued logic Martin Davis (mathematician)Mathematical constructivism Mathematics Michael Dummett Mind Model theory Natalie Wolchover Natural number Negation Nicolas Gisin Nominalism Non-classical logic Non-monotonic logic Non-standard analysis Occam's razor Ontology (information science)Ontology language Opinion Paraconsistent logic Paul Benacerraf Paul Rosenbloom Philosophical analysis Philosophical logic Philosophical razor Philosophical realism Philosophy of mathematics Platonic realism Platonism Potential infinity Pragmatism Preintuitionism Premise Propaganda Prudence Quantum indeterminacy Reason Rebecca Goldstein Relevance Relevance logic Rhetoric Richard Eugene Vesley Rigour Rosalie Iemhoff Rudolf Carnap Russell's paradox Socratic method Stanford Encyclopedia of Philosophy Stephen Cole Kleene Stephen Kleene Structural rule Substructural logic Systems of logic Theory Three-state logic Three-valued logic Time in physics Topos theory Transfinite arithmetic Tri-state buffer Truth Ultraintuitionism Unity of opposites VHDL Vagueness Verilog W. S. Anglin Wittgenstein Zermelo–Fraenkel set theory Łukasiewicz logic

25 concepts already in your glossary