W trakcie leniwych nocy ostatnich dwóch letnich tygodni czytałem, z dużym pożytkiem, nową część pięciotomowego dzieła Scotta Soamesa pt. "Tradycja analityczna w filozofii". Tom 3: "Zmagania z modalnością", skupiający się na Quine'ie i Kripke, szczególnie mnie interesował. Dlaczego ekonomista powinien interesować się logiką modalną? Duża część moich badań dotyczyła bayesowskiej ekonometrii, a ostatnio także sztucznej inteligencji, która również w dużym stopniu opiera się na rozumowaniu bayesowskim. To podejście przeniknęło do mojego codziennego życia. Ci, którzy mnie znają, słyszeli, jak mówię: "Wydarzenie X (np. wynik wyborów) wystąpi z prawdopodobieństwem 60%", co odzwierciedla mój stopień przekonania. Dlatego spędziłem sporo czasu, myśląc o mocnych, ale także słabych stronach podejścia bayesowskiego. Jedną z słabości, przynajmniej z mojej perspektywy, jest to, że rozumowanie bayesowskie ma trudności z uchwyceniem logicznych ograniczeń dotyczących przekonań (np. zamknięcie pod względem konsekwencji logicznej) i z dostarczeniem uporządkowanych reguł aktualizacji poza przesuwaniem posteriorów. Logika modalna, z drugiej strony, może narzucać te ograniczenia w bardziej spójny sposób (nawet kosztem braku ilościowości). W sztucznej inteligencji pomaga sformalizować pomysły takie jak ekspresywność, tzn. rozumowanie o przekonaniach innych agentów, jak w teorii gier epistemicznych lub w modelach "prognozowania prognoz innych", nad którymi pracowałem kilka lat temu, aby zrozumieć cykle koniunkturalne. Dlatego zawsze przyciągał mnie projekt @BFraassen dotyczący konstruktywnego empiryzmu: 🔗 a nawet jeśli jest to pozycja mniejszościowa wśród badaczy. Można to luźno interpretować jako próbę połączenia najlepszych elementów logiki modalnej i rozumowania bayesowskiego: pierwsza dostarczająca logicznego szkieletu przekonania, druga dostarczająca treści numerycznej. Doskonałe opracowanie Soamesa dotyczące zmagań Quine'a i Kripke'a z wieloma z tych idei, w mojej skromnej (i niezbyt eksperckiej) opinii, stanie się znakomitym odniesieniem na wiele lat.