Логика - Александр Ивин 21 стр.

Закон приведения к абсурду представляется формулой:

(А → В) & (А → ~ В) → ~ A,

если (если A, то В) и (если A, то не-B ), то не-A

Приведение к нелепости, замечает математик Д. Пойа, имеет некоторое сходство с иронией, любимым приёмом сатирика: ирония принимает определённую точку зрения, подчёркивает её и затем настолько её утрирует, что в конце концов приводит к явному абсурду.

Частный закон приведения к абсурду представляется формулой:

(А → ~ А) → ~ А,

если (если A, то не-A ), то не-А. Например, из положения «Всякое правило имеет исключения», которое само является правилом, вытекает высказывание «Есть правила, не имеющие исключений»; значит, последнее высказывание истинно.

Закон косвенного доказательства позволяет заключить об истинности какого-то высказывания на основании того, что отрицание этого высказывания влечёт противоречие. Например: «Если из того, что 17 не является простым числом, вытекает как то, что оно делится на число, отличное от самого себя и единицы, так и то, что оно не делится на такое число, то 17 есть простое число».

Символически закон косвенного доказательства записывается так:

(~ А → В) & (~ А → ~ В) → A,

если (если не-A, то В) и (если не-A, то не-В), то А.

Законом косвенного доказательства обычно называется и формула:

(~ А → (В & ~ В)) → A,

если (если не-А, то B и не-B), то A. К примеру: «Если из того, что 10 не является чётным числом, вытекает, что оно делится и не делится на 2, то 10 – чётное число».

Закон Клавия характеризует связь импликации и отрицания. Он читается так: если из отрицания некоторого высказывания вытекает само это высказывание, то оно является истинным. Или, короче: высказывание, вытекающее из своего собственного отрицания, истинно. Или иначе: если необходимым условием ложности некоторого высказывания является его истинность, то это высказывание истинно. Например, если условием того, чтобы машина не работала, является её работа, то машина работает.

Закон назван именем Клавия – учёного-иезуита, жившего в XVI в., одного из изобретателей григорианского календаря. Клавий первым обратил внимание на этот закон в своём комментарии к «Геометрии» Евклида. Одну из своих теорем Евклид доказал, выведя из её допущения, что она является ложной.

Символически закон Клавия представляется формулой:

(~ А → А) → A,

если не-A имплицирует A, то верно А.

Из закона Клавия вытекает следующий совет, касающийся доказательства: если хочешь доказать A, выводи A из допущения, что верным является не-A Например, нужно доказать утверждение «У трапеции четыре стороны». Отрицание этого утверждения: «Неверно, что у трапеции четыре стороны». Если из этого отрицания удаётся вывести само утверждение, это будет означать, что оно истинно.

Эту схему рассуждения использовал однажды древнегреческий философ Демокрит в споре с софистом Протагором. Последний утверждал, что истинно все то, что кому-либо приходит в голову. На это Демокрит ответил, что из положения «Каждое высказывание истинно» вытекает истинность и его отрицания: «Не все высказывания истинны». И значит, это отрицание, а не положение Протагора, на самом деле истинно.

Закон Клавия – один из случаев общей схемы косвенного доказательства: из отрицания утверждения выводится само это утверждение, оно составляет вместе с отрицанием логическое противоречие; это означает, что отрицание ложно, а верным является само утверждение.

К закону Клавия близок по своей структуре уже упоминавшийся логический закон, отвечающий этой же общей схеме: если из утверждения вытекает его отрицание, то последнее истинно. Например, если условием того, что поезд прибудет вовремя, будет его опоздание, то поезд опоздает. Иначе говоря: если необходимым условием истинности некоторого утверждения является его ложность, то утверждение ложно. Данный закон представляет собой схему рассуждения, идущего от некоторого утверждения к его отрицанию. Можно сказать, что он в некотором смысле слабее, чем закон Клавия, представляющий рассуждение, идущее от отрицания утверждения к самому утверждению.

Закон транзитивности в обычном языке можно передать так: когда верно, что если первое, то второе, и если второе, то третье, то верно также, что если первое, то третье. Например: «Если дело обстоит так, что с развитием медицины появляется больше возможностей защитить человека от болезней и с увеличением этих возможностей растёт средняя продолжительность его жизни, то верно, что с развитием медицины растёт средняя продолжительность жизни человека». Иначе говоря, если условием истинности первого является истинность второго и условием истинности второго – истинность третьего, то истинность последнего есть также условие истинности первого.

Символически данный закон представляется формулой:

((А → В) & (В → C) → (А → С),

если (если A, то В) и (если B, то C ), то (если A, то C ).

Законами ассоциативности называются логические законы, позволяющие по-разному группировать высказывания, соединяемые с помощью «и», «или» и др.

Операции сложения и умножения чисел в математике ассоциативны:

(а + в) + с = а + (в + с),

(а × в) × с = а × (в × с).

Ассоциативностью обладают также логическое сложение (дизъюнкция) и логическое умножение (конъюнкция). Символически соответствующие законы представляются так:

(A v B) v C ↔ A v (B v C),

(A & B) & C ↔ A & (B & C).

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

Законами коммутативности называют логические законы, позволяющие менять местами высказывания, связанные «и», «или», «если и только если» и др. Эти законы аналогичны алгебраическим законам коммутативности для умножения, сложения и др.,

по которым результат умножения не зависит от порядка множителей, сложения – от порядка слагаемых и т.д.

Символически законы коммутативности для конъюнкции и дизъюнкции записываются так:

(А & В) ↔ (В & А),

A и B тогда и только тогда, когда B и A;

(A v В) ↔ (В v А),

A или B, если и только если B или A.

Данные эквивалентности можно проиллюстрировать примерами: «Волга – самая длинная река в Европе и Волга впадает в Каспийское море в том и только том случае, если Волга впадает в Каспийское море и Волга является самой длинной рекой в Европе»; «Завтра будет дождь или будет снег, если и только если завтра будет снег или завтра будет дождь».

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

Закон, носящий имя средневекового логика и философа, монаха Дунса Скотта, характеризует ложное высказывание. Смысл этого закона можно приблизительно передать так: из ложного утверждения вытекает какое угодно утверждение. Это звучит парадоксально: из того, что дважды два равно пяти, вовсе не вытекает, как кажется, что Луна сделана из зеленого сыра. Не все современные описания логического следования принимают эту его характеристику.

Известен анекдот об английском философе и логике Б.Расселе, доказавшем своему собеседнику на каком-то вечере, что из того, что два плюс два равно пяти, вытекает, что он, Рассел – римский папа. В доказательстве использовался закон Дунса Скотта.

Известен анекдот об английском философе и логике Б.Расселе, доказавшем своему собеседнику на каком-то вечере, что из того, что два плюс два равно пяти, вытекает, что он, Рассел – римский папа. В доказательстве использовался закон Дунса Скотта.

Отнимем от обеих сторон равенства 2 + 2 = 5 по 3. Получим: 1 = 2. Если собеседник утверждает, что Рассел не является римским папой, то этот папа и Рассел – два разных лица. Но поскольку 1 = 2, папа и Рассел – это одно и то же лицо.

Приведённые формулировки законов логики и примеров к этим законам являются довольно неуклюжими словесными конструкциями и звучат непривычно, даже если речь идёт о самых простых по своей структуре законах. Естественный язык, использовавшийся в этих формулировках, явно не лучшее средство для данной цели. И дело даже не столько в громоздкости получаемых выражений, сколько в отсутствии ясности и точности в передаче законов.

Мало сказать, что о законах логики трудно говорить, пользуясь только обычным языком. Строго подходя к делу, нужно сказать, что они вообще могут быть адекватно переданы на этом языке.

Не случайно современная логика строит для выражения своих законов и связанных с ними понятий специальный язык. Этот формализованный язык отличается от обычного языка прежде всего тем, что следует за логической формой и воспроизводит её даже в ущерб краткости и лёгкости общения.

5. Логическое следование

Основная задача логики – систематизация правил, позволяющих из имеющихся утверждений выводить новые.

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

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

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

Из высказывания А логически следует высказывание В, когда импликация «если А, то В» является частным случаем закона логики.

Например, из высказывания «Если натрий металл, он пластичен» логически вытекает высказывание «Если натрий не пластичен, он не металл», поскольку импликация, основанием которой является первое высказывание, а следствием второе, представляет собой частный случай логического закона контрапозиции.

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

Теории логического следования не содержат правил, позволяющих перейти от истинных посылок к ложному заключению. Они удовлетворяют, кроме того, ряду дополнительных условий. Выдвижение этих условий объясняется стремлением дать такое описание логического следования, при котором существование между высказываниями этого отношения зависело бы не только от истинностного значения высказываний, но и от их смысловой связи. Поскольку «связь по смыслу» понимается по-разному, существуют различные теории логического следования. Ими решена задача исключения нежелательных, или парадоксальных, правил следования, подобных закону Дунса Скотта, и показано, что нет привилегированной логической системы, являющейся единственно правильным описанием логического следования.

6. Язык логики предикатов

Логика высказываний не анализирует внутреннюю структуру простых высказываний. Они берутся как неразложимые далее атомы, из которых с помощью связок образуются сложные высказывания.

Логика предикатов – основной раздел современной логики, в котором описываются выводы, учитывающие внутреннюю (субъектно-предикатную) структуру высказываний.

Логика предикатов является расширением логики высказываний: все законы логики высказываний являются также законами логики предикатов, но не наоборот. В этом смысле логика высказываний более фундаментальна, чем логика предикатов.

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

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

В логике предикатов – в дополнение к средствам логики высказываний – вводятся логические операторы

(«для всех») и

Запись (

x) Р(х) означает «Всякий х обладает свойством Р», (

х) Р(х)

– «Некоторые х обладают свойством Р», (

x ) Q(x, у)

– «Существует х, находящийся в отношении Q с у» и т.п.

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

Глава 8 Модальная логика

1. Логические модальности

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

Модальная логика – раздел логики, в котором исследуются логические связи модальных высказываний.

Модальная логика слагается из ряда разделов, или направлений, каждое из которых занимается модальными высказываниями определённого типа. Фундаментом модальной логики является логика высказываний: первая есть расширение второй.

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

Логически необходимое высказывание можно определить как высказывание, отрицание которого представляет собой логическое противоречие. Внутренне противоречивы, например, высказывания «Неверно, что, если неон – инертный газ, то неон – инертный газ» и «Неверно, что трава зелёная или она не зелёная». Это означает, что утвердительные высказывания «Если неон – инертный газ, то неон – инертный газ» и «Трава зелёная или она не зелёная» являются логически необходимыми. Понятие логической необходимости связано с понятием логического закона: логически необходимы законы логики и все, что вытекает из них. Логически необходимы, таким образом, все рассматривавшиеся ранее законы логики высказываний.