وضع مقدم

پارادوکس کَرول بنیادی ترین مفهوم منطق، یعنی مفهوم استنتاج را به چالش می کشد و چنین می نمایاند که در هیچ استنتاجی نمی توان از مقدّمات به نتیجه رسید. مقاله ی پیش رو این پارادوکس را بر سه اندیشمند بزرگ، ویتگنشتاین، ابن سینا، و خواجه نصیر، عرضه می کند و می کوشد تا راه حلّی را از سخنان آنان فرا چنگ آورد. ویتگنشتاین از یک وضع مقدّم «بیان ناپذیر» ولی «نشان دادنی» در همه ی استنتاج ها سخن می گوید که سرانجام به تفکیک «قاعده» از «مقدّمه» می انجامد. ابن سینا نیز اصول منطقی را «مکیال» می داند نه «مادّه»، که این دقیقاً همان تفکیک یادشده است. و خواجه نصیر از نیازمندی هر قیاس اقترانی به یک وضع مقدّمِ «معاون» و «مقارن» سخن می راند که بیان دیگری از «وضع مقدّم بیان ناپذیرِ نشان دادنیِ» ویتگنشتاین است که باز به تفکیک یادشده منتهی می شود. و تفکیک «قاعده» از «مقدّمه» و نارواییِ تبدیل اوّلی به دومی کلید حلّ پارادوکس کرول است. این دقیقاً همان تفکیک یادشده است. و خواجه نصیر از نیازمندی هر قیاس اقترانی به یک وضع مقدّمِ «معاون» و «مقارن» سخن می راند که بیان دیگری از «وضع مقدّم بیان ناپذیرِ نشان دادنیِ» ویتگنشتاین است که باز به تفکیک یادشده منتهی می شود. و تفکیک «قاعده» از «مقدّمه» و نارواییِ تبدیل اوّلی به دومی کلید حلّ پارادوکس کرول است.

قیاس تلازم در قرآن کریمچکیده قیاسی که کبرای آن شرطیه متصله باشد قیاس تلازم نامیده می شود. این قیاس در دو حالت «وضع مقدم» و «رفع تالی»، منتج و در سایر اشکال عقیم است. قیاس های تلازم ذکر شده در قرآن کریم چند حالت دارد: گاهی شرایط عمومی و اختصاصی قیاس تلازم در آنها کاملا رعایت شده است اما به علت وضوح، برخی مقدمات یا نتایج آنها ذکر نشده و قیاس اصطلاحاً مضمر و مرخم است؛ اما گاهی ظاهراً شرایط اختصاصی قیاس تلازم در آنها رعایت نشده و از «رفع مقدم » و «وضع تالی» نتیجه گیری شده است. در این پژوهش به بررسی برخی از مهم ترین قیاس های تلازم در قران کریم پرداخته شده و در مواردی که ظاهراً شرایط اختصاصی قیاس تلازم رعایت نشده است، علت آن بررسی و با استفاده از محتوای قرآن کریم و قواعد کلی استدلال؛ مانند «تلازم شرطیات»، این قیاس ها به قیاس های معتبر، مؤول و اثبات شده است که قران کریم که کتاب هدایت انسان است و او را به اندیشیدن دعوت می کند، با زبان انسان نازل شده و قواعد کلی اندیشه و تفکر در آن رعایت شده است. کلید واژگان : قرآن کریم، قیاس تلازم، وضع مقدم، رفع تالی،

در کتاب خوشامدگویی به تناقض نوشته ی رحمان شریف زاده – که به کمک آرای گراهام پریست از صدق برخی تناقض ها در جهان محقَّق دفاع می کند - از نظر ظاهری (مثل ویرایش ادبی و ...) به ندرت به مشکلی برمی خوریم. ما در این نوشتار بیش تر به تحلیل و ارزیابی محتوایی اثر پرداخته و – افزون بر چند پیش نهاد – در مواردی دیدگاه های نویسنده و/یا تناقض باوران را به چالش کشیده ایم. مثلاً گفته ایم که پارادوکس پیش گفتار و حالات مرزی مورد بحث را نمی توان تناقضی واقعی به شمار آورد. هم چنین، برای اعتقاد به تناقض باوری به امر خلاف شهودی چون واقع سلبی نیازی نیست. در بررسی منطق پارادوکس به اصلاح جدول ارزش نقیض و استلزام منطقی پرداخته ایم: به جای t = f ، p = p و f = t باید گفت: t = f ˅ p، p = t ˅ f و f = t ˅ p؛ در حالت های t→p، p→p و p→f نیز به جای ارزش p باید گفت: t˅f. بر پایه ی این اصلاح ها، اشکال بر اعتبار قاعده ی وضع مقدّم در منطق پارادوکس وارد نیست. در مجموع، خواهیم دید که وجود چنین کتابی در زبان فارسی ضروری است.