Семантика позволенного: шероховатости деонтического ландшафта

Алексей Геннадьевич Кислов

Аннотация


В статье стандартная семантика деонтической логики, выполненная на основе динамической логики высказываний, дополняется «строгими» операторами. Обсуждаются понятия «степень ответственности», «нормативная индифферентность», «деонтическая полнота», «позволенные риски действия и бездействия».

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


Полный текст:

Без имени

Литература


Альчуррон К. Э., Булыгин Е. В. Нормативные системы // «Нормативные системы» и другие работы по философии права и логике норм. СПб., 2013. С. 44–210.

Блинов А. Л., Петров В. В. Элементы логики действий. М., 1991.

Булыгин Е. В. Когда право молчит // «Нормативные системы» и другие работы по философии права и логике норм. С. 371–379.

Вригт Г. Х. фон. Нормы, истина и логика // Логико-философские исследования : избр. тр. М., 1986. С. 290–410.

Вригт Г. Х. фон. О логике норм и действий // Там же. С. 245–289.

Гольдблатт Р. Логика времени и вычислимости. М., 1992.

Караваев Э. Ф. Деонтическая логика // Символическая логика : учеб. СПб., 2005. С. 397–414.

Кислов А. Г. Возвращаясь к Францу Брентано из лабиринтов деонтической логики // Изв. Урал. федер. ун-та. Сер. 3 : Общественные науки. 2012. № 1 (100). С. 71–80.

Кислов А. Г. Динамическая логика и деонтические операторы «в строгом смысле» // Философия науки. 2012. № 3 (54). С. 65–80.

Кислов А. Г. Интенсиональная семантика действий, норм и санкций // Мир человека: нормативное измерение – 3. Рациональность и легитимность. Саратов, 2013. С. 45–55.

Кислов А. Г. Семантика деонтических операторов в динамической логике высказываний // Рос. ежегодник теории права. 2011. № 3 (2010). С. 505–517.

Ковалевич О. С., Лисанюк Е. Н. К вопросу о роли позволений в логике норм и философии права // Логико-философские штудии. 2012. № 10. С. 134–140.

Лисанюк Е. Н. Деонтическая логика // Логика : учеб. М., 2010. С. 377–424.

Лисанюк Е. Н. Развитие представлений о нормах в деонтической логике // Вестн. Новосиб. гос. ун-та. Сер. Философия. 2010. Т. 8, вып. 1. С. 147–152.

Лобовиков В. О. Проблема неполноты формально определенных систем норм позитивного права, первая теорема Гёделя о неполноте и юридические фикции как важный компонент юридической техники // Науч. вестн. Омск. академии МВД России. 2013. № 2 (49). С. 53–57.

Попа К. Логика действия и метод критического хода мысли // Неклассические логики и пропозициональные установки : тр. науч.-исслед. семинара по логике Ин-та философии АН СССР. М., 1987. С. 18–31.

Сегерберг К. «После» и «во время» в динамической логике // Модальные и интенсиональные логики и их применение к проблемам методологии науки. М., 1984. С. 58–80.

Столбоушкин А. П., Тайцлин М. А. Динамические логики // Кибернетика и вычислительная техника. М., 1986. Вып. 2. С. 180–230.

Alchourron C. E., Bulygin E. Normative Systems. Wien ; N. Y., 1971.

Anderson A. R. A Reduction of Deontic Logic to Alethic Modal Logic // Mind. 1958. Vol. 67, № 267. P. 100–103.

Fischer M. J., Ladner R. F. Propositional Dynamic Logic of Regular Programs // J. of Computer and System Sciences, 1979, 18. P. 194–211.

Frassen B. C. van. The Logic of Conditional Obligation // J. of Philosophical Logic. 1972. № 1. P. 417–438.

Hansson B. An Analysis of Some Deontic Logics // Deontic Logic. Introductory and Systematic Readings. Dordrecht ; Boston ; L., 1971. P. 121–147.

Meyer J.-J. Ch. A Different Approach to Deontic Logic: Deontic Logic Viewed as a Variant of Dynamic Logic // Notre Dame Journal of Formal Logic. 1988. Vol. 29, № 1. P. 109–136.

Penther-Buck B. A Dynamic Logic of Action // Journal of Logic, Language and Information. 1994. № 3. P. 169–210.

Pratt V. R. Process Logic: Preliminary Report // Proc. of the 6th Association for Computing Machinery (ACM) Symp. on Principles of Programming Language. N. Y., 1977. P. 30–73.

Pratt V. R. Semantical Considerations on Floyd-Hoare Logic // Proc. of the 17th Institute of electrical and electronics engineers (IEEE) Symp. on Foundations of Computer Science. Houston, 1976. P. 109–121.

Segerberg K. Applying modal logic // Studia logica. 1980. Vol. 39, № 2/3. P. 275–295.

Wright G. H. von. Norm and Action, A Logical Enquiry. L., 1963.


Ссылки

  • На текущий момент ссылки отсутствуют.


(c) 2014 Известия Уральского федерального университета. Серия 3. Общественные науки