- •Д. А. Гусев
- •Избранные научные публикации:
- •Учебные пособия по логике:
- •Аннотация
- •Оглавление
- •Глава 1. Понятие
- •Глава 2. Суждение
- •Глава 3. Умозаключение
- •Глава 4. Основные законы логики
- •Глава 5. Доказательство
- •Введение, или Что такое логика и зачем она нужна?
- •Глава 1. Понятие
- •1.1. Что такое понятие?
- •1.2. Виды понятий
- •1.3. Определенные и неопределенные понятия
- •1.4. Роль неопределенных понятий в мышлении
- •1.5. В каких отношениях могут быть понятия?
- •1.6. Круговые схемы Эйлера
- •1.7. Как ограничивать и обобщать понятия?
- •Родовое видовое
- •Родовое видовое
- •Родовое
- •1.9. Определение понятия
- •1.10. Правила определения
- •1.11. Деление понятия
- •1. 12. Правила деления
- •1.13. Как складываются и умножаются понятия?
- •Вопросы и задания к главе 1
- •Глава 2. Суждение
- •2.1. Что такое суждение?
- •2. 2. Структура суждения
- •2. 3. Виды суждений
- •2. 4. Простые суждения
- •2. 5. Распределенные и нераспределенные термины в простых суждениях
- •2. 6. Как устанавливать распределенность терминов в простых суждениях
- •2. 7. Преобразование простых суждений
- •2. 8. Отношения между суждениями
- •2. 9. Логический квадрат
- •Противоположность
- •Частичное совпадение
- •2. 10. Сложные суждения
- •2. 11. Истинность сложных суждений
- •2. 12. Формализация рассуждений
- •2. 13. Логические формулы и таблицы истинности
- •2. 14. Виды вопросов
- •2. 15. Корректные и некорректные вопросы
- •Вопросы и задания к главе 2
- •Глава 3. Умозаключение
- •3.1. Что такое умозаключение?
- •Все растения – это живые организмы.
- •3.2. Виды умозаключений
- •3.3. Простой, или категорический силлогизм
- •3.4. Правила терминов простого силлогизма
- •3.5. Правила посылок простого силлогизма
- •3.6. Энтимемы и эпихейремы
- •3.7. Полисиллогизмы и сориты
- •3.8. Умозаключения с союзом “или”
- •3.9. Правила умозаключений с союзом “или”
- •3.10. Умозаключения с союзом “если...То”
- •3.11. Правила умозаключений с союзом “если...То”
- •3.12. Дилеммы
- •3.13. Что такое индукция?
- •3.14. Правила индукции
- •3.15. Ошибки индукции
- •3.16. Установление причинных связей
- •3.17. Что такое аналогия?
- •3.18. Правила аналогии
- •Вопросы и задания к главе 3
- •Глава 4. Основные законы логики
- •4.1. Что такое закон тождества?
- •4.2. Нарушения закона тождества
- •4.3. Что запрещает закон противоречия?
- •4.4. Виды противоречий
- •4.5. Закон исключенного третьего
- •4.6. Закон достаточного основания
- •4.7. Чем отличается наука от псевдонауки?
- •4.8. Спор между софистами и Сократом
- •4.9. Софизмы
- •4.10. Парадоксы-антиномии
- •4.11. Парадокс “Протагор и Эватл”
- •4.12. Парадоксы-апории
- •Вопросы и задания к главе 4
- •Всех гостей «среда заела!»
- •Я онемел от удивления, услышав столь простую истину…»
- •Глава 5. Доказательство
- •5.1. Что такое доказательство?
- •5.2. Структура доказательства
- •5.3. Прямые и косвенные доказательства?
- •5.4. Виды и методы подтверждения
- •5.5. Виды и методы опровержения
- •5.6. Всегда ли доказательство необходимо?
- •5.7. Определенность тезиса в доказательстве
- •5.8. Неизменность тезиса в процессе доказательства
- •5.9. Истинность и достаточность аргументов в доказательстве
- •5.10. Ошибки в демонстрации
- •5.11. Условия успешной дискуссии
- •5.12. Корректные и некорректные приемы спора
- •5.13. Разновидности недопустимых приемов спора
- •5.14. Что такое гипотеза?
- •5.15. Как соотносятся теории и факты?
- •5.16. Рабочие и научные гипотезы
- •Вопросы и задания к главе 5
- •Заключение
- •Литература
5.9. Истинность и достаточность аргументов в доказательстве
Согласно первому правилу доказательства по отношению к аргументам, аргументы, или основания должны быть истинными суждениями. Это наиболее очевидное правило, ведь в случае их ложности доказательство является несостоятельным. Например, для подтверждения тезиса: Все дельфины – это рыбы используются следующие аргументы: 1. Все киты являются рыбами; 2. Все дельфины – это киты. Демонстрация в данном случае проходит в форме простого силлогизма первой фигуры, имеющего модус ААА:
Все киты являются рыбами.
Все дельфины – это киты.
Все дельфины – это рыбы.
Как видим, первая посылка, представляющая собой один из аргументов, является ложной, что приводит к разрушению, или уничтожению доказательства, несмотря на истинность второй посылки (другого аргумента). Подобного рода ошибка называется ложным основанием, или основным заблуждением.
Нередко бывает, что в качестве аргументов используются не ложные, а гипотетические суждения, т.е. такие, истинность или ложность которых еще не установлена. Например, в целях подтверждения тезиса: На Марсе есть жизнь привлекаются аргументы: 1. Если планета расположена в солнечной системе на определенном расстоянии от Солнца (как Земля – примерно 150 млн. км), а также если на ней имеется атмосфера и вода (как на Земле), то на ней есть жизнь; 2. Планета Марс расположена в солнечной системе на расстоянии приблизительно 200 млн. км от Солнца (разница между 150 млн. км и 200 млн. км для масштабов солнечной системы очень мала), на ней имеется атмосфера и вода. Демонстрация здесь представлена условно-категорическим силлогизмом утверждающего модуса:
Если планета расположена в солнечной системе на определенном расстоянии от Солнца ( 150 млн. км) и на ней имеется атмосфера и вода, то на ней есть жизнь.
Планета Марс расположена в солнечной системе на определенном расстоянии от Солнца ( 200 млн. км) и на ней есть атмосфера и вода.
На Марсе есть жизнь.
Первая (импликативная) посылка, которая представляет собой один из аргументов, является не ложным, но гипотетическим суждением (его истинность или ложность еще требуется установить: точно неизвестно, обязательно ли наличие перечисленных в первой посылке условий ведет к существованию жизни на планете). Гипотетичность одного из аргументов делает доказательство несостоятельным, несмотря на истинность другого аргумента (который представлен второй посылкой). Такая ошибка называется предвосхищением основания.
Итак, аргументы (основания) не должны быть ложными или гипотетическими суждениями. Разновидностью этого правила является требование, по которому аргументы не должны противоречить друг другу. Ведь если аргументы друг другу противоречат, то это означает, что какие-то из них ложны. Обычно такое бывает в том случае, когда аргументов приводится излишне много. Ошибка, возникающая в данной ситуации, носит длинное название – кто много доказывает, тот ничего не доказывает. Пример подобной ошибки можно найти в одном из произведений Марка Твена: “Мы перешли улицу и вскоре оказались у бывшего жилища святой Вероники. Когда Спаситель проходил здесь, она вышла ему навстречу, полная истинного женского сострадания, и, не страшась улюлюканья и угроз черни, сказала ему жалостливые слова и своим платком отерла пот с его лица. Мы столько слышали о святой Веронике, видели столько портретов работы самых разных мастеров, что увидеть ее древний дом в Иерусалиме было все равно, что неожиданно встретиться со старым другом. Но самое странное в случае со святой Вероникой, из-за чего она, собственно, и прославилась, заключается в том, что, когда она отирала пот, на ее платке отпечаталось лицо Спасителя, точный его портрет, и отпечаток этот сохранился по сей день. Мы знаем это, ибо видели этот платок в парижском соборе, в одном из соборов Испании и в двух итальянских. В Миланском соборе надо выложить пять франков, чтобы взглянуть на него, а в соборе св.Петра в Риме его почти невозможно увидеть ни за какие деньги. Ни одно предание не подтверждено столькими доказательствами, как предание о святой Веронике и ее носовом платке” (М.Твен “Простаки за границей”).
Дополнением к первому правилу доказательства по отношению к аргументам, в силу которого они должны быть истинными суждениями, является утверждение о том, что истинность аргументов должна быть установлена независимо от истинности тезиса. Нарушение этого правила ведет к тому, что тезис доказывается через аргументы, а аргументы – через тезис. При этом возникает ошибка – круг в доказательстве, или порочный круг (лат. circulus vitiosus). Например: Магомет является божьим пророком. Почему мы так считаем? Потому что он написал священную книгу – Коран, - содержание которой внушил ему Бог. Откуда мы знаем об этом? Сам Магомет так утверждает. Но вдруг он нас обманывает? Он не может нас обманывать, потому что он – божий пророк. А чем можно обосновать это утверждение? Тем, что он написал священную книгу Коран… и т.д.
Согласно второму правилу аргументы должны быть достаточными для доказательства тезиса, т.е. он должен вытекать из них с достоверностью. Как видим, данное правило представляет собой уже известный нам закон достаточного основания, о котором говорилось в предыдущей главе. Начиная рассматривать доказательство, мы также отмечали, что наличие аргументов само по себе не означает подтверждение или опровержение тезиса. Необходимо показать, что между ним и аргументами имеется необходимая связь, т.е. что аргументы обуславливают тезис. Этой цели посвящен такой элемент доказательства, как демонстрация.
Когда речь шла о законе достаточного основания, было приведено несколько примеров рассуждений, в которых аргументы являлись недостаточными для доказательства тезиса. Здесь рассмотрим еще один подобный пример. “Мы видим каждодневное движение Солнца вокруг Земли, а также наблюдаем ежегодное вращение всего небесного свода вокруг нашей планеты, следовательно, она представляет собой неподвижный центр мироздания”. В данном случае тезис обосновывается утверждениями о постоянно наблюдаемых фактах. Однако, видимое вполне может не соответствовать реальному, или действительному. Видимость движения Солнца и небосвода вокруг Земли – недостаточное основание для того, чтобы считать ее центром мира. Точно так же кажущаяся (наблюдаемая нами повседневно) плоская форма Земли не свидетельствует о том, что она действительно плоская; яркое ночное сияние Луны не является аргументом в пользу того, что она на самом деле излучает свет из своих недр; невидимость атомов, молекул, вирусов, бактерий и многих иных микрообъектов не говорит о том, что они не существуют.