اصل بستار معرفت از نگاه درتسکی و باز خوانی مجدد آن در منطق توجیه

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

Dretske on Closure of Knowledge and Its Rereading in Justification Logic

The K axiom in the logic of knowledge expresses this epistemological approach that knowledge is closed under known implications. For Dretske, for two reasons, the closure of knowledge cannot be tautology: first, the knowledge operator does not penetrate into some of the logical implications of our believed propositions; secondly, the conclusive reasons of belief in a proposition cannot be regarded as a conclusive for believing in the heavyweight implications of the proposition. Therefore, if we continue to insist on full adherence to the closure of knowledge, we will inevitably accept skepticism, and it is no way to exclude this epistemological principle and reject the axiom of K. But the abandonment of the closure of knowledge and, consequently, the rejection of the axiom of K would mean that all the modal logics that comprise this axiom cannot be suitable formal systems for the study of epistemological arguments. In this paper, we show that the logic of justification, as a modal logic, while satisfying Dretske’s views, can be a proper formal modal system for studying epistemological arguments.