Любое высказывание или целое рассуждение можно подвергнуть формализации. Это значит отбросить его содержание и оставить только его логическую форму, выразив её с помощью уже известных нам условных обозначений конъюнкции, нестрогой и строгой дизъюнкции, импликации, эквиваленции и отрицания.
      Например, чтобы формализовать следующее высказывание: « Он занимается живописью, или музыкой, или литературой», – надо сначала выделить входящие в него простые суждения и установить вид логической связи между ними. В приведённое высказывание входят три простых суждения: «Он занимается живописью», «Он занимается музыкой», «Он занимается литературой».
      Эти суждения объединены разделительной связью, однако они друг друга не исключают (можно заниматься и живописью, и музыкой, и литературой), следовательно, перед нами – нестрогая дизъюнкция, форму которой можно представить следующей условной записью: a? b? c, где a, b, c– указанные выше простые суждения. Форму: a? b? c, можно наполнить каким угодно содержанием, например: « Цицерон был политиком, или оратором, или писателем», «Он изучает английский, или немецкий, или французский», «Люди передвигаются наземным, или воздушным, или водным транспортом».
      Формализуем рассуждение: « Он учится в 9 классе, или в 10 классе, или в 11 классе. Однако, известно, что он не учится ни в 10, ни в 11 классе. Следовательно, он учится в 9 классе». Выделим простые высказывания, входящие в это рассуждение и обозначим их маленькими буквами латинского алфавита: «Он учится в 9 классе (a)», «Он учится в 10 классе (b)», «Он учится в 11 классе (c)». Первая часть рассуждения представляет собой строгую дизъюнкцию этих трёх высказываний: a? b? c. Вторая часть рассуждения является отрицанием второго: ¬ b, и третьего: ¬ c, высказываний, причём эти два отрицания соединяются, т. е. связаны конъюнктивно: ¬ b? ¬ c. Конъюнкция отрицаний присоединяется к упомянутой выше строгой дизъюнкции трёх простых суждений: ( a? b? c) ? (¬ b? ¬ c), и уже из этой новой конъюнкции как следствие вытекает утверждение первого простого суждения: « Он учится в 9 классе». Логическое следование, как мы уже знаем, представляет собой импликацию. Таким образом, результат формализации нашего рассуждения выражается формулой: (( a? b? c) ? (¬ b?¬ c)) ? a. Эту логическую форму можно наполнить любым содержанием. Например: « Впервые человек полетел в космос в 1957 г., или в 1959 г., или в 1961 г. Однако, известно, что впервые человек полетел в космос не в 1957 г. и не в 1959 г.. Следовательно, впервые человек полетел в космос в 1961 г.» Ещё один вариант: « Философский трактат «Критика чистого разума» написал то ли Иммануил Кант, то ли Георг Гегель, то ли Карл Маркс. Однако, ни Гегель, ни Маркс не являются авторами этого трактата. Следовательно, его написал Кант».
      Результатом формализации любого рассуждения, как мы увидели, является какая-либо формула, состоящая из маленьких букв латинского алфавита, выражающих входящие в рассуждение простые высказывания, и условных обозначений логических связей между ними (конъюнкции, дизъюнкции и др.). Все формулы делятся в логике на три вида:
      1. Тождественно-истинные формулыявляются истинными при всех наборах истинностных значений входящих в них переменных (простых суждений). Любая тождественно-истинная формула представляет собой логический закон.
      2. Тождественно-ложные формулыявляются ложными при всех наборах истинностных значений входящих в них переменных.
      Тождественно-ложные формулы представляют собой отрицание тождественно-истинных формул и являются нарушением логических законов.
      3. Выполнимые (нейтральные) формулыпри различных наборах истинностных значений входящих в них переменных являются то истинными, то ложными.
      Если в результате формализации какого-либо рассуждения получается тождественно-истинная формула, то такое рассуждение является логически безупречным. Если же результатом формализации будет тождественно-ложная формула, то рассуждение следует признать логически неверным (ошибочным). Выполнимая (нейтральная) формула свидетельствует о логической корректности того рассуждения, формализацией которого она является.
      Для того чтобы определить, к какому виду относится та или иная формула, и, соответственно, оценить логическую верность какого-то рассуждения, обычно составляют специальную таблицу истинности для этой формулы. Рассмотрим следующее рассуждение: « Владимир Владимирович Маяковский родился в 1891 г. или в 1893 г. Однако известно, что он родился не в 1891 г. Следовательно, он родился в 1893 г.». Формализуя это рассуждение, выделим входящие в него простые высказывания: «Владимир Владимирович Маяковский родился в 1891 г.». «Владимир Владимирович Маяковский родился в 1893 г.». Первая часть нашего рассуждения, несомненно, представляет собой строгую дизъюнкцию этих двух простых высказываний: a? b. Далее к дизъюнкции присоединяется отрицание первого простого высказывания, и получается конъюнкция: ( a? b) ? ¬ a. И, наконец, из этой конъюнкции вытекает утверждение второго простого суждения, и получается импликация: (( a? b) ? ¬ a) ? b, которая и является результатом формализации данного рассуждения. Теперь надо составить табл. 7 истинности для получившейся формулы:
      Количество строк в таблице определяется по правилу: 2 n, где n – число переменных (простых высказываний) в формуле. Поскольку в нашей формуле только две переменных, то в таблице должно быть четыре строки. Количество колонок в таблице равно сумме числа переменных и числа логических союзов, входящих в формулу. В рассматриваемой формуле две переменных и четыре логических союза (?, ?, ¬, ?), значит, в таблице должно быть шесть колонок. Первые две колонки представляют собой все возможные наборы истинностных значений переменных (таких наборов всего четыре: обе переменные истинны; первая переменная истинна, а вторая ложна; первая переменная ложна, а вторая истинна; обе переменные ложны). Третья колонка – это истинностные значения строгой дизъюнкции, которые она принимает в зависимости от всех (четырёх) наборов истинностных значений переменных. Четвёртая колонка – это истинностные значения отрицания первого простого высказывания: ¬ a. Пятая колонка – это истинностные значения конъюнкции, состоящей из вышеуказанной строгой дизъюнкции и отрицания, и, наконец, шестая колонка – это истинностные значения всей формулы, или импликации. Мы разбили всю формулу на составные части, каждая из которых является двучленным сложным суждением, т. е. состоящим из двух элементов (в предыдущем параграфе говорилось о том, что отрицание также представляет собой двучленное сложное суждение):
      В четырёх последних колонках таблицы представлены истинностные значения каждого из этих двучленных сложных суждений, образующих формулу. Сначала заполним третью колонку таблицы. Для этого нам надо вернуться к предыдущему параграфу, где была представлена таблица истинности сложных суждений ( см. табл. 6), которая в данном случае будет для нас базисной (как таблица умножения в математике). В этой таблице мы видим, что строгая дизъюнкция ложна, когда обе её части истинны или обе ложны; когда же одна её часть истинна, а другая ложна, тогда строгая дизъюнкция истинна. Поэтому значения строгой дизъюнкции в заполняемой таблице (сверху вниз) таковы: «ложно», «истинно», «истинно», «ложно». Далее заполним четвёртую колонку таблицы: ¬ а: когда утверждение два раза истинно и два раза ложно, тогда отрицание ¬ а, наоборот, два раза ложно и два раза истинно. Пятая колонка – это конъюнкция. Зная истинностные значения строгой дизъюнкции и отрицания, мы можем установить истинностные значения конъюнкции, которая истинна только тогда, когда истинны все входящие в неё элементы. Строгая дизъюнкция и отрицание, образующие данную конъюнкцию, одновременно истинны только в одном случае, следовательно конъюнкция один раз принимает значение «истинно», а в остальных случаях – «ложно». Наконец, надо заполнить последнюю колонку: для импликации, которая и будет представлять истинностные значения всей формулы. Возвращаясь к базисной таблице истинности сложных суждений, вспомним, что импликация ложна только в одном случае: когда её основание истинно, а следствие ложно. Основанием нашей импликации является конъюнкция, представленная в пятой колонке таблицы, а следствием простое суждение ( b), представленное во второй колонке. Некоторое неудобство в данном случае заключено в том, что слева направо следствие идёт раньше основания, однако мы всегда можем мысленно поменять их местами. В первом случае (первая строчка таблицы, не считая «шапки») основание импликации ложно, а следствие истинно, значит, импликация истинна. Во втором случае и основание, и следствие ложны, значит, импликация истинна. В третьем случае и основание, и следствие истинны, значит, импликация истинна. В четвёртом случае, как и во втором, и основание, и следствие ложны, значит, импликация истинна.
      Рассматриваемая формула принимает значение «истинно» при всех наборах истинностных значений входящих в неё переменных, следовательно, она является тождественно-истинной, а рассуждение, формализацией которого она выступает, логически безупречно.
      Рассмотрим ещё один пример. Требуется формализовать следующее рассуждение и установить, к какому виду относится выражающая его формула: « Если какое-либо здание является старым, то оно нуждается в капитальном ремонте. Это здание нуждается в капитальном ремонте. Следовательно, это здание старое». Выделим простые высказывания, входящие в это рассуждение: «Какое-либо здание является старым», «Какое-либо здание нуждается в капитальном ремонте». Первая часть рассуждения представляет собой импликацию: 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– суждение, предложение) ( уточняющие, общие) вопросы, которые также часто называют, направлены на подтверждение или отрицание некой уже имеющейся информации. В этих вопросах ответ как бы уже заложен в виде готового суждения, которое надо лишь подтвердить или отвергнуть. Например, вопрос: « Кто создал периодическую систему химических элементов?» – является категориальным, а вопрос: « Полезно ли изучение математики?» – пропозициональным.
      Понятно, что и исследовательские, и информационные вопросы могут быть как категориальными, так и пропозициональными. Можно было бы выразиться наоборот: и категориальные, и пропозициональные вопросы могут быть как исследовательскими, так и информационными. Например: « Как создать универсальное доказательство теоремы Ферма?» – исследовательский категориальный вопрос:
      « Есть ли во Вселенной планеты, населённые, как и Земля, разумными существами?» – исследовательский пропозициональный вопрос:
      « Когда появилась логика?» – информационный категориальный вопрос: « Верно ли, что число? – это отношение длины окружности к её диаметру?» – информационный пропозициональный вопрос.
      Любой вопрос имеет определённую структуру, которая состоит из двух частей. Первая часть представляет собой некую информацию (выраженную, как правило, каким-нибудь суждением), а вторая часть указывает на её недостаточность и необходимость её дополнения каким-либо ответом. Первая часть, называется основной (базисной)(её также иногда называют предпосылкой вопроса), а вторая часть – искомой. Например, в информационном категориальном вопросе: « Когда была создана теория электромагнитного поля?» – основная (базисная) часть – это утвердительное суждение: « Была создана теория электромагнитного поля», – а искомая часть, представленная вопросительным словом « когда», указывает на недостаточность информации, содержащейся в базисной части вопроса, и требует её дополнения, которое следует искать в области (категории) временных явлений. В исследовательском пропозициональном вопросе: « Возможны ли полёты землян в другие галактики?», – основная (базисная) часть представлена суждением: « Возможны полёты землян в другие галактики», – а искомая часть, выраженная частицей « ли», указывает на необходимость подтверждения или отрицания этого суждения. В данном случае искомая часть вопроса свидетельствует не об отсутствии какой-то информации, содержащейся в его базисной части, а об отсутствии знания о её истинности или ложности и требует это знание получить.
      Наиболее важное логическое требование к постановке вопроса заключается в том, чтобы его основная (базисная) часть была истинным суждением. В этом случае вопрос считается логически корректным. Если же основная часть вопроса представляет собой ложное суждение, то вопрос следует признать логически некорректным. Подобные вопросы не требуют ответа и подлежат отвержению.
      Например, вопрос: « Когда было предпринято первое кругосветное путешествие?» – является логически корректным, поскольку его основная часть выражена истинным суждением: « В истории человечества имело место первое кругосветное путешествие». Вопрос: « В каком году знаменитый английский учёный Исаак Ньютон закончил работу над общей теорией относительности?» – логически некорректен, т. к. его основная часть представлена ложным суждением: « Автором общей теории относительности является знаменитый английский учёный Исаак Ньютон».
      Итак, основная (базисная часть) вопроса должна быть истинной и не должна быть ложной. Однако существуют логически корректные вопросы, основные части которых являются ложными суждениями. Например, вопросы: «Возможно ли создание вечного двигателя?», «Есть ли разумная жизнь на Марсе?», «Изобретут ли машину времени?»– несомненно, следует признать логически корректными, несмотря на то, что их базисные части представляют собой ложные суждения: « Возможно создание вечного двигателя», «Есть разумная жизнь на Марсе», «Изобретут машину времени». Дело в том, что искомые части этих вопросов направлены на выяснение истинностных значений их основных, базисных частей, т. е. требуется выяснить, истинными или ложными являются суждения: « Возможно создание вечного двигателя», «Есть разумная жизнь на Марсе», «Изобретут машину времени». В этом случае вопросы логически корректны. Если бы искомые части рассматриваемых вопросов не были направлены на выяснение истинности их основных частей, а имели бы своей целью нечто иное, эти вопросы являлись бы логически некорректными, например: « Где был создан первый вечный двигатель?», «Когда появилась разумная жизнь на Марсе?», «Сколько будет стоить путешествие на машине времени?». Таким образом, главное правило постановки вопроса следует расширить и уточнить: основная (базисная) часть корректного вопроса должна быть истинным суждением; если же она является ложным суждением, то его искомая часть должна быть направлена на выяснение истинностного значения основной части; в противном случае вопрос будет логически некорректным. Нетрудно догадаться, что требование для основной части быть истинной, по преимуществу, относится к категориальным вопросам, а требование того, чтобы искомая часть была выяснением истинности основной части, относится к пропозициональным вопросам.
      Надо отметить, что корректные категориальные и пропозициональные вопросы сходны между собой в том, что на них всегда можно дать истинный ответ (как, впрочем, и ложный). Например, на категориальный вопрос: « Когда закончилась первая мировая война?» – можно дать как истинный ответ: « В 1918 г.», – так и ложный: « В 1916 г.». На пропозициональный вопрос: « Вращается ли Земля вокруг Солнца?» – также можно дать как истинный: « Да, вращается», – так и ложный: « Нет, не вращается», – ответ. Оба приведённых вопроса логически корректны. Итак, принципиальная возможность получения истинных ответов есть основной признак корректных вопросов. Если же получить истинные ответы на некие вопросы принципиально невозможно, то они являются некорректными. Например, нельзя получить истинный ответ на пропозициональный вопрос: « Закончится ли когда-нибудь первая мировая война?» – так же, как невозможно получить его на категориальный вопрос: « С какой скоростью вращается Солнце вокруг неподвижной Земли?».
      Любые ответы на эти вопросы необходимо будет признать неудовлетворительными, а сами вопросы – логически некорректными, подлежащими отвержению.
 

