John Dewey escribió que, mientras los progresos modernos de la lógica simbólica han permitido un acuerdo universal acerca de las técnicas de esa ciencia, la disputa sobre su "objeto último", sobre la naturaleza misma y la función de la lógica, no tiene visos de acallarse.