Shahid Rahman
En su entrada del libro para el ingreso al Internacional Directory of Logicians, publicado en 2009, Rahman argumenta que la lógica tiene un papel central que desempeñar en los programas de investigación de la filosofía de la ciencia del siglo XX. Las críticas históricas y sociológicas de los años sesenta habían desterrado la lógica de la filosofía de la ciencia al acusarla de reducir la ciencia a un conjunto de proposiciones conectadas entre sí por la lógica clásica. Pero eso no significa que la colaboración entre la lógica, la filosofía y la historia de la ciencia deba ser abandonada. Más bien, la lógica debería acercarse a la ciencia con herramientas nuevas y más sofisticadas, capaces de tratar las proposiciones en contexto, describiendo este contexto y su dinámica. Esto es concebible si desarrollamos la interfaz entre los juegos y la lógica, entre la teoría de la revisión de creencias y las teorías de juegos, y entre la teoría de la decisión y la teoría de la argumentación. Esta declaración es la base del proyecto Kluwer-Springer lanzado en 2001 por Rahman y John Symons, cuyo primer volumen se publicó en 2004 en la colección "Logic, Epistemology and the Unity of Science", editada por Rahman, Symons y Gabbay.
Lógica epistémica
La lógica epistémica es un campo de la lógica modal que se ocupa del razonamiento sobre el conocimiento. Mientras que la epistemología posee una larga tradición filosófica que se origina en la Grecia Antigua, la lógica epistémica es un desarrollo mucho más reciente con aplicaciones en numerosos campos, tales como filosofía, ciencia computacional teórica, inteligencia artificial, economía y lingüística. Mientras que los filósofos a partir de Aristóteles han discutido la lógica modal, y los filósofos medievales tales como Ockham y Duns Scotus desarrollaron numerosas observaciones, fue C.I. Lewis quién en 1912 realizó el primer tratamiento simbólico y sistemático de este tema. El tema continuó madurando, alcanzando su forma moderna en 1963 a partir del trabajo de Kripke.  Durante la década de 1950 se publicaron numerosos trabajos que mencionaban al pasar una lógica del conocimiento, pero es recién el trabajo de von Wright titulado "An Essay in Modal Logic" publicado en 1951 el que es reconocido como el documento fundacional. No fue sino hasta 1962 en que Hintikka, escribe "Knowledge and Belief", el primer trabajo extenso en que sugiere utilizar modalidades para capturar la semántica del conocimiento en vez de utilizar las premisas aléticas con que típicamente se desarrolla la lógica modal. Si bien este trabajo sentó las bases del tema, desde entonces se han realizado numerosas investigaciones y avances. Por ejemplo, la lógica epistémica ha sido recientemente combinada con algunas ideas tomadas de la lógica dinámica para crear una lógica de las comunicaciones públicas y una lógica de actualización de producto, que intentan modelar las sutilezas epistémicas de las conversaciones. Los trabajos fundacionales en este campo son los realizados por Plaza, van Benthem, y Baltag, Moss, y Solecki.