Будучи универсальной формой отражения действительности, суждение может непросто констатировать некоторую связь объектов, но и характеризовать эту связь при помощи выражении: необходимо, возможно, предполагается что, обязательно чтобы, и т.п. Такие выражения называются модальными операторами и придают суждению добавочный смысл. Благодаря модальным операторам суждение выражает мысль о необходимости некоторого факта, обязательности какого-то действия, одобрением или порицанием определённого события.
Н:
§ египетские пирамиды построены инопланетянами.
§ не исключено, что египетские пирамиды построены инопланетянами.
§ возможно, что египетские пирамиды построены инопланетянами.
§ можно доказать, что египетские пирамиды построены инопланетянами.
§ хорошо, что египетские пирамиды построены инопланетянами.
§ грустно, что египетские пирамиды построены инопланетянами.
Модальные операторы
а) деонтические (нормативные). Обязательно запрещено, нормативно безразлично.
|
|
б) алетические. Необходимо, возможно, действительно.
в) аксиологические (оценочные). Хорошо, плохо, аксиологически безразлично.
Отрицание суждений.
Если некоторому истинному суждения предпослать оборот «неправда что», то оно превратится в ложное.
Н: первые рукописные книги на Руси созданы в конце 11 века. Термином отрицание принято называть операцию и суждение, полученное в результате этой операции.
p – произвольное суждение
>p – отрицание произвольного суждения.
Матрица отрицания
p | >p | >>p |
и (истина) | л | и |
л (ложь) | и | л |