Невозможность как модальное понятие¶
Невозможность — модальная характеристика положения дел, при которой осуществление некоторого события, действия или состояния исключено в рамках заданной системы условий, законов или правил. В логике, философии, праве и математике понятие невозможности противопоставляется возможности и необходимости и служит одним из базовых инструментов анализа рассуждений, норм и моделей реальности. Утверждение «нечто невозможно» означает, что при данных предпосылках не существует ни одного допустимого сценария, в котором это нечто имеет место.
¶Логическая невозможность
В классической логике невозможность выражается через модальные операторы. Если возможность обозначается как ◇P («возможно, что P»), то невозможность — это ¬◇P, то есть отсутствие возможности. Эквивалентная запись — □¬P («необходимо, что не-P»): невозможное событие есть то, отрицание чего необходимо истинно.
Различают несколько видов:
- Логическая (формальная) невозможность — нарушение законов логики. Пример: одновременная истинность утверждения и его отрицания (закон непротиворечия). Такое положение дел не может быть описано ни в одной непротиворечивой модели.
- Аналитическая невозможность — вытекает из значений терминов. Выражение «женатый холостяк» невозможно, поскольку определение холостяка исключает состояние в браке.
- Метафизическая (онтологическая) невозможность — нарушение наиболее общих свойств бытия, не сводимое к чисто языковым или логическим противоречиям.
- Физическая (номологическая) невозможность — противоречие законам природы. Движение быстрее скорости света в вакууме физически невозможно в рамках специальной теории относительности.
- Техническая и практическая невозможность — зависит от доступных средств, ресурсов и уровня развития технологий; со временем может переходить в разряд возможного.
¶Невозможность в философии
Проблема невозможного занимает центральное место в метафизике возможных миров. Согласно распространённому подходу, логически невозможное не реализуется ни в одном возможном мире, тогда как физически невозможное может быть реализовано в мире с иными законами природы.
Отдельное направление связано с диалектической традицией, где противоречие рассматривается не только как признак ошибки, но и как движущий момент развития. В отечественной философии советского периода категории возможности и действительности разрабатывались в рамках диалектического материализма: возможность понималась как объективная тенденция развития, а невозможность — как отсутствие необходимых условий для её реализации.
¶Невозможность в математике
В математике невозможность доказывается строго — через противоречие или через построение модели, исключающей искомый объект. Классические примеры:
| Утверждение | Характер невозможности |
|---|---|
| Квадратура круга циркулем и линейкой | Доказана в 1882 году (трансцендентность числа π) |
| Решение уравнения пятой степени в радикалах | Доказано Абелем и Галуа в XIX веке |
| Существование наибольшего простого числа | Доказано ещё Евклидом |
| Полнота и непротиворечивость арифметики одновременно | Теоремы Гёделя о неполноте, 1931 год |
Теоремы о невозможности — важный жанр математических результатов: они не строят объект, а показывают принципиальную границу для целого класса задач.
¶Невозможность в праве
В юридической практике категория невозможности используется при оценке исполнения обязательств. Различают:
- Фактическую невозможность — отсутствие реальных условий для исполнения (утрата предмета обязательства);
- Юридическую невозможность — запрет, установленный законом или договором;
- Объективную и субъективную невозможность — в зависимости от того, касается ли препятствие всех участников или конкретного лица.
Российское гражданское законодательство связывает невозможность исполнения с основаниями прекращения обязательства и с освобождением от ответственности, если невозможность возникла не по вине должника.
¶Невозможность в языке и культуре
В естественном языке невозможность выражается модальными словами «нельзя», «не может быть», частицей «не» в сочетании с модальными глаголами, а также конструкциями с отрицанием. В риторике фигура адиафоры строится на вопросе, ответ на который очевиден и потому невозможен иначе.
В культуре устойчивы образы «невозможного» как вызова: невыполнимые задачи, парадоксы, мысленные эксперименты (например, парадокс всемогущества — может ли всемогущее существо создать камень, который само не сможет поднять). Такие конструкции служат инструментом проверки понятий на непротиворечивость.
¶Ограничения понятия
Утверждение о невозможности всегда относительно: оно задаётся выбранной системой аксиом, законов или правил. Расширение системы (например, отказ от евклидовой геометрии, переход к неклассическим логикам) может превратить ранее невозможное в допустимое. Поэтому в строгом смысле корректно говорить не о невозможности «вообще», а о невозможности в рамках определённой модели.
Источники: учебники по логике и модальной логике; работы по философии науки; теоремы Гёделя о неполноте; Гражданский кодекс Российской Федерации; справочные материалы по истории математики.