Validity asks whether the conclusion must be true if the premises are true; soundness adds the separate requirement that the premises actually are true.
1The problem it solves
Arguments fail in two fundamentally different places: the inferential bridge can be invalid, or the bridge can be valid while resting on false premises. Separating validity from soundness prevents a common conversational error—attacking a conclusion because one argument for it is bad, or praising an argument because its conclusion happens to be true.
2The idea
An argument is valid if the conclusion follows from the premises. It is sound if it is valid and the premises are also true. Validity is about structure; soundness adds a claim about the world.
3Origin & context
The distinction is standard in formal logic and traces back through the Aristotelian tradition. Modern propositional and predicate logic make validity a structural relation: there is no interpretation on which all premises are true and the conclusion false.
4Canonical example
Valid but unsound: all fish fly; salmon are fish; therefore salmon fly. The reasoning is impeccable.
5Objections & replies
Objection. Real arguments are rarely fully formalized, so validity can seem irrelevant outside textbooks.
Reply. Informal arguments still have inferential structure. Formalization is a diagnostic tool: reconstruct the premises and hidden warrants well enough to ask whether the conclusion follows. Toulmin-style analysis complements rather than replaces validity.
Objection. A valid argument can be useless if its premises are absurd, so why privilege validity?
Reply. Logic does not privilege it as sufficient. Validity isolates one necessary dimension of deductive quality; soundness requires both valid form and true premises. Keeping the dimensions separate tells you where repair is needed.
6Don't confuse it with
Validity and truth
Statements are true or false; deductive arguments are valid or invalid. A valid argument can contain false premises and a false conclusion.
Validity and persuasiveness
An invalid argument can be rhetorically persuasive, and a valid one can be unconvincing if premises are disputed. Persuasion is psychological; validity is structural.
7Common mistakes
- Calling a premise 'valid' or a conclusion 'valid'; validity properly describes an inference or argument form.
- Rejecting a conclusion merely because the argument offered for it is unsound; the conclusion may have other support.
8In your work
Separates two objections that usually get run together: “that doesn't follow” and “that isn't true”. Saying which one you mean saves ten minutes every time.
9Check yourself
“All heavily regulated firms fail; Bank X is heavily regulated; therefore Bank X will fail.” The form is valid, but the first premise is false. What is the exact diagnosis?
Show answer
Valid but unsound. The inferential structure transmits the premises correctly, but the argument does not establish the conclusion because at least one premise is false.
اعتبار میپرسد اگر مقدمات صادق باشند آیا نتیجه الزاماً صادق است؛ استواری شرطِ جداگانهٔ صدقِ واقعیِ مقدمات را نیز اضافه میکند.
1مسئلهای که حل میکند
استدلال در دو جای اساساً متفاوت شکست میخورد: پلِ استنتاج میتواند نامعتبر باشد، یا پل معتبر اما روی مقدماتِ کاذب بنا شده باشد. جداسازیِ اعتبار و استواری از خطای رایج جلوگیری میکند: ردِ نتیجه چون یک استدلال برایش بد است، یا ستایشِ استدلال چون نتیجهاش اتفاقاً درست است.
2ایدهٔ اصلی
استدلال معتبر است اگر نتیجه از مقدمات برآید. درست است اگر معتبر باشد و مقدمات هم صادق باشند. اعتبار دربارهٔ ساختار است؛ درستی ادعایی دربارهٔ جهان میافزاید.
3خاستگاه و زمینه
تمایز در منطقِ صوری استاندارد و ریشهاش در سنتِ ارسطویی است. منطقِ گزارهها و محمولات اعتبار را رابطهای ساختاری میکند: هیچ تفسیرِ ممکن نیست که همهٔ مقدمات صادق و نتیجه کاذب باشد.
4مثالِ کلاسیک
معتبر اما نادرست: همهٔ ماهیها پرواز میکنند؛ آزاد ماهی است؛ پس آزاد پرواز میکند. استدلال بیعیب است.
5اعتراضها و پاسخها
اعتراض. استدلالِ واقعی بهندرت کاملاً صوری است، پس اعتبار بیرون از کتابِ منطق بیربط به نظر میرسد.
پاسخ. استدلالِ غیرصوری هم ساختارِ استنتاجی دارد. صورتبندی ابزارِ تشخیص است: مقدمات و مجوزهای پنهان را آنقدر بازسازی کنید که بتوان پرسید نتیجه واقعاً میآید یا نه. تحلیلِ تولمین مکملِ اعتبار است، نه جانشینش.
اعتراض. استدلالِ معتبر با مقدماتِ پوچ بیفایده است؛ پس چرا اعتبار را مهم بدانیم؟
پاسخ. منطق آن را کافی نمیداند. اعتبار فقط یک بُعدِ لازمِ کیفیتِ قیاسی را جدا میکند؛ استواری هم اعتبار و هم صدقِ مقدمات را میخواهد. جداسازی میگوید تعمیر در کجاست.
6با اینها اشتباه نگیرید
اعتبار و صدق
گزاره صادق یا کاذب است؛ استدلالِ قیاسی معتبر یا نامعتبر. استدلالِ معتبر میتواند مقدمات و نتیجهٔ کاذب داشته باشد.
اعتبار و اقناع
استدلالِ نامعتبر میتواند از نظر بلاغی قانعکننده و استدلالِ معتبر با مقدماتِ موردِ اختلاف غیرقانعکننده باشد. اقناع روانشناختی است؛ اعتبار ساختاری.
7خطاهای رایج
- «معتبر» نامیدنِ مقدمه یا نتیجه؛ اعتبار به استنتاج یا صورتِ استدلال تعلق دارد.
- ردِ نتیجه فقط چون استدلالِ ارائهشده نامستوار است؛ نتیجه شاید پشتیبانیِ دیگری داشته باشد.
8در کارِ شما
دو اعتراضی را که معمولاً با هم قاطی میشوند جدا میکند: «این نتیجه نمیشود» و «این درست نیست». گفتنِ اینکه کدام را میگویید هر بار ده دقیقه صرفهجویی میکند.
9خودآزمایی
«همهٔ شرکتهای شدیداً مقرراتگذاریشده شکست میخورند؛ بانک X شدیداً مقرراتگذاری شده؛ پس بانک X شکست میخورد.» صورت معتبر است اما مقدمهٔ اول کاذب. تشخیصِ دقیق چیست؟
نمایش پاسخ
معتبر اما نامستوار. ساختارِ استنتاج مقدمات را درست منتقل میکند، اما چون دستکم یک مقدمه کاذب است استدلال نتیجه را اثبات نمیکند.