مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resources

مقاله مقاله نشریه

مشخصات مقاله

مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resources

نسخه انگلیسی
مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resources

video

مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resources

sound

مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resources

نسخه انگلیسی

مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resources

بازدید:

672
مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resources

دانلود:

832
مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resources

استناد:

اطلاعات مقاله نشریه

عنوان

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

صفحات

 صفحه شروع 249 | صفحه پایان 277

چکیده

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

استنادها

  • ثبت نشده است.

    • ارجاعات

  • ثبت نشده است.

    • استناددهی

    APA: کپی

    نبوی، فاطمه سادات. (1398). رویکردی منطقی-ریاضی به اصول فقه. منطق پژوهی، 10(1 )، 249-277. SID. https://sid.ir/paper/216438/fa

    Vancouver: کپی

    نبوی فاطمه سادات. رویکردی منطقی-ریاضی به اصول فقه. منطق پژوهی[Internet]. 1398؛10(1 ):249-277. Available from: https://sid.ir/paper/216438/fa

    IEEE: کپی

    فاطمه سادات نبوی، “رویکردی منطقی-ریاضی به اصول فقه،” منطق پژوهی، vol. 10، no. 1 ، pp. 249–277، 1398، [Online]. Available: https://sid.ir/paper/216438/fa

    مقالات مرتبط نشریه ای

    مقالات مرتبط همایشی

  • ثبت نشده است.

    • طرح های مرتبط

  • ثبت نشده است.

    • کارگاه های پیشنهادی






    بازگشت به بالا
    telegram sharing button
    whatsapp sharing button
    linkedin sharing button
    twitter sharing button
    email sharing button
    email sharing button
    email sharing button
    sharethis sharing button