قیاس اقترانی

6 مفهوم در این درس

آزمونک سریع

با چند پرسش تصادفی، آمادگی‌ات را بسنج

در حال آماده‌سازی آزمونک…

ماهیت قیاس اقترانی و حدود آن

قیاس اقترانی حملی نوعی استدلال است که از دو قضیه حملی تشکیل شده و به نتیجه‌ای ختم می‌شود که موضوع و محمول آن در مقدمات پراکنده‌اند. ارکان اصلی قیاس شامل حدود صغری و کبری و حد وسط است. موضوع نتیجه را حد اصغر و محمول آن را حد اکبر می‌نامند.

نقش کلیدی حد وسط

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

در قیاس اقترانی، موضوع نتیجه از مقدمه اول (صغری) و محمول نتیجه از مقدمه دوم (کبری) گرفته می‌شود.

شکل‌های چهارگانه قیاس

بر اساس جایگاه حد وسط در مقدمات، قیاس به چهار شکل تقسیم می‌شود:

  • شکل اول: حد وسط محمول مقدمه اول و موضوع مقدمه دوم است.
  • شکل دوم: حد وسط در هر دو مقدمه محمول است.
  • شکل سوم: حد وسط در هر دو مقدمه موضوع است.
  • شکل چهارم: حد وسط موضوع مقدمه اول و محمول مقدمه دوم است.
شکل قیاسمقدمه اولمقدمه دوم
شکل اولمحمولموضوع
شکل دوممحمولمحمول
شکل سومموضوعموضوع
شکل چهارمموضوعمحمول

واژگان کلیدی

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

اشتباه‌های رایج

  • اشتباه در تشخیص مقدمه اول و دوم: همواره مقدمه‌ای که موضوع نتیجه در آن است مقدمه اول محسوب می‌شود، حتی اگر در متن استدلال دوم نوشته شده باشد.
  • ظاهر شدن حد وسط در نتیجه: اگر کلمه مشترک در نتیجه بیاید، قیاس از نظر ساختاری نامعتبر است.

جمع‌بندی این مفهوم

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

نکتهٔ تکمیلی

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

مغالطه عدم تکرار حد وسط

اساسی‌ترین شرط تشکیل یک قیاس، تکرار دقیق لفظی و معنایی حد وسط است. اگر این تکرار به هر دلیلی مخدوش شود، مغالطه «عدم تکرار حد وسط» رخ داده و استدلال نامعتبر می‌گردد. این مغالطه صرفاً به کلماتی با معانی کاملاً متفاوت (مشترک لفظی) محدود نمی‌شود.

انواع خطاها در تکرار حد وسط

  1. اشتراک لفظ: استفاده از یک کلمه در دو معنای متفاوت (مانند «شیر» در معنای حیوان و نوشیدنی).
  2. تغیر دلالت: استفاده از یک کلمه در معنای حقیقی در یک مقدمه و معنای استعاری یا کنایی در مقدمه دیگر (مانند «نور» برای لامپ و «نور» برای الهیات).
  3. تکرار ناقص: تکرار نشدن عین لفظ (مانند استفاده از «آدم» در یک مقدمه و «آدمی» در مقدمه دیگر، یا «مساوی ب» و «ب»).
  4. تغییر معنای عرفی: استفاده از کلمه در معنای عام و سپس محدود کردن آن در مقدمه بعد.

مثال مغالطه: «سعادت حق انسان است؛ انسان ۵ حرف دارد؛ پس سعادت ۵ حرف دارد». در اینجا حد وسط (انسان) یک بار به معنای موجود زنده و بار دیگر به معنای خودِ واژه به کار رفته است.

نکته مهم این است که وجود «ی» وحدت یا نکره (مانند گردو و گردویی) یا کلمات مترادف (مانند انسان و بشر) اگر عینیت مفهومی را حفظ کنند، مانع از اعتبار قیاس نمی‌شوند.

اعتبار قیاس در گرو وحدت موضوعی و مفهومی حد وسط است؛ هرگونه تغییر در لفظ یا معنا پیوند منطقی را از بین می‌برد.

واژگان کلیدی

اشتراک لفظ
کلماتی که ظاهر یکسان اما معانی کاملاً متفاوت دارند و در صورت استفاده به عنوان حد وسط باعث مغالطه می‌شوند.
عینیت مفهومی
یکی بودن معنای مقصود در دو مقدمه، حتی اگر الفاظ کاملاً یکسان نباشند (مانند مترادفات).

