ЧТО НУЖНО СДЕЛАТЬ ДЛЯ ЛОГИКИ ИМПЕРАТИВОВ

Г. В. Карпов

Аннотация


В статье представлен логический подход к императивам (командам и обещаниям), которые трактуются как действия одного рационального агента, направленные на то, чтобы побудить другого рационального агента, посредством связывания его обязательствами определенного рода, к совершению некоторого поступка. Для того, чтобы иметь возможность интерпретировать формулы с вложенными агентными операторами, которые отражают таким образом понимаемые императивы, используется STIT-логика, дополненная деонтическим оператором «О» хортиевского типа. В статье исследуется ряд любопытных технических деталей, связанных с использованием деонтического оператора в рамках логики действия совместно с различными агентными операторами, и предлагаются формулы, отражающие характеристические свойства использования команд и обещаний. Мы формулируем несколько теорем и наблюдений, отражающих существенные свойства употребления императивов, и показываем, что между ними и сходными с ними утверждениями из пропозициональной и стандартной деонтической логики отсутствует параллелизм. В заключении мы кратко обсуждаем перспективы будущих исследований в этой области, касающихся представления императивного разрешения и широко распространенных вложенных императивных действий.

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

PDF (English)

Литература


Austin 1975 — Austin J. L. How to Do Things with Words. Oxford: Oxford University Press, 1975.

Belnap 1991 — Belnap N. Backwards and Forwards in the Modal Logic of Agency // Philosophy and Phenomenological Research. 1991. Vol. 51, no. 4. P. 707–807.

Belnap, Perloff, Xu 2001 — Belnap N., Perloff M., Xu M. Facing the Future: Agents and Choices in Our Indeterminist World. Oxford: Oxford University Press, 2001.

Chellas 1992 — Chellas B. Time and Modality in the Logic of Agency // Studia Logica. 1992. Vol. 51, no. 3–4. P. 485–517.

Horty 2001 — Horty J. Agency and Deontic Logic. Oxford: Oxford University Press, 2001.

Horty, Belnap 1995 — Horty J., Belnap N. The Deliberarive Stit: A Study of Action, Omission, Ability, and Obligation // Journal of Philosophical Logic. 1995. Vol. 24, no. 6. P. 583–644.

Kearns 2006 — Kearns J. Conditional Assertion, Denial, and Supposition as Illocutionary

Acts // Linguistics and Philosophy. 2006. Vol. 29, no. 4. P. 455–485.

Parsons 2013 — Parsons J. Command and Consequence // Philosophical Studies. 2013. Vol. 164, no. 1. P. 61–92.

Perloff 1995 — Perloff M. Stit and the Imperative // American Philosophical Quarterly. 1995. Vol. 32, no. 1. P. 71–81.

Ross 1944 — Ross A. Imperatives and Logic // Philosophy of Science. 1944. Vol. 11, no. 1. P. 30–46.

Searle, Vanderveken 1985 — Searle J., Vanderveken D. Foundations of Illocutionary Logic. Cambridge: Cambridge University Press, 1985.

Vanderveken 1990 — Vanderveken D. Meaning and Speech Acts: Principles of Language Use. Vol. 1. Cambridge: Cambridge University Press, 1990.

Vranas 2008 — Vranas P. New Foundations for Imperative Logic I: Logical Connectives, Consistency, and Quantifiers // Noûs. 2008. Vol. 42, no. 4. P. 529–572.

Yamada 2008 — Yamada T. Logical Dynamics of Some Speech Acts that Affect Obligations and Preferences // Synthese. 2008. Vol. 165, no. 2. P. 295–315.




DOI: https://doi.org/10.52119/LPHS.2019.30.93.001

Ссылки

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


Bookmark and Share


(c) 2020 Г. В. Карпов

Лицензия Creative Commons
Это произведение доступно по лицензии Creative Commons «Attribution-NonCommercial» («Атрибуция — Некоммерческое использование») 4.0 Всемирная.