21.Суждения модальности. Их виды.

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

В зависимости от модальности выделяются следующие основные виды суждений:

Суждения возможности — «S, вероятно, есть Р» (возможность). Пример: «Возможно падение метеорита на Землю».

Ассерторические — суждения, лишь подтверждающие какой-то факт без всякой модальной его квалификации - «S есть P» (действительность). Пример: «Киев стоит на Днепре».

Аподиктические — «S необходимо должно быть P» (необходимость). Пример: «Две прямые линии не могут замыкать пространства».

22. Понятие логического закона. Основные логические законы, их особенность.

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

Основные логические законы:

1.закон тождества

2.закон непротиворечия

3.закон исключенного третьего

4.закон достаточного основания

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