اشتباه‌های رایج

  • تصور اینکه فقط تفاوت کامل معنا باعث مغالطه می‌شود؛ در حالی که تفاوت در اضافه شدن حرف «از» یا «در» به حد وسط نیز مغالطه ایجاد می‌کند (مانند «شیر» و «از شیر»).
  • اشتباه گرفتن تشبیه با قیاس؛ وجود کلماتی مثل «همانند» نشانه تمثیل است نه ضرورت قیاسی.

جمع‌بندی این مفهوم

  • حد وسط باید هم از نظر لفظی و هم از نظر معنایی در هر دو مقدمه عیناً تکرار شود.
  • اشتراک لفظی (مانند شیر درنده و شیر نوشیدنی) شایع‌ترین عامل این مغالطه است.
  • تغییر از معنای حقیقی به استعاری یا از کل به جزء در حد وسط، استدلال را نامعتبر می‌کند.
  • مترادفات در صورت حفظ عینیت مفهومی، مغالطه ایجاد نمی‌کنند.
  • تکرار ناقص لفظ (مانند حذف یا اضافه کردن حروف اضافه) مانع از برقراری ارتباط منطقی می‌شود.

نکتهٔ تکمیلی

بسیاری از شوخی‌ها و لطیفه‌ها بر پایه همین مغالطه ساخته می‌شوند. وقتی کسی می‌گوید: «جوجه از تخم است، تخم از مرغ است، پس جوجه از مرغ است»، ذهن ما به سرعت پیوند را برقرار می‌کند، اما جالب است بدانید در زبان سیاست و تبلیغات نیز گاهی از این مغالطه برای فریب افکار عمومی استفاده می‌شود تا دو مفهوم نامرتبط را به هم گره بزنند.

دامنه مصادیق (استغراق) حدود در قضایا

در منطق برای تعیین اعتبار قیاس، باید بدانیم که هر قضیه به چه میزانی از مصادیق خود اشاره دارد. این موضوع با سیستم علامت‌گذاری مثبت (+) و منفی (-) نمایش داده می‌شود. علامت (+) به معنای آن است که تمام مصادیق مورد نظر هستند و علامت (-) به معنای برخی مصادیق است.

قوانین تعیین علامت موضوع و محمول

برای موضوع قضایا، سور (کمیت) تعیین‌کننده است:

  • در قضایای کلی و شخصیه، تمام مصادیق موضوع مد نظرند (علامت +).
  • در قضایای جزئیه، موضوع علامت منفی (-) می‌گیرد.

برای محمول قضایا، کیفیت (موجبه یا سالبه بودن) تعیین‌کننده است:

  • در قضایای سالبه، موضوع از تمام مصادیق محمول سلب می‌شود (علامت +).
  • در قضایای موجبه، محمول علامت منفی (-) می‌گیرد.
نوع قضیهموضوعمحمول
موجبه کلی+-
سالبه کلی++
موجبه جزئی--
سالبه جزئی-+

در قضیه «هیچ انسانی سنگ نیست» (سالبه کلی)، هم انسان (+) و هم سنگ (+) علامت مثبت دارند چون به تمام مصادیق اشاره شده است. اما در «بعضی دانش‌آموزان کوشا هستند» (موجبه جزئی)، هر دو جزء منفی (-) هستند.

واژگان کلیدی

استغراق
حالتی که یک کلمه در قضیه شامل تمام مصادیق واقعی خود شود (علامت مثبت).
قضایای شخصیه
قضایایی که موضوع آن‌ها یک فرد مشخص است و از نظر استغراق موضوع، مانند قضایای کلی عمل می‌کنند.

اشتباه‌های رایج

  • اشتباه در علامت محمول قضایای موجبه: بسیاری تصور می‌کنند چون قضیه مثبت است محمول هم باید (+) باشد، در حالی که در موجبه‌ها محمول همواره (-) است.
  • فراموش کردن علامت مثبت در محمول قضایای سالبه جزئی: با اینکه سور قضیه جزئی است، اما چون سالبه است محمول آن قطعاً (+) می‌باشد.

