Conceptos de lógica

La historia de la lógica como disciplina se ha caracterizado por numerosas controversias sobre su alcance, y, como consecuencia, el artículo principal, « Lógica », se ha mostrado reacio a adoptar una definición concreta. Este artículo examina las diversas definiciones de la lógica que han surgido a lo largo de los siglos hasta la actualidad, y las contextualiza como reflejo de concepciones rivales de la misma.

Durante el periodo de la filosofía escolástica, la lógica fue predominantemente aristotélica . Tras el declive de la escolástica, filósofos de la primera modernidad como Locke y Hume concibieron la lógica como una cuestión de ideas . Immanuel Kant fue un paso más allá. Parte de la premisa de los filósofos empiristas: que todo conocimiento es interno a la mente y que no poseemos un conocimiento genuino de las cosas en sí mismas. Además (una idea que parece haber tomado de Hume), el material del conocimiento es una sucesión de ideas separadas que carecen de conexión intrínseca y, por lo tanto, de unidad real. Para que estas sensaciones dispares adquieran cierto orden y coherencia, debe existir un mecanismo interno en la mente que proporcione las formas mediante las cuales pensamos, percibimos y razonamos.

Kant llama a estas formas Categorías (en un sentido algo diferente al empleado por los lógicos aristotélicos), de las cuales afirma que hay doce:

• Cantidad (singular, particular, universal)
• Cualidad (Afirmativa, Negativa, Infinita)
• Relación (Categórica, Hipotética, Disyuntiva)
• Modalidad (Problemática, Asertiva, Apodíctica)

Esta concepción de la lógica acabó evolucionando hasta convertirse en una forma extrema de psicologismo, defendida en el siglo XIX por Benno Erdmann y otros.

Otra concepción de la lógica, defendida por Hegel y otros de su escuela (como Bradley , Bosanquet y otros), fue la «Lógica de la Idea Pura». La característica central de esta concepción es la identificación entre lógica y metafísica. El universo tiene su origen en las categorías del pensamiento. El pensamiento, en su máximo desarrollo, se convierte en la Idea Absoluta, una mente divina que evoluciona en el desarrollo del universo.

En la época moderna, Gottlob Frege dijo: «Así como “bello” señala el camino para la estética y “bueno” para la ética, palabras como “verdadero” lo hacen para la lógica», y continuó caracterizando la tarea distintiva de la lógica: «discernir las leyes de la verdad». ^{[ 1 ]} Más tarde, WVO Quine (1940, pp. 2-3) definió la lógica en términos de un vocabulario lógico, que a su vez se identifica mediante el argumento de que los muchos vocabularios particulares —Quine menciona el vocabulario geológico— se utilizan en sus discursos particulares junto con un núcleo común de términos, independiente del tema. ^{[ 2 ]} Estos términos, entonces, constituyen el vocabulario lógico, y las verdades lógicas son aquellas verdades comunes a todos los temas particulares.

Thomas Hofweber (2004) enumera varias definiciones de lógica y afirma que todas pertenecen a uno de cuatro tipos. Estos son: la lógica como estudio de: (i) estructuras formales artificiales, (ii) inferencia sólida (p. ej., Poinsot), (iii) tautologías (p. ej., Watts) o (iv) características generales del pensamiento (p. ej., Frege). Argumenta que estas definiciones están relacionadas entre sí, pero no se agotan mutuamente, y que un análisis de la ontología formal muestra que estas discrepancias entre definiciones rivales se deben a cuestiones complejas de la ontología.

Ordenados aproximadamente en orden cronológico.

• La herramienta para distinguir entre lo verdadero y lo falso ( Averroes ). ^{[ 3 ]}
• La ciencia del razonamiento, que enseña la manera de investigar verdades desconocidas en relación con una tesis ( Robert Kilwardby ).
• El arte cuya función es dirigir la razón para que no se equivoque en la manera de inferir o conocer ( John Poinsot ).
• El arte de conducir bien la razón al conocer las cosas ( Antoine Arnauld ).
• El uso correcto de la razón en la búsqueda de la verdad ( Isaac Watts ).
• La ciencia, así como el arte, del razonamiento ( Richard Whately ).
• La ciencia de las operaciones del entendimiento que están subordinadas a la estimación de la evidencia ( John Stuart Mill ).
• La ciencia de las leyes del pensamiento discursivo ( James McCosh ).
• La ciencia de las leyes más generales de la verdad ( Gottlob Frege ).
• Una explicación o explicitación de nuestras prácticas de razonamiento ( Robert Brandom ).

• Lógica universal

• Beaney, M. (1997). The Frege Reader . Oxford: Blackwell.
• Ferreirós, J. (2001). El camino hacia la lógica moderna: una interpretación . En Boletín de lógica simbólica 7(4):441-483.
• Frege, G. (1897). Lógica . Trad. Long, P. y White, R., Escritos póstumos.
• Hofweber, T. (2004). Lógica y ontología . Enciclopedia de filosofía de Stanford .
• Joyce, GH (1908). Principios de lógica . Londres.
• Kilwardby, R. La naturaleza de la lógica , de De Ortu Scientarum , trad. Kretzmann, en Kretzmann N. y Stump E., The Cambridge Translation of Medieval Philosophical Texts, Vol. I. Cambridge 1988, págs.  262 y ss.)
• McCosh, J. (1870). Las leyes del pensamiento discursivo . Londres.
• Mill, JS (1904). Un sistema de lógica . 8.ª edición. Londres.
• Poinsot, J. (1637/1955). 'Esbozos de lógica formal'. En su Ars Logica , Lyon 1637, ed. y trad. FC Wade, 1955.
• Quine, WVO (1940/1981). Lógica matemática . Tercera edición. Harvard University Press.
• Whateley, R. (1826). Elementos de lógica .