Obsessive robot (bluxer) wrote,
Obsessive robot
bluxer

УСЛОВИЯ vs. ОГРАНИЧЕНИЯ
(Мини-трактат о проблемности понятия "условие")

Существуют понятия, которые сложно определить. Когда-то в этом журнале был пост о том, что таковым является "доказательство" и "доказывание", которые почему-то определяются так или иначе через самих себя ("тавтология").

Есть еще одно проблемное понятие:
Условие — категория философии, обозначающая отношение предмета к окружающей действительности, явлениям объективной реальности, а также относительно себя и своего внутреннего мира. Предмет выступает как некое обусловленное, а условие — как относительно внешнее предмету многообразие объективного мира.

Если понимать под "условием" условие существования (чего-либо), то оно содержит в себе самореферентный парадокс, так как отсутствие условий - это тоже условие.

Под условиями на практике чаще всего понимаются ограничения: "это может произойти при условии, что ... " и тому подобное.

Интересно, что условие существования ничего общего не имеет с логическими "необходимыми" и "достаточными" условиями, которыми когда-то плешь проели школьные учителя математики. Необходимые и достаточные условия - это условия истинности высказываний, а не условия существования (возникновения) чего-либо в реальном мире:
Суждение P является необходимым условием суждения X, когда из (истинности) X следует (истинность) P. То есть, если P ложно, то заведомо ложно и X.
Суждение P является достаточным условием суждения X, когда из (истинности) P следует (истинность) X, то есть в случае истинности P проверять X уже не требуется.


К "необходимым условиям" вопросов нет, потому что они интуитивно понятны: "чтобы что-то случилось (или как здесь - было истинным), необходимо ...".
Вопросы есть к "достаточным условиям". Если достаточно одного какого-то условия, то оно же и необходимое.
Если же для реализации чего-то необходимо несколько условий, то ни одно из них никогда не будет достаточным. Они достаточны только все вместе.

Отсюда такой тезис: в реальном мире не бывает достаточных условий. Как только мы видим условие с виду похожее на достаточное, можем быть уверены: или оно необходимое, или при анализе распадется на несколько элементарных необходимых условий.
Пример из той же статьи:
Суждение X: «Вася получает стипендию».
Необходимое условие P: «Вася — учащийся».
Достаточное условие Q: «Вася учится в вузе без троек».

Видно, что "достаточное условие" есть набор элементарных необходимых, причем шитый белыми нитками.

Зато шокирующий пример достаточного условия содержит англоязычный вариант статьи:
"John is a king" implies that John is male. So knowing that it is true that John is a king is sufficient to know that he is a male.

То есть если Джон - король, значит, он мужчина. В формальной логике можно сказать, что истинности условия "быть королем" достаточно для истинности высказывания, содержащего "предикат" "быть мужчиной".
Очевидно, что к реальной жизни (то есть к условиям существования мужчин) это отношения не имеет. То есть это вовсе и не условие в обычном понимании.
Subscribe

  • (no subject)

    Актёрских способностей никогда не проявлял, но в последние годы достаточно свободно могу заставить себя расплакаться, как по команде. Стоит чуть-чуть…

  • (no subject)

    МЫСЛИТЬ СИСТЕМНО В самом начале трудового пути моим руководителем и наставником был один человек, который из военного инженера переучился на юриста.…

  • (no subject)

    Дверь как предостережение... ... о грядущей катастрофе. Лет 7 назад через дорогу вдоль моего дома шла активная стройка с забиванием свай. С тех пор…

  • Post a new comment

    Error

    default userpic
    When you submit the form an invisible reCAPTCHA check will be performed.
    You must follow the Privacy Policy and Google Terms of use.
  • 29 comments

  • (no subject)

    Актёрских способностей никогда не проявлял, но в последние годы достаточно свободно могу заставить себя расплакаться, как по команде. Стоит чуть-чуть…

  • (no subject)

    МЫСЛИТЬ СИСТЕМНО В самом начале трудового пути моим руководителем и наставником был один человек, который из военного инженера переучился на юриста.…

  • (no subject)

    Дверь как предостережение... ... о грядущей катастрофе. Лет 7 назад через дорогу вдоль моего дома шла активная стройка с забиванием свай. С тех пор…