جمع‌بندی این مفهوم

  • علامت مثبت (+) یعنی اشاره به تمام مصادیق و علامت منفی (-) یعنی اشاره به برخی مصادیق.
  • موضوع در قضایای کلی و شخصیه همواره مثبت (+) و در قضایای جزئی منفی (-) است.
  • محمول در تمام قضایای سالبه مثبت (+) و در تمام قضایای موجبه منفی (-) است.
  • تنها در قضیه سالبه کلیه است که هم موضوع و هم محمول علامت مثبت دارند.
  • در قضایای شخصیه، علامت محمول دقیقاً از قوانین قضایای محصوره تبعیت می‌کند.

نکتهٔ تکمیلی

این سیستم علامت‌گذاری در واقع ستون فقرات منطق ریاضی و جبر مجموعه‌ها (نمودار ون) است. وقتی می‌گوییم محمولی در قضیه سالبه علامت مثبت دارد، در واقع داریم یک «دیوار» کامل بین دو مجموعه می‌کشیم؛ مثلاً وقتی می‌گویید «هیچ گربه‌ای سگ نیست»، یعنی مجموعه گربه‌ها با تمامیت مجموعه سگ‌ها (۱۰۰٪ مصادیق آن) هیچ اشتراکی ندارد.

قوانین سه‌گانه اعتبار قیاس

برای اینکه نتیجه حاصل از یک قیاس اقترانی معتبر باشد، باید سه شرط اساسی را همزمان دارا باشد. بررسی این شروط نیازی به دانستن شکل قیاس ندارد و بر اساس علامت‌های (+) و (-) حدود انجام می‌شود.

شرط اول: کیفیت مقدمات

هر دو مقدمه قیاس نباید سالبه باشند. حد اقل یکی از مقدمات حتماً باید موجبه باشد. اگر هر دو مقدمه سالبه باشند (مثلاً دو قضیه با «هیچ» یا «بعضی... نیستند»)، قیاس عقیم است و رابطه‌ای میان صغری و کبری برقرار نمی‌شود.

شرط دوم: توزیع حد وسط

حد وسط باید حداقل یک بار در مقدمات علامت مثبت (+) داشته باشد. اگر حد وسط در هر دو مقدمه دارای علامت منفی (-) باشد، نمی‌تواند تمام مصادیق خود را پوشش داده و نقش پل ارتباطی را ایفا کند.

در شکل دوم، اگر هر دو مقدمه موجبه باشند، حد وسط (که هر دو جا محمول است) منفی شده و قیاس نامعتبر می‌گردد.

شرط سوم: حقوق حدود نتیجه

اگر موضوع یا محمول در نتیجه قیاس علامت مثبت (+) داشته باشند، الزاماً باید در مقدمه مربوط به خود نیز علامت مثبت (+) داشته باشند. به زبان ساده، نتیجه نمی‌تواند ادعایی کلی‌تر از مقدمات داشته باشد.

اگر نتیجه قیاسی «هر الف ج است» باشد، چون «الف» در نتیجه (+) است، باید در مقدمه اول هم (+) باشد. در غیر این صورت قیاس نامعتبر است.

واژگان کلیدی

قانون نتیجه
قاعده‌ای که می‌گوید نتیجه از نظر کیفیت و کمیت باید تابع ضعیف‌ترین مقدمه باشد (اگر یک مقدمه سالبه است، نتیجه حتماً سالبه است).
توزیع حدود
بررسی اینکه آیا حدود در جایگاه خود به تمام مصادیق اشاره دارند (+) یا خیر (-).

اشتباه‌های رایج

  • تصور اینکه اگر نتیجه درست به نظر برسد، قیاس معتبر است؛ در حالی که اعتبار فقط به ساختار مربوط است.
  • فراموش کردن بررسی شرط سوم در حالی که نتیجه سالبه است؛ در نتایج سالبه محمول حتماً (+) است و باید در مقدمه هم (+) باشد.
  • غفلت از اینکه هر دو مقدمه موجبه، حتماً نتیجه موجبه می‌دهند.

جمع‌بندی این مفهوم

  • شرط اول: حداقل یکی از مقدمات قیاس باید موجبه باشد.
  • شرط دوم: حد وسط باید حداقل در یکی از دو مقدمه علامت مثبت (+) بگیرد.
  • شرط سوم: هر حدی که در نتیجه مثبت (+) است، در مقدمات نیز باید مثبت (+) باشد.
  • اگر نتیجه قیاس موجبه باشد، طبق قانون نتیجه، هردو مقدمه باید موجبه باشند.
  • در شکل دوم، برای معتبر بودن، حتماً یکی از مقدمات باید سالبه باشد تا حد وسط مثبت گردد.

