Holič paradox ( holičství paradox ) je klam předložila Lewis Carroll v nové názvem logický paradox , zveřejněné v červenci 1894 časopisu Mind . Tento paradox ilustruje obtížnost pochopení logických implikací .
Překlad do francouzštiny najdete ve sbírce Logique sans grief v roce 1966.
Strýček Joe a strýček Jim jdou do kadeřnictví. V obchodě žijí a pracují tři kadeřníci: Allen, Brown a Carr; ale tři z nich nejsou vždy přítomni v obchodě. Carr je dobrý holič a strýc Jim má zájem o vlasy. Ví, že kadeřnický salon je otevřený, a proto je přítomný alespoň jeden ze tří. Také ví, že Allen je velmi nervózní muž, který nemůže opustit obchod, aniž by ho doprovázel Brown.
Strýc Joe mu vysvětluje, že si nemusí dělat starosti: Carr je nutně přítomen v obchodě, což lze dokázat logikou. Strýček Jim požádá o demonstraci a strýc Joe mu ji dá díky absurdnímu pseudo uvažování následovně .
Předpokládejme, že Carr je venku. V tomto případě, pokud je Allen také venku, je Brown nutně uvnitř obchodu: musí být skutečně někdo, aby byl otevřený. Víme však, že když Allen jde ven, vezme si s sebou Browna. Takže pokud je Carr venku, další dvě věty „pokud je Allen venku, pak je Brown venku“ a „Je-li Allen venku, pak je Brown venku“, platí obě najednou.
Strýček Joe poznamenává, že se to zdá paradoxní: tyto dva dedukce se zdají být neslučitelné. Podle příběhu je tedy naše počáteční hypotéza falešná a Carr tedy musí být logicky přítomen.
Tato úvaha je zjevně nesprávná: je například zcela kompatibilní s předpoklady, že Allen a Brown jsou v obchodě a Carr je venku.
To lze snadno prokázat v propozičním počtu jednoduchými tabulkami pravdy .