Понятие логической теории (стр. 35 – 41)

Высказывания, истинные в силу своей логической формы, называются логически истинными.

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

Существуют и логически ложные высказывания («идёт дождь, и неверно, что идёт дождь»)

Высказывания, которые не являются ни логически истинными, ни логически ложными, называются логически недетерминированными. Их значения нельзя установить логическими средствами («идёт дождь, или светит солнце»).

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

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

                В формализованных языках имеется четкие и эффективные правила построения логических форм высказываний.

Общая схема построения формализованного языка.

1)       Логические символы – знаки для логических терминов.

2)       Нелогические символы – предназначенные для замещения простых высказываний.

3)      Технические символы

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

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

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

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

Законом логической теории является формула, принимающая значение истина при любых допустимых интерпретациях входящих в нее нелогических символов (тождественно-истинные формулы).

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

__________________________________________________________________________________________________________

см. 144 -145 стр