23. Что представляет собой логическая процедура формализации высказывания или рассуждения? Придумайте какое-нибудь рассуждение и совершите его формализацию. Формализуйте следующие рассуждения.
а) Если какое-либо вещество является металлом, то оно электропроводно. Медь является металлом. Следовательно, медь электропроводна.
б) Известный английский философ Фрэнсис Бэкон жил в XVII веке или в XV веке, или в XIII веке. Фрэнсис Бэкон жил в XVII веке. Следовательно он не жил ни в XV веке, ни в XIII веке.
в) Если ты не упрям, то ты можешь изменить свое мнение. Если же ты можешь изменить свое мнение, то ты способен признать данное суждение ложным. Следовательно, если ты не упрям, то ты способен признать данное суждение ложным.
г) Если сумма внутренних углов геометрической фигуры равна 180° то такая фигура является треугольником. Сумма внутренних углов данной геометрической фигуры не равна 180°. Следовательно, данная геометрическая фигура не является треугольником.
д) Леса бывают хвойными или лиственными, или смешанными. Этот лес не лиственный и не хвойный. Следовательно, этот лес смешанный.
24. Что представляют собой тождественно-истинные формулы, тождественно-ложные и выполнимые? Что можно сказать о рассуждении, если результатом его формализации является тождественно-истинная формула? Каким будет рассуждение, если его формализация выражается тождественно-ложной формулой? Каковы, с точки зрения логической верности, рассуждения, которые при формализации приводят к выполнимым формулам?
25. Каким образом возможно определить вид той или иной формулы, выражающей собой результат формализации некого рассуждения? По какому алгоритму строятся и заполняются таблицы истинности для логических формул? Придумайте какое-нибудь рассуждение, формализуйте его и с помощью таблицы истинности определите вид получившейся формулы.
26. С помощью построения таблицы истинности определите вид формулы, и, соответственно, – логическую верность того рассуждения, которое она выражает.
а) Если горная порода длительное время подвергается воздействию солнечных лучей, то она разрушается. Данная горная порода не подвергалась длительное время воздействию солнечных лучей. Следовательно, она не разрушается.
б) Когда человек льстит, он лжет. Когда человек лжет, он умышленно искажает истину. Следовательно, когда человек льстит, он умышленно искажает истину.
в) Призовое место займет команда "Спартак" или команда "Динамо". Однако, известно, что призовое место займет команда "Спартак". Следовательно, команда "Динамо" не займет призовое место.
г) Он изучает английский или немецкий. Он изучает английский. Следовательно, он не изучает немецкий.
27. Что такое вопрос? Почему вопрос не может быть суждением? В чем заключается близость вопроса и суждения? Чем отличаются исследовательские вопросы от информационных? Приведите по пять примеров исследовательских и информационных вопросов. Что представляют собой категориальные и пропозициональные вопросы? Приведите по пять примеров категориальных и пропозициональных вопросов.
28. Охарактеризуйте приведенные ниже вопросы с точки зрения их принадлежности к исследовательским или информационным, а также – категориальным или пропозициональным.
а) Когда был открыт закон всемирного тяготения?
б) Смогут ли жители Земли расселиться на других планетах Солнечной системы?
в) В каком году родился Наполеон?
г) Каково будущее человечества?
д) Возможно ли предотвратить третью мировую войну?
е) Что такое тригонометрия?
ж) Можно ли измерить расстояние от Земли до Луны?
з) Кто является создателем квантовой теории?
и) Чем отличаются естественные науки от гуманитарных?
к) Вел ли Древний Рим продолжительные завоевательные войны?
л) В чем смысл человеческой жизни?
м) Где находится самое высокое место земного шара?
н) Чему равна скорость света?
о) Что такое любовь?
п) Верно ли, что геоцентрическая картина мира появилась еще в древности?
р) Как зародилась жизнь во Вселенной?
с) Достигнут ли люди когда-нибудь всеобщего процветания?
29. Какова логическая структура вопроса? Приведите пример категориального исследовательского вопроса и выделите в нем основную (базисную) и искомую части. Сделайте то же самое с категориальным информационным вопросом, пропозициональным исследовательским вопросом и пропозициональным информационным вопросом. Какие вопросы являются логически корректными, а какие – некорректными? Приведите по пять примеров логически корректных и некорректных вопросов. Может ли быть у логически корректного вопроса ложная основная часть? Достаточно ли для определения корректного вопроса требования истинности его основной части? Что объединяет логически корректные категориальные и пропозициональные вопросы? Какие вопросы, среди логически некорректных являются провокационными или софистическими? Приведите три примера подобных вопросов.
30. Какие из приведенных ниже вопросов являются логически корректными, а какие некорректными?
а) Во сколько раз планета Юпитер превосходит по размерам Солнце?
б) Какова площадь Тихого океана?
в) В каком году В. В. Маяковский написал поэму "Облако в штанах"?
г) Как долго продолжалось плодотворная совместная научная работа Исаака Ньютона и Альберта Эйнштейна?
д) Чему равна длина экватора земного шара?
е) Каковы основные идеи знаменитого романа Л. Н. Толстого "Война и мир"?
ж) Под каким номером находится в периодической системе Д. И. Менделеева химический элемент меркурий?
з) В каком месте солнечной системы располагается галактика Млечный путь?
и) Быстрее ли звука движется свет?
Глава 3
Умозаключение
3.1. Что такое умозаключение?
Понятие, как мы уже знаем, является мысленным обозначением (отражением) какого-либо объекта или его признака, суждение представляет собой некое утвердительное или отрицательное высказывание об объектах, признаках, отношениях и т. п. Умозаключение – это третья (после понятия и суждения) форма мышления, в которой из двух или нескольких суждений, называемых посылками, вытекает новое суждение, называемое заключением, или выводом. В логике принято располагать посылки и вывод друг под другом и отделять посылки от вывода чертой:
Все живые организмы питаются влагой.
Все растения – это живые организмы.
Все растения питаются влагой.
В приведенном примере первые два суждения являются посылками, а третье – выводом. Понятно, что посылки должны быть истинными суждениями и должны быть связаны между собой. Если хотя бы одна из посылок ложна, то и вывод ложен:
Все птицы – это млекопитающие животные.
Все воробьи – это птицы.
Все воробьи – это млекопитающие животные.
Как видим, в приведенном примере ложность первой посылки приводит к ложному выводу, несмотря на то, что вторая посылка является истинной. Если посылки между собой не связаны, то вывод из них сделать невозможно. Например, из следующих двух посылок никакого вывода не следует:
Все планеты – это небесные тела.
Все сосны являются деревьями.
?
Обратим внимание на то, что умозаключения состоят из суждений, а суждения – из понятий, т. е. одна форма мышления входит в другую в качестве составной части.
Все умозаключения делятся на непосредственные и опосредованные. В непосредственных умозаключениях вывод делается из одной посылки. Например:
Все цветы являются растениями.
Некоторые растения являются цветами.
Еще пример:
Верно, что все цветы являются растениями.
Неверно, что некоторые цветы не являются растениями.
Нетрудно догадаться, что непосредственные умозаключения представляют собой уже известные нам операции преобразования простых суждений и выводы об истинности простых суждений по логическому квадрату. Первый приведенный выше пример непосредственного умозаключения является преобразованием простого суждения путем обращения, а во втором примере по логическому квадрату из истинности суждения вида А делается вывод о ложности суждения вида О.
В опосредованных умозаключениях вывод делается из нескольких посылок. Например:
Все рыбы – это живые существа.
Все караси – это рыбы.
Все караси – это живые существа.
Поскольку непосредственные умозаключения представляют собой различные логические операции с суждениями, то под умозаключениями подразумеваются, прежде всего, опосредованные умозаключения. В дальнейшем речь пойдет именно о них.