1
philosophy::
Proof
اسمایلی معتقد است ماحصل نگاه لوکاسیاویچ به قیاس و در مرحله بعدی به برهان این است که در پی اثبات و استنتاج چیزی نیست و در نتیجه برهان‌ها چیزی بیش از گزاره‌های شرطی ساده نیستند (ibid,136).
مدافعان نگرش شرطی در دفاع این مدعا را مطرح می‌کنند که برنهاد شرطی نمایان/ ناتوانستنی است آن جا که در اثبات نمایان/ ناتوانستنی بکار گرفته می‌شود.
پس در اثبات برنهاد شرطی ناتوانستنی، برنهاد نمایان نقشی دارد.
مثلا، برای اثبات Darii از بازگرداندن به ناتوانستی برای استنتاج نتیجه بهره‌مند شد.
بنابراین معتقد است اگر "ضربی بدیهی نباشد و نیازمند اثبات تا صدقش محرز شود نمی‌بایست به سراغ سایر قیاس‌های حملی رفت زیرا قیاس‌های حملی استلزامی موضوع و محمولی ندارند تا در اثبات به کار رود"(Lukasiewicz,44).
واژگان شبکه مترجمین ایران