منو
 کاربر Online
872 کاربر online
تاریخچه ی: قیاس خلف

V{maketoc}
!تعریف قیاس خلف
__قیاس خلف__ یکی از اقسام ((قیاس مرکب)) است.
همانطور که می دانید در هر ((قیاس)) ما به دنبال آن هستیم تا ((قضیه|قضیه ای)) را که ((قیاس|مطلوب)) نامیده می شود اثبات کنیم.
به همین دلیل، ((قیاس اقترانی|حد وسطی)) پیدا می کنیم که میان ((قضیه حملی|موضوع و محمول)) مطلوب (یا همان ((قیاس اقترانی|اصغر و اکبر))) مشترک بوده و آن دو را به یکدیگر مرتبط سازد. سپس دو ((قیاس|مقدمه)) بنا می کنیم که در مقدمه اول، اصغر با حد وسط و در مقدمه دوم، اکبر با حد وسط اقتران (همراهی) پیدا می کند و به این ترتیب مطلوب ما ثابت شده و نتیجه به دست می آید.

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

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

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

این نوع حرکت و قیاس؛ یعنی ابطال نقیض مطلوب برای اثبات مطلوب را قیاس خلف می نامند.
بر این اساس قیاس خلف را اینگونه تعریف می کنند:
__قیاس خلف قیاس مرکبی است که مطلوب را از راه ابطال نقیض آن اثبات می کند.__

علت اینکه قیاس خلف را جزو قیاسهای مرکب می شمارند این است که قیاس خلف از دو قیاس تشکیل می شود یکی ((قیاس اقترانی|قیاس اقترانی شرطی)) و دیگری ((قیاس استثنائی)).
!دو نکته!
1- خلاصه دلیل درستی برهان خلف، چنین بیان می شود:
اگر مطلوب ثابت نباشد، نقیض آن صادق خواهد بود. (زیرا صدق دو نقیض محال است) اما نقیض مطلوب صادق نیست؛ زیرا صدق نقیض مطلوب، مستلزم خلف (خلاف فرض) است؛ پس باید مطلوب صادق باشد.
به این ترتیب درستی مطلوب اثبات می شود.

2- این قیاس را معمولا قیاس خلف (به ضم خاء) می نامند؛ اما ((ابن سینا)) در کتاب ((شفا)) این قیاس را خلف (به فتح خاء) نام می نهد و می گوید:
''قیاس خلف یعنی قیاسی که کلام را به محال سوق می دهد؛ زیرا خلف به معنای محال است و همین نام درست است.''
(باید توجه داشت که منظور این نیست که این نوع قیاس محال است بلکه این است که این قیاس نهایتا سخن را به محال می کشاند.)
در ادامه همین مطلب و برای آگاهی از کیفیت تالیف قیاس خلف، نگاه کنید به:
*((چگونگی تالیف قیاس خلف))
!منابع
*فرهنگ فلسفی، صفحه 341
*منطق مظفر، جلد2، صفحه 86، 87
*کلیات منطق صوری، صفحه 338، 339

تاریخ شماره نسخه کاربر توضیح اقدام
 یکشنبه 23 اسفند 1383 [07:43 ]   6   محمدحسین حقیقت      جاری 
 یکشنبه 23 اسفند 1383 [07:11 ]   5   محمدحسین حقیقت      v  c  d  s 
 یکشنبه 23 اسفند 1383 [07:10 ]   4   محمدحسین حقیقت      v  c  d  s 
 یکشنبه 23 اسفند 1383 [07:08 ]   3   محمدحسین حقیقت      v  c  d  s 
 یکشنبه 23 اسفند 1383 [07:08 ]   2   محمدحسین حقیقت      v  c  d  s 
 یکشنبه 23 اسفند 1383 [07:02 ]   1   محمدحسین حقیقت      v  c  d  s 


ارسال توضیح جدید
الزامی
big grin confused جالب cry eek evil فریاد اخم خبر lol عصبانی mr green خنثی سوال razz redface rolleyes غمگین smile surprised twisted چشمک arrow



از پیوند [http://www.foo.com] یا [http://www.foo.com|شرح] برای پیوندها.
برچسب های HTML در داخل توضیحات مجاز نیستند و تمام نوشته ها ی بین علامت های > و < حذف خواهند شد..