نکتهٔ تکمیلی

شرط سوم اعتبار قیاس در واقع نوعی «قانون بقای اطلاعات» در منطق است. شما نمی‌توانید در نتیجه درباره «همه» اعضای یک گروه حکم صادر کنید، در حالی که در مقدمات فقط درباره «برخی» از آن‌ها و اطلاعاتی داشته‌اید. این قانون جلوی تعمیم‌های ناروا و استنتاج‌های بزرگ‌تر از واقعیت را می‌گیرد.

اعتبار در مقابل صدق و واقعیت

در مباحث منطقی، تمایز میان اعتبار (Validity) و صدق (Truth) بسیار حیاتی است. اعتبار به ساختار و فرم استدلال بازمی‌گردد؛ یعنی اگر ساختار درست باشد، در صورتی که مقدمات صادق باشند، نتیجه قطعاً صادق خواهد بود. اما اگر استدلال معتبر باشد ولی مقدمات آن غلط باشند، نتیجه ممکن است غلط باشد.

نقش مقدمات در نتیجه قطعی

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

ضرورت نتیجه در قیاس به معنای مطابقت آن با واقعیت نیست؛ بلکه به معنای استنتاج منطقی از مقدمات است.

رابطه احتمالی در قیاس نامعتبر

یک قیاس نامعتبر ممکن است به صورت تصادفی به نتیجه‌ای درست برسد، اما این درستی «ضروری» نیست. برعکس، ممکن است یک قیاس معتبر با مقدمات غلط، نتیجه‌ای کاملاً منطقی اما خلاف واقعیت بدهد.

ویژگی استدلالاعتبار (ساختار)صدق (محتوا)
تعریفرعایت قوانین فکریمطابقت با واقعیت
نتیجه نهاییاستنتاج ضروریشناخت حقیقی
حیطه بررسیعلم منطقفلسفه و علوم

واژگان کلیدی

اعتبار
درستی ساختار و چیدمان استدلال بر اساس قوانین منطقی، مستقل از درستی محتوا.
صدق
مطابقت یک گزاره یا نتیجه با واقعیت خارجی.
اثبات‌گرایی
دیدگاهی که تنها چیزهای قابل اثبات علمی را معتبر می‌داند و در قرن بیستم مورد نقد قرار گرفت.

اشتباه‌های رایج

  • تصور اینکه هر قیاس نامعتبر لزوماً نتیجه غلطی دارد؛ نامعتبر بودن یعنی نتیجه «غیرضروری» است، نه حتماً غلط.
  • یکی دانستن اعتبار با صدق؛ اعتبار صفتِ «ساختار» است و صدق صفتِ «گزاره».

جمع‌بندی این مفهوم

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

نکتهٔ تکمیلی

این تفکیک میان ساختار و محتوا همان چیزی است که به کامپیوترها اجازه می‌دهد «فکر» کنند. یک برنامه کامپیوتری نمی‌داند که «انسان» چیست، اما اگر به او بدهید «الف، ب است» و «ب، ج است»، او با ساختار معتبر نتیجه می‌گیرد «الف، ج است». در واقع کامپیوترها قهرمانان «اعتبار» هستند، بی‌آنکه چیزی از «صدق» یا واقعیت دنیای بیرون بدانند.

تحلیل پیشرفته اشکال و نتایج خاص

برخی قوانین تکمیلی برای اَشکال مختلف قیاس وجود دارد که سرعت تحلیل را بالا می‌برد. برای مثال، در شکل اول و دوم، مقدمه دوم حتماً باید کلی باشد؛ در حالی که در شکل سوم و چهارم، مقدمه دوم می‌تواند جزئی نیز باشد و قیاس همچنان معتبر بماند.

ویژگی‌های اختصاصی شکل دوم

در شکل دوم، به علت محمول بودن حد وسط در هر دو مقدمه، اگر قیاس معتبر باشد، نتیجه همواره سالبه خواهد بود. چرا که برای مثبت شدن حد وسط، یکی از مقدمات باید سالبه باشد تا محمول آن (+) گردد و طبق قانون نتیجه، وجود یک مقدمه سالبه باعث سالبه شدن نتیجه می‌شود.

در تمام اشکال (به جز شکل دوم)، اگر هر دو مقدمه کلیه باشند، شرط دوم اعتبار (توزیع حد وسط) قطعاً رعایت می‌شود.

