Paradosso del barbiere
Il paradosso del barbiere è un'antinomia formulata dal filosofo e logico Bertrand Russell per illustrare la sua famosa antinomia riguardo alla teoria degli insiemi[1]. Russell ne attribuì l'invenzione ad una persona che glielo avrebbe suggerito, senza però specificarne il nome.[2] L'antinomia può essere enunciata così:
«In un villaggio vi è un solo barbiere, un uomo ben sbarbato, che rade tutti e solo gli uomini del villaggio che non si radono da soli. La domanda è: il barbiere si fa la barba da solo?[1]»
Descrizione
Se, come apparirebbe plausibile, il barbiere si radesse da solo, verrebbe contraddetta la premessa secondo cui il barbiere rade solo gli uomini che non si radono da soli. Se invece il barbiere non si radesse autonomamente, allora dovrebbe essere rasato dal barbiere, che però è lui stesso: in entrambi i casi si cade in una contraddizione[3].
La somiglianza con il paradosso di Russell sta nel fatto che il villaggio del barbiere si potrebbe considerare diviso in due parti:
- Quella degli uomini che si radono da soli (che è assimilabile alla categoria degli insiemi che appartengono a sé stessi nella versione originale dell'antinomia).
- Quella degli uomini che, non radendosi da soli, vengono rasati dal barbiere (nella versione originale, gli insiemi che non appartengono a sé stessi).
Il problema è in quale categoria vada incluso il barbiere: infatti, sia che venisse incluso nella prima, sia che venisse incluso nella seconda, la situazione sarebbe contraddittoria. Il barbiere è un insieme che appartiene a se stesso se e solo se non appartiene a se stesso[4].
Si è detto che questo paradosso costituisce una riformulazione solo approssimativa del paradosso di Russell perché, proprio a causa del suo aspetto concreto, in realtà potrebbe essere considerato semplicemente una dimostrazione per assurdo del fatto che non possono esistere barbieri con le caratteristiche citate. In particolare, fu il logico statunitense Willard Van Orman Quine ad affermare che il paradosso del barbiere costituisce in sostanza una reductio ad absurdum, la quale dimostra la contraddittorietà di un barbiere come quello russelliano[1].
Note
- ^ a b c Walter Maraschini, Mauro Palma, ForMat, Spe, Paravia, 2002, p. 551 v. 3. ISBN 883951435X
- ^ The Collected Papers of Bertrand Russell, vol. 8, 1914-1919, p. 228.
- ^ F. Cioffi, F. Gallo, G. Luppi, A. Vigorelli, E. Zanette, Diálogos, Edizioni Scolastiche Bruno Mondadori, 2000, p. 196 v. 3. ISBN 8842452645
- ^ Alcuni hanno proposto una soluzione di questo paradosso basata sulla possibilità che il barbiere sia una donna (alla quale la barba non cresce); essa però ha valore sostanzialmente umoristico, poiché l'enunciato del paradosso specifica chiaramente che il barbiere è un «uomo ben sbarbato».
Bibliografia
- W. Maraschini, M. Palma, ForMat, Spe, Paravia, 2002. ISBN 883951435X
- F. Cioffi, F. Gallo, G. Luppi, A. Vigorelli, E. Zanette, Diálogos, Edizioni Scolastiche Bruno Mondadori, 2000. ISBN 8842452645
Voci correlate
- Antinomia
- Logica
- Paradosso di Russell
- Paradosso del bibliotecario
- Antinomia del mentitore
Altri progetti
Altri progetti
- Wikimedia Commons
- Wikimedia Commons contiene immagini o altri file su Paradosso del barbiere
Collegamenti esterni
- (EN) barber paradox, su Enciclopedia Britannica, Encyclopædia Britannica, Inc.
- (EN) Eric W. Weisstein, Paradosso del barbiere, su MathWorld, Wolfram Research.
V · D · M | |
---|---|
Biografie | George Boole · Luitzen Brouwer · Georg Cantor · Richard Dedekind · Gottlob Frege · Kurt Gödel · David Hilbert · Giuseppe Peano · Henri Poincaré · Bertrand Russell · Ludwig Wittgenstein |
Presupposti storici | Positivismo · Logicismo |
Elementi di crisi | Paradosso di Russell (anche paradosso del barbiere · paradosso del bibliotecario · paradosso dell'eterologicità di Grelling-Nelson) · Paradosso di Burali-Forti · Paradosso di Richard · Paradosso di Zermelo-König |
Risposte provvisorie | Teoria dei tipi · Intuizionismo · Formalismo (anche metalogica · Tractatus logico-philosophicus · metamatematica · programma di Hilbert) |
Risposta definitiva | Teoremi di incompletezza di Gödel |
Relazioni con la teoria degli insiemi | Teoria degli insiemi · Teoria ingenua degli insiemi · Teoria assiomatica degli insiemi (anche teoria degli insiemi di Zermelo-Fraenkel · teoria degli insiemi di Von Neumann-Bernays-Gödel) |