Deontic Agency and Moral Luck

Reference : Deontic Agency and Moral Luck


	Document type :	Dissertations and theses : Bachelor/master dissertation
	Discipline(s) :	Engineering, computing & technology : Computer science
	To cite this reference:	http://hdl.handle.net/10993/39770

Title :	Deontic Agency and Moral Luck
Language :	English
Author, co-author :	Meder, Paul Joseph Yves [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC) >]
Publication date :	3-Sep-2018
Institution :	University of Luxembourg, Luxembourg, Luxembourg
Name of the degree :	Master in Information and Computer Sciences (Académique)
Number of pages :	104
Supervisor :	van der Torre, Leon
Member of the jury :	Theobald, Martin
	Parent, Xavier
	Benzmüller, Christoph
Keywords :	[en] Deontic Logic ; Moral Luck ; STIT Logic ; Input/Output Logic ; Higher-order logic ; Semantical Embedding
Abstract :	[en] This work presents temporal STIT I/O logic, an I/O logic based on temporal STIT logic, and documents its investigation with the proof assistant tool Isabelle/ HOL. We show how to semantically embedding temporal STIT logic as well as the out2 operator in HOL. Implementing those embeddings and also the already existing embedding of the out1 operator into Isabelle/HOL framework, enables the application of higher-order automatic theorem provers for automated reasoning tasks in temporal STIT I/O logic. Finally, we relate our logic to a more philosophical topic called moral luck, identify which aspects of moral luck can be studied by it, and use examples from this subject as test cases for the logic.
Permalink :	http://hdl.handle.net/10993/39770

File(s) associated to this reference

Fulltext file(s):

	File	Commentary	Version	Size	Access
Open access	MasterThesis_PaulMeder.pdf		Publisher postprint	2.29 MB	View/Open

All documents in ORBi^lu are protected by a user license.