کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
4662931 | 1345211 | 2014 | 45 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
The categorical imperative: Category theory as a foundation for deontic logic
ترجمه فارسی عنوان
ضرورت قطعی: نظریه مجموعه به عنوان پایه ای برای منطق تکلیفی
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
کلمات کلیدی
منطق محرمانه؛ سیستم قیاسی؛ استدلال هنجاری شرطی؛ تعهدات متضاد؛ پارادوکس ها
موضوعات مرتبط
مهندسی و علوم پایه
ریاضیات
منطق ریاضی
چکیده انگلیسی
This article introduces a deontic logic which aims to model the Canadian legal discourse. Category theory is assumed as a foundational framework for logic. A deontic deductive system DDSDDS is defined as two fibrations: the logic for unconditional obligations OLOL is defined within a Cartesian closed category on the grounds of an intuitionistic propositional action logic PALPAL and an action logic ALAL, while a logic for conditional normative reasoning CNRCNR is defined as a symmetric closed monoidal category. A typed syntax and typed arrows are used to define properly DDSDDS. We show how it can solve the paradoxes of deontic logic and we provide some examples of application to legal reasoning.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Journal of Applied Logic - Volume 12, Issue 4, December 2014, Pages 417–461
Journal: Journal of Applied Logic - Volume 12, Issue 4, December 2014, Pages 417–461
نویسندگان
Clayton Peterson,