An alternative intuitionistic version of Mally's deontic logic

• Autorzy: Lokhorst, G. J. C.
• Języki publikacji: EN

Abstrakty

EN

Some years ago, Lokhorst proposed an intuitionistic reformulation of Mally's deontic logic (1926). This reformulation was unsatisfactory, because it provided a striking theorem that Mally himself did not mention. In this paper, we present an alter- native reformulation of Mally's deontic logic that does not provide this theorem.

Słowa kluczowe

EN

deontic logic; intuitionistic logic

• Czasopismo: Reports on Mathematical Logic
• Rocznik: 2016
• Tom: Vol. 51
• Strony: 35--41
• Opis fizyczny: Bibliogr. 5 poz.

Twórcy

autor

Lokhorst, G. J. C.

• Section of Philosophy Faculty of Technology, Policy and Management Delft University of Technology P.O. Box 5015 2600 GA Delft The Netherlands ,

Bibliografia

• [1] D. M. Gabbay, Semantical Investigations in Heyting's Intuitionistic Logic. Reidel, Dordrecht, 1981.
• [2] M. Kaminski, Nonstandard connectives of intuitionistic propositional logic. Notre Dame Journal of Formal Logic 29 (1988), 309-331.
• [3] G. J. C. Lokhorst, An intuitionistic reformulation of Mally's deontic logic. Journal of Philosophical Logic 42 (2013), 635-641.
• [4] E. Mally, Grundgesetze des Sollens: Elemente der Logik des Willens, Leuschner und Lubensky, Graz 1926.
• [5] E. Morscher, Mallys Axiomsystem fur die deontische Logik: Rekonstruktion und kritischeWurdigung. In A. Hieke (Ed.), Ernst Mally: Versuch einer Neubewertung, pp. 81-165, Academia Verlag, Sankt Augustin 1998.

Uwagi

PL

Opracowanie ze środków MNiSW w ramach umowy 812/P-DUN/2016 na działalność upowszechniającą naukę.

Identyfikatory

DOI

10.4467/20842589RM.16.003.5280