Analytic claims are true by virtue of meanings or conceptual relations; synthetic claims depend on how the world is—and Quine challenged whether that boundary can be made principled.
1The problem it solves
The distinction matters because it separates what a framework builds in by definition from what experience teaches us. Without it, deductions from chosen definitions can be mistaken for discoveries. Quine’s attack matters equally: if meaning itself is embedded in a revisable web, the neat division between “definition” and “fact” may be less absolute than classical empiricism assumed.
2The idea
Analytic truths are true in virtue of meaning alone; synthetic truths say something substantive about the world. “All bachelors are unmarried” versus “most bachelors own cars”.
Quine's 1951 attack argued the distinction cannot be drawn without circularity, and that no statement is immune from revision in the light of experience — including the ones we call definitional.
3Origin & context
Kant made analytic/synthetic central while also arguing for synthetic a priori knowledge. Logical positivists later tied analyticity to meaning and conventional truth. W.V.O. Quine’s “Two Dogmas of Empiricism” (1951) attacked the distinction as circular and replaced it with a holistic picture of revision.
4Canonical example
Is “force equals mass times acceleration” a definition of force or an empirical discovery? The answer has changed over time, which is Quine's point.
5Objections & replies
Objection. Obvious examples like ‘all bachelors are unmarried’ show the distinction is real.
Reply. They show a useful contrast at the center, not necessarily a sharp boundary everywhere. Quine’s challenge is about explaining analyticity without presupposing synonymy, necessity, or definition in equally unexplained terms.
Objection. If Quine is right, definitions become empirical claims, which seems absurd.
Reply. Holism does not say every sentence is equally revisable. It says revision is in principle system-wide and governed by costs. Definitions can be extremely central and stable without possessing an absolute epistemic category.
6Don't confuse it with
Analytic/synthetic vs. a priori/a posteriori
The first concerns what makes a proposition true; the second concerns how it can be known. Kant’s synthetic a priori is important precisely because the axes are not identical.
Analytic truth vs. tautology
Tautologies are a narrow formal class. Analyticity, if legitimate, includes broader truths grounded in meaning.
7Common mistakes
- Reporting a result forced by definitions or accounting identities as empirical support for the model.
- Assuming “conceptual” means arbitrary or unimportant; conceptual choices can determine what data count as evidence.
8In your work
A sharp audit tool: which of your model's results are consequences of the definitions you chose, and which are empirical findings? The two get reported in the same font.
9Check yourself
Your index rises because its definition mechanically gives larger weight to a component that rose. Is the increase an empirical discovery about the system or partly analytic?
Show answer
Partly analytic: some of the result follows from how the index was defined. The empirical content lies in the component movements and in whether the chosen definition validly represents the target concept.
گزارهٔ تحلیلی بهسببِ معنا یا روابطِ مفهومی صادق است؛ گزارهٔ ترکیبی به وضعیتِ جهان وابسته است—و کواین پرسید آیا میتوان مرزی اصولی و غیرمدور میانِ آنها کشید.
1مسئلهای که حل میکند
این تمایز برای جداکردنِ آنچه چارچوب با تعریف وارد میکند از آنچه تجربه به ما میآموزد لازم است. بدون آن، نتیجهای که فقط از تعریفهای انتخابی بیرون آمده میتواند «کشف» گزارش شود. حملهٔ کواین نیز مهم است: اگر خودِ معنا در شبکهای بازنگریپذیر قرار دارد، مرزِ تعریف و واقعیت شاید به تمیزیِ تصویرِ کلاسیک نباشد.
2ایدهٔ اصلی
صدقهای تحلیلی تنها بهواسطهٔ معنا صادقاند؛ صدقهای ترکیبی چیزی ماهوی دربارهٔ جهان میگویند. «همهٔ مجردها ازدواجنکردهاند» در برابر «بیشتر مجردها خودرو دارند».
حملهٔ کواین در ۱۹۵۱ استدلال کرد که این تمایز بدون دور قابل ترسیم نیست و هیچ گزارهای در برابر بازنگری در پرتو تجربه مصون نیست — حتی آنهایی که تعریفی میخوانیمشان.
3خاستگاه و زمینه
کانت تمایزِ تحلیلی/ترکیبی را مرکزی کرد و همزمان از معرفتِ ترکیبیِ پیشین دفاع کرد. پوزیتیویستهای منطقی بعدها تحلیلیبودن را با معنا و قرارداد پیوند دادند. مقالهٔ «دو حکمِ جزمیِ تجربهگرایی» کواین (۱۹۵۱) مرز را مدور دانست و تصویرِ کلگرایانهٔ بازنگری را پیشنهاد کرد.
4مثالِ کلاسیک
آیا «نیرو برابر است با جرم در شتاب» تعریفِ نیروست یا کشفی تجربی؟ پاسخ در طول زمان تغییر کرده، و نکتهٔ کواین همین است.
5اعتراضها و پاسخها
اعتراض. مثالهای روشنی مثل «همهٔ مجردها ازدواجنکردهاند» نشان میدهد تمایز واقعی است.
پاسخ. آنها تفاوتِ مفیدی در مرکزِ طیف نشان میدهند، نه الزاماً مرزی تیز در همهجا. چالشِ کواین این است که تحلیلیبودن را بدون توسلِ مدور به هممعنایی، ضرورت یا تعریف توضیح دهید.
اعتراض. اگر کواین درست باشد، تعریفها هم تجربی میشوند و این پوچ است.
پاسخ. کلگرایی نمیگوید همهٔ جملات به یک اندازه بازنگریپذیرند. میگوید بازنگری اصولاً در سطحِ نظام ممکن است و هزینه دارد. تعریفها میتوانند بسیار مرکزی و پایدار باشند بیآنکه طبقهای مطلق بسازند.
6با اینها اشتباه نگیرید
تحلیلی/ترکیبی و پیشین/پسین
اولی دربارهٔ چیزی است که گزاره را صادق میکند؛ دومی دربارهٔ راهِ دانستن است. «ترکیبیِ پیشین» کانت مهم است دقیقاً چون این دو محور یکی نیستند.
صدقِ تحلیلی و همانگویی
همانگوییها یک طبقهٔ صوریِ محدودند؛ تحلیلیبودن، اگر پذیرفته شود، حقایقِ گستردهتری را که بر معنا استوارند دربر میگیرد.
7خطاهای رایج
- گزارشِ نتیجهای که از تعریف یا هویتِ حسابداری اجباراً بیرون میآید بهعنوان تأییدِ تجربیِ مدل.
- فرضِ اینکه «مفهومی» یعنی دلبخواهی یا بیاهمیت؛ انتخابِ مفهومی تعیین میکند چه دادهای اصلاً شاهد شمرده شود.
8در کارِ شما
ابزاری برنده برای بازبینی: کدام نتایج مدلِ شما پیامدِ تعاریفی است که برگزیدهاید و کدام یافتهٔ تجربی است؟ هر دو با یک قلم گزارش میشوند.
9خودآزمایی
شاخصی بالا میرود چون تعریفِ آن به مؤلفهای که افزایش یافته وزنِ بیشتری میدهد. این افزایش کشفِ تجربی است یا بخشی از آن تحلیلی است؟
نمایش پاسخ
بخشی تحلیلی است: قسمتی از نتیجه از تعریفِ شاخص میآید. محتوای تجربی در حرکتِ مؤلفهها و در اعتبارِ خودِ تعریف برای نمایندگیِ مفهومِ هدف قرار دارد.