حکم کلی: گزارهای که برای همه حالتها ادعا دارد
۱. تعریف و ارکان حکم کلی
در منطق کلاسیک، حکم کلی به گزارهای گفته میشود که حکمی را به همهٔ افراد یک طبقه یا همهٔ حالتهای ممکن نسبت میدهد. برای نمونه، عبارت «همهٔ فلزات هنگام گرما دیدن منبسط میشوند» یک حکم کلی است، زیرا ادعا دارد برای تکتک فلزات (و نه فقط برخی از آنها) این ویژگی صادق است. در مقابل، گزارهٔ جزئی مانند «بعضی از دانشآموزان درس ریاضی را دوست دارند» فقط به بخشی از دامنه اشاره دارد.
برای درک بهتر، به مثال زیر توجه کنید:
۲. نقش سورها در شکلدهی به حکم کلی
در منطق جدید، احکام کلی با استفاده از سور عمومی2 بازنمایی میشوند. نماد این سور در ریاضیات $ \forall $ است که به معنای «برای هر» یا «همهٔ» میباشد. ساختار یک حکم کلی به صورت $ \forall x \; (P(x) \rightarrow Q(x)) $ نوشته میشود که در آن $x$ متغیر، $P(x)$ شرط عضویت در دامنه و $Q(x)$ حکمی است که به $x$ نسبت داده میشود.
به عنوان مثال، حکم «همهٔ اعداد طبیعی بزرگتر از $1$ دارای حداقل یک مقسومعلیه اول هستند» به شکل منطقی زیر درمیآید:
توجه داشته باشید که در اینجا از سور وجودی3 نیز استفاده شده، اما لایهٔ بیرونی حکم کلی، همان سور عمومی است که ادعا میکند این ویژگی برای تکتک اعداد طبیعی (به جز عدد $1$) برقرار است.
| نوع گزاره | نماد ریاضی | مثال | دامنهٔ صدق |
|---|---|---|---|
| حکم کلی (جهانی) | $ \forall x \; P(x) $ | همهٔ مثلثها سه ضلع دارند | تمام افراد دامنه |
| حکم جزئی (وجودی) | $ \exists x \; P(x) $ | بعضی از مثلثها قائمالزاویه هستند | حداقل یک فرد |
۳. کاربرد عملی: قوانین علمی و قضیههای ریاضی
بیشتر قوانین بنیادین علم به شکل حکم کلی بیان میشوند. برای نمونه، قانون جهانی گرانش نیوتن میگوید: «هر جفت جرمی در جهان، یکدیگر را با نیرویی مستقیم متناسب با حاصلضرب جرمها و معکوس متناسب با مربع فاصلهٔ میانشان جذب میکنند». این گزاره برای همهٔ جرمها، در همهٔ مکانها و زمانها (در چارچوب فیزیک کلاسیک) ادعای صدق دارد.
در ریاضیات، قضیهٔ فیثاغورس نیز یک حکم کلی است: $ \forall \triangle ABC \; (\text{اگر } \angle C = 90^\circ \text{ آنگاه } AB^2 = AC^2 + BC^2) $. این قضیه برای همهٔ مثلثهای قائمالزاویه در هندسهٔ اقلیدسی صادق است، نه فقط برای نمونههای ترسیم شده روی کاغذ.
یک مثال روزمره: در برنامهنویسی کامپیوتر، اگر تابعی بنویسید که ورودیاش یک عدد صحیح باشد و خروجی آن $2 \times \text{ورودی}$ را برگرداند، شما عملاً یک حکم کلی را پیادهسازی کردهاید: «به ازای هر عدد صحیح ورودی، خروجی دقیقاً دو برابر آن خواهد بود». اگر این حکم برای حتی یک عدد نقض شود، تابع شما درست کار نمیکند.
۴. چالشهای مفهومی در احکام کلی
چالش ۱: آیا میتوان یک حکم کلی را با مشاهدهٔ ناقص اثبات کرد؟
پاسخ: خیر. احکام کلی با استقراء ناقص (مشاهدهٔ چند نمونه) اثبات نمیشوند. برای اثبات یک حکک کلی در ریاضیات از استدلال قیاسی و در علوم تجربی از روشهای آماری و آزمون فرض همراه با احتمال استفاده میشود. حتی مشاهدهٔ یک میلیون قوی سفید، حکم «همهٔ قوها سفیدند» را اثبات نمیکند، زیرا دیدن یک قوی سیاه آن را نقض میکند.
چالش ۲: تفاوت حکم کلی در ریاضیات با حکم کلی در علوم تجربی چیست؟
پاسخ: در ریاضیات، حکم کلی مطلق و ضروری است (مثلاً قضیهها در دستگاههای صوری). در علوم تجربی، احکام کلی معمولاً به صورت قوانینی با دامنهٔ محدود و در معرض نقضپذیری4 هستند. قانون گازها ($ PV = nRT $) برای گاز ایدهال در شرایط خاص صادق است، نه برای همهٔ حالتهای ممکن ماده.
چالش ۳: آیا گزارهٔ «هیچ موجود زندهای بدون دیانای نیست» یک حکم کلی محسوب میشود؟
پاسخ: بله. در منطق، گزارههای منفی کلی مانند «هیچ ... نیست» نیز در دستهٔ احکام کلی جای میگیرند. شکل منطقی آن $ \forall x \; (زنده(x) \rightarrow \lnot \text{بدون دیانای}(x)) $ است. چنین گزارهای برای همهٔ موجودات زنده (شناخته شده و ناشناخته) ادعای صدق دارد.
۵. جمعبندی
پاورقی
1 سور (Quantifier): نمادی در منطق ریاضی که مشخص میکند گزاره دربارهٔ «همهٔ» اعضای دامنه صادق است (سور عمومی) یا «برخی» از اعضا (سور وجودی).
2 سور عمومی (Universal Quantifier): نماد $\forall$ که به معنای «برای هر» یا «همهٔ» است و حکم کلی را میسازد.
3 سور وجودی (Existential Quantifier): نماد $\exists$ که به معنای «حداقل یک» است و حکم جزئی میسازد.
4 نقضپذیری (Falsifiability): معیاری که کارل پوپر برای نظریههای علمی مطرح کرد؛ یک حکم کلی علمی باید به گونهای باشد که امکان مشاهدهٔ پدیدهای در تناقض با آن وجود داشته باشد.
