ابوذر قاعدی فرد

امیر مازیار در مقاله ای با عنوان «دشواری های کتاب مابعدالطبیعه» ادعا کرده است که ارسطو در کتاب دوم مابعدالطبیعه(بتا)، دشواری هایی را بیان کرده که فصول بعدی مابعدالطبیعه در جستجوی یافتن پاسخ این دشواری ها، شکل یافته اند. در این مقاله، نشان داده شده است که روشی که در ارسطو برای تفلسف خویش اختیار کرده است دارای چهار گام است که پرداختن به دشواری ها، گام اول این روش است. چهار گام آپوریای ارسطو عبارتند از: (1)سرگشتی و تحیر فلسفی(بیان دشواری های موضوع)، (2)بیان آراء موجود در پاسخ به دشواری، (3) تحلیل آراء موجود و (4)کشف حقیقت(آرامش فلسفی). هر کدام از این گام ها دارای کاربرد و اهدافی است که باعث تفاوت آن از روش های دیگر می شود. روش ارسطو که برخی  آن را "روش آپوریا" نامیده اند با آنچه به عنوان "دیالکتیک" از زمان زنون الیایی در فلسفه مطرح شده است و فیلسوفانی همچون سقراط و افلاطون از آن نام برده اند، تفاوت دارد. بخش اول این مقاله به روش تفلسف ارسطو پرداخته و اهداف و کاربرد هر گام از آپوریا را براساس نظر او، بیان کرده است. یکی از کتاب های مهم مابعدالطبیعه که اساس تفکر فلسفی ارسطو را بیان می کند، کتاب "زتا" است. در این کتاب ارسطو در پی یافتن حقیقت جوهر است. در بخش دوم این مقاله چگونگی به کارگیری روش آپوریا در کتاب "زتا" نشان داده شده است. در این بخش نشان داده شده است که اگرچه ترتیب برخی مباحث و بخش های کتاب زتا، به ظاهر دقیق نیست اما با دانستن اینکه ترتیب مباحث بخش های این کتاب از روش تفلسف ارسطو پیروی می کند، نه تنها نظم منطقی این مباحث استنتاج و بهتر فهمیده می شود بلکه از سختی فهم مباحث این کتاب نیز می کاهد.                                

خونجی، پس از بیان نقیض موجهات بسیط و موجهات مرکب کلیه، از دو شیوة متفاوت برای استنتاج نقیض گزارة موجهة مرکب جزئیه استفاده کرده است. او در یک شیوه، نقیض گزارة موجهة جزئیه را گزارة کلیة مردده المحمول می داند و در شیوة دیگر نقیض این گزاره را گزارة منفصله ای تلقی می کند که موضوع یکی از طرفین آن به وسیلة محمول مشترک اجزای انفصال مقید شده است. ما در این مقاله پس از بیان مختصری دربارة چگونگی تناقض موجهات بسیط و گزاره های مرکب کلیه نزد خونجی، به چگونگی تناقض موجهات مرکب جزئیه نزد این منطق دان خواهیم پرداخت و نشان خواهیم داد که خونجی مبدع شیوة اول استنتاج نقیض این گزاره، و اولین منطق دانی است که گزارة مردده المحمول را کشف کرده است. هم چنین نشان خواهیم داد که خونجی شیوة دوم استنتاج نقیض گزارة موجهة مرکب جزئیه را وام دار کشّی بوده است و دومین منطق دانی است که از چنین روشی استفاده کرده است.

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