صورت بندی گزاره های موجهه نزد خونجی در منطق موجهات زمانی جدید(مقاله علمی وزارت علوم)
حوزه های تخصصی:
اگر به دسته بندی بی نظیر گزارة موجهة خونجی در کتاب کشف الأسرار، مراجعه کنیم با مجموعه ای 34 عضوی مواجه خواهیم شد. 15 گزاره از این مجموعه توسط منطق دانان پیش از خونجی بیان شده، اما 19 گزارة دیگر را او افزوده است. پیگیری چگونگی صورت بندی این گزاره ها توسط خونجی این گونه می نماید که وی در صورت بندی خود 2 گزاره را از قلم انداخته و 32 گزارة دیگر را که به دو دستة اصلی(دارای 13 عضو) و فرعی ( دارای 19 عضو) دسته بندی می شوند، صورت-بندی کرده است. در بخش نخست این مقاله، به شرح و توضیح این گزاره ها پرداخته شده است.
منطق دانان جدید پس از مواجهه با گزارة موجهه، سعی کردند جهت گزاره را به صورت نمادین نمایش دهند. از جمله تلاش های صورت گرفته در این راستا، مساعی نیکولاس رشر است. اینکه می گوییم ""تقریباً موفق بوده"" به دلیل وجود کاستی هایی است که در این صورت بندی و دیگر صورت بندی ها وجود دارد؛ زیرا در گزارة موجهه علاوه بر ""جهت""، قید دیگری نیز وجود دارد ( در این مقاله آن را ""قید زمانی"" نامیده ایم) که این صورت بندی ها در نمایش آن ناموفق بوده اند. در این مقاله طرحی نو درانداخته و با نظر به اینکه "" زمان در قیود زمانی متغیر است، پس از تعریف متغیر""t"" ، صورت بندی ای به مراتب گویاتر از دیگران ارائه کرده ایم.