میراث مکتوب- منطق، علم استدلال و استنتاج است و در شناسایی و تمایز «مکاتب منطقی» به ویژه در تاریخ منطق همواره باید به این نکته مهم توجه داشت. می‌دانیم ارسطو با شناسایی قیاس حملی پایه‌گذار منطق ارسطویی یا منطق محمولات قدیم و خروسپس با شناسایی قیاس شرطی پایه‌گذار منطق رواقی ـ مگاری یا منطق گزاره‌های قدیم هستند.
از طرف دیگر با نظری عمیق و دقیق به سیر تحولات منطق و میراث منطقی جهان اسلام درمی‌یابیم که شیخ‌الرئیس ابوعلی سینا دو نظریۀ استنتاجی جدید در تاریخ منطق شناسایی نموده که هیچ سابقه‌ای در سنت یونانی ارسطو و رواقیان نداشته و از ابداعات تأسیسی ـ استنتاجی ابن‌سینا محسوب می‌شود. ابن سینا خود بر این ابداع و تأسیس تأکید و تصریح بلیغی دارد.
این دو نظریه عبارت‌اند از: نظریه قیاس اقترانی شرطی و نظریه موجهات زمانی. اهمیت صوری این دو نظریه و بسط و گسترشی که به‌ویژه پس از ابن‌سینا یافته‌اند تا آنجاست که این دوره از پژوهش‌های منطقی را می‌توان به دورۀ منطق سینوی نام‌گذاری کرد و اهمیت آن را در تاریخ منطق در کنار دیگر مکاتب منطقی مثل منطق ارسطویی و منطق رواقی ـ مگاری مورد تأکید و تصریح قرار دارد.
چهارمین نشست از مجموعه درس‌گفتارهایی دربارۀ بوعلی سینا چهارشنبه ۶ اسفند ساعت ۱۱ صبح با سخنرانی دکتر لطف‌الله نبوی به «ابن سینا و ابداعات تأسیسی ـ استنتاجی» اختصاص دارد که به صورت مجازی پخش خواهد شد. علاقه‌مندان می‌توانند این درس‌گفتار را از اینستاگرام مرکز فرهنگی شهرکتاب به نشانی ketabofarhang و تلگرام این مرکز به نشانی bookcitycc پیگیری کنند.