Basic logic deontic and filters

Authors

DOI:

https://doi.org/10.36517/Argumentos.22.1

Keywords:

Deontic logic. Filters. Modal logics. Models for modal logics.

Abstract

Deontic logic is a branch of symbolic logic interested in notions as obligatory, permissible, forbidden, and similar ones. One presentation of Standard Deontic Logic, well known as the modal logic KD, has an appearance that remember the mathematical structure of filters. So we show that indeed the class of proper filters on Boolean algebras are adequate model for KD.

Author Biography

Cristiane A. Lázaro, UNESP

Professora da UNESP

References

Bell, J. L.; Machover, M. A course in mathematical logic. Amsterdam: North-Holland, 1977.

Blackburn, P.; Rijke, M.; Venema, Y. Modal logic. Cambridge: Cambridge University Press, 2001.

Carnielli, W. A.; Pizzi, C. Modalità e multimodalità. Milano: Franco Angeli, 2001.

Chagrov, A.; Zakharyaschev, M. Modal logic. Oxford: Clarendon Press, 1997.

Chellas, B. Modal Logic: an introduction. Cambridge: Cambridge University Press, 1980.

Dunn, J. M.; Hardegree, G. M. Algebraic methods in philosophical logic. Oxford: Oxford University Press, 2001.

Ebbinghaus, H. D.; Flum, J.; Thomas, W. Mathematical logic. New York: Springer-Verlag, 1984.

Enderton, H. B. A mathematical introduction to logic. San Diego: Academic Press, 1972.

Fitting, M.; Mendelsohn, R. L. First-order modal logic. Dordrecht: Kluwer, 1998.

Mendelson, E. Introduction to mathematical logic. 3. ed. Monterey, CA: Wadsworth and Brooks / Cole Advanced Books and Software, 1987.

Miraglia, F. Cálculo proposicional: uma interação da álgebra e da lógica. Campinas: UNICAMP/CLE, 1987. (Coleção CLE, v. 1).

Rasiowa, H.; Sikorski, R. The mathematics of metamathematics. 2. ed. Waszawa: PWN - Polish Scientific Publishers, 1968.

Rasiowa, H. An algebraic approach to non-classical logics. Amsterdam: North-Holland, 1974.

Downloads

Published

2019-11-18

Issue

No. 22

Section

Artigos

License

Argumentos magazine is licensed under an International Creative Commons Attribution License.

The Magazine uses CC BY inclusion

1) The authors retain the copyright granted to the magazine or the right to initial publication, with the work regularly licensed under the Creative Commons Attribution, which allows the sharing of the work with acknowledgment of authorship and initial publication in this magazine.

2) The authors are authorized to contract additional applicable contracts, for non-exclusive distribution of the version of the work published in this journal (for example, publication in the institutional repository or as a chapter of the book), recognition of authorship and initial publication in this journal.

3) Authors are authorized and encourage to publish and distribute their work online (for example, in institutional repositories or on their personal pages) at any time before or during the editorial process, as they can generate productive changes, as well as increase the impact and reference of published work.