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

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