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

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