کتاب تحلیل منطقی گزاره نوشته مهدی عظیمی توسط انتشارات حکمت اسلامی به چاپ رسیده است:

در بخشی از این کتاب می خوانیم:

محور منطق رواقی اند. نخستین دستگاه منطق گزاره ها. از همین روی، راقم این سطور بر آن است که نظریه استنتاج در منطق ابن سينا آمیزه ای ارسطویی روانی است.
باری، تحلیل صوری گزاره یعنی تعریف دقیق هر یک از ثوابت یادشده، تقسیم هر یک از آنها به اقسام مربوط، سامان دادن قواعد ساخت برای آنها، و کشف روابط منطقی و استنتاجی حاکم بر آنها.
اما تحلیل مادی چیست؟ ماده را می توان محتوای گزارهای دانست، یعنی همان چیزی که متعلق باور و صدق است. ابن سینا خود فصلی را که در آن به تحلیل مادی گزاره ها می پردازد چنین عنوان داده است: « إشارة إلى قضايا من جهة ما يصدق بها»، یعنی واشارتی به گزاره ها از آن روی که مورد تصديق واقع می شوند». «تصديق» (به ویژه «تصدیق جازم») را امروزه در معرفت شناسی، باور می نامند. بنابراین، ابن سینا در این فصل به بررسی گزاردها از آن روی که متعلق باورند می پردازد. البته هنگامی که به مطالعه درون مایه این فصل می پردازیم، می بینیم که وی اصناف گزاره ها را نه تنها از جهت باور، بلکه از...