¿Hay una lógica o dos lógicas clásicas?

Abstract

A veces se escucha que el nombre «Lógica clásica» corresponde a la lógica de raigambre aristotélica, mientras que la lógica que se enseña mayoritariamente en las asignaturas de Lógica son «Lógica matemática» o «Lógica simbólica». Marquemos esta afirmación como [A1]. A esta afirmación se añade, no siempre, que ambas lógicas son igualmente válidas. Incluso que la llamada «Lógica clásica» es más idónea para hacer filosofía, ya sea Epis- temología ya sea Ontología. Marquemos esta nueva afirmación como [A2]. Voy a intentar haceros comprender que A1 no es sostenible. Consecuencia de que no lo sea es que tampoco lo es A2. Ambas lógicas se mueven y son en el ámbito de un lenguaje de símbolos, artificial. Por ello, ambas son formales. Os recordaré el lenguaje propio de la Lógica de conectivas, que probablemente estéis estudiando, y a continuación os presentaré Λ, el lenguaje de la Silogística de Aristóteles.