Читайте также:
|
Модальность - это явно или неявно выраженная в суждении дополнительная информация о степени его обоснованности, логическом или фактическом статусе, о регулятивных, оценочных и др. его характеристиках.Слово с помощью которого фиксируется модальность высказывания называется модальным функтором, а высказывание содержащее модальный функтор называется модальным. Раздел логики, где изучаются свойства модальных высказываний, называется модальной логикой.
Модальная логика относится к неклассическим логикам (классическая логика двузначна, а модальная - многозначна).Наиболее распространенными являются модальности:
алетическая (от греч. "алетейя" - истина)
аксиологическая (от греч. axios - ценный)
деонтическая (от греч. deonte - как должно быть)
эпистемическая (от греч. "episteme" - достоверное знание)
Алетическая модальность выражается с помощью операторов (функторов) "необходимо"(□), "возможно"(◊), "случайно"(Ñ). Основными алетическими понятиями принято считать понятия возможности и необходимости. Для выражения возможности в русском языке употребляются слова "возможно", "может быть", "вероятно" и др. Для выражения необходимости употребляются слова "необходимо", "должно быть", "следовательно" и др.
Аксиологическая (оценочная) модальность высказывания с точки зрения определенной системы ценностей. Аксиологический статус высказывания выражается абсолютными ("хорошо", "плохо", "неплохо", "безразлично") или относительными ("лучше", "хуже", "равноценно") оценочными понятиями.
Деонтическая (нормативная) модальность отражает связь утверждаемого в суждении с нормами морали, права, конкретными обязательствами ("должен", "обязан", "может", "допустимо", "запрещено", "разрешено"), а также может выражать приказ, побуждение к определенным действиям.
Деонтические опрераторы:
О - обязывание
F - запрещение
Р - разрешение
Эпистемическая модальность отражает степень обоснованности содержания суждения в знании (от "доказано" или "опровергнуто" до "вероятно", "проблематично", "маловероятно" т. п.), а также способ принятия информации, содержащейся в суждении ("знаю", "верю", "убежден", "сомневаюсь" и т.п.).
По степени обоснованности среди знаний различают два непересекающихся класса суждений: достоверные и проблематичные.
Достоверные суждения - это достаточно обоснованные суждения истинные или ложные суждения.Их модальность можно выразить с помощью двух операторов:
V - оператор доказанности (верифицированности),
F - оператор опровергнутости (фальсифицированности).
"Доказано, что Земля круглая" - V(p).
"Опровергнуто, что Земля плоская" - F(q).
Операторы V и F могут быть выражены друг через друга: V(p)≡F(~p), V(~p)≡F(p).
Проблематичные суждения - это суждения, которые нельзя считать достоверными в силу их недостаточной обоснованности.Проблематичность суждения можно выразить оператором Р, сходным с оператором вероятности в математике. Выражение Р(р) читается: "Вероятно, р", или "По-видимому, р". Ее можно выразить также через операторы V и F: Р(р) = ~V(p) л ~F(p), т.е. проблематичность р означает, что р не доказано и не опровергнуто.
Дата добавления: 2015-02-16; просмотров: 85 | Поможем написать вашу работу | Нарушение авторских прав |