طرحی نو از اصول و مبانی منطق

با معرفی دو نظام منطقی پایه غیر کلاسیک ، جلد اول : منطق پایه گزاره ها

  منطق کلاسیک ، هرچند موفق شد کاخی زیبا از اندیشه با هارمونی شگرف و استثنایی بنا نماید که همچنان بر تارک اندیشه می درخشد، اما از همان آغاز با دو چالش عمده روبرو بود: برخی ناپذیرفتنی ها در قلمرو فرمول ها و استدلال های زبان منطق کلاسیک و برخی نابسندگی ها در زبان منطق کلاسیک برای صورت بندی و ارزیابی برخی گزاره ها و استدلال های غیر صوری زبان طبیعی. چالش اخیر ( نابسندگی ها) در برخی زمینه ها با توسعه زبان منطق تا حد قابل ملاحظه ای برطرف گردید اما در برخی زمینه های دیگر مانند صورت بندی جمله های علی ، شرطی های خلاف واقع و ارزیابی استدلال های حاوی این جمله ها همچنان باقی است، مزید بر اینکه ، تلاش ها برای مهار آن ناپذیرفتنی ها، به تأسیس دو نظام پایه تابع ارزشی و غیر تابع ارزشی پرداخته و مدعی است چالش های یاد شده ، در این نظریه پاخی در خور می یابند. البته مناسب ترین شیوه برای ارزیابی قدرت بیان و قوت استنتاجی این نظریه ، روش شناسی پسینی استنتاج به بهترین تبیین است.