De la lógica clásica a la lógica simbólica. Releyendo a Carnap

RESUMEN: Rudolf Carnap interpretó la filosofía como un proceso de análisis lógico, explicando pormenorizadamente las propiedades formales del lenguaje y proporcionando una comprensión del lenguaje de la ciencia. Mostramos aquí cómo, mediante la definición y relación de L-conceptos, Carnap justifica la distinción entre verdad lógica y verdad fáctica, fundamental en las discusiones del Círculo de Viena. En este artículo, mostramos cómo la lógica solo tiene sentido como método de formalización del lenguaje significativo y no como conocimiento de la realidad.

PALABRAS CLAVE: empirismo lógico, positivismo empírico, L-conceptos, Carnap, Aufbau.

From Classical Logic to Symbolic Logic. Reading Carnap again

ABSTRACT: Rudolf Carnap interpreted Philosophy as a process of logical analysis, explaining in detail the formal properties of language and providing an understanding of the language of science. We show herehow, through the definition and relation of L-concepts, Carnap justifies the distinction between logical truth and factual truth, which was fundamental in the discussions of the Vienna Circle. In this article we show how Logic only makes sense as a method of formalizing meaningful language and not as knowledge of reality.

KEY WORDS: logical empiricism, empirical positivism, L-concepts, Carnap, Aufbau.