Краткий курс логики

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

Эти суждения объединены разделительной связью, однако они друг друга не исключают (можно заниматься и живописью, и музыкой, и литературой), следовательно, перед нами – нестрогая дизъюнкция, форму которой можно представить следующей условной записью: 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. Выполнимые (нейтральные) формулы при различных наборах истинностных значений входящих в них переменных являются то истинными, то ложными.

Если в результате формализации какого-либо рассуждения получается тождественно-истинная формула, то такое рассуждение является логически безупречным. Если же результатом формализации будет тождественно-ложная формула, то рассуждение следует признать логически неверным (ошибочным). Выполнимая (нейтральная) формула свидетельствует о логической корректности того рассуждения, формализацией которого она является.