نظام‌های موجه محمولی کریپکی و مسألة ذات‌باوری

Abstract

منتقدان منطق‌های موجه محمولی معتقدند که یکی از اشکالات مهم این منطق‌ها، این است که به «ذات‌باوری» می‌‌‌انجامد. سول کریپکی به شیوة خاصی درصدد دفاع در برابر این اتهام برآمده و معتقد است که می‌توان نحوه‌ای از ذات‌باوری را پذیرفت، بدون این‌که به تناقض بینجامد. البته کریپکی در نظام اصلاح‌شدة خود، از ذات‌باوری فاصلة بیشتری گرفته و توجیه دقیق‌تری را ارائه می‌نماید. این مقاله ضمن بررسی معنای ذات‌باوری، به تطبیق آن با نظام‌های موجه محمولی کریپکی می‌پردازد.