ошибками отдельных учёных, а с самой природой научного познания. В естественном языке неточных понятий подавляющее большинство; это говорит, помимо всего прочего, о его гибкости и скрытой силе. Тот, кто требует от всех понятий предельной точности, рискует вообще остаться без языка. «Лишите слова всякой двусмысленности, всякой неопределённости, – писал французский эстетик Ж. Жубер, – превратите их… в однозначные цифры – из речи уйдёт игра, а вместе с нею – красноречие и поэзия: всё, что есть подвижного и изменчивого в привязанностях души, не сможет найти своего выражения. Но что я говорю: лишите… Скажу больше. Лишите слова всякой неточности – и вы лишитесь даже аксиом».
Долгое время и логики, и математики не обращали внимания на трудности, связанные с размытыми понятиями и соответствующими им множествами. Вопрос ставился так: понятия должны быть точными, а всё расплывчатое недостойно серьёзного интереса. В последние десятилетия эта чрезмерно строгая установка потеряла, однако, привлекательность. Построены логические теории, специально учитывающие своеобразие рассуждений с неточными понятиями.
Активно развивается математическая теория так называемых размытых множеств, нечётко очерченных совокупностей объектов.
Анализ проблем неточности – это шаг на пути сближения логики с практикой обычного мышления. И можно предполагать, что он принесёт ещё многие интересные результаты.
Парадоксы индуктивной логики
Нет, пожалуй, такого раздела логики, в котором не было бы своих собственных парадоксов.
В индуктивной логике есть свои парадоксы, с которыми активно, но пока без особого успеха борются уже почти полвека. Особенно интересен парадокс подтверждения, открытый американским философом К.Гемпелем. Естественно считать, что общие положения, в частности научные законы, подтверждаются своими положительными примерами. Если рассматривается, скажем, высказывание «Все А есть В», то положительными его примерами будут объекты, обладающие свойствами А и В. В частности, подтверждающие примеры для высказывания «Все вороны чёрные» – это объекты, являющиеся и воронами, и чёрными. Данное высказывание равносильно, однако, высказыванию «Все предметы, не являющиеся чёрными, не вороны», и подтверждение последнего должно быть также подтверждением первого. Но «Всё не чёрное не ворона» подтверждается каждым случаем не чёрного предмета, не являющегося вороной. Выходит, таким образом, что наблюдения «Корова белая», «Ботинки коричневые» и т.п. подтверждают высказывание «Все вороны чёрные».
Из невинных, казалось бы, посылок вытекает неожиданный парадоксальный результат.
В логике норм беспокойство вызывает целый ряд её законов. Когда они формулируются в содержательных терминах, несоответствие их обычным представлениям о должном и запрещённом становится очевидным. Например, один из законов говорит, что из распоряжения «Отправьте письмо!» вытекает распоряжение «Отправьте письмо или сожгите его!».
Другой закон утверждает, что, если человек нарушил одну из своих обязанностей, он получает право делать всё, что угодно. С такого рода «законами долженствования» наша логическая интуиция никак не хочет мириться.
В логике знания усиленно обсуждается парадокс логического всеведения. Он утверждает, что человек знает все логические следствия, вытекающие из принимаемых им положений. Например, если человеку известны пять постулатов геометрии Евклида, то, значит, он знает и всю эту геометрию, поскольку она вытекает из них. Но это не так. Человек может соглашаться с постулатами и вместе с тем не уметь доказать теорему Пифагора и потому сомневаться, что она вообще верна.
6. Что такое логический парадокс
Никакого исчерпывающего перечня логических парадоксов не существует, да он и невозможен.
Рассмотренные парадоксы – это только часть из всех обнаруженных к настоящему времени. Вполне вероятно, что в будущем откроют и многие другие парадоксы, и даже совершенно новые их типы. Само понятие парадокса не является настолько определённым, чтобы удалось составить список хотя бы уже известных парадоксов.
«Теоретико-множественные парадоксы являются очень серьёзной проблемой, не для математики, однако, а скорее для логики и теории познания», – пишет австрийский математик и логик К.Гёдель. «Логика непротиворечива. Не существует никаких логических парадоксов», – утверждает математик Д.Бочвар. Такого рода расхождения иногда существенны, иногда словесны. Дело во многом в том, что именно понимается под логическим парадоксом.
Своеобразие логических парадоксов
Необходимым признаком логических парадоксов считается логический словарь.
Парадоксы, относимые к логическим, должны быть сформулированы в логических терминах. Однако в логике нет чётких критериев деления терминов на логические и нелогические. Логика, занимающаяся правильностью рассуждений, стремится свести понятия, от которых зависит правильность практически применяемых выводов, к минимуму. Но этот минимум не предопределён однозначно. Кроме того, в логических терминах можно сформулировать и нелогические утверждения. Использует ли конкретный парадокс только чисто логические посылки, далеко не всегда удаётся определить однозначно.
Логические парадоксы не отделяются жёстко от всех иных парадоксов, подобно тому как последние не отграничиваются ясно от всего непарадоксального и согласующегося с господствующими представлениями.
На первых порах изучения логических парадоксов казалось, что их можно выделить по нарушению некоторого, ещё не исследованного положения или правила логики. Особенно активно претендовал на роль такого правила введённый Б.Расселом принцип порочного круга. Этот принцип утверждает, что совокупность объектов не может содержать членов, определимых только посредством этой же совокупности.
Все парадоксы имеют одно общее свойство – самоприменимость, или циркулярность. В каждом из них объект, о котором идёт речь, характеризуется посредством некоторой совокупности объектов, к которой он сам принадлежит. Если мы выделяем, например, самого хитрого человека, мы делаем это при помощи совокупности людей, к которой относится и данный человек. И если мы говорим: «Это высказывание ложно», мы характеризуем интересующее нас высказывание путём ссылки на включающую его совокупность всех ложных высказываний.
Во всех парадоксах имеет место самоприменимость понятий, а значит, есть как бы движение по кругу, приводящее в конце концов к исходному пункту. Стремясь охарактеризовать интересующий нас объект, мы обращаемся к той совокупности объектов, которая включает его. Однако оказывается, что сама она для своей определённости нуждается в рассматриваемом объекте и не может быть ясным образом понята без него. В этом круге, возможно, и кроется источник парадоксов.
Ситуация осложняется, однако, тем, что такой круг имеется во многих совершенно непарадоксальных рассуждениях. Циркулярным является огромное множество самых обычных, безвредных и вместе с тем удобных способов выражения. Такие примеры, как «самый большой из всех городов», «наименьшее из всех натуральных чисел», «один из электронов атома железа» и т.п., показывают, что далеко не всякий случай самоприменимости ведёт к противоречию и что она важна не только в обычном языке, но и в языке науки.
Простая ссылка на использование самоприменяемых понятий недостаточна, таким образом, для дискредитации парадоксов. Необходим ещё какой-то дополнительный критерий, отделяющий самоприменимость, ведущую к парадоксу, от всех иных её случаев.
Было много предложений на этот счёт, но удачного уточнения циркулярности так и не было найдено. Невозможным оказалось охарактеризовать циркулярность таким образом, чтобы каждое циркулярное рассуждение вело к парадоксу, а каждый парадокс был итогом некоторого циркулярного рассуждения.
Попытка найти какой-то специфический принцип логики, нарушение которого было бы отличительной особенностью всех логических парадоксов, ни к чему определённому не привела.
Несомненно полезной была бы какая-то классификация парадоксов, подразделяющая их на типы и
