Понятие и виды самоприменимости
Самоприменимость – это способность системы или продукта применяться самостоятельно, без дополнительной помощи.
Самоприменимость проявляется в различных областях, включая программное обеспечение, автоматизацию, электронику и т.д. В логической семантике понятие самоприменимости описывает определенный принцип истинности утверждений. Оно означает, что утверждение истинно, если оно само истинно.
Самоприменимость имеет две основные формы:
- строгая самоприменимость предполагает, что утверждение истинно, если оно само истинно и не зависит от ничего другого;
- относительная самоприменимость предполагает, что утверждение истинно, если оно само истинно и если другие утверждения, используемые для подтверждения истинности этого утверждения, также истинны.
Виды самоприменимости систем:
- функциональная самоприменимость — это способность системы или продукта обладать всеми необходимыми функциями, которые могут быть использованы для достижения желаемых результатов;
- интуитивная самоприменимость — это способность системы или продукта быть легко и удобно используемым, что позволяет людям быстро и легко его понять;
- техническая самоприменимость — это способность системы или продукта иметь удобную инфраструктуру, чтобы поддерживать и улучшать работу.
Самоприменимость как предпосылка логического парадокса
Естественный язык – необходимый для человека инструмент интеллектуальной деятельности. Однако именно из-за языка часто возникают проблемы. Истоки этих проблем кроются в самом языке, у них нет прямой связи с логикой, но для эффективного использования языка как инструмента интеллектуального познания приходится выявлять, рассматривать и пытаться устранить возникающие противоречия.
Бывают противоречия, связанные с нарушениями принципов логики и правил использования языка. Такие ошибки можно исправить. Но встречаются в языке и неустранимые противоречия – парадоксы или антиномии.
Составить исчерпывающий перечень логических парадоксов невозможно. Несмотря на то, что их известно достаточно много, вполне вероятно, что в будущем откроют и новые парадоксы и даже новые их типы. Первые парадоксы были открыты еще до возникновения логики как особой науки. Многие парадоксы были обнаружены в средние века. Позднее они оказались, однако, забытыми и были вновь открыты позднее. Само понятие парадокса не является достаточно четко определенным, поэтому даже составить список уже открытых парадоксов сложно.
Логический словарь – это необходимый признак логических парадоксов. Парадоксы, которые относят к логическим, должны формулироваться в логических терминах. Однако в логике отсутствуют четкие критерии, позволяющие разделить термины на логические и нелогические. Логика занимается правильностью рассуждений и стремится свести к минимуму понятия, влияющие на правильность применяемых на практике выводов. Но однозначно определить этот минимум невозможно. Кроме того, логические термины пригодны и для формулировки нелогических утверждений. Не всегда получается однозначно определить, использует ли конкретный парадокс исключительно логические посылки.
Логические парадоксы не отделены от иных парадоксов жесткой границей – точно так же, как парадоксы в целом не отделяются от непарадоксального мира и всего, согласующегося с господствующими представлениями о действительности.
Когда логические парадоксы только начинали систематически изучать, казалось, что существует способ их выделения в соответствии с каким-то положением или правилом, которое просто еще не открыто. В качестве варианта предлагался принцип порочного круга, введенный Б. Расселом. В соответствии с этим принципом, в совокупности объектов не может содержаться членов, определяемых только на основе этой же совокупности.
Самоприменимость (или циркулярность) – общее свойство всех парадоксов. В каждом парадоксе объект, о котором говорится, характеризуется с помощью некоторой совокупности объектов, к которой он относится.
Например, если выделяется самый хитрый человек, при этом обращаются к совокупности людей, в которую входит и данный человек.
Все парадоксы базируются на самоприменимости понятия, а значит, как бы движении по кругу, что в конце концов приводит к исходному пункту. Когда стремятся охарактеризовать исследуемый объект, часто нужно обратиться к включающей его совокупности объектов. Однако может оказаться, что для определенности она сама нуждается в анализируемом объекте и без него не может быть понята ясным образом. Возможно, этот круг и порождает парадоксы.
Сложность связана с тем, что такой круг возникает и во многих абсолютно непарадоксальных рассуждениях. Циркулярностью характеризуется огромное количество безвредных, обычных и в то же время удобных способов выражения.
По таким примерам, как «самый маленький из городов», «один из электронов атома серы», «меньшее из натуральных чисел», можно видеть, что к противоречию ведет не любой случай самоприменимости, а также ее роль не только для обычного языка, но и для языка науки.
Простая ссылка на использование самоприменяемых понятий недостаточна, таким образом, для дискредитации парадоксов. Необходим еще какой-то дополнительный критерий, отделяющий самоприменимость, ведущую к парадоксу, от всех иных ее случаев.
Многие исследователи стремились найти признак, отличающий парадоксальную самоприменимость, но удачного уточнения циркулярности так и не удалось обнаружить. Оказалось невозможным охарактеризовать циркулярность так, чтобы любое циркулярное рассуждение приводило к парадоксу, а все парадоксы были итогом некоторого циркулярного рассуждения.
Попытка найти какой-то специфический принцип логики, нарушение которого было бы отличительной особенностью всех логических парадоксов, ни к чему определенному не привела.
Несомненно полезной была бы какая-то классификация парадоксов, подразделяющая их на типы и виды, группирующая одни парадоксы и противопоставляющая их другим. Однако и в этом деле ничего устойчивого не было достигнуто.
