|
|
|
|
گزاره‌های همیشه‌صادق نزد خونجی در منطق مرتبه دوم
|
|
|
|
|
|
|
|
نویسنده
|
فلاحی اسدالله
|
|
منبع
|
فلسفه و كلام اسلامي - 1392 - دوره : 46 - شماره : 1 - صفحه:93 -112
|
|
چکیده
|
افضل‌الدین خونجی، برای نخستین بار در تاریخ منطق، در میان گزاره‌های حقیقیه و خارجیه، گزاره‌های همیشه‌صادق و گزاره‌های همیشه‌کاذب را یافته است. این گزاره‌ها پیش از این در منطق مرتبه اول صورت‌بندی شده و مورد بررسی قرار گرفته‌اند و نشان داده شده است که صدق همیشگی این گزاره‌ها نیازمند پیش‌فرض «وجود فرضی معدومات» است. در این مقاله، این گزاره‌ها را در منطق مرتبه دوم بررسی کرده و نشان داده‌ایم که در این منطق، نیازی به پیش‌فرض یادشده نیست و گزاره‌های همیشه‌صادق خونجی بدون هر گونه پیش‌فرضی در منطق مرتبه دوم به عنوان قضیه اثبات‌پذیرند. اما تحلیل این گزاره‌ها در منطق مرتبه دوم نیز کاستی‌های خود را دارد. برای نمونه، صورت‌بندی موجبه جزییه در گزاره‌های خارجیه الطرفین بسیاری از گزاره‌های کاذب را صادق می‌سازد. این نشان می‌دهد که تحلیل این گزاره‌ها، چه در منطق مرتبه اول و چه در منطق مرتبه دوم، کاستی‌هایی دارد و نیازمند زدودن است.
|
|
کلیدواژه
|
قضیّه حقیقیه ,قضیه خارجیه ,منطق قدیم ,منطق جدید ,منطق مرتبه اول ,منطق مرتبه دوم ,Verity proposition ,Actuality proposition ,Ancient Logic ,Modern Logic ,First- Order Logic ,Second-Order Logic
|
|
آدرس
|
موسسه پژوهشی حکمت و فلسفه ایران, استادیار موسسه پژوهشی حکمت و فلسفه ایران, ایران
|
|
پست الکترونیکی
|
falahiy@yahoo.com
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Authors
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|