معنی categorical statement و categorical proposition

در علوم منطق و فلسفه، اصطلاح "categorical statement" یا "categorical proposition" به تعبیراتی اطلاق می‌شود که به صورت مشخص و بدون قید و شرط ارائه می‌شوند. این تعبیرات به حقیقت یا دروغی خاص اشاره دارند و به عنوان اظهارات مقطعی و مطلق تلقی می‌شوند. این اصطلاح‌ها به طور معمول در منطق پیش‌پایه‌ای و منطق گزینش (منطق پورفیری) به کار می‌روند.

Categorical statements به چهار دسته اصلی تقسیم می‌شوند:

1. Universal Affirmative (A): اظهارات کلی و قطعی مثبت
2. Universal Negative (E): اظهارات کلی و قطعی منفی
3. Particular Affirmative (I): اظهارات خصوصی و مثبت
4. Particular Negative (O): اظهارات خصوصی و منفی

مثال‌ها:

• A: "All humans are mortal." (همه انسان‌ها فانی هستند.)
• E: "No birds are mammals." (هیچ پرنده‌ای جانورهای ثدی نیستند.)
• I: "Some cats are black." (برخی از گربه‌ها سیاه هستند.)
• O: "Some reptiles are not dangerous." (برخی از خزندگان خطرناک نیستند.)

این اصطلاحات واضحی دارند و برای تحلیل استدلال‌های منطقی و ارتقاء دقت در بحث‌های منطقی بسیار مفید هستند.