کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
4661957 | 1633468 | 2014 | 33 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
The logic of justified belief, explicit knowledge, and conclusive evidence
ترجمه فارسی عنوان
منطق باور موجه، دانش صریح و شواهد قطعی
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
کلمات کلیدی
منطق معرفتی پویا؛ منطق توجیه؛ بازنگری باور ؛ علم منطقی؛ Gettier؛ شواهد
موضوعات مرتبط
مهندسی و علوم پایه
ریاضیات
منطق ریاضی
چکیده انگلیسی
We present a complete, decidable logic for reasoning about a notion of completely trustworthy (“conclusive”) evidence and its relations to justifiable (implicit) belief and knowledge, as well as to their explicit justifications. This logic makes use of a number of evidence-related notions such as availability, admissibility, and “goodness” of a piece of evidence, and is based on an innovative modification of the Fitting semantics for Artemovʼs Justification Logic designed to preempt Gettier-type counterexamples. We combine this with ideas from belief revision and awareness logics to provide an account for explicitly justified (defeasible) knowledge based on conclusive evidence that addresses the problem of (logical) omniscience.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Annals of Pure and Applied Logic - Volume 165, Issue 1, January 2014, Pages 49–81
Journal: Annals of Pure and Applied Logic - Volume 165, Issue 1, January 2014, Pages 49–81
نویسندگان
Alexandru Baltag, Bryan Renne, Sonja Smets,