آنتولوژی-علوم اسلامی

اصول فقه

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

نکات قابل استفاده

جایگاه بحث مراتب حکم

تفکیک معانی فعلیت حکم

الزامات در بادی امر/الزامات پس از درنظر گرفتن همه چیز

مسئله صدق در اعتباریات

منطق دینامیک

ابهامات: نامگذاری جدید و درنظر گرفتن اصطلاحات رایج فقهی اصولی:احکام کلی/احکام بالقوه/احکام بالفعل

تعریف واجب به واجب بالفعل

صفر و یکی بودن شریعت

پیشرفت ها:

بحث مراتب حکم استاد

بحث اعتباریات استاد و مبناقرار گرفتن اغراض و قیم

معانی فعلیت و تدقیق در آن ها

تحلیل وجوب و قضایای حقیقیه

تحلیل رابطه حکم تکلیفی با حکم وضعی

تحلیل رابطه احکام با حقوق

بحث منطق های جدید

سقوط امر و فعلیت آن

مقاله«درآمدی به منطق تکلیف»-ضیاء موحد و فرشته نباتی

SDLمنطق استاندارد تکلیف

وجوه تکلیفی بر اسامی افعال قرار می گیرد١. :

مرتبط با بحث تعلق احکام به عنوان یا معنون در اصول فقه.

اشکال: همان اشکال منطق گزاره ها که کل فعل را موضوع قرار داده است

پیشرفت بحث: مطرح کردن بحث متعلق و متعلق المتعلق و امثال آن و تحلیل موضوع

٢. بحث تعاریف پایان ص ١۵۴

مناسب با بحث استلزامات امر و نهی و ضد خاص و ضد عام. پیشرفت بحث با بررسی علامت مساوات.

محوریت جواز در منطق تکلیف فون رایت ص 154

مرتبط با بحث تحلیل حقیقت حکم تکلیفی و اقسام تحلیل های ارائه شده در این مبحث به عنوان نمونه رک الرافد در این بحث

نظام منطق شرطی تکلیف

نزدیک به فضای قضایای حقیقیه در اصول

چالش مهم در این تبیین پیش فرض گرفتن منطق گزاره ها با وجود اشکالات ساختاری آن، عدم تفکیک مناسب بین فضای انشاء و اخبار، عدم توجه به منطق چندارزشی و سعی در ارجاع موارد به دو ارزش یا یک ارزش اولیه است.

کاربردهای مختلف لفظ وجود در حکمت

شوارق الالهام، ج 1، ص 145-146

المسألة الثّالثة [في زيادة الوجود على الماهيّة] [قال: فيغاير الماهيّة و إلاّ اتّحدت الماهيّات أو لم تنحصر أجزاؤها، و لإنفكاكهما تعقّلا، و لتحقّق الإمكان، و فائدة الحمل، و الحاجة إلى الاستدلال، و انتفاء التّناقض، و تركّب الواجب و قيامه بالماهيّة من حيث هي هي، فزيادته في التصوّر.] [أقول:] أنّ هذا الوجود العامّ البديهي الّذي قد ثبت بداهته و اشتراكه معنى في المسألتين السّابقتين زائد على الماهيّة في جميع الموجودات، سواء كان واجبا أو ممكنا. و المخالف في هذه المسألة أيضا هو أبو الحسن الأشعري و أبو الحسين البصري، و أتباعهما، القائلون: بأنّ وجود كلّ ماهيّة عبارة عن نفس حقيقتها. و هذا أخصّ من الاشتراك اللفظي لاحتمال الاشتراك أن يكون الوجود في كلّ ماهيّة أمرا زائدا على الماهيّة مختصّا بها لا نفسها. و أمّا الحكماء: فإنّهم و إن قالوا بعينيّة الوجود في الواجب، إلاّ أنّهم لم يريدوا هذا المفهوم؛ المشترك، بل أرادوا معنى آخر كما ستعرفه إن شاء اللّه تعالى.

نقشه راه:

