Какую теорию можно считать модальной

↑

⇐ ПредыдущаяСтр 2 из 2

Какую теорию можно считать модальной

Перечисленные ниже требования считаются необходимыми для любой модальной логики и первое из них соответствует самому определению таковой, а остальные предотвращают вырождение модальной логики в обычную логику высказываний (в которой нет квалификаций посредством модальных операторов). Однако, одна из простейших модальных логик — логика Крипке, предложенная Солом Крипке, называемая в его честь «логика К» — содержит только два модальных оператора (из обязательных только «необходимо», а второй — необязательный «возможно») и не является достаточно сильной для адекватного учета оператора «необходимо».

Итак, логическая теория является модальной, если:

1. она содержит хотя бы три модальных оператора.

2. она является надстройкой над логикой ассерторических высказываний.

3. квалификации, даваемые сильными её модальностями, несовместимы с квалификациями, даваемыми слабыми её модальностями.

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

5. из квалификации высказывания с помощью слабого модального понятия не следует ни то, что высказывание истинно, ни то, что оно ложно.

6. если высказыванию приписана слабая модальная характеристики, то его отрицанию должна быть приписана она же.

Использование модальности в науках

В психологии модальные значения фраз и их замена влияет на переосмысление информации человеком. Их используют как ключевые моменты, чтобы расширить информацию человека о самом себе. Например, фраза «нельзя загорать под луной» – событие рассматривается как невозможное, интерес к нему пропадает. Если заменить «загорать под луной возможно, но неэффективно» — то, оно продолжает мысль и высказанную теорию. К настоящему времени исследования в модальной логике на пропозициональном уровне (на уровне логики высказываний) весьма продвинуты и вширь, и вглубь. Кроме исследований свойств конкретных модальных систем – их полноты относительно того или иного вида семантики, выразительности языка в этой семантике, финитной аппроксимируемости, разрешимости синтаксических свойств типа интерполяционного свойства и свойства дизъюнкции и многого других – значительный прогресс достигнут в описании классов логик и их свойств. В частности, практически все естественные классы модальных систем оказались имеющими континуальную мощность (то есть в них систем столько же, сколько действительных чисел), и устройство этих классов является довольно сложным; с другой стороны, созданы инструменты получения модальных систем с заданными свойствами и инструменты исследования создаваемых систем.

Использованные источники

1. https://fil.wikireading.ru/523

2. https://ru.wikipedia.org/wiki/%D0%9C%D0%BE%D0%B4%D0%B0%D0%BB%D1%8C%D0%BD%D0%B0%D1%8F_%D0%BB%D0%BE%D0%B3%D0%B8%D0%BA%D0%B0

3. https://gtmarket.ru/concepts/6953

Познавательные статьи:



Алгоритмические операторы Matlab

Конструирование и порядок расчёта дорожной одежды

Исследования учёных: почему помогают молитвы?

Почему терпят неудачу многие предприниматели?