[en] . A linguistic analysis of deontic paradoxes can be used to further develop
deontic logic. In this paper we provide a Beth-Reichenbach semantics to
analyze deontic paradoxes, and we illustrate it on the single agent decision problem
of the miners scenario. We also introduce extensions with reactive arrows
and actions, which can be used to give a linguistic interpretation of multi-agent
dialogues.
Disciplines :
Computer science
Author, co-author :
GABBAY, Dov M. ; University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)
Robaldo, Livio
SUN, Xin ; University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)
Torre, Leendert W. N. Van Der
BANIASADI, Zohreh ; University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)
External co-authors :
yes
Language :
English
Title :
Toward a Linguistic Interpretation of Deontic Paradoxes - Beth-Reichenbach Semantics Approach for a New Analysis of the Miners Scenario
Publication date :
2014
Event name :
Deontic Logic and Normative Systems - 12th International Conference DEON 2014, Ghent, Belgium, July 12-15, 2014. Proceedings
Event date :
2014
Main work title :
Deontic Logic and Normative Systems - 12th International Conference DEON 2014, Ghent, Belgium, July 12-15, 2014. Proceedings
Beth, E.W.: Semantic construction of intuitionistic logic. Kon. Nederlandse Ac. Wetenschappen afd. Letteren: Mededelingen, 357-88 (1956)
Broersen, J.M.: Modal Action Logics for Reasoning about Reactive Systems. PhD thesis, Faculteit der Exacte Wetenschappen, Vrije Universiteit Amsterdam (2003)
Cariani, F., Kaufmann, M., Kaufmann, S.: Deliberative modality under epistemic uncertainty. Linguistics and Philosophy 36(3), 225-259 (2013)
Carr, J.: Deontic modals without decision theory. Proceedings of Sinn und Bedeutung 17, 167-182 (2012)
Charlow, N.: What we know and what to do. Synthese 190(12), 2291-2323 (2013)
Condoravdi, C., van der Torre, L.: Deontic modality: linguistic and logical perspectives. In: ESSLLI 2014 course descriptions (2014)
Gabbay, D., Horty, J., Parent, X., van der Meyden, R, van der Torre, L.: Handbook of Deontic Logic and Normative Systems. College Publications (2013)
Gabbay, D., Parent, X., van der Torre, L.: An intuitionistic basis for input/output logic. In: Hansson, S.O. (ed.) David Makinson on Classical Methods for Non-Classical Problems. Series Oustanding Contributions to Logic, vol. 3, pp. 263-286. Springer (2014)
Gabbay, D.M.: Semantical Investigations in Heyting's Intuitionistic Logic. D. Reidel Publishing Company (1981)
Gabbay, D.M.: Reactive kripke models and contrary to duty obligations. part A: Semantics. Journal of Applied Logic 11(1), 103-136 (2013)
Kolodny, N., MacFarlane, J.: Iffs and oughts. Journal of Philosophy 107(3), 115-143 (2010)
Kratzer, A.: The notional category of modality. In: Eikmeyer, H.J., Rieser, H. (eds.) Words, worlds, and Contexts: New Approaches in World Semantics. de Gruyter, Berlin (1981)
Reichenbach, H.: Elements of Symbolic Logic. Macmillan Co., New York (1947)
Dalen, D.V.: Intuitionistic logic. In: Handbook of philosophical logic, pp. 225-339. Springer (1986)
Willer, M.: A remark on iffy oughts. Journal of Philosophy 109(7), 449-461 (2012)