ما در مباحث مختلف با مسائل و مفردات آن اعم از موضوعات واحکام سر و کار داریم

در ناحیه مسائل باید کددهی صورت پذیرد، کد پستی و کد ملی و همین طور توسعه مسائل

در زمینه مفردات با دو حوزه مواجهیم:

1. تحلیل موضوعی

2. تنظیم حکمی

در حوزه تحلیل موضوعی، باید موضوعات عامه مورد اهتمام قرار بگیرند؛ الفاظی که نوعاً محور تقسیم مباحث حکمتند: وجود،‌ماهیت، وحدت، کثرت،‌علت، سبق، لحوق،...

در حوزه تنظیم حکمی باید دو نکته مد نظر قرار گیرد:

1. تلاش برای دسترسی به منطق مناسب فضای حکمت

2. بررسی نصاب حجیت مسائل

3. تلاش برای یافتن حجج آشکار و پنهان حکمت

4. تفکیک عناصر تحقیق و تدقیق در این عالم

مباحثه نهایة الحکمة، مدخل

إنّا معاشرَ الناس أشياءُ موجودةٌ جدّاً ، ومَعَنا أشياءُ اُخَر موجودةٌ ربّما فعلَتْ فينا أو انفعلَتْ منّا ، كما أنّا نفعل فيها أو ننفعل منها...

تفکیک بین مترادفات و تعیین کلاس برای هر یک: موجود و شیء

تفکیک بین مبدأ اشتقاق و مشتقات: وجود و موجود

تفکیک بین مساوقت و ترادف

جایگاه مباحث زبانی در فلسفه: زبان دارای کاربرد به حمل شایع در فلسفه بدون تعین مانند مبحث ارتکاز در فقه قدیم، مباحث حجیت و زبان دارای کاربرد در فهم کلمات فلاسفه

لزوم تفکیک بین فلسفه های اثباتی مکاتب و اشخاص و فلسفه حقیقی

لزوم تفکیک بین عناصر مختلف از قبیل مفاهیم منطقی، مفاهیم فلسفی‌، رابطه های منطقی یا فلسفی،‌ عناصر زبانی، عناصر استدلالگر مانند مکابرة، روش های استدلال، ابزارهای استدلال مانند تنبیه و برهان،

لزوم بررسی چگونگی تفکیک اقسام مفاهیم به کار رفته در فلسفه مانند وجود: مفهوم وجود، لفظ وجود، حقیقت وجود، وجود شخصی، صرف الوجود،

مقاله «ضرورت ایجاد آنتولوژی فقه برای مدیریت اطلاعات فقهی در فضای دیجیتال»-حسین حسن زاده

هدف این پژوهش اثبات ضرورت ایجاد آنتولوژی فقه برای مدیریت اطلاعات فقهی در فضای وب معنایی و برتری آنتولوژی فقه از اصطلاح‌نامه در این فضا است. خروجی آن نیز نقشه‌ و ساختار جامعی از فقه است که محدودیت ساختارهای سنتی فقه و ساختار مبتنی بر اصطلاح‌نامۀ فقه را ندارد. به همین جهت می‌توان به‌سبب آن اطلاعات فقهی در این فضا را به بهترین شکل، مدیریت و سازمان‌دهی کرد و نیازهای کاربران را در این فضا به‌نحو مطلوبی پاسخ داد. برای دستیابی به این هدف، دو شیوه از شیوه‌های مهم مدیریت دانش یعنی شیوۀ اصطلاح‌نامه و آنتولوژی مقایسه گردیده و ثابت شده است که اساساً امکان تبادل دانش بین انسان و ماشین ازطریق اصطلاح‌نامه وجود ندارد، اما آنتولوژی فقه این امکان را فراهم می‌کند؛ یعنی سطح استانداردسازی داده‌های فقهی را تا اندازه‌ای بالا می‌برد که داده‌ها برای ماشین نیز قابل‌پردازش و درک‌کردن باشد و بدین طریق، داده‌ها هوشمندتر از گذشته می‌شوند.