¿Es la lógica analítica o sintética?

Abstract

IntroducciónEn este artículo no discutiré si es posible, adecuado o interesante distinguir entre verdades analíticas y verdades sintéticas, ni entraré, por tanto, en la discusión clásica, que comienza con el Positivismo Lógico y llega hasta nuestros días principalmente en las obras de Quine, Kripke y Putnam, sobre sinonimia, nombres propios y descripciones en mundos posibles, cuestiones epistemológicas, compromisos ontológicos, etc. El problema que nos ocupa no es el de la distinción entre lo analítico y lo sintético en general ni, menos aún, en el lenguaje natural. El único objetivo que se plantea en este trabajo es el de tratar de responder a la pregunta que le da título, atendiendo, en primer li^ar, a la descripción kantiana de las características de esas dos nociones y, en segundo li^ar, a su lógica general, en contraposición con la lógica formal presentada más tarde por Fr^e y examinando también qué significa para Fr^e «analítico». En este contexto de la lógica formal clásica de ' adiez@psof.uned.e$