Краткий курс логики: Искусство правильного мышления - Дмитрий Гусев

4) Если сумма внутренних углов геометрической фигуры равна 180°, то такая фигура является треугольником. Сумма внутренних углов данной геометрической фигуры не равна 180°. Следовательно, данная геометрическая фигура не является треугольником.

5) Леса бывают хвойными, или лиственными, или смешанными. Этот лес не лиственный и не хвойный. Следовательно, этот лес смешанный.

3. Что представляют собой тождественно-истинные тождественно-ложные и выполнимые формулы? Что можно сказать о рассуждении, если результатом его формализации является тождественно-истинная формула? Каким будет рассуждение, если его формализация выражается тождественно-ложной формулой? Каковы, с точки зрения логической верности, рассуждения, которые при формализации приводят к выполнимым формулам?

4. Каким образом можно определить вид той или иной формулы, выражающей собой результат формализации некого рассуждения?

По какому алгоритму строятся и заполняются таблицы истинности для логических формул? Придумайте какое-нибудь рассуждение, формализуйте его и с помощью таблицы истинности определите вид получившейся формулы.

2.8. Виды и правила вопроса

Вопрос весьма близок к суждению. Это проявляется в том, что любое суждение можно рассматривать как ответ на некий вопрос.

Поэтому вопрос можно характеризовать в качестве логической формы, как бы предшествующей суждению, представляющей собой своего рода «предсуждение». Таким образом, вопрос – это логическая форма (конструкция), которая направлена на получение ответа в виде некоторого суждения.

Вопросы делятся на исследовательские и информационные.

Исследовательские вопросы направлены на получение нового знания. Это вопросы, на которые пока нет ответов. Например, вопрос: «Как родилась Вселенная?» – является исследовательским.

Информационные вопросы имеют своей целью приобретение (передачу от одного лица другому) уже имеющихся знаний (информации). Например, вопрос: «Какова температура плавления свинца?» – является информационным.

Вопросы также делятся на категориальные и пропозициональные.

Категориальные (восполняющие, специальные) вопросы включают в себя вопросительные слова «кто», «что», «где», «когда», «почему», «как» и т. п., указывающие направление поиска ответов и, соответственно, категорию объектов, свойств или явлений, в которой следует искать нужные ответы.

Пропозициональные (от лат. propositio – суждение, предложение) (уточняющие, общие) вопросы, которые также часто называют, направлены на подтверждение или отрицание некой уже имеющейся информации. В этих вопросах ответ как бы уже заложен в виде готового суждения, которое надо лишь подтвердить или отвергнуть. Например, вопрос: «Кто создал периодическую систему химических элементов?» – является категориальным, а вопрос: «Полезно ли изучение математики?» – пропозициональным.

Понятно, что и исследовательские, и информационные вопросы могут быть как категориальными, так и пропозициональными. Можно было бы выразиться наоборот: и категориальные, и пропозициональные вопросы могут быть как исследовательскими, так и информационными. Например: «Как создать универсальное доказательство теоремы Ферма?» – исследовательский категориальный вопрос:

«Есть ли во Вселенной планеты, населённые, как и Земля, разумными существами?» – исследовательский пропозициональный вопрос:

«Когда появилась логика?» – информационный категориальный вопрос: «Верно ли, что число π – это отношение длины окружности к её диаметру?» – информационный пропозициональный вопрос.

Любой вопрос имеет определённую структуру, которая состоит из двух частей. Первая часть представляет собой некую информацию (выраженную, как правило, каким-нибудь суждением), а вторая часть указывает на её недостаточность и необходимость её дополнения каким-либо ответом. Первая часть, называется основной (базисной) (её также иногда называют предпосылкой вопроса), а вторая часть – искомой. Например, в информационном категориальном вопросе: «Когда была создана теория электромагнитного поля?» – основная (базисная) часть – это утвердительное суждение: «Была создана теория электромагнитного поля», – а искомая часть, представленная вопросительным словом «когда», указывает на недостаточность информации, содержащейся в базисной части вопроса, и требует её дополнения, которое следует искать в области (категории) временных явлений. В исследовательском пропозициональном вопросе: «Возможны ли полёты землян в другие галактики?», – основная (базисная) часть представлена суждением: «Возможны полёты землян в другие галактики», – а искомая часть, выраженная частицей «ли», указывает на необходимость подтверждения или отрицания этого суждения. В данном случае искомая часть вопроса свидетельствует не об отсутствии какой-то информации, содержащейся в его базисной части, а об отсутствии знания о её истинности или ложности и требует это знание получить.

