Изложены основы логики, даётся общее и доступное представление о законах нашего мышления и о науке, изучающей их, показан логический анализ в действии, в применении к содержательно интересным проблемам, встречающимся в повседневной практике.
Книга предназначена для студентов высших учебных заведений.
1. Король логических парадоксов
Известно, что сформулировать проблему часто важнее и труднее, чем решить её. «В науке, – писал английский химик Ф. Содди, – задача, надлежащим образом поставленная, более чем наполовину решена. Процесс умственной подготовки, необходимый для выяснения того, что существует определённая задача, часто отнимает больше времени, чем само решение задачи».
Формы, в которых проявляется и осознаётся проблемная ситуация, очень разнообразны. Далеко не всегда она обнаруживает себя в виде прямого вопроса, вставшего в самом начале исследования. Мир проблем так же сложен, как и порождающий их процесс познания. Выявление проблем связано с самой сутью творческого мышления. Парадоксы представляют собой наиболее интересный случай неявных, безвопросных способов постановки проблем. Парадоксы обычны на ранних стадиях развития научных теорий, когда делаются первые шаги в ещё неизученной области и нащупываются самые общие принципы подхода к ней.
В широком смысле парадокс – это положение, резко расходящееся с общепринятыми, устоявшимися, ортодоксальными мнениями. «Общепризнанные мнения и то, что считают делом давно решённым, чаще всего заслуживают исследования» (Г.Лихтенберг). Парадокс – начало такого исследования.
2. Парадокс Рассела
Самым знаменитым из открытых уже в нашем веке парадоксов является антиномия, обнаруженная Б. Расселом и сообщённая им в письме к Г. Ферге. Эту же антиномию обсуждали одновременно в Гёттингене немецкие математики 3. Цермело и Д. Гильберт.
Идея носилась в воздухе, и её опубликование произвело впечатление разорвавшейся бомбы. Этот парадокс вызвал в математике, по мнению Гильберта, эффект полной катастрофы. Нависла угроза над самыми простыми и важными логическими методами, самыми обыкновенными и полезными понятиями.
Сразу же стало очевидным, что ни в логике, ни в математике за всю долгую историю их существования не было выработано решительно ничего, что могло бы послужить основой для устранения антиномии. Явно оказался необходимым отход от привычных способов мышления. Но из какого места и в каком направлении? Насколько радикальным должен был стать отказ от устоявшихся способов теоретизирования?
С дальнейшим исследованием антиномии убеждение в необходимости принципиально нового подхода неуклонно росло. Спустя полвека после её открытия специалисты по основаниям логики и математики Л. Френкель и И.Бар-Хиллел уже без всяких оговорок утверждали: «Мы полагаем, что любые попытки выйти из положения с помощью традиционных (то есть имевших хождение до XX столетия) способов мышления, до сих пор неизменно проваливавшихся, заведомо недостаточны для этой цели».