(гр. deonte- как должно быть), или логика норм, раздел неклассической логики, в котором изучаются рассуждения с т.н. деонтическими модальностями - "обязательно", "разрешено", "запрещено" и др. - характеризующими совершение действий в соответствии с определенными нормами (законами, правилами, распоряжениями, приказами и т.д.).
Модальная логика
Определение 1
Неклассические логики – это обобщающее наименование различных логических... В современной модальной логике исследуется широкий спектр модальностей:
физические,
логические,
деонтические... Многозначная логика
Многозначная логика интенсивно развивается в настоящее время.... После этого появились другие многозначные логики, в том числе:
трехзначная логика Д. А.... Бочвара,
трехзначная логика А. Гейтинга,
трехзначная логика Г. Рейхенбаха,
n-значная логика Э.
Предлагаемая логика строится на основе принципа квазифункциональности, согласно которому в природе, социуме, познании между явлениями имеет место не только отношение однозначной обусловленности, но и отношение неоднозначной обусловленности, т. е., в частности, определенная причина может вызывать как определенное следствие, так и при одинаковых условиях в первом случае — одно определенное (из нескольких возможных) следствие, а во втором — другое (из тех же нескольких возможных случаев). Частными случаями квазифункциональности являются функциональность (однозначная обусловленность) и полная неопределенность (хаотичность). В статье рассмотрен метод доказательства полноты построенного ранее автором исчисления трехзначной логики. Этот метод предоставляет возможность разработки технических приложений деонтической логики
Специфика полимодальных логик
Определение 1
Многомерные семантики для полимодальных логик – это... Определение 2
Полимодальная логика представляет собой разновидность модальной логики, которая позволяет... как необходимое),
деонтической необходимости (то, что требуется по долгу службы или обязательства),... Полимодальная логика также используется при изучении семантики естественного языка.... высказываний и логик первого порядка.
The purpose of this paper is to discuss some difficulties in constructing of deontic logic. In spite of a possibility and a fruitfulness of temporal qualification that has earlier been offered by the author for normative propositions there remain plenty of impediments on the way of construction of such a deontic logic that would correspond with our intuitive conceptions of normative reasoning.
(лат. non segunitur) – логическая ошибка в доказательстве, состоящая в том, что в подтверждение тезиса выдвигаются такие доводы, которые сами по себе являются истинными суждениями, но из которых вовсе не следует (не вытекает логически) доказываемый тезис.
изменчивое, преходящее, несущественное, случайное свойство или состояние предмета, которое может быть абстрагировано и при этом сущность предмета не претерпит изменения.
Оставляя свои контактные данные и нажимая «Попробовать в Telegram», я соглашаюсь пройти процедуру
регистрации на Платформе, принимаю условия
Пользовательского соглашения
и
Политики конфиденциальности
в целях заключения соглашения.
Пишешь реферат?
Попробуй нейросеть, напиши уникальный реферат с реальными источниками за 5 минут