بستار معرفت

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