Меню
Главная
Авторизация/Регистрация
 
Главная arrow Логика arrow Логика

Модальная логика

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

Модальность (лат. modus - способ) - свойство высказывания, что определяет характер объективных связей между предметами и явлениями, о которых говорится в высказывании; тип связи между субъектом и предикатом в структуре высказывания и уточнения его логического статуса. Это дополнительные слова, которые входят в структуру высказываний и предоставляют им нового смысла. К таким словам относятся: "необходимо", "возможно", "на самом деле", "случайно", "разрешено", "запрещено", "доказано", "опровергнут", "знает", "верующий" и т.п.

Дополнительные слова, входящие в структуру высказывания, называют модальностью, или модальным оператором.

в Зависимости от того, какая модальность придает высказыванию нового смысла, оценивает то, что утверждается или отрицается, различают типы модальностей:

- алетические ("необходимо", "возможно", "на самом деле", "случайно");

- деонтические ("обязательно", "разрешено", "запрещено");

- эпистемические ("знает", "верующий", "сомневается", "известно", "неизвестно", "уверен");

- временные ("было", "есть", "будет") и т.д.

Система, сформированная на основании того или иного типа модальности, имеет названия "алетична логика", "деонтическая логика", "епістемічна логика", "временная логика" и др. (термин "логика" используют в этом контексте как "теория", "формально-логическая система").

Каждый тип модальности определяют с точки зрения объективных (фактических) и логических детерминантов. Алетична модальность, в частности, детерминируется с точки зрения объективных законов природы, общества и логических законов, деонтическая модальность - с точки зрения приемлемых в обществе правовых и моральных норм, епістемічна модальность - с точки зрения познания закономерностей объективного мира, временная модальность - с точки зрения временных характеристик того, что происходит в мире.

На основании определения объективных (фактических) и логических детерминантов различают онтологическую и логическую модальность.

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

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

По логической характеристике различают абсолютные и сравнительные (относительные) модальности, что означают свойство и отношение.

Абсолютные модальности характеризуют свойства определенных эмпирических или абстрактных объектов, а сравнительные - отношение между объектами. В каждой модальній системе выделяют особые абсолютные модальности, которые определяют свойства объекта, о котором говорится в высказывании, и сравнительные модальности, которые определяют отношения между объектами. Скажем, в модальній системе с временными модальностями абсолютная модальность выражена словами "было", "есть", "будет", а сравнительные модальности - словами "раньше", "одновременно", "позже".

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

Модальная система - формально-логическая система (модель, теория, исчисление модальных высказываний), созданная на основании определенного типа модальности средствами особой языка на общих принципах построения неклассических логик.

В модальных системах выделяют немодальну часть и чисто модальную часть. Немодальна часть составляет построение матриц и аксиом по принципу двузначности (классической символической логики). Чисто модальная часть означает введение определенного типа модальности и установление логических отношений между высказываниями с введенным типом модальности.

Различают семантику и синтаксис модальной логики.

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

По значению истинности модальная система является многозначным, то есть высказывания с определенным типом модальности приобретает п > 2 істиннісних значений.

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

Язык модальной логики - это система символов, образующих алфавит. В него входят символы, введенные в классическую символическую логику, и новые символы, что обозначают термины, введенные в модальную логику.

Каждая модальная система (алетична, деонтическая, епістемічна, временная и др.) имеет особые термины, которые обозначают тип модальности, и символы, что обозначают эти термины (они будут названы в процессе рассмотрения отдельных модальных систем).

 
< Предыдущая   СОДЕРЖАНИЕ   Следующая >
 
Предметы
Агропромышленность
Банковское дело
БЖД
Бухучет и аудит
География
Документоведение
Естествознание
Журналистика
Инвестирование
Информатика
История
Культурология
Литература
Логика
Логистика
Маркетинг
Математика, химия, физика
Медицина
Менеджмент
Недвижимость
Педагогика
Политология
Политэкономия
Право
Психология
Региональная экономика
Религиоведение
Риторика
Социология
Статистика
Страховое дело
Техника
Товароведение
Туризм
Философия
Финансы
Экология
Экономика
Этика и эстетика
Прочее