معرفتشناسیِ صوری عدمِقطعیت را ریاضی نمایش میدهد — بهویژه با درجاتِ باور — و میپرسد انسجام، شاهد و بهروزرسانیِ عقلانی چه قیودی بر این باورهای درجهای دارند.
1مسئلهای که حل میکند
باورِ دوگانه وقتی شاهد جزئی است اطلاعات را دور میریزد. احتمال زبانِ درجاتِ اطمینان میدهد و بیز، نسبتِ درستنمایی، استدلالِ کتابِ هلندی، کالیبراسیون و قواعدِ امتیازدهی توصیهٔ مبهمِ «درست بهروزرسانی کن» را به قیدِ صریح و عملکردِ قابلسنجش تبدیل میکنند.
2ایدهٔ اصلی
بهکارگیریِ ابزارِ احتمال و منطق برای مدلسازیِ باور و شواهد. حرکتِ بنیانگذار این است که باور را دیگر کلید قطعووصل ندانیم و آن را درجهبندی کنیم: عددی میان صفر و یک.
همین یک تغییر بسیاری چیزها را قابلحل میکند. شواهد دیگر چیزی نیست که اثبات کند یا نکند، بلکه چیزی است که شما را به اندازهای مشخص جابهجا میکند. اختلافنظر دیگر برخوردِ دو موضع نیست، بلکه تفاوتی در احتمالاتِ پیشین یا در اطلاعات است.
3خاستگاه و زمینه
برنامهٔ مدرن از رمزی، دِفینتی، ساویج، آمارِ بیزی و نظریهٔ تصمیم تغذیه میکند. هم هنجارهای همزمان دارد — درجاتِ باور اکنون باید سازگار باشند — و هم هنجارهای درزمانی — با شاهد چگونه تغییر کنند. همچنین بنیادهای حلنشدهای مانند مسئلهٔ پیشینها را آشکار میکند.
4مثالِ کلاسیک
نه «آیا باورش دارم؟» بلکه «چقدر مطمئنم، چه شواهدی این عدد را تکان میدهد، و چقدر؟»
5اعتراضها و پاسخها
اعتراض. دقتِ ریاضی میتواند یقینِ کاذب بسازد وقتی فرضیه، مدل و خودِ احتمال بد مشخص شدهاند.
پاسخ. معرفتشناسیِ صوری میتواند بازه، عدمِقطعیتِ مدل، تحلیلِ حساسیت و بدمشخصهبودن را وارد کند. ریاضیات وقتی ارزشمند است که فرضها را آشکار کند، نه وقتی عدمِقطعیتِ عمیق را به رقمِ اعشاری تطهیر کند.
اعتراض. ذهنِ انسان در محیطِ پیچیده محاسبهٔ دقیقِ بیزی انجام نمیدهد.
پاسخ. معرفتشناسیِ صوری میتواند خطِ مبنای هنجاری باشد، نه الگوریتمِ روانشناختی. ابتکارهای تقریبی را میتوان با ساختارِ درست — نرخِ پایه، قدرتِ شاهد، کالیبراسیون — سنجید حتی اگر پسینِ دقیق محاسبه نشود.
6با اینها اشتباه نگیرید
معرفتشناسیِ صوری و آمار
همپوشانی زیاد است، اما معرفتشناسیِ صوری پرسشِ هنجاری دربارهٔ باورِ عقلانی و شاهد میپرسد، نه فقط روشِ برآورد یا خاصیتِ نمونهگیری.
احتمال و یقین
احتمالِ دقیق نمایشِ عدمِقطعیت است، نه اثباتِ اینکه فضای مدل کامل یا درست است.
7خطاهای رایج
- گزارشِ پسینِ دقیق با پیشین و فرضِ مدلِ پنهان.
- یکیگرفتنِ کالیبراسیون، انسجام و تفکیک؛ هر کدام بُعدِ متفاوتی را میسنجند.
8در کارِ شما
موتورخانهٔ هر کسی که با کمیت کار میکند. بیشترِ عملِ حرفهای شما همینجاست؛ فلسفه فقط تعهدات را آشکار میکند.
9خودآزمایی
مدلی «۷۳٫۴٪» گزارش میکند اما فضای فرضیه شکستِ ساختاریِ محتمل را ندارد. پیش از تحسینِ دقت چه پرسشی میآید؟
نمایش پاسخ
آیا مدلِ احتمال اصلاً عدمِقطعیتِ مربوط را نمایش میدهد؟ انسجامِ درونی در فضای فرضیهٔ بدمشخصه عدمِقطعیتِ مدل را حذف نمیکند؛ حساسیت و مدلهای بدیل بخشی از حسابرسیاند.