Enriching deontic logic with typicality

Simple item page
dc.contributor.advisorMeyer, Thomas
dc.contributor.authorChingoma, Julian
dc.date.accessioned2021-01-15T09:53:11Z
dc.date.available2021-01-15T09:53:11Z
dc.date.issued2020
dc.description.abstractLegal reasoning is a method that is applied by legal practitioners to make legal decisions. For a scenario, legal reasoning requires not only the facts of the scenario but also the legal rules to be enforced within it. Formal logic has long been used for reasoning tasks in many domains. Deontic logic is a logic which is often used to formalise legal scenarios with its built-in notions of obligation, permission and prohibition. Within the legal domain, it is important to recognise that there are many exceptions and conflicting obligations. This motivates the enrichment of deontic logic with not only the notion of defeasibility, which allows for reasoning about exceptions, but a stronger notion of typicality which is based on defeasibility. KLM-style defeasible reasoning introduced by Kraus, Lehmann and Magidor (KLM), is a logic system that employs defeasibility while a logic that serves the same role for the stronger notion of typicality is Propositional Typicality Logic (PTL). Deontic paradoxes are often used to examine deontic logic systems as the scenarios arising from the paradoxes' structures produce undesirable results when desirable deontic properties are applied to the scenarios. This is despite the various scenarios themselves seeming intuitive. This dissertation shows that KLM-style defeasible reasoning and PTL are both effective when applied to the analysis of the deontic paradoxes. We first present the background information which comprises propositional logic, which forms the foundation for the other logic systems, as well as the background of KLM-style defeasible reasoning, deontic logic and PTL. We outline the paradoxes along with their issues within the presentation of deontic logic. We then show that for each of the two logic systems we can intuitively translate the paradoxes, satisfy many of the desirable deontic properties and produce reasonable solutions to the issues resulting from the paradoxes.
dc.identifier.apacitationChingoma, J. (2020). <i>Enriching deontic logic with typicality</i>. (Master Thesis). University of Cape Town. Retrieved from http://hdl.handle.net/11427/32530en_ZA
dc.identifier.chicagocitationChingoma, Julian. <i>"Enriching deontic logic with typicality."</i> Master Thesis., University of Cape Town, 2020. http://hdl.handle.net/11427/32530en_ZA
dc.identifier.citationChingoma, J. 2020. Enriching deontic logic with typicality. Master Thesis. University of Cape Town. http://hdl.handle.net/11427/32530en_ZA
dc.identifier.ris TY - Master Thesis AU - Chingoma, Julian AB - Legal reasoning is a method that is applied by legal practitioners to make legal decisions. For a scenario, legal reasoning requires not only the facts of the scenario but also the legal rules to be enforced within it. Formal logic has long been used for reasoning tasks in many domains. Deontic logic is a logic which is often used to formalise legal scenarios with its built-in notions of obligation, permission and prohibition. Within the legal domain, it is important to recognise that there are many exceptions and conflicting obligations. This motivates the enrichment of deontic logic with not only the notion of defeasibility, which allows for reasoning about exceptions, but a stronger notion of typicality which is based on defeasibility. KLM-style defeasible reasoning introduced by Kraus, Lehmann and Magidor (KLM), is a logic system that employs defeasibility while a logic that serves the same role for the stronger notion of typicality is Propositional Typicality Logic (PTL). Deontic paradoxes are often used to examine deontic logic systems as the scenarios arising from the paradoxes' structures produce undesirable results when desirable deontic properties are applied to the scenarios. This is despite the various scenarios themselves seeming intuitive. This dissertation shows that KLM-style defeasible reasoning and PTL are both effective when applied to the analysis of the deontic paradoxes. We first present the background information which comprises propositional logic, which forms the foundation for the other logic systems, as well as the background of KLM-style defeasible reasoning, deontic logic and PTL. We outline the paradoxes along with their issues within the presentation of deontic logic. We then show that for each of the two logic systems we can intuitively translate the paradoxes, satisfy many of the desirable deontic properties and produce reasonable solutions to the issues resulting from the paradoxes. DA - 2020 DB - OpenUCT DP - University of Cape Town LK - https://open.uct.ac.za PY - 2020 T1 - Enriching deontic logic with typicality TI - Enriching deontic logic with typicality UR - http://hdl.handle.net/11427/32530 ER - en_ZA
dc.identifier.urihttp://hdl.handle.net/11427/32530
dc.identifier.vancouvercitationChingoma J. Enriching deontic logic with typicality. [Master Thesis]. University of Cape Town, 2020 [cited yyyy month dd]. Available from: http://hdl.handle.net/11427/32530en_ZA
dc.language.isoeng
dc.publisherUniversity of Cape Town
dc.publisher.departmentDepartment of Computer Science
dc.publisher.facultyFaculty of Science
dc.subject.otherDeontic Logic
dc.subject.otherComputational Logic
dc.titleEnriching deontic logic with typicality
dc.typeMaster Thesis
dc.type.qualificationlevelMasters
dc.type.qualificationnameMSc
uct.type.publicationResearch
uct.type.resourceMaster Thesis
Files
Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
thesis_sci_2020_chingoma_julian.pdf
Size:
1.91 MB
Format:
Adobe Portable Document Format
Description:
Download
Collections
Masters