Acceso usuarios
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.
Leibniz ́s complaint in a short essay written at an uncertain date shows insatisfaction with the status of Logic in his time. If we have in mind the purpose of Logic as it is stated in Plato ́s Phaedon, and the present-day separation between formal and informal Logic, the complaint is still valid in some respects in spite of the time elapsed. Quine ́s complaint is even more obvious and valid: the proliferation of equivalent symbols in Logic is unnecesary and turns redundant many efforts in the discipline. Our research leads us to interesting conclusions on the relation between natural and formal languages.
