Стремление обогатить язык логики и расширить ее выразительные возможности привело к возникновению модальной логики. Ее задача - анализ рассуждений, в которых встречаются модальные понятия, служащие для конкретизации устанавливаемых нами связей, их оценки с той или иной точки зрения.
Еще Аристотель начал изучение таких, наиболее часто встречающихся модальных понятий, как "необходимо", "возможно", "случайно". В средние века круг модальностей был существенно расширен, и в него вошли также "знает", "полагает", "было", "будет", "обязательно", "разрешено" и т.д.
В принципе число групп модальных понятий и выражаемых ими точек зрения не ограничено. Современная логика выделяет наиболее важные из этих групп и делает их предметом специального исследования. Она изучает также общие принципы модальной оценки, справедливые для всех групп модальных понятий.
В последние десятилетия модальная логика бурно развивается, вовлекая в свою орбиту все новые группы модальных понятий. Существенно усовершенствованы способы ее обоснования. Это придало модальной логике новое дыхание и поставило ее в центр современных логических исследований.
Цель данной работы - изучение проблем модальной логики.
Задачи:
- определить значение и причины проблематичности модальной логики;
- изучить содержание проблемных вопросов модальной логики.
|