Selama malam-malam yang lesu dalam dua minggu musim panas terakhir, saya telah membaca, dengan banyak keuntungan, angsuran baru dari proyeksi lima volume Scott Soames The Analytic Tradition in Philosophy. Volume 3: Perjuangan untuk Modalitas, yang berfokus pada Quine dan Kripke, sangat menarik bagi saya. Mengapa seorang ekonom harus peduli dengan logika modal? Sebagian besar penelitian saya adalah ekonometrika Bayesian dan, baru-baru ini, dalam AI, yang juga sangat bergantung pada penalaran Bayesian. Pendekatan ini telah tumpah ke dalam kehidupan sehari-hari saya. Mereka yang mengenal saya telah mendengar saya mengatakan hal-hal seperti: "Peristiwa X (misalnya, hasil pemilihan) akan terjadi dengan probabilitas 60%", mewakili tingkat keyakinan saya. Dengan demikian, saya telah menghabiskan banyak waktu untuk memikirkan kekuatan, tetapi juga kelemahan, dari pendekatan Bayesian. Satu kelemahan, setidaknya dari sudut pandang saya, adalah bahwa penalaran Bayesian berjuang untuk menangkap kendala logis pada keyakinan (misalnya, penutupan di bawah konsekuensi logis) dan untuk memberikan aturan pembaruan terstruktur di luar memindahkan posterior. Logika modal, di sisi lain, dapat memaksakan kendala ini dengan cara yang lebih konsisten (bahkan jika dengan mengorbankan tidak kuantitatif). Dalam AI, ini membantu memformalkan ide-ide seperti ekspresif, yaitu, penalaran tentang keyakinan agen lain, seperti dalam teori permainan epistemik atau dalam model "meramalkan perkiraan orang lain", sesuatu yang saya kerjakan beberapa tahun yang lalu untuk memahami siklus bisnis. Inilah sebabnya mengapa saya selalu tertarik pada proyek empirisme konstruktif @BFraassen: 🔗 bahkan jika itu adalah posisi minoritas di antara para peneliti. Ini dapat ditafsirkan secara longgar sebagai upaya untuk menggabungkan logika modal terbaik dan penalaran Bayesian: yang pertama memberikan kerangka keyakinan logis, yang terakhir memasok konten numerik. Catatan Soames yang sangat baik tentang perjuangan Quine dan Kripke dengan banyak dari ide-ide ini akan, menurut pendapat saya yang sederhana (dan tidak terlalu ahli), menjadi referensi yang luar biasa untuk tahun-tahun mendatang.