- •Isbn 9785488018006 (ооо «Издательство Оникс»)
- •Оглавление
- •Глава 1. Что изучает логика ......................................................................... 7
- •Глава 3. Понятия, высказывания, умозаключения ............................ 32
- •Предисловие
- •1 Что изучает логика Глава
- •1. Основная задача логики
- •2. Логическая правильность
- •2. Логическая правильность
- •3. Логическая форма
- •3. Логическая форма
- •3. Логическая форма
- •4. Дескриптивизм и прескриптивизм в логике
- •4. Дескриптивизм и прескриптивизм в логике
- •4. Дескриптивизм и прескриптивизм в логике
- •2 Язык и мир Глава
- •1. Мышление и язык
- •2. Употребления языка
- •3. Логические категории
- •3. Логические категории
- •4. Логическая символика
- •4. Логическая символика
- •4. Логическая символика
- •Умозаключения Глава
- •1. Имена и понятия
- •1. Имена и понятия
- •2. Отношения между понятиями
- •2. Отношения между понятиями
- •Равнозначность
- •Пересечение
- •Подчинение
- •Исключение
- •3. Операция определения понятия
- •Противоречащие понятия Противоположные понятия
- •3. Операция определения понятия
- •3. Операция определения понятия
- •4. Операция деления понятия
- •4. Операция деления понятия
- •5. Простые и сложные высказывания
- •6. Категорические высказывания
- •6. Категорические высказывания
- •7. Умозаключения
- •7. Умозаключения
- •7. Умозаключения
- •4 Логические законы Глава
- •1. Понятие логического закона
- •1. Понятие логического закона
- •1. Понятие логического закона
- •2. Закон противоречия
- •2. Закон противоречия
- •2. Закон противоречия
- •3. Закон исключенного третьего
- •4. Другие логические законы
- •5. Силлогистика
- •6. Логические законы как тавтологии
- •7. Классическая и неклассическая логика
- •7. Классическая и неклассическая логика
- •5 Модальная логика Глава
- •1. Модальные понятия
- •1. Модальные понятия
- •2. Логическая необходимость
- •3. Физическая необходимость
- •3. Физическая необходимость
- •4. Добро и долг: возможность логического анализа
- •4. Добро и долг: возможность логического анализа
- •5. Структура оценочных высказываний
- •5. Структура оценочных высказываний
- •6. Логика оценок
- •6. Логика оценок
- •6. Логика оценок
- •7. Нормативные высказывания
- •Нормы и оценки
- •7. Нормативные высказывания
- •Нормы и описания
- •8. Принцип Юма
- •9. Структура и классификация норм
- •9. Структура и классификация норм
- •10. Логика норм
- •Как строятся доказательства Глава
- •1. Понятие доказательства
- •1. Понятие доказательства
- •1. Понятие доказательства
- •2. Прямое и косвенное доказательства
- •2. Прямое и косвенное доказательства
- •2. Прямое и косвенное доказательства
- •3. Ошибки в доказательстве
- •3. Ошибки в доказательстве
- •4. Опровержение
- •4. Опровержение
- •5. Доказательство как вычисление
- •5. Доказательство как вычисление
- •6. Как мыслит машина
- •6. Как мыслит машина
- •6. Как мыслит машина
- •7. Изменение смысла основных понятий логики
- •7 Логические ошибки Глава
- •1. Ошибки в определениях
- •1. Ошибки в определениях
- •2. Ошибки в делениях
- •2. Ошибки в делениях
- •2. Ошибки в делениях
- •3. Софизмы
- •8 Ловушки языка Глава
- •1. Многозначные понятия
- •1. Многозначные понятия
- •2. Неясные понятия
- •2. Неясные понятия
- •2. Неясные понятия
- •3. Неточные понятия
- •3. Неточные понятия
- •4. Ситуативные слова
- •4. Ситуативные слова
- •5. Опредмечивание абстракций
- •5. Опредмечивание абстракций
- •6. Роли понятий
- •6. Роли понятий
- •Рассуждения Глава
- •1. Неполная индукция
- •2. Косвенное подтверждение
- •2. Косвенное подтверждение
- •3. Целевое обоснование
- •4. Пример и иллюстрация
- •5. Образец
- •6. Аналогия
- •7. Методы установления причинных связей
- •7. Методы установления причинных связей
- •7. Методы установления причинных связей
- •10 Объяснение и понимание Глава
- •1. Оппозиция «объяснение—понимание»
- •1. Оппозиция «объяснение—понимание»
- •2. Объяснение
- •2. Объяснение
- •2. Объяснение
- •3. Два типа понимания
- •3. Два типа понимания
- •3. Два типа понимания
- •4. Целевое понимание деятельности человека
- •4. Целевое понимание деятельности человека
- •4. Целевое понимание деятельности человека
- •5. Понимание природы
- •6. Понимание языковых выражений
- •Значение слова и представление
- •Понимание языкового выражения как связь его значения с представлением
- •Контекстуальный характер понимания слов
- •11 Логические парадоксы Глава
- •1. Что такое парадокс
- •2. Парадокс лжеца
- •2. Парадокс лжеца
- •3. Три неразрешимых спора
- •3. Три неразрешимых спора
- •3. Три неразрешимых спора
- •4. Некоторые современные парадоксы
- •4. Некоторые современные парадоксы
- •4. Некоторые современные парадоксы
- •5. О чем говорят парадоксы
- •12 Искусство убеждать Глава
- •1. Логика и теория аргументации
- •1. Логика и теория аргументации
- •2. Факты: их сила и слабость
- •2. Факты: их сила и слабость
- •3. Теоретическое обоснование
- •3. Теоретическое обоснование
- •4. Контекстуальная аргументация
- •4. Контекстуальная аргументация
- •5. Корректные и некорректные споры
- •5. Корректные и некорректные споры
- •5. Корректные и некорректные споры
- •6. Четыре вида споров
- •6. Четыре вида споров
- •6. Четыре вида споров
- •7. Общие требования к спору
- •7. Общие требования к спору
- •7. Общие требования к спору
- •Логический практикум
- •Логическое противоречие
- •Доказательство
- •Ловушки языка
- •Правдоподобные рассуждения
- •Логические парадоксы
- •Тесты по курсу логики
- •1. Что изучает логика
- •2. Язык и мир
- •3. Понятия, высказывания, умозаключения
- •4. Логические законы
- •5. Модальная логика
- •6. Как строятся доказательства
- •7. Логические ошибки
- •8. Ловушки языка
- •9. Правдоподобные рассуждения
- •10. Искусство убеждать
- •Словарь терминов
- •Ивин Александр Архипович логика
- •105082, Москва, ул. Б. Почтовая, д. 7,стр. 1.
- •109193, Москва, ул. 5я Кожуховская, д. 13, стр. 1.
2. Парадокс лжеца
Парадоксы не всегда легко отделить от того, что только напоминает их. Еще труднее сказать, откуда возник парадокс, чем не устраивают нас самые естественные, казалось бы, допущения и многократно проверенные способы рассуждения.
С особой выразительностью это показывает один из наиболее древних и, пожалуй, самый знаменитый из логических парадоксов — парадокс лжеца. Он относится к выражениям, говорящим о самих себе. Открыл его Евбулид из Милета, придумавший многие интересные, до сих пор вызывающие полемику задачи. Но подлинную славу Евбулиду принес именно парадокс лжеца.
2. Парадокс лжеца
В простейшем варианте этого парадокса человек произносит всего одну фразу: «Я лгу». Или говорит: «Высказывание, которое я сейчас произношу, является ложным». Или: «Это высказывание ложно».
Если высказывание ложно, то говорящий сказал правду и, значит, сказанное им не является ложью. Если же высказывание не является ложным, а говорящий утверждает, что оно ложно, то это его высказывание ложно. Оказывается, таким образом, что, если говорящий лжет, он говорит правду, и наоборот.
В Средние века распространенной была такая формулировка: «Сказанное Платоном — ложно, говорит Сократ. — То, что сказал Сократ, — истина, говорит Платон».
Возникает вопрос, кто из них высказывает истину, а кто — ложь?
А вот современная перефразировка данного парадокса. Допустим, что на лицевой стороне карточки написаны только слова: «На другой стороне этой карточки написано истинное высказывание». Ясно, что эти слова представляют собой осмысленное утверждение. Перевернув карточку, мы должны либо обнаружить обещанное, либо нет. Если высказывание написано на обороте, то оно является либо истинным, либо нет. Однако на обороте стоят слова: «На другой стороне этой карточки написано ложное высказывание» — и ничего более. Допустим, что утверждение на лицевой стороне истинно. Тогда утверждение на обороте должно быть истинным, и, значит, утверждение нa лицевой стороне должно быть ложным. Но если утверждение с лицевой стороны ложно, тогда утверждение на обороте также должно быть ложным, и, следовательно, утверждение на лицевой стороне должно быть истинным. В итoгe — парадокс.
Парадокс лжеца произвел громадное впечатление на греков. И легко понять почему. Вопрос, который в нем ставится, с первого взгляда кажется совсем простым: лжет ли тот, кто говорит только то, что он лжет? Но ответ «да» приводит к ответу «нет», и наоборот. И размышление ничуть не проясняет ситуацию. За простотой и даже обыденностью вопроса оно открывает какуюто неясную и неизмеримую глубину.
Ходит даже легенда, что некий Филит Косский, отчаявшись разрешить этот парадокс, покончил с собой. Говорят, что один из известных древнегреческих логиков, Диодор Крон, уже на склоне лет дал обет не принимать пищу до тех пор, пока не найдет решение «лжеца», и вскоре умер, так ничего и не добившись.
В Средние века этот парадокс был отнесен к так называемым неразрешимым предложениям и сделался объектом систематического анализа.
В Новое время «лжец» долго не привлекал никакого внимания. За ним не видели никаких, даже малозначительных затруднений, касающихся употребления языка. И только в наше так называемое Новейшее время развитие логики достигло наконец уровня, когда проблемы, стоящие за этим парадоксом, стало возможным формулировать уже в строгих терминах.
Теперь «лжец» нередко именуется «королем логических парадоксов». Ему посвящена обширная научная литература.
И тем не менее, как и в случае многих других парадоксов, остается не вполне ясным, какие именно проблемы скрываются за ним и как следует избавляться от него.
Итак, существуют высказывания, говорящие о своей собственной истинности или ложности. Идея, что такого рода высказывания не являются осмысленными, очень стара. Еe отстаивал еще древнегреческий логик Хрисипп.
В средние века английский философ и логик У. Оккам заявил, что утверждение «Всякое высказывание ложно» бессмысленно, поскольку оно говорит в числе прочего и о своей собственной ложности. Из этого утверждения прямо следует противоречие. Если всякое высказывание ложно, то это относится и к самому данному утверждению, но то, что оно ложно, означает, что не всякое высказывание является ложным. Аналогично обстоит дело и с утверждением «Всякое высказывание истинно». Оно также должно быть отнесено к бессмысленным и также ведет к противоречию: если каждое высказывание истинно, то истинным является и отрицание самого этого высказывания, то есть высказывание, что не всякое высказывание истинно.
Почему, однако, высказывание не может осмысленно говорить о своей собственной истинности или ложности?
Уже современник Оккама, французский философ Ж. Буридан, не был согласен с его решением. С точки зрения обычных представлений о бессмысленности выражения типа «Я лгу», «Всякое высказывание истинно (ложно)» вполне осмысленны. О чем можно подумать, о том можно высказаться — таков общий принцип Буридана. Человек может думать об истинности утверждения, которое он произносит, значит, он может и высказаться об этом. Не все утверждения, говорящие о самих себе, относятся к бессмысленным. Например, утверждение «Это предложение написано порусски» является истинным, а утверждение «В этом предложении десять слов» ложно. И оба они совершенно осмысленны. Если допускается, что утверждение может говорить и о самом себе, то почему оно не способно со смыслом говорить и о таком своем свойстве, как истинность?
Сам Буридан считал высказывание «Я лгу» не бессмысленным, а ложным. Он обосновывал это так. Когда человек утверждает какоето предложение, он утверждает тем самым, что оно истинно. Если же предложение говорит о себе, что оно само является ложным, то оно представляет собой только сокращенную формулировку более сложного выражения, утверждающего одновременно и свою истинность, и свою ложность. Это выражение противоречиво и, следовательно, ложно. Ho оно никак не бессмысленно.
