http://kenji.blog/ru/tags/%D0%BD%D0%B5%D0%BE%D0%BF%D1%80%D0%B5%D0%B4%D0%B5%D0%BB%D1%91%D0%BD%D0%BD%D0%BE%D1%81%D1%82%D1%8C/Recent content in Неопределённость on kenji.blogHugo -- gohugo.iorukenjinoteThu, 10 Sep 2026 21:00:00 +0900http://kenji.blog/ru/p/sorites-paradox/Thu, 10 Sep 2026 21:00:00 +0900http://kenji.blog/ru/p/sorites-paradox/<img src="http://kenji.blog/p/sorites-paradox/img/sorites_paradox.jpg" alt="Featured image of post Если убрать одну песчинку, когда куча песка перестаёт быть кучей?: Парадокс кучи" /><p>Представьте, что перед вами настоящая куча песка, состоящая из 10 000 песчинок. Любой скажет, что это «куча». Теперь уберём одну песчинку. 9 999 песчинок. Всё ещё куча, верно? Уберём ещё одну. 9 998 песчинок. Это тоже всё ещё куча.</p> <p>Давайте продолжим эту операцию. Удаление всего одной песчинки не должно превращать «кучу» в «не-кучу». Однако если бесконечно повторять эту логику, в конце концов останется всего одна песчинка.</p> <p><strong>Является ли одна песчинка «кучей»?</strong></p> <p>Разумеется, никто не назовёт одну песчинку «кучей». Но ведь мы ни разу не отвергли предпосылку: «если убрать одну песчинку, куча остаётся кучей». Где-то логика дала сбой, но <strong>на какой именно песчинке куча перестала быть кучей</strong>?</p> <p>Это и есть <strong>«Парадокс кучи (Парадокс соритес)»</strong>, восходящий к древнегреческому философу Евбулиду, жившему в IV веке до нашей эры.</p> <h2 id="логическая-структура">Логическая структура </h2><p>Этот парадокс можно выразить в форме следующего силлогизма:</p> <p><strong>Посылка 1</strong>: Совокупность из 10 000 песчинок является «кучей». <strong>Посылка 2</strong>: Если из кучи убрать одну песчинку, она по-прежнему остаётся «кучей». <strong>Вывод</strong>: Следовательно, одна песчинка тоже является «кучей».</p> <p>Каждая посылка в отдельности звучит вполне убедительно. Однако многократное применение посылки 2 приводит к очевидно ложному выводу.</p> <div class="mermaid">graph LR A["10 000 песчинок = куча"] -->|Убрать 1| B["9 999 песчинок = куча"] B -->|Убрать 1| C["9 998 песчинок = куча"] C -->|...повторять...| D["100 песчинок = куча?"] D -->|Убрать 1| E["10 песчинок = куча?"] E -->|Убрать 1| F["1 песчинка = куча?"] style A fill:#4CAF50,color:#fff style D fill:#FF9800,color:#fff style E fill:#FF5722,color:#fff style F fill:#F44336,color:#fff,stroke-width:3px</div> <h2 id="почему-этот-парадокс-неразрешим">Почему этот парадокс неразрешим </h2><p>Суть парадокса кучи заключается в том, что <strong>слово «куча» по своей природе является неопределённым</strong>. Для «кучи» не существует чёткого определения (порогового значения), указывающего, «сколько песчинок и более составляют кучу». Такие понятия называются <strong>«нечёткими предикатами (vague predicates)»</strong>.</p> <p>Наш повседневный язык переполнен подобными неопределёнными словами.</p> <ul> <li><strong>«Высокий»</strong> — это от скольких сантиметров? Человек ростом 180 см — «высокий». А если убрать 1 мм? Ещё 1 мм?</li> <li><strong>«Богатый»</strong> — это от какой суммы активов? 10 миллиардов иен — это «богатый». А если убрать 1 иену?</li> <li><strong>«Лысый»</strong> — это от скольких волос и менее? 0 волос — «лысый». А если вырастет 1 волос?</li> </ul> <p>Все эти примеры имеют точно такую же структуру, как и парадокс кучи.</p> <h2 id="подходы-философов">Подходы философов </h2><h3 id="1-эпистемический-подход-граница-существует">1. Эпистемический подход (граница существует) </h3><p>Этот подход утверждает, что «на самом деле между кучей и не-кучей существует чёткая граница, просто человек не способен её распознать». Например, 5 837 песчинок — это куча, а 5 836 — уже нет, и такая точная граница существует, но мы не можем её знать.</p> <p>С логической точки зрения это элегантно, но интуитивно многие чувствуют в этой позиции что-то неестественное.</p> <h3 id="2-нечёткая-логика-градуированные-значения-истинности">2. Нечёткая логика (градуированные значения истинности) </h3><p>В классической логике есть только два варианта — «истина или ложь», но в нечёткой логике значение может принимать <strong>любую величину от 0 до 1</strong>.</p> <p>Например:</p> <ul> <li>10 000 песчинок: «степень кучности = 1,0 (полностью куча)»</li> <li>5 000 песчинок: «степень кучности = 0,7»</li> <li>100 песчинок: «степень кучности = 0,1»</li> <li>1 песчинка: «степень кучности = 0,0 (полностью не-куча)»</li> </ul> <p>Этот метод практичен, но полностью парадокс не устраняет. Ведь возникает новая неопределённость: «В чём разница между степенью кучности 0,7 и 0,699?»</p> <h3 id="3-суперваллюационизм-supervaluationism">3. Суперваллюационизм (Supervaluationism) </h3><p>В рамках этого подхода для слова «куча» одновременно рассматриваются все возможные разумные границы. Если при всех границах объект признаётся «кучей» — это «определённо куча»; если при всех — «не-кучей» — это «определённо не-куча»; а область, где мнения расходятся, считается «неопределённой».</p> <h2 id="влияние-на-современное-общество">Влияние на современное общество </h2><p>Парадокс кучи — это не просто словесная игра; он порождает серьёзные проблемы в реальном мире права и политики.</p> <ul> <li><strong>Возраст совершеннолетия</strong>: В 17 лет и 364 дня человек — «ребёнок», а в 18 лет и 0 дней — «взрослый». Что принципиально меняется за один день?</li> <li><strong>Черта бедности</strong>: Если доход на 1 иену ниже порогового значения — «бедность», а на 1 иену выше — «не бедность».</li> <li><strong>Экологические нормы</strong>: Если выбросы загрязняющих веществ превышают норму на 0,001 мг — это незаконно. Ровно по норме — законно.</li> </ul> <p>Человеческий язык и мышление по своей природе содержат неопределённость, и, возможно, сама попытка разделить мир на чёткие бинарные противоположности изначально обречена на неудачу. Парадокс кучи — это парадокс, указывающий на фундаментальные пределы человеческого разума, который уже более 2400 лет не даёт покоя философам.</p>