La lógica y las lógicas: sobre quejas inatendidas de Leibniz y Quine

Resumen

La queja de Leibniz en un breve ensayo de cuya fecha hay dudas tiene que ver con su insatisfacción sobre el estado de la lógica en su tiempo. Si se tiene en cuenta el propósito original de la lógica tal como aparece en el Fedón, y la separación actual entre lógica formal e informal, todavía en algunos aspectos sigue siendo válida a pesar de los años transcurridos. La queja de Quine es aun más válida y obvia: la proliferación de simbologías en lógica simbólica es innecesaria y vuelve redundante muchos esfuerzos en la disciplina. Nuestra investigación nos lleva a conclusiones interesantes sobre la relación entre lenguajes naturales y formales.