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

Рассмотрим ещё один пример. Требуется формализовать следующее рассуждение и установить, к какому виду относится выражающая его формула: « Если какое-либо здание является старым, то оно нуждается в капитальном ремонте. Это здание нуждается в капитальном ремонте. Следовательно, это здание старое ». Выделим простые высказывания, входящие в это рассуждение: «Какое-либо здание является старым», «Какое-либо здание нуждается в капитальном ремонте» . Первая часть рассуждения представляет собой импликацию: a → b , этих простых высказываний (первое является её основанием, а второе – следствием). Далее, к импликации присоединяется утверждение второго простого высказывания, и получается конъюнкция: ( a → b ) ∧ b . И наконец, из этой конъюнкции вытекает утверждение первого простого высказывания, и получается новая импликация: (( a → b ) ∧ b ) → a , которая и является результатом формализации рассматриваемого рассуждения. Чтобы определить вид получившейся формулы, составим табл. 8 её истинности.

В формуле две переменные, значит, в таблице будет четыре строчки; также в формуле три союза (→, ∧, →), значит, в таблице будет пять колонок. Первые две колонки – это истинностные значения переменных. Третья колонка – истинностные значения импликации.

Четвёртая колонка – истинностные значения конъюнкции. Пятая, последняя колонка – истинностные значения всей формулы – итоговой импликации. Таким образом, мы разбили формулу на три составные части, представляющие собой двучленные сложные суждения:

Заполним последовательно три последних колонки таблицы по тому же принципу, что и в предыдущем примере, т. е. опираясь на базисную таблицу истинности сложных суждений (см. табл. 6).

Рассматриваемая формула принимает как значение «истинно», так и значение «ложно» при различных наборах истинностных значений входящих в неё переменных, следовательно, она является выполнимой (нейтральной), а рассуждение, формализацией которого она выступает, логически корректно, но небезупречно: при ином содержании рассуждения такая форма его построения могла бы привести к ошибке, например: « Если слово стоит в начале предложения, то оно пишется с большой буквы. Слово «Москва» всегда пишется с большой буквы. Следовательно, слово «Москва» всегда стоит в начале предложения ».

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

2. Формализуйте следующие рассуждения:

1) Если какое-либо вещество является металлом, то оно электропроводно. Медь является металлом. Следовательно, медь электропроводна.

2) Известный английский философ Фрэнсис Бэкон жил в XVII в., или в XV в., или в XIII в. Фрэнсис Бэкон жил в XVII в. Следовательно, он не жил ни в XV в., ни в XIII в.

3) Если ты не упрям, то ты можешь изменить своё мнение. Если же ты можешь изменить своё мнение, то ты способен признать данное суждение ложным. Следовательно, если ты не упрям, то ты способен признать данное суждение ложным.

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

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

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

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

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

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

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

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

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

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

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

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

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

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