- Любовные романы
- Фантастика и фэнтези
- Ненаучная фантастика
- Ироническое фэнтези
- Научная Фантастика
- Фэнтези
- Ужасы и Мистика
- Боевая фантастика
- Альтернативная история
- Космическая фантастика
- Попаданцы
- Юмористическая фантастика
- Героическая фантастика
- Детективная фантастика
- Социально-психологическая
- Боевое фэнтези
- Русское фэнтези
- Киберпанк
- Романтическая фантастика
- Городская фантастика
- Технофэнтези
- Мистика
- Разная фантастика
- Иностранное фэнтези
- Историческое фэнтези
- LitRPG
- Эпическая фантастика
- Зарубежная фантастика
- Городское фентези
- Космоопера
- Разное фэнтези
- Книги магов
- Любовное фэнтези
- Постапокалипсис
- Бизнес
- Историческая фантастика
- Социально-философская фантастика
- Сказочная фантастика
- Стимпанк
- Романтическое фэнтези
- Ироническая фантастика
- Детективы и Триллеры
- Проза
- Юмор
- Феерия
- Новелла
- Русская классическая проза
- Современная проза
- Повести
- Контркультура
- Русская современная проза
- Историческая проза
- Проза
- Классическая проза
- Советская классическая проза
- О войне
- Зарубежная современная проза
- Рассказы
- Зарубежная классика
- Очерки
- Антисоветская литература
- Магический реализм
- Разное
- Сентиментальная проза
- Афоризмы
- Эссе
- Эпистолярная проза
- Семейный роман/Семейная сага
- Поэзия, Драматургия
- Приключения
- Детская литература
- Загадки
- Книга-игра
- Детская проза
- Детские приключения
- Сказка
- Прочая детская литература
- Детская фантастика
- Детские стихи
- Детская образовательная литература
- Детские остросюжетные
- Учебная литература
- Зарубежные детские книги
- Детский фольклор
- Буквари
- Книги для подростков
- Школьные учебники
- Внеклассное чтение
- Книги для дошкольников
- Детская познавательная и развивающая литература
- Детские детективы
- Домоводство, Дом и семья
- Юмор
- Документальные книги
- Бизнес
- Работа с клиентами
- Тайм-менеджмент
- Кадровый менеджмент
- Экономика
- Менеджмент и кадры
- Управление, подбор персонала
- О бизнесе популярно
- Интернет-бизнес
- Личные финансы
- Делопроизводство, офис
- Маркетинг, PR, реклама
- Поиск работы
- Бизнес
- Банковское дело
- Малый бизнес
- Ценные бумаги и инвестиции
- Краткое содержание
- Бухучет и аудит
- Ораторское искусство / риторика
- Корпоративная культура, бизнес
- Финансы
- Государственное и муниципальное управление
- Менеджмент
- Зарубежная деловая литература
- Продажи
- Переговоры
- Личная эффективность
- Торговля
- Научные и научно-популярные книги
- Биофизика
- География
- Экология
- Биохимия
- Рефераты
- Культурология
- Техническая литература
- История
- Психология
- Медицина
- Прочая научная литература
- Юриспруденция
- Биология
- Политика
- Литературоведение
- Религиоведение
- Научпоп
- Психология, личное
- Математика
- Психотерапия
- Социология
- Воспитание детей, педагогика
- Языкознание
- Беременность, ожидание детей
- Транспорт, военная техника
- Детская психология
- Науки: разное
- Педагогика
- Зарубежная психология
- Иностранные языки
- Филология
- Радиотехника
- Деловая литература
- Физика
- Альтернативная медицина
- Химия
- Государство и право
- Обществознание
- Образовательная литература
- Учебники
- Зоология
- Архитектура
- Науки о космосе
- Ботаника
- Астрология
- Ветеринария
- История Европы
- География
- Зарубежная публицистика
- О животных
- Шпаргалки
- Разная литература
- Боевые искусства
- Прочее
- Периодические издания
- Фанфик
- Военное
- Цитаты из афоризмов
- Гиды, путеводители
- Литература 19 века
- Зарубежная образовательная литература
- Военная история
- Кино
- Современная литература
- Военная техника, оружие
- Культура и искусство
- Музыка, музыканты
- Газеты и журналы
- Современная зарубежная литература
- Визуальные искусства
- Отраслевые издания
- Шахматы
- Недвижимость
- Великолепные истории
- Музыка, танцы
- Авто и ПДД
- Изобразительное искусство, фотография
- Истории из жизни
- Готические новеллы
- Начинающие авторы
- Спецслужбы
- Подростковая литература
- Зарубежная прикладная литература
- Религия и духовность
- Старинная литература
- Справочная литература
- Компьютеры и Интернет
- Блог
По законам логики - Александр Ивин
Шрифт:
Интервал:
Закладка:
И наконец, непродуманный и неосторожный отказ от слишком многих или слишком сильных допущений может привести просто к тому, что получится хотя и не содержащая парадоксов, но существенно более слабая теория, имеющая только частный интерес.
Каким может быть минимальный, наименее радикальный комплекс мер, позволяющих избежать известных парадоксов?
Один путь — это выделение наряду с истинными и ложными предложениями также бессмысленных предложений. Этот путь был принят Б. Расселом. Парадоксальные рассуждения были объявлены им бессмысленными на том основании, что в них нарушаются требования логической грамматики. Не всякое предложение, не нарушающее правил обычной грамматики, является осмысленным — оно должно удовлетворять также правилам особой, логической грамматики.
Б. Рассел построил теорию логических типов — своеобразную логическую грамматику, задачей которой было устранение всех известных антиномий. В дальнейшем эта теория была существенно упрощена и получила название простой теории типов.
Основная идея теории типов — выделение разных в логическом отношении типов предметов, введение своеобразной иерархии, или лестницы, рассматриваемых объектов. К низшему, или нулевому, типу относятся индивидуальные объекты, не являющиеся множествами. К первому типу относятся множества объектов нулевого типа, то есть индивидов; ко второму — множества множеств индивидов и т. д. Иными словами, проводится различие между предметами, свойствами предметов, свойствами свойств предметов и т. д. При этом вводятся определенные ограничения на конструирование предложений. Свойства можно приписывать предметам, свойства свойств — приписывать свойствам и т. д. Но нельзя осмысленно утверждать, что свойства свойств имеются у предметов.
Возьмем серию предложений:
Этот дом — красный.
Красное — это цвет.
Цвет — это оптическое явление.
В этих предложениях выражение «этот дом» обозначает определенный предмет, слово «красный» указывает на свойство, присущее данному предмету, «являться цветом» — на свойство этого свойства («быть красным») и «быть оптическим явлением» — указывает на свойство свойства «быть цветом», принадлежащего свойству «быть красным». Здесь мы имеем дело не только с предметами и их свойствами, но и со свойствами свойств («свойство быть красным имеет свойство быть цветом»), и даже со свойствами свойств свойств.
Все три предложения из приведенной серии являются, конечно, осмысленными. Они построены в соответствии с требованиями теории типов. А скажем, предложение «Этот дом есть цвет» нарушает данные требования. Оно приписывает предмету ту характеристику, которая может принадлежать только свойствам, но не предметам. Аналогичное нарушение содержится и в предложении «Этот дом является оптическим явлением». Оба эти предложения должны быть отнесены к бессмысленным.
Простая теория типов устраняет парадокс Рассела. Однако для устранения парадоксов «лжеца» и Берри простое разделение рассматриваемых объектов на типы уже недостаточно. Необходимо вводить дополнительно некоторое упорядочение внутри самих типов.
Исключение парадоксов может быть достигнуто также на пути отказа от использования «слишком больших» множеств, подобных множеству всех множеств. Этот путь был предложен немецким математиком Е. Цер-мело, связавшим появление парадоксов с неограниченным конструированием множеств. Допустимые множества были определены им некоторым списком аксиом, сформулированных так, чтобы из них не выводились известные парадоксы. Вместе с тем эти аксиомы были достаточно сильны для вывода из них обычных рассуждений классической математики, но без парадоксов. Ни эти два, ни другие предлагавшиеся пути устранения парадоксов не являются общепризнанными. Нет единого убеждения, что какая-то из предложенных теорий разрешает логические парадоксы, а не просто отбрасывает их без глубокого объяснения. Проблема объяснения парадоксов по-прежнему открыта и по-прежнему важна.
ПАРАДОКСЫ — ТОЛЬКО СИМПТОМ
У Г. Фреге, признаваемого теперь многими величайшим логиком прошлого века, был, к сожалению, очень скверный характер. Кроме того, он был безоговорочен и даже жесток в своей критике современников. Возможно, поэтому его вклад в логику и обоснование математики долго не получали признания. И вот когда оно начало приходить к нему, молодой английский логик Б. Рассел написал ему, что в системе, опубликованной в первом томе его наиболее важной книги «Основные законы арифметики», возникает противоречие. Второй том этой книги был уже в печати, и Г. Фреге лишь добавил к нему специальное приложение, в котором изложил это противоречие (позднее названное «парадоксом Рассела») и признал, что он не способен его устранить.
Последствия были для Г. Фреге трагическими. Ему было тогда всего пятьдесят пять лет, но после испытанного потрясения он не опубликовал больше ни одной значительной работы по логике, хотя прожил еще более двадцати лет. Он не откликнулся даже на оживленную дискуссию, названную парадоксом Рассела, и никак не прореагировал на многочисленные предлагавшиеся решения этого парадокса.
Впечатление, произведенное на математиков и логиков только что открытыми парадоксами, хорошо выразил Д. Гильберт: «…состояние, в котором мы находимся сейчас в отношении парадоксов, на продолжительное время невыносимо. Подумайте: в математике — этом образце достоверности и истинности — образование понятий и ход умозаключений, как их всякий изучает, преподает и применяет, приводит к нелепости. Где же искать надежность и истинность, если даже само математическое мышление дает осечку?»
Г. Фреге был типичным представителем логики конца XIX века, свободной от каких бы то ни было парадоксов, логики, уверенной в своих возможностях и претендующей на то, чтобы быть критерием строгости даже для математики. Парадоксы показали, что «абсолютная строгость», достигнутая якобы логикой, была не более чем иллюзией. Они бесспорно показали, что логика — в том интуитивном виде, какой она имела на рубеже веков, — нуждается в глубоком пересмотре.
Прошло более полувека с тех пор, как началось оживленное обсуждение парадоксов. Предпринятая ревизия логики так и не привела, однако, к недвусмысленному их разрешению.
И вместе с тем такое состояние вряд ли кому кажется теперь невыносимым. С течением времени отношение к парадоксам стало более спокойным и даже более терпимым, чем в момент их обнаружения.
Дело не только в том, что парадоксы сделались чем-то хотя и неприятным, но тем не менее привычным. И разумеется, не в том, что с ними смирились. Они все еще остаются в центре внимания логиков, поиски их решений активно продолжаются.
Ситуация изменилась прежде всего в том отношении, что парадоксы оказались, гак сказать, локализованными. Они обрели свое определенное, хотя и неспокойное место в широком спектре логических исследований.
Стало ясно, что абсолютная строгость, какой она рисовалась в конце прошлого века и даже иногда в начале нынешнего, — это в принципе недостижимый идеал.
Было осознано также, что нет одной-единственной, стоящей особняком проблемы парадоксов. Проблемы, связанные с ними, относятся к разным типам и затрагивают, в сущности, все основные разделы логики. Обнаружение парадокса заставляет глубже проанализировать наши логические интуиции и заняться систематической переработкой основ науки логики. При этом стремление избежать парадоксов не является ни единственной, ни даже, пожалуй, главной задачей. Они являются хотя и важным, но только поводом для размышления над центральными темами логики. Продолжая сравнение парадоксов с особо отчетливыми симптомами болезни, можно сказать, что стремление немедленно исключить парадоксы было бы подобно желанию снять такие симптомы, не особенно заботясь о самой болезни. Требуется не просто разрешение парадоксов, необходимо их объяснение, углубляющее наши представления о логических закономерностях мышления.
ВМЕСТО ЗАКЛЮЧЕНИЯ
О многом шла речь в этой книге. Еще больше интересных и важных тем осталось по необходимости за ее пределами.
Логика — это особый, самобытный мир со своими законами, условностями, традициями, спорами и т. д. То, о чем говорит эта наука, знакомо и близко каждому. Но войти в ее мир, почувствовать его внутреннюю согласованность и динамику, проникнуться его своеобразным духом непросто.
Если книга в какой-то мере помогла в этом, задача автора выполнена.
Хотелось бы пожелать, чтобы читатель — если он впервые познакомился теперь с логикой — не остановился на первом шаге. Особенно если это молодой читатель.