Логика. Учебное пособие Гусев Дмитрий
24. Что представляют собой тождественно-истинные формулы, тождественно-ложные и выполнимые? Что можно сказать о рассуждении, если результатом его формализации является тождественно-истинная формула? Каким будет рассуждение, если его формализация выражается тождественно-ложной формулой? Каковы, с точки зрения логической верности, рассуждения, которые при формализации приводят к выполнимым формулам?
25. Каким образом возможно определить вид той или иной формулы, выражающей собой результат формализации некого рассуждения? По какому алгоритму строятся и заполняются таблицы истинности для логических формул? Придумайте какое-нибудь рассуждение, формализуйте его и с помощью таблицы истинности определите вид получившейся формулы.
26. С помощью построения таблицы истинности определите вид формулы, и, соответственно, – логическую верность того рассуждения, которое она выражает.
а) Если горная порода длительное время подвергается воздействию солнечных лучей, то она разрушается. Данная горная порода не подвергалась длительное время воздействию солнечных лучей. Следовательно, она не разрушается.
б) Когда человек льстит, он лжет. Когда человек лжет, он умышленно искажает истину. Следовательно, когда человек льстит, он умышленно искажает истину.
в) Призовое место займет команда «Спартак» или команда «Динамо». Однако, известно, что призовое место займет команда «Спартак». Следовательно, команда «Динамо» не займет призовое место.
г) Он изучает английский или немецкий. Он изучает английский. Следовательно, он не изучает немецкий.
27. Что такое вопрос? Почему вопрос не может быть суждением? В чем заключается близость вопроса и суждения? Чем отличаются исследовательские вопросы от информационных? Приведите по пять примеров исследовательских и информационных вопросов. Что представляют собой категориальные и пропозициональные вопросы? Приведите по пять примеров категориальных и пропозициональных вопросов.
28. Охарактеризуйте приведенные ниже вопросы с точки зрения их принадлежности к исследовательским или информационным, а также – категориальным или пропозициональным.
а) Когда был открыт закон всемирного тяготения?
б) Смогут ли жители Земли расселиться на других планетах Солнечной системы?
в) В каком году родился Наполеон?
г) Каково будущее человечества?
д) Возможно ли предотвратить третью мировую войну?
е) Что такое тригонометрия?
ж) Можно ли измерить расстояние от Земли до Луны?
з) Кто является создателем квантовой теории?
и) Чем отличаются естественные науки от гуманитарных?
к) Вел ли Древний Рим продолжительные завоевательные войны?
л) В чем смысл человеческой жизни?
м) Где находится самое высокое место земного шара?
н) Чему равна скорость света?
о) Что такое любовь?
п) Верно ли, что геоцентрическая картина мира появилась еще в древности?
р) Как зародилась жизнь во Вселенной?
с) Достигнут ли люди когда-нибудь всеобщего процветания?
29. Какова логическая структура вопроса? Приведите пример категориального исследовательского вопроса и выделите в нем основную (базисную) и искомую части. Сделайте то же самое с категориальным информационным вопросом, пропозициональным исследовательским вопросом и пропозициональным информационным вопросом. Какие вопросы являются логически корректными, а какие – некорректными? Приведите по пять примеров логически корректных и некорректных вопросов. Может ли быть у логически корректного вопроса ложная основная часть? Достаточно ли для определения корректного вопроса требования истинности его основной части? Что объединяет логически корректные категориальные и пропозициональные вопросы? Какие вопросы, среди логически некорректных являются провокационными или софистическими? Приведите три примера подобных вопросов.
30. Какие из приведенных ниже вопросов являются логически корректными, а какие некорректными?
а) Во сколько раз планета Юпитер превосходит по размерам Солнце?
б) Какова площадь Тихого океана?
в) В каком году В. В. Маяковский написал поэму «Облако в штанах»?
г) Как долго продолжалось плодотворная совместная научная работа Исаака Ньютона и Альберта Эйнштейна?
д) Чему равна длина экватора земного шара?
е) Каковы основные идеи знаменитого романа Л. Н. Толстого «Война и мир»?
ж) Под каким номером находится в периодической системе Д. И. Менделеева химический элемент меркурий?
з) В каком месте солнечной системы располагается галактика Млечный путь?
и) Быстрее ли звука движется свет?
Глава 3
Умозаключение
3.1. Что такое умозаключение?
Понятие, как мы уже знаем, является мысленным обозначением (отражением) какого-либо объекта или его признака, суждение представляет собой некое утвердительное или отрицательное высказывание об объектах, признаках, отношениях и т. п. Умозаключение – это третья (после понятия и суждения) форма мышления, в которой из двух или нескольких суждений, называемых посылками, вытекает новое суждение, называемое заключением, или выводом. В логике принято располагать посылки и вывод друг под другом и отделять посылки от вывода чертой:
Все живые организмы питаются влагой.
Все растения – это живые организмы.
Все растения питаются влагой.
В приведенном примере первые два суждения являются посылками, а третье – выводом. Понятно, что посылки должны быть истинными суждениями и должны быть связаны между собой. Если хотя бы одна из посылок ложна, то и вывод ложен:
Все птицы – это млекопитающие животные.
Все воробьи – это птицы.
Все воробьи – это млекопитающие животные.
Как видим, в приведенном примере ложность первой посылки приводит к ложному выводу, несмотря на то, что вторая посылка является истинной. Если посылки между собой не связаны, то вывод из них сделать невозможно. Например, из следующих двух посылок никакого вывода не следует:
Все планеты – это небесные тела.
Все сосны являются деревьями.
?
Обратим внимание на то, что умозаключения состоят из суждений, а суждения – из понятий, т. е. одна форма мышления входит в другую в качестве составной части.
Все умозаключения делятся на непосредственные и опосредованные. В непосредственных умозаключениях вывод делается из одной посылки. Например:
Все цветы являются растениями.
Некоторые растения являются цветами.
Еще пример:
Верно, что все цветы являются растениями.
Неверно, что некоторые цветы не являются растениями.
Нетрудно догадаться, что непосредственные умозаключения представляют собой уже известные нам операции преобразования простых суждений и выводы об истинности простых суждений по логическому квадрату. Первый приведенный выше пример непосредственного умозаключения является преобразованием простого суждения путем обращения, а во втором примере по логическому квадрату из истинности суждения вида А делается вывод о ложности суждения вида О.
В опосредованных умозаключениях вывод делается из нескольких посылок. Например:
Все рыбы – это живые существа.
Все караси – это рыбы.
Все караси – это живые существа.
Поскольку непосредственные умозаключения представляют собой различные логические операции с суждениями, то под умозаключениями подразумеваются, прежде всего, опосредованные умозаключения. В дальнейшем речь пойдет именно о них.
3.2. Виды умозаключений
Умозаключения, или опосредованные умозаключения делятся на три вида. Они бывают дедуктивными, индуктивными и умозаключениями по аналогии.
Дедуктивные умозаключения или дедукция (от лат. deductio – выведение) – это умозаключения, в которых из общего правила делается вывод для частного случая (из общего правила выводится частный случай).
Например:
Все звезды излучают энергию.
Солнце – это звезда.
Солнце излучает энергию.
Как видим, первая посылка представляет собой общее правило, из которого (при помощи второй посылки) вытекает частный случай в виде вывода: если все звезды излучают энергию, значит Солнце тоже ее излучает, потому что оно является звездой. В дедукции рассуждение идет от общего к частному, от большего к меньшему, знание сужается, в силу чего дедуктивные выводы достоверны, т. е. точны, обязательны, необходимы и т. п.
Посмотрим еще раз на приведенный выше пример. Мог бы из двух данных посылок вытекать иной вывод, кроме того, который из них вытекает? Не мог! Вытекающий вывод – единственно возможный в этом случае. Изобразим отношения между понятиями, из которых состояло наше умозаключение, кругами Эйлера. Объемы трех понятий: звезды; тела, излучающие энергию; Солнце схематично расположатся следующим образом:
Если объем понятия звезды включается в объем понятия тела, излучающие энергию, а объем понятия Солнце включается в объем понятия звезды, то объем понятия Солнце автоматически включается в объем понятия тела, излучающие энергию, в силу чего дедуктивный вывод и является достоверным.
Несомненное достоинство дедукции, конечно же, заключается в достоверности ее выводов. Вспомним, известный литературный герой Шерлок Холмс пользовался дедуктивным методом при раскрытии преступлений. Это значит, что он строил свои рассуждения таким образом, чтобы из общего выводить частное. В одном произведении, объясняя доктору Уотсону сущность своего дедуктивного метода, он приводит такой пример. Около убитого полковника Морена сыщики Скотлэнд-Ярда обнаружили выкуренную сигару и решили, что полковник выкурил ее перед смертью. Однако, он (Шерлок Холмс) неопровержимо доказывает, что полковник Морен не мог выкурить эту сигару, потому что он носил большие, пышные усы, а сигара выкурена до конца, т. е., если бы ее курил Морен, то он непременно подпалил бы свои усы. Следовательно, сигару выкурил другой человек. В этом рассуждении вывод выглядит убедительно именно потому, что он дедуктивный: из общего правила (Любой человек с большими, пышными усами не может выкурить сигару до конца) выводится частный случай (Полковник Морен не мог выкурить сигару до конца, потому что носил такие усы). Приведем рассмотренное рассуждение к принятой в логике стандартной форме записи умозаключений в виде посылок и вывода:
Любой человек с большими, пышными усами не может выкурить сигару до конца.
Полковник Морен носил большие, пышные усы.
Полковник Морен не мог выкурить сигару до конца.
Индуктивные умозаключения или индукция (от лат. inductio – наведение) – это умозаключения, в которых из нескольких частных случаев выводится общее правило (несколько частных случаев как бы наводят на общее правило). Например:
Юпитер движется.
Марс движется.
Венера движется.
Юпитер, Марс, Венера – это планеты.
Все планеты движутся.
Как видим, первые три посылки представляют собой частные случаи, четвертая посылка подводит их под один класс объектов, объединяет их, а в выводе говорится обо всех объектах этого класса, т. е. формулируется некое общее правило (вытекающее из трех частных случаев). Легко увидеть, что индуктивные умозаключения строятся по принципу, противоположному принципу построения дедуктивных умозаключений. В индукции рассуждение идет от частного к общему, от меньшего к большему, знание расширяется, в силу чего индуктивные выводы, в отличие от дедуктивных, не достоверны, а вероятностны. В рассмотренном выше примере индукции признак, обнаруженный у некоторых объектов какой-то группы, перенесен на все объекты этой группы, сделано обобщение, которое почти всегда чревато ошибкой: вполне возможно наличие в группе каких-то исключений, и даже если множество объектов из некой группы характеризуется каким-то признаком, то это не означает с достоверностью, что таким признаком характеризуются все объекты данной группы. Вероятностный характер выводов является, конечно же, недостатком индукции. Однако, ее несомненное достоинство и выгодное отличие от дедукции, которая представляет собой сужающееся знание, заключается в том, что индукция – это расширяющееся знание, способное приводить к новому, в то время как дедукция – это разбор старого и уже известного.
Умозаключения по аналогии или просто аналогия (от греч. analogia – соответствие) – это умозаключения, в которых на основе сходства предметов (объектов) в одних признаках делается вывод об их сходстве и в других признаках. Например:
Планета Земля расположена в солнечной системе, на ней есть атмосфера, вода и жизнь.
Планета Марс расположена в солнечной системе, на ней есть атмосфера и вода.
Вероятно, на Марсе есть жизнь.
Как видим, сравниваются (сопоставляются) два объекта (планета Земля и планета Марс), которые сходны между собой в некоторых существенных, важных признаках (находиться в солнечной системе, иметь атмосферу и воду). На основе данного сходства делается вывод о том, что, возможно, эти объекты сходны между собой и в других признаках: если на Земле есть жизнь, а Марс во многом похож на Землю, то не исключено наличие жизни и на Марсе. Выводы аналогии, как и выводы индукции, вероятностны.
3.3. Простой, или категорический силлогизм
Рассмотренные в предыдущем параграфе дедуктивные умозаключения также называются силлогизмами. Существует несколько видов силлогизмов. Первый из них называется простым, или категорическим, потому что все суждения, входящие в него (две посылки и вывод), являются простыми, или категорическими. Это уже известные нам суждения видов А, I, Е, О.
Рассмотрим пример простого силлогизма.
Все цветы (М) – это растения (Р).
Все розы (S) – это цветы (М).
Все розы (S) – это растения (Р).
Обе посылки и вывод являются в данном силлогизме простыми суждениями (причем и посылки, и вывод – это суждения вида А (общеутвердительные)). Обратим внимание на вывод, представленный суждением: Все розы – это растения. В этом выводе субъектом выступает термин розы, а предикатом – термин растения. Субъект вывода присутствует во второй посылке силлогизма, а предикат вывода – в первой. Также в обеих посылках повторяется термин цветы, который, как нетрудно увидеть, является связующим: именно благодаря ему не связанные, разобщенные в посылках термины растения и розы возможно связать в выводе. Таким образом, структура силлогизма включает в себя две посылки и один вывод, которые состоят из трех (различным образом расположенных) терминов.
1. Субъект вывода располагается во второй посылке силлогизма и называется меньшим термином силлогизма (вторая посылка также называется меньшей).
2. Предикат вывода располагается в первой посылке силлогизма и называется большим термином силлогизма (первая посылка также называется большей). Предикат вывода, как правило, является по объему большим понятием, чем субъект вывода (в приведенном примере понятия розы и растения находятся в отношении родовидового подчинения), в силу чего предикат вывода назван большим термином, а субъект вывода – меньшим.
3. Термин, который повторяется в двух посылках и связывает субъект с предикатом (меньший и больший термины), называется средним термином силлогизма и обозначается латинской буквой М, потому что «средний» на латинском – это medium.
Три термина силлогизма могут быть расположены в нем по-разному. Взаимное расположение терминов друг относительно друга называется фигурой простого силлогизма. Таких фигур четыре, т. е. все возможные варианты взаимного расположения терминов в силлогизме исчерпываются четырьмя комбинациями. Рассмотрим их.
Первая фигура силлогизма – это такое расположение его терминов, при котором первая посылка начинается со среднего термина, а вторая заканчивается средним термином. Например:
Все газы (М) – это химические элементы (Р).
Гелий (S) – это газ (М).
Гелий (S) – это химический элемент (Р).
Учитывая то, что в первой посылке средний термин связан с предикатом, во второй субъект связан со средним термином, а в выводе субъект связан с предикатом, составим схему расположения и связи терминов в приведенном примере:
Прямые линии на схеме (за исключением той, которая отделяет посылки от вывода) показывают связь терминов в посылках и в выводе. Поскольку роль среднего термина заключается в том, чтобы связывать больший и меньший термины силлогизма, то на схеме средний термин в первой посылке соединяется линией со средним термином во второй посылке. Схема показывает, каким именно образом средний термин связывает между собой другие термины силлогизма в его первой фигуре. Кроме того, можно изобразить отношения между тремя терминами с помощью кругов Эйлера. В данном случае получится следующая схема:
Вторая фигура силлогизма – это такое расположение его терминов, при котором и первая, и вторая посылки заканчиваются средним термином. Например:
Все рыбы (Р) дышат жабрами (М).
Все киты (S) не дышат жабрами (М).
Все киты (S) не рыбы (Р).
Схемы взаимного расположения терминов и отношений между ними во второй фигуре силлогизма выглядят так:
Третья фигура силлогизма – это такое расположение его терминов, при котором и первая, и вторая посылки начинаются со среднего термина. Например:
Все тигры (М) – это млекопитающие (Р).
Все тигры (М) – это хищники (S).
Некоторые хищники (S) – это млекопитающие (Р).
Схемы взаимного расположения терминов и отношений между ними в третьей фигуре силлогизма:
Четвертая фигура силлогизма – это такое расположение его терминов, при котором первая посылка заканчивается средним термином, а вторая начинается с него. Например:
Все квадраты (Р) – это прямоугольники (М).
Все прямоугольники (М) – это не треугольники (S).
Все треугольники (S) – это не квадраты (Р).
Схемы взаимного расположения терминов и отношений между ними в четвертой фигуре силлогизма:
(Отметим, что отношения между терминами силлогизма во всех фигурах могут быть и другими).
Любой простой силлогизм состоит из трех суждений (двух посылок и вывода). Каждое из них является простым и принадлежит к одному из четырех видов (А, I, Е, О). Набор простых суждений, входящих в силлогизм, называется модусом простого силлогизма. Например, в силлогизме:
Все небесные тела движутся.
Все планеты – это небесные тела.
Все планеты движутся.
Первая посылка является простым суждением вида А (общеутвердительным), вторая посылка – это тоже простое суждение вида А, и вывод в данном случае представляет собой простое суждение вида А. Поэтому рассмотренный силлогизм имеет модус ААА. Силлогизм:
Все журналы – это периодические издания.
Все книги не являются периодическими изданиями.
Все книги не являются журналами.
имеет модус АЕЕ. Силлогизм:
Все углероды – простые тела.
Все углероды электропроводны.
Некоторые электропроводники – простые тела.
имеет модус ААI. Всего модусов во всех четырех фигурах, т. е. возможных комбинаций простых суждений в силлогизме, – 256. В каждой фигуре 64 модуса. Однако из всех этих 256 модусов только 19 дают достоверные выводы, остальные приводят к вероятностным выводам. Если принять во внимание, что одним из главных признаков дедукции (а значит, и силлогизма) является достоверность ее выводов, то становится понятным, почему эти 19 модусов называются правильными, а остальные – неправильными.
Наша задача – уметь определять фигуру и модус любого простого силлогизма. Например, требуется установить фигуру и модус силлогизма:
Все вещества состоят из атомов.
Все жидкости – это вещества.
Все жидкости состоят из атомов.
Прежде всего надо найти субъект и предикат вывода, т. е. меньший и больший термины силлогизма. Далее следует установить местоположение меньшего термина во второй посылке и большего в первой. После этого можно определить средний термин и схематично изобразить расположение всех терминов в силлогизме:
Все вещества (М) состоят из атомов (Р).
Все жидкости (S) – это вещества (М).
Все жидкости (S) состоят из атомов (Р).
Как видим, рассматриваемый силлогизм построен по первой фигуре. Теперь надо найти его модус. Для этого следует выяснить, к какому виду простых суждений относится первая посылка, вторая и вывод. В нашем примере обе посылки и вывод являются суждениями вида А (общеутвердительными), т. е. модус данного силлогизма – ААА. Итак, предложенный силлогизм имеет первую фигуру и модус ААА.
Вывод простого силлогизма является истинным, конечно же, в том случае, когда истинны его посылки. Однако, истинность посылок – это не достаточное условие истинности вывода. Вполне может быть так, что обе посылки в силлогизме истинны, а вывод его ложен. Например:
Все дети обладают мышлением.
Все взрослые – это не дети.
Все взрослые не обладают мышлением.
В этом силлогизме, построенном по первой фигуре, и имеющим модус АЕЕ, и первая, и вторая посылки являются истинными суждениями, из которых вытекает ложный вывод. Почему так получается? Потому что при построении силлогизма следует обращать внимание не только на то, чтобы посылки были истинными, но и, в не меньшей степени, на то, чтобы были соблюдены определенные требования или правила его построения. Рассмотрим еще один пример:
Все нравственные заповеди надо соблюдать.
Законы государства не являются нравственными заповедями.
Законы государства не надо соблюдать.
Данный силлогизм также построен по первой фигуре и имеет модус АЕЕ. В нем из истинных посылок вытекает ложный вывод из-за нарушения правил простого силлогизма, которые будут рассмотрены далее.
3.4. Правила терминов простого силлогизма
Правила простого силлогизма делятся на общие и частные. Общие правила применимы ко всем простым силлогизмам, независимо от того, по какой фигуре они построены. Частные правила действуют только для каждой фигуры силлогизма и поэтому часто называются правилами фигур. Вспомним, что в структуре простого силлогизма выделяются три термина (больший, меньший и средний) и две посылки (большая и меньшая). Поэтому общие правила простого силлогизма обычно делятся на правила терминов и правила посылок силлогизма. Сначала рассмотрим правила терминов.
1. В силлогизме должно быть только три термина. Обратимся к уже упоминавшемуся (см. введение) примеру силлогизма, в котором данное правило нарушено:
Движение вечно.
Хождение в школу – это движение.
Хождение в школу вечно.
Обе посылки этого силлогизма являются истинными суждениями, однако из них вытекает ложный вывод, потому что нарушено рассматриваемое правило. Термин движение употребляется в двух посылках в двух разных смыслах (движение как всеобщее мировое изменение и движение как механическое перемещение тела из точки в точку), и получается, что терминов в силлогизме три (движение, хождение в школу, вечность), а смыслов (поскольку один из терминов употребляется в двух разных смыслах) четыре, т. е. лишний смысл как бы подразумевает лишний термин. Иначе говоря, в приведенном примере силлогизма было не три, а четыре (по смыслу) термина. Ошибка, возникающая при нарушении вышеприведенного правила, называется учетверением терминов.
2. Средний термин должен быть распределен хотя бы в одной из посылок. О распределенности терминов в простых суждениях речь шла в предыдущей главе. Напомним, что проще всего устанавливать распределенность терминов в простых суждениях с помощью круговых схем: надо изобразить кругами Эйлера отношения между терминами суждения, при этом полный круг на схеме будет обозначать распределенный термин (+), а неполный – нераспределенный (—). Рассмотрим пример силлогизма:
Все кошки – это живые существа.
Сократ – это тоже живое существо.
Сократ – это кошка.
Из двух истинных посылок вытекает ложный вывод. Изобразим кругами Эйлера отношения между терминами в посылках силлогизма и установим распределенность этих терминов:
Как видим, средний термин (живые существа) в данном случае нераспределен ни в одной из посылок, а по правилу он должен быть распределен хотя бы в одной из посылок. Ошибка, возникающая при нарушении рассматриваемого правила, так и называемая – нераспределенность среднего термина в каждой посылке.
3. Термин, который был нераспределен в посылке, не может быть распределен в выводе. Обратимся к следующему примеру:
Все яблоки съедобны.
Все груши – это не яблоки.
Все груши несъедобны.
Посылки силлогизма являются истинными суждениями, а вывод – ложным. Как и в предыдущем случае, изобразим кругами Эйлера отношения между терминами в посылках и в выводе силлогизма и установим распределенность этих терминов:
В данном случае предикат вывода, или больший термин силлогизма (съедобные предметы) в первой посылке является нераспределенным (—), а в выводе – распределенным (+), что запрещается рассматриваемым правилом. Ошибка, возникающая при его нарушении, называется расширением большего термина. (Вспомним, что термин распределен, когда речь идет обо всех предметах, входящих в него и нераспределен, когда речь идет о части предметов, входящих в него, именно поэтому ошибка и называется расширением термина).
Таковы правила терминов простого силлогизма. Теперь перейдем к рассмотрению правил его посылок.
3.5. Правила посылок простого силлогизма
1. В силлогизме не должно быть двух отрицательных посылок. Хотя бы одна из посылок силлогизма должна быть положительной (могут быть положительными и обе посылки). Если две посылки в силлогизме отрицательные, то вывод из них или вообще сделать нельзя, или же, если его сделать возможно, он будет ложным (или, по крайней мере, недостоверным, вероятностным). Например:
Снайперы не могут иметь плохое зрение.
Все мои друзья – не снайперы.
Все мои друзья имеют плохое зрение.
Обе посылки в силлогизме являются отрицательными суждениями и, несмотря на их истинность, из них вытекает ложный вывод. Ошибка, которая возникает в данном случае, так и называется – две отрицательные посылки.
2. В силлогизме не должно быть двух частных посылок.
Хотя бы одна из посылок должна быть общей (могут быть общими и обе посылки). Если две посылки в силлогизме представляют собой частные суждения, то вывод из них сделать невозможно. Например, из следующих посылок:
Некоторые школьники – это первоклассники.
Некоторые школьники – это десятиклассники.
?
никакой вывод не следует, потому что обе они являются частными. Ошибка, возникающая при нарушении данного правила, так и называется – две частные посылки.
3. Если одна из посылок отрицательная, то и вывод должен быть отрицательным. Например:
Ни один металл не является изолятором.
Медь – это металл.
Медь не является изолятором.
Как видим, из двух посылок данного силлогизма не может вытекать утвердительный вывод. Он может быть только отрицательным.
4. Если одна из посылок частная, то и вывод должен быть частным. Например:
Все углеводороды – это органические соединения.
Некоторые вещества – это углеводороды.
Некоторые вещества – это органические соединения.
В этом силлогизме из двух посылок не может следовать общий вывод. Он может быть только частным, т. к. вторая посылка является частной.
Таковы общие правила простого силлогизма. Теперь перечислим частные правила, или правила фигур силлогизма.
Для первой фигуры: большая посылка должна быть общей, меньшая – утвердительной.
Для второй фигуры: большая посылка должна быть общей, одна из посылок и вывод должны быть отрицательными.