Тема 7: модальная логика

1. а) логическая необходимость;

б) физическая необходимость;

    в) физическая невозможность;

    г) физическая возможность;

    д) физическая возможность;

    е) физическая невозможность.

2. а) Утверждение было получено через отрицание обязательства (разрешения) к запрещению (не обязательно, но запрещено).

    б) Утверждение было получено через безразличие к разрешению (если безразлично, то не запрещено).

в) Утверждение получено на основе закона обязательства через отрицание разрешения (если не разрешено, то обязательно).

3. Я считаю, что «запрещено» и «не разрешено» - две разные вещи. Утверждение, что некоторое действие А не разрешено тогда и только тогда, когда оно запрещено, не совсем верно. Доказать это элементарно просто. В современном обществе слово «запрещено» ассоциируется, прежде всего, с законом: только то, что строго порицается законом и имеет тяжелые административные последствия, является запрещенным. Понятие «не разрешено» тоже используется законом, но чаще предстает перед нами, как моральное ограничение, связанное с этикой, традициями, семейным и личным кодексом и пр.

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