Контрольная работа по "Логике"

Для классической логики вещь существует или не существует, и нет никаких других вариантов. Но как в обычной жизни, так и в науке постоянно приходится говорить не только о том, что есть в действительности и чего нет, но и о том, что должно быть или не должно быть и т.д. Действительный ход событий можно рассматривать как реализацию одной из многих мыслимых возможностей, а действительный мир, в котором мы находимся, — как один из бесчисленного множества возможных миров. Модальная логика – это раздел логики, в котором исследуются логические связи модальных высказываний, т.е. высказываний, включающих модальности. Модальная логика слагается из ряда направлений, каждое из которых занимается модальными высказываниями определенного типа.

1.Дайте развёрнутый ответ на вопросы. 1.1. Возникновение и общий смысл современной модальной логики. 1.2. Объёмные отношения между понятиями. 2. Выполните упражнения. 2.1.Соотнесите данные понятия. 2.2. Выразите на языке модальной логики следующие высказывания.