درخت حوزه‌های تخصصی

اولیات، یکی از مبادی معرفت است که معارف نظری صادق بر پایه آن استوار است. این عنوان همه قضایایی را که صرف تصور برای جزم به صدق آنها کافی است دربرمی گیرد؛ اعم از قضایای تحلیلی به اصطلاح کانت یا اصل عدم تناقض یا قضایای دیگری که تعریف اولیات آنها را پوشش می دهد. این مقاله به منظور تبیین وجه صدق اولیات تدوین یافته است. در این مقاله، دو تبیین براساس دو نظریه ازائه شده است: 1. تبیین بر اساس نظریه کلاسیک (نظریه معنایی) که نظریه غالب فلاسفه اسلامی است؛ 2. تبیین بر مبنای نظریه نوین ( نظریه ارجاع به علم حضوری) که نظریه استاد مصباح است؛ نظریه ای که در آموزه علم حضوری علامه طباطبایی ریشه دارد. در ادامه، وجه اشتراک و افتراق این دو نظریه بیان می شود، سپس نوبت به نقد و بررسی می رسد.

ابن سینا در فصل هشتم از نهج سوم کتاب اشارات و تنبیهات در بیان اقسام ترکیب قضایاى شرطیه متصله و منفصله از اجزایى چون قضایاى حملیه و شرطیه، چند مثال مطرح مى کند که نخستین آنها براى قضیه متصله مرکب از متصله و منفصله است. همین مثال، مبناى منازعه اى تأمل انگیز بین دو تن از شارحان این کتاب یعنى خواجه نصیرالدین طوسى و فخر رازى مى گردد. فخر رازى معتقد است هر قضیه متصله لزومیه تنها با یک قضیه منفصله از نوع مانعه الخلو هم ارز است؛ دیدگاهى که شباهتى با مباحث منطق جدید دارد. در مقابل خواجه طوسى معتقد است این انحصار صحیح نیست و مى توان هر قضیه متصله لزومیه را به یک منفصله مانعه الخلو و یا منفصله مانعه الجمع، بدون رجحان هیچ کدام تأویل کرد. در این بین، هم براى داورى میان فخر رازى و خواجه طوسى و هم براى تبیین دیدگاه منطق جدید در این باره، از منطق جدید کمک گرفته ایم و در نهایت ضمن تبیین تفاوت نظر فخر رازى و منطق جدید، نشان داده ایم که نظر صحیح همان رأى خواجه طوسى بوده و منطق جدید نیز در این مورد مؤید دیدگاه خواجه مى باشد.

منطق نگاران دو بخشی قرن هفتم با تامل در تفاوت ساختار قضیه طبیعیه و قضیه مهمله به اعتبار قضیه طبیعیه بعنوان یکی از اقسام حملی پرداختند و تقسیم بندی سه گانه را به صورت چهارگانه بازسازی کردند آنان دو دیدگاه رقیب یعنی مهمله انگاری و شخصیه انگاری طبیعیه را مورد نقد قرار دادند طبیعیه از حیث سور ناپذیری انحلال ناپذیری به عقدالوضع وعقد الحمل اشتمال بر عضویت و نه اندارج و یکسانی موضوع حقیقی و موضوع ذکری با مهمله تمایز ساختاری دارد طبیعیه با شخصیه از حیث موارد یاد شده تفاوت ساختاری ندارد و تمایز آن دو در سنخ محمول آنهاست از این روی منطق دانان قرن هفتم از طرفی طبیعیه را متمایز از مهمله اعتبار کردند و از طرف دیگر بر طبعیه در حکم شخصیه است تاکید داشتند آنان با اعتبار طبیعیه به صورت متمایز از شخصیه به یک معنا به اهمیت منطقی محمول درجه دو پی برده اند مراد از محمول درجه دو در اینجا معقول ثانی منطقی است که به دلیل محمول واقع شدن تمایز ساختاری را سبب می شود بنابراین محمول درجه دوم با آنچه منطق دانان جدید در حساب محمولات درجه دوم به کار می برند متفاوت است این پژوهش در واقع سهم منطق نگاران دو بخشی قرن 7 را در توسعه دانش منطق با عطف توجه به یک مساله معین نشان می دهد

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

ملّاصدرا درباره قضایای وجودی چهار نظریّه گوناگون عرضه کرده است که در بادی امر مغایر با یکدیگر به نظر میرسند. مدّعای این مقاله آن است که اگر این چهار نظریّه را از دو دیدگاه اصالت وجود و اصالت ماهیّت مورد تحقیق قرار دهیم، خواهیم دید که اوّلاً قابل تقلیل به دو نظریّه میباشند و دوم این که راه حل های ملّاصدرا درباره قضایای وجودی صرفاً منحصر در ممکنات است و اساساً درباره واجب مطرح نمیگردد.