Application of Logic in Legal  Systems

Please enable javascript in your browser.

Ershadmanesh, Sara | 2010

612 Viewed

Type of Document: M.Sc. Thesis
Language: Farsi
Document No: 43144 (02)
University: Sharif University of Technology
Department: Mathematical Sciences
Advisor(s): Ardeshir, Mohammad
Abstract:
Deontic logic is used to formalize legal reasoning. To apply this logic in law, we describe tersely some efforts to improve this logic by relativizing its operations with respect to different people and groups of society. Until now, this logic was restricted to formalize “what must be”. We extend this logic to dyadic logic to formalize “what must be done”.
In practice, legal reasoning leads to non-monotonic logics, the most applicable one in law is defeasible logic. So it is necessary to combine deontic and defeasible logics to formalize legal reasoning in a more appropriate way. To do that, we must adjust possible worlds of these two logics. In this way, we find a method for solving contrary to duty paradoxes of deontic logic
Keywords:
Classification ; Deontic Logic ; Dyadic Logic ; Defeasible Logic ; Enactment of Norms ; Authority ; Contrary to Duty

No TOC