داخل رو نگاه کنید

رویکردی منطقی-ریاضی به اصول فقه

چکیده:
در دهه های اخیر، صوری سازی با استفاده از ساختارهای ریاضی، در بسیاری از مباحث که ماهیت منطقی دارند، گسترش یافته است. اصول فقه یکی از این حیطه هاست که ماهیت منطقی دارد و در حقیقت همان منطق حاکم بر استدلال فقهی می باشد.  طراحی یک ساختار به سبک منطق ریاضی برای اصول فقه، هم به لحاظ فراهم آوردن ابزاری کارامد برای نشان دادن تمایز ها در روش های گوناگون استدلال فقهی، و هم به لحاظ استفاده از هوش مصنوعی برای ساخت ابزار کمکی در فرایند استنباط فقهی، می تواند مفید واقع شود. در این مقاله پس از معرفی اجمالی رویکرد ریاضی به منطق و بیان مختصری در تعریف اصول فقه، منطق صوری اصول فقه را در قلمرو منطق ریاضی جستجو می کنیم.  منطق تکلیف استاندارد و منطق تکلیف دینامیکی را به عنوان نزدیکترین ساختار های ریاضی موجود، به ساختار مورد نظر ما، به اجمال معرفی کرده، پس از بررسی معانی مختلف ‎«واجب»‎ در نوشتارگان اصول فقه، رویکرد فعل محور را برای تبیین مفهوم واجب بر می گزینیم، زبان صوری منطق فقه را مبتنی بر منطق دینامیکی طراحی می کنیم و در انتها نمونه هایی از قواعد فقهی را در این زبان صوری سازی می نماییم.

تحصیلات

سمت

فاطمه سادات نبوی
عضو هیات علمی گروه ریاضی دانشگاه قم

تعداد صفحات

20

فصلنامه

فصلنامه پژوهش های تفسیر تطبیقی دوره 2شماره 3

نویسنده

فاطمه سادات نبوی

ناشر

پژوهشگاه علوم انسانی و مطالعات فرهنگی

نقد و بررسی

هیچ دیدگاهی هنوز نیست.

اولین نفری باشید که نظر می دهید “رویکردی منطقی-ریاضی به اصول فقه”

نشانی ایمیل شما منتشر نخواهد شد. بخش‌های موردنیاز علامت‌گذاری شده‌اند *

هفده − 6 =