How to understand the barber of saville

Overview Paradoxes like the Barber/Russell paradox and the Liar paradox exposed fatal flaws in “naive” reasoning about sets, definitions, and truth. Their discovery around the turn of the 20th century forced philosophers and mathematicians to rethink what counts as a secure foundation for mathematics. Three major responses—logicism, formalism, and intuitionism—were shaped, modified, or motivated by those paradoxes. 1. Logicism (Frege → Russell) - Core claim: Mathematics (especially arithmetic) reduces to logic; mathematical truths are logical truths. - Response to paradoxes: Frege attempted a logicist program using an ambitious formal system that allowed comprehension (forming the set of all objects satisfying any property). Russell’s paradox showed that Frege’s unrestricted comprehension yields contradiction. - Consequence: Russell developed the theory of types to block self‑referential set formation and salvaged a logicist approach in modified form; however, the need for such restrictions weakened the original simplicity of logicism. - Philosophical implication: Paradoxes forced logicists to be explicit about logical resources and to accept that not every apparently logical principle may be admissible without constraints. - Key sources: Frege, Foundations of Arithmetic; Russell, Principles of Mathematics and Theory of Types. 2. Formalism (Hilbert) - Core claim: Mathematics is a manipulation of symbols according to rules; consistency of formal systems is the primary concern. Mathematical statements need not refer to abstract objects. - Response to paradoxes: Formalists like Hilbert viewed paradoxes as indications that informal, semantic talk (about “all sets”) is dangerous; instead we should build carefully axiomatized systems (e.g., axiomatic set theory) and prove their consistency. - Consequence: Development of axiomatic systems (Zermelo, Fraenkel, and later ZFC) that restrict set formation to avoid paradoxes. Hilbert’s program sought finitary consistency proofs for such systems. - Philosophical implication: Paradoxes shifted emphasis from intuitive ontological justification to rigorous axiomatization and metamathematics (leading directly to work on formal proof, model theory, and consistency). - Limitation revealed by paradoxes and later results: Gödel’s incompleteness theorems (1931) showed that for any sufficiently strong consistent system you cannot prove its own consistency from inside the system, limiting Hilbert’s original aspirations. - Key sources: Hilbert’s program literature; Zermelo (1908); later work on ZF/ZFC. 3. Intuitionism (Brouwer) - Core claim: Mathematical objects are mental constructions; mathematics is activity, not the discovery of an independent platonic realm. Rejects classical logic’s law of excluded middle in general. - Response to paradoxes: Intuitionists treated paradoxes as symptoms of illegitimate use of impredicative or non-constructive definitions—forming objects by quantifying over a totality that includes the object itself. - Consequence: Intuitionism rejects apparently harmless classical existence proofs and disallows non-constructive comprehension principles that lead to paradox. It insists on constructive formation of sets/objects and constructive proofs. - Philosophical implication: Paradoxes bolstered the intuitionist critique of classical, platonist methodology and motivated constructive foundations (intuitionistic logic, type theories with constructive content). - Key sources: L.E.J. Brouwer; later formalizations by Heyting and constructive type theory (e.g., Martin-Löf). Cross-cutting technical and philosophical effects - Axiomatization and careful rules: All three traditions pushed for explicit axioms and formal rules to prevent paradoxical constructions (ZF/ZFC, type theory, constructive systems). - Hierarchies and stratification: Theories of types, language hierarchies (Tarski), and stratified comprehension (Quine’s New Foundations) were developed to block self-reference. - Metamathematics and limits: Paradoxes precipitated the rise of metamathematics—study of consistency, completeness, and decidability—and led to Gödel, Tarski, Church, and others exploring formal limits. - Pluralism: The paradoxes contributed to a pluralistic atmosphere in foundations; no single program fully answered all worries, so multiple viable foundational frameworks coexist (classical set theory, type theory, constructive systems). Short synthesis Paradoxes demonstrated that naive, informal principles about sets and truth were unreliable. Logicism had to be restricted to avoid contradiction; formalism converted mathematics into axiomatic systems whose consistency must be studied; intuitionism rejected non-constructive principles that underlie paradoxical definitions. Each response reshaped foundational practice and spawned technical tools (type theory, ZF axioms, constructive logics) that continue to structure mathematics, logic, and philosophy. Further reading - Russell, B., Principles of Mathematics; “Theory of Types” (1908). - Frege, G., Foundations of Arithmetic and his correspondence with Russell. - Hilbert, D., and writings on Hilbert’s program. - Brouwer, L.E.J.; Heyting on intuitionistic logic. - Stanford Encyclopedia of Philosophy: entries “Russell’s Paradox,” “Foundations of Mathematics,” “Intuitionism,” and “Hilbert’s Program.”