Проверьте себя:

      1. Что такое вопрос? В чём заключается близость вопроса и суждения?
      2. Чем отличаются исследовательские вопросы от информационных? Приведите по пять примеров исследовательских и информационных вопросов.
      3. Что представляют собой категориальные и пропозициональные вопросы? Приведите по пять примеров категориальных и пропозициональных вопросов.
      4. Охарактеризуйте приведённые ниже вопросы с точки зрения их принадлежности к исследовательским или информационным, а также – категориальным или пропозициональным:
      1) Когда был открыт закон всемирного тяготения?
      2) Смогут ли жители Земли расселиться на других планетах Солнечной системы?
      3) В каком году родился Бонапарт Наполеон?
      4) Каково будущее человечества?
      5) Возможно ли предотвратить третью мировую войну?
      5. Какова логическая структура вопроса? Приведите пример категориального исследовательского вопроса и выделите в нём основную (базисную) и искомую части. Сделайте то же самое с категориальным информационным вопросом, пропозициональным исследовательским вопросом и пропозициональным информационным вопросом.
      6. Какие вопросы являются логически корректными, а какие – некорректными? Приведите по пять примеров логически корректных и некорректных вопросов. Может ли быть у логически корректного вопроса ложная основная часть? Достаточно ли для определения корректного вопроса требования истинности его основной части?
      Что объединяет логически корректные категориальные и пропозициональные вопросы?
      7. Дайте ответ, какие из приведённых ниже вопросов являются логически корректными, а какие некорректными:
      1) Во сколько раз планета Юпитер превосходит по размерам Солнце?
      2) Какова площадь Тихого океана?
      3) В каком году Владимир Владимирович Маяковский написал поэму «Облако в штанах»?
      4) Как долго продолжалась плодотворная совместная научная работа Исаака Ньютона и Альберта Эйнштейна?
      5) Чему равна длина экватора земного шара?

3.1. Умозаключение как форма мышления