Наиболее важное логическое требование к постановке вопроса заключается в том, чтобы его основная (базисная) часть была истинным суждением. В этом случае вопрос считается логически корректным. Если же основная часть вопроса представляет собой ложное суждение, то вопрос следует признать логически некорректным. Подобные вопросы не требуют ответа и подлежат отвержению.

Например, вопрос: «Когда было предпринято первое кругосветное путешествие?» – является логически корректным, поскольку его основная часть выражена истинным суждением: «В истории человечества имело место первое кругосветное путешествие». Вопрос: «В каком году знаменитый английский учёный Исаак Ньютон закончил работу над общей теорией относительности?» – логически некорректен, т. к. его основная часть представлена ложным суждением: «Автором общей теории относительности является знаменитый английский учёный Исаак Ньютон».

Итак, основная (базисная часть) вопроса должна быть истинной и не должна быть ложной. Однако существуют логически корректные вопросы, основные части которых являются ложными суждениями. Например, вопросы: «Возможно ли создание вечного двигателя?», «Есть ли разумная жизнь на Марсе?», «Изобретут ли машину времени?» – несомненно, следует признать логически корректными, несмотря на то, что их базисные части представляют собой ложные суждения: «Возможно создание вечного двигателя», «Есть разумная жизнь на Марсе», «Изобретут машину времени». Дело в том, что искомые части этих вопросов направлены на выяснение истинностных значений их основных, базисных частей, т. е. требуется выяснить, истинными или ложными являются суждения: «Возможно создание вечного двигателя», «Есть разумная жизнь на Марсе», «Изобретут машину времени». В этом случае вопросы логически корректны. Если бы искомые части рассматриваемых вопросов не были направлены на выяснение истинности их основных частей, а имели бы своей целью нечто иное, эти вопросы являлись бы логически некорректными, например: «Где был создан первый вечный двигатель?», «Когда появилась разумная жизнь на Марсе?», «Сколько будет стоить путешествие на машине времени?». Таким образом, главное правило постановки вопроса следует расширить и уточнить: основная (базисная) часть корректного вопроса должна быть истинным суждением; если же она является ложным суждением, то его искомая часть должна быть направлена на выяснение истинностного значения основной части; в противном случае вопрос будет логически некорректным. Нетрудно догадаться, что требование для основной части быть истинной, по преимуществу, относится к категориальным вопросам, а требование того, чтобы искомая часть была выяснением истинности основной части, относится к пропозициональным вопросам.

Надо отметить, что корректные категориальные и пропозициональные вопросы сходны между собой в том, что на них всегда можно дать истинный ответ (как, впрочем, и ложный). Например, на категориальный вопрос: «Когда закончилась первая мировая война?» – можно дать как истинный ответ: «В 1918 г.», – так и ложный: «В 1916 г.». На пропозициональный вопрос: «Вращается ли Земля вокруг Солнца?» – также можно дать как истинный: «Да, вращается», – так и ложный: «Нет, не вращается», – ответ. Оба приведённых вопроса логически корректны. Итак, принципиальная возможность получения истинных ответов есть основной признак корректных вопросов. Если же получить истинные ответы на некие вопросы принципиально невозможно, то они являются некорректными. Например, нельзя получить истинный ответ на пропозициональный вопрос: «Закончится ли когда-нибудь первая мировая война?» – так же, как невозможно получить его на категориальный вопрос: «С какой скоростью вращается Солнце вокруг неподвижной Земли?».