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

Запись (x) Р(х) означает «Всякий х обладает свойством Р», (х) Р(х) – «Некоторые х обладают свойством Р», (x ) Q(x, у) – «Существует х, находящийся в отношении Q с у» и т.п.

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

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

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

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

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

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

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

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