استنتاج‌های غیرمستقیم

گاهی برای رسیدن به نتیجه، از عکس مستوی استفاده می‌شود. برای مثال، از مقدمات «هر ب الف است» و «هر ج ب است»، نتیجه «هر ج الف است» حاصل می‌شود که با عکس مستوی می‌توان به «بعضی الف ج است» رسید.

در قیاس شکل چهارم، اگر نتیجه سالبه کلی (هیچ الف ج نیست) باشد، مقدمه اول حتماً باید سالبه باشد تا شرایط اعتبار برقرار گردد.

واژگان کلیدی

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

اشتباه‌های رایج

  • تصور اینکه نتیجه قیاس شکل چهارم لزوماً جزئی است؛ در حالی که می‌تواند کلی هم باشد.
  • غفلت از این نکته که در شکل اول، برای مثبت بودن حد وسط در مقدمه دوم (موضوع)، سور حتماً باید کلی باشد.

جمع‌بندی این مفهوم

  • در اشکال اول و دوم، کلی بودن مقدمه دوم شرط ضروری اعتبار است.
  • اشکال سوم و چهارم در مورد کلی یا جزئی بودن مقدمه دوم انعطاف بیشتری دارند.
  • نتیجه قیاس معتبر شکل دوم هیچ‌گاه موجبه نخواهد بود و همواره سالبه است.
  • اگر هر دو مقدمه کلی باشند، نتیجه قیاس نیز حتماً کلی خواهد بود.
  • ترکیب قوانین قیاس با عکس مستوی، امکان استخراج نتایج جزئی‌تر از مقدمات کلی را فراهم می‌کند.

نکتهٔ تکمیلی

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

خلاصهٔ درس

قیاس چگونه کار می‌کند؟

Logic · Categorical Syllogism

ساختار قیاس و حدود سه‌گانه

  • قیاس از دو مقدمه (صغری و کبری) و یک نتیجه تشکیل می‌شود
  • موضوع نتیجه ← حد اصغر (مقدمه اول)؛ محمول ← حد اکبر (مقدمه دوم)
  • حد وسط: مفهوم مشترک هر دو مقدمه؛ پس از پیوند، در نتیجه حذف می‌شود
  • چهار شکل قیاس بر پایه جایگاه حد وسط (موضوع/محمول) در مقدمات تعریف می‌شوند
  • شکل اول: حد وسط محمول صغری و موضوع کبری است
حد وسط
مفهوم مشترک دو مقدمه که پل ارتباطی می‌سازد و در نتیجه حذف می‌شود

نکته: ارسطو ابتدا سه شکل قیاس شناخت؛ شکل چهارم را جالینوس افزود و برخی کتب قدیمی آن را ندارند.

مغالطه عدم تکرار حد وسط

  • حد وسط باید هم از نظر لفظی و هم معنایی در هر دو مقدمه یکسان باشد
  • اشتراک لفظی («شیر» = حیوان یا نوشیدنی) شایع‌ترین عامل این مغالطه است
  • تغییر از معنای حقیقی به استعاری (مثل «نور» لامپ در برابر «نور» الهیات) قیاس را باطل می‌کند
  • تکرار ناقص (مثل «آدم» و «آدمی») ارتباط منطقی را از بین می‌برد
  • مترادفات با حفظ عینیت مفهومی (انسان/بشر) مغالطه ایجاد نمی‌کنند
اشتراک لفظی
یک کلمه با دو معنای متفاوت که حد وسط قیاس را مخدوش می‌کند

نکته: بسیاری از جوک‌ها و تبلیغات سیاسی بر همین مغالطه استوارند تا دو مفهوم نامرتبط را به هم گره بزنند.

استغراق حدود: نظام (+) و (−)

  • علامت (+) = تمام مصادیق؛ (−) = برخی مصادیق
  • موضوع در قضایای کلی و شخصیه (+)؛ در قضایای جزئی (−) است
  • محمول در تمام سالبه‌ها (+)؛ در تمام موجبه‌ها (−) است
  • تنها سالبه کلی است که هم موضوع و هم محمولش (+) دارد
  • موجبه جزئی: هر دو جزء (−) هستند — کمترین اطلاعات
استغراق
حالتی که قضیه تمام مصادیق یک مفهوم را پوشش دهد (علامت مثبت)

نکته: سالبه کلی معادل «دیوار کامل» بین دو مجموعه در نمودار ون است؛ این نظام ستون فقرات جبر مجموعه‌هاست.

