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