بنیادهای بدیهی در منطق صوری

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

Keywords:

نسبت های چهار گانه , تساوی , عموم و خصوص مطلق , عموم و خصوص من وجه , تباین , عین , نقیض , صادق , کاذب