سه شرط اعتبار قیاس اقترانی

  • شرط ۱: حداقل یکی از مقدمات باید موجبه باشد (دو سالبه = قیاس عقیم)
  • شرط ۲: حد وسط باید در حداقل یکی از مقدمات علامت (+) داشته باشد
  • شرط ۳: هر حدی که در نتیجه (+) است، در مقدمه مربوط نیز باید (+) باشد
  • نتیجه نمی‌تواند کلی‌تر از مقدمات باشد ← قانون بقای اطلاعات منطقی
  • شکل دوم با دو مقدمه موجبه: حد وسط دوبار (−) ← شرط دوم نقض می‌شود
قانون نتیجه
نتیجه در کیفیت و کمیت تابع ضعیف‌ترین مقدمه است

نکته: شرط سوم «قانون بقای اطلاعات» منطق است؛ مثل فیزیک که انرژی از هوا خلق نمی‌شود، کلیت از جزئیت زاده نمی‌شود.

اعتبار در برابر صدق و اشکال خاص

  • اعتبار = درستی ساختار؛ صدق = مطابقت با واقعیت — دو مفهوم جداگانه‌اند
  • قیاس معتبر با مقدمات کاذب ← نتیجه لازم می‌آید اما ممکن است خلاف واقع باشد
  • در اشکال اول و دوم، مقدمه دوم (کبری) حتماً باید کلی باشد
  • اشکال سوم و چهارم: مقدمه دوم می‌تواند جزئی باشد و قیاس معتبر بماند
  • عکس مستوی: جابجایی موضوع و محمول برای استخراج نتایج فرعی از قیاس
عکس مستوی
جابجایی موضوع و محمول با حفظ کیفیت و صدق قضیه

نکته: کامپیوترها قهرمانان «اعتبار»اند بی‌آنکه از «صدق» چیزی بدانند؛ ساختار را پردازش می‌کنند نه واقعیت را.

نکات کلیدی — تله‌های آزمون

  • حد وسط هرگز در نتیجه نمی‌آید — اگر آمد، ساختار قیاس باطل است
  • مقدمه اول = مقدمه‌ای که موضوع نتیجه در آن است، نه لزوماً اولی در متن
  • محمول در موجبه (−) است نه (+) — برعکس تصور عامیانه
  • نتیجه موجبه ← هر دو مقدمه حتماً موجبه‌اند؛ یک سالبه نتیجه را سالبه می‌کند
  • نامعتبر بودن قیاس ≠ غلط بودن نتیجه؛ تصادفاً ممکن است درست باشد
  • اعتبار صفت ساختار است؛ صدق صفت گزاره — هرگز یکی نپندار

یک تست از این درس

خودت را بسنج

چنانچه موضوع نتیجه در مقدمهٔ اول (صغری) در جایگاه موضوع قضیه قرار داشته باشد، قیاس از چه شکلی است و اگر در جایگاه محمول باشد، چه شکلی خواهد بود؟

  1. در حالت اول قیاس لزوماً از شکل دوم منطقی است، و در حالت دوم قیاس قطعاً از نوع شکل سوم خواهد بود.
  2. در حالت اول قیاس لزوماً از شکل سوم منطقی است، و در حالت دوم قیاس قطعاً از نوع شکل اول خواهد بود که شرایط خاصی دارد.
  3. در حالت اول قیاس لزوماً از شکل چهارم منطقی است، و در حالت دوم قیاس قطعاً از نوع شکل دوم خواهد بود.
  4. در حالت اول قیاس لزوماً از شکل اول منطقی است، و در حالت دوم قیاس قطعاً از نوع شکل چهارم خواهد بود.
دیدن پاسخ و توضیح

پاسخ درست: گزینه ۴

اگر موضوع نتیجه در مقدمات در جایگاه موضوع باشد، قیاس از شکل اول است. اما اگر موضوع نتیجه در مقدمات در جایگاه محمول قرار گرفته باشد، قیاس از نوع شکل چهارم خواهد بود. بنابراین گزینه ۴ درست است. بررسی سایر گزینه‌ها: گزینه‌های ۱، ۲ و ۳: جایگاه‌های موضوع نتیجه را با شکل‌های دوم، سوم و سایر ترکیب‌ها به نادرستی تطبیق داده‌اند.

درس‌های دیگر این بخش · منطق