2. Условное высказывание, импликация, эквивалентность.

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

Условное высказывание слагается из двух простых высказываний. То, которому предписано слово «если», называется основанием, или антецедентом (предыдущем); высказывание, идущее после слова «то», называется следствием, или консеквентном (последующим).

В терминах условного высказывания обычно определяется понятия достаточного и необходимого условия; антецедент (основание) есть достаточное условие для консеквента (следствия), а консеквент – необходимое условие для антецедента.

Условное высказывание находит очень широкое применение во всех сферах рассуждения. В логике оно представляется, как правило, посредством импликативного высказывания, или импликации. Утверждая импликацию, мы утверждаем, что не может случиться, чтобы ее основание было истинным, а следствие ложным. Для установления истинности импликации «если А, то В» достаточно выяснить истинностные значения высказывании А и В. Из четырех возможных случаев импликация истина в следующих трех:

· И ее основание, и ее следствие истинны;

· Основание ложно, а следствие истинно;

· И основание, и следствие ложны.

Только в четвертом случае, когда основание истинно, а следствие ложно, вся импликация ложна. Будем обозначать импликацию символом

Эквивалентность – сложнее высказывание « А, если и только если В», образованное из высказываний А и В разлагающееся на две импликации: «если А, то В» и «если В, то А». Если логические связки определяются в терминах истины и лжи, эквивалентность истинна тогда и только тогда, когда оба составляющие ее высказывания имеют одно и то же истинное значение, то есть когда они оба истинны или оба ложны. Обозначим эквивалентность символом

МОДАЛЬНАЯ ЛОГИКА

1. ЛОГИЧЕСКИЕ МОДАЛЬНОСТИ

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

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

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

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

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

Истинность логически необходимого высказывания устанав­ливается независимо от опыта, на чисто логических основаниях. Логическая необходимость является, таким образом, более сильным видом истины, чем фактическая истинность. Например, вы­сказывание «Снег бел» фактически истинно, для подтверждения его истинности требуется эмпирическое наблюдение. Высказыва­ния же «Снег есть снег», «Белое — это белое» и т.п. необходимо истинны: для установления их истинности не нужно обращаться к опыту, достаточно знать значения входящих в них слов. По­скольку данные высказывания логически необходимы, каждое из них можно предварить оборотом «логически необходимо, что .» («Логически необходимо, что снег есть снег» и т.п.).

Логическая возможность — это внутренняя непротиворечивость высказывания.

Высказывание «Коэффициент полезного действия паровой машины равен 100% является, очевидно, ложным, но оно внут­ренне непротиворечиво и, значит, логически возможно. Но вы­сказывание «К.п.д. такой машины выше 100%» противоречиво и потому логически невозможно.