intuitionism

intuitionism is a philosophical approach that posits certain fundamental truths are known directly through intellectual or moral insight, rather than through empirical observation or deductive reasoning. It manifests distinctly within the philosophy of mathematics, where it challenges classical logic, and within moral philosophy, where it asserts the existence of objective ethical truths. The development of intuitionism is primarily associated with the Dutch mathematician L.E.J. Brouwer and ethical philosophers like G.E. Moore and W.D. Ross.

Overview and philosophical foundations

The core tenet across intuitionist thought is the belief in immediate, non-inferential apprehension of foundational principles. In epistemology, this aligns with traditions rejecting pure empiricism, finding historical precedent in the work of Immanuel Kant on a priori knowledge. Intuitionism often arises in response to skepticism and reductionism, particularly against logical positivism's verifiability criterion. Key philosophical underpinnings involve a commitment to metaphysical realism in ethics and an anti-realist or constructivist view in mathematics, creating a complex relationship with Platonism and nominalism. Proponents argue that just as one perceives the truth of basic logical axioms, one can perceive basic moral truths or mathematical constructions.

Mathematical intuitionism

Pioneered by L.E.J. Brouwer in the early 20th century, mathematical intuitionism holds that mathematics is a creation of the human mind, with mathematical objects existing only as mental constructions. Brouwer's student Arend Heyting formalized intuitionistic logic, which deliberately omits the law of the excluded middle, a cornerstone of Aristotelian logic. This school directly challenged the set theory of Georg Cantor and the formalism of David Hilbert. Intuitionistic mathematics profoundly influenced proof theory and constructive analysis, with later developments seen in the work of Errett Bishop on constructive mathematics and its connections to computer science through the Curry–Howard correspondence. Important results, like the rejection of certain non-constructive proofs, distinguish it from mainstream Zermelo–Fraenkel set theory.

Ethical intuitionism

In moral philosophy, ethical intuitionism asserts that basic moral principles are self-evident truths perceived through a faculty of moral intuition. G.E. Moore, in his seminal work Principia Ethica, argued that "good" is a simple, non-natural property known by intuition, famously critiquing the naturalistic fallacy. This view was further developed by W.D. Ross with his theory of prima facie duties, and found earlier expression in the moral sense theory of the British Empiricists like the Earl of Shaftesbury. Ethical intuitionists typically oppose ethical naturalism, utilitarianism as defined by Jeremy Bentham, and subjectivism, aligning more with deontological frameworks. Thinkers like H.A. Prichard and, more recently, Robert Audi have defended modern versions of this position.

Criticisms and debates

Intuitionism in both domains has faced significant criticism. Mathematically, David Hilbert vigorously defended classical mathematics against Brouwer's restrictions, leading to the bitter Grundlagenstreit (foundational dispute). Critics argue that abandoning the law of the excluded middle needlessly cripples mathematical proof and complicates classical results like those in analysis. In ethics, intuitionism has been attacked for allegedly providing no method for resolving moral disagreements, a charge leveled by logical positivists like A.J. Ayer in Language, Truth, and Logic, and for its supposed epistemological mystery, as discussed by J.L. Mackie in his argument from queerness. Debates continue regarding its compatibility with evolutionary psychology and cognitive science.

Influence and legacy

The legacy of intuitionism is substantial and interdisciplinary. In mathematics, intuitionistic logic is central to constructivism, topos theory, and has practical applications in type theory and theoretical computer science, influencing the Coq proof assistant and the Agda programming language. In ethics, it provided a major alternative to consequentialism and non-cognitivism, shaping the work of the Oxford University philosophers and contemporary moral realism. The intuitionist emphasis on direct apprehension continues to inform discussions in epistemology, philosophy of mind, and aesthetics, maintaining its relevance in debates about the nature of truth and knowledge across the humanities and sciences.

Category:Epistemology Category:Philosophy of mathematics Category:Ethical theories