<div class="csl-bib-body">
<div class="csl-entry">Mahler, S. (2023). <i>Analytic proof theory for deontic Mīmāṃsā logic</i> [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2023.111021</div>
</div>
-
dc.identifier.uri
https://doi.org/10.34726/hss.2023.111021
-
dc.identifier.uri
http://hdl.handle.net/20.500.12708/188285
-
dc.description.abstract
Deontic logic is the branch of logic that deals with obligations,prohibitions, permissions, and other normative concepts.It has become increasingly relevant in domains such as Ethics,Law and AI. Deontic Logic is a relatively recent field of study,with its inception traced back to von Wright's 1951 paper. By constrast, Mīmāṃsā -- a prominent school of Sanskrit philosophy --has thoroughly discussed for more than two Millennia deontic concepts almost in a formal way. As such, Mīmāṃsā offers a treasure trove of 2000years of deontic investigations. This thesis focuses son the Mīmāṃsā authors Prabhakara and Kumarila and discusses two modal logics that formalize their deontic theories. The analyticity of their respective proof theories, based on the hypersequent calculus, is established through the process of cut-elimination. Further, soundness and completeness are proven.
en
dc.language
English
-
dc.language.iso
en
-
dc.rights.uri
http://rightsstatements.org/vocab/InC/1.0/
-
dc.subject
Deontische Logik
de
dc.subject
Mimamsa
de
dc.subject
Sanskrit Philosophie
de
dc.subject
Schnitteliminierung
de
dc.subject
Analytische Beweistheorie
de
dc.subject
Deontic logic
en
dc.subject
Mimamsa
en
dc.subject
Sanskrit philosophy
en
dc.subject
Cut-elimination
en
dc.subject
Analytic Proof Theory
en
dc.title
Analytic proof theory for deontic Mīmāṃsā logic
en
dc.title.alternative
Analytische Beweistheorie für deontische Mīmāṃsā Logic
