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.
Dialéctica
A despecho del ejemplo citado en la matemática se ha preguntado a menudo hasta qué punto las ciencias formales, y específicamente la lógica, son dialécticas y están sometidas a las leyes enunciadas por el materialismo dialéctico. Engels se expresó al respecto de un modo un tanto ambivalente, pues mientras las leyes de referencia tienen, a su entender, un alcance verdaderamente universal, por otro lado las leyes dialécticas mismas constituyen un elemento invariable. Puesto que la lógica misma es dialéctica, parece que no cabe preguntar si la propia lógica dialéctica es o no dialéctica; no parece que se pueda negar la lógica dialéctica por otra lógica no dialéctica. Por otro lado, la negación de la negación de esta lógica dialéctica daría una lógica dialéctica supuestamente «superior». Son muchas las discusiones sobre la autonomía o heteronomía de la lógica formal dentro del materialismo dialéctico.