21. Модальность суждений. Основные виды модальности. Модальные операторы.

Модальность – это определенным образом выраженное суждение, дополнительная хар-ка явлений их св-в и отношений между ними. Это хар-ка не воспринимается как четкая и однозначная информ. Более того, не всегда можно определить истина она или ложна. Различаю 3 вида модальности: 1) Алетическая модальность выражается в терминах: необходимо, возможно, случайно (эти понятия называют операторами).

2) Эпистимическая – позволяет разделить суждения на 2 группы: достоверные (операторы: доказано и опровергнуто) и проблематичные (оператор: вероятно).

3) Деонтическая – используются операторы: обязательно, разрешено.

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

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

22. Язык логики высказываний (алфавит, понятие формулы). Табличное определение логических связок.

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

Алфавит логики высказываний:

1.Пропозициональные переменные p, q, r, s, а также эти же символы с числовыми индексами: p₁, p_2, … p_n, …

2.логические константы (связки): & (конъюнкция), (дизъюнкция), (импликация), (отрицание);

3.Технические знаки: ( – левая скобка, ) – правая скобка.

Формула – это осмысленное выражение логики высказываний.

Формулы логики высказываний:

1.Любая пропозициональная переменная (например, p, q, r, s) есть уже формула.

2.Если А и В – формулы, то (А & B), (A B), (А В), (A B), (А В) тоже являются формулами.

3.Если А – формула, то А – формула.

4.Ничто иное не есть формула.

Табличное определение логических связок.

Знак	Название	Соответст. в рус. языке
	отрицание	«не», «неверно, что»
&	конъюнкция	«и», «а», «но»
	дизъюнкция	«или»
	строгая дизъюнкция	«или…или», «либо…либо»
	импликация	«если…, то…», «когда…, то…»
	эквиваленция	«если и только если», «тогда и только тогда»