Por qué es tan difícil dar una definición de la lógica. Conversación
breve, dictada por voz.
Hilo de la conversación
Oriol quiere intentar una definición de la lógica. Claude propone la
clásica, «estudio de la consecuencia válida en virtud de la forma», y
ofrece la alternativa wittgensteiniana.
Oriol observa que el diccionario de filosofía de Herder trata
principios, historia y variedades (oriental, occidental…) pero no
define, y que las definiciones que encuentra se reducen a «estudia la
validez de la consecuencia». Pregunta por qué no se puede ir más
allá.
Claude da cuatro razones: circularidad, demarcación, pluralidad y
ambigüedad.
Oriol no lo entiende; Claude lo resume en tres razones y después lo
explica con una analogía (la regla que hay que medir con otra regla;
verse los ojos sin espejo).
La conversación se corta con un «no quiero hacerlo» que Claude no
entiende.
Tesis y
conclusiones (incluidas las de Oriol)
Oriol: los diccionarios describen la lógica pero no la definen; la
sensación es que no se puede ir más allá de la fórmula de la
consecuencia válida.
Circularidad: toda definición usa nociones lógicas («se sigue»,
«necesariamente», «no», «si… entonces»); no hay punto de vista exterior.
En el Tractatus la lógica se muestra y «debe cuidar de sí
misma».
Demarcación: qué son las constantes lógicas (¿identidad?, ¿segundo
orden?); Quine, Tarski (invariancia bajo permutaciones), Frege y
Russell.
Pluralidad: cada lógica tiene su noción de consecuencia (pluralismo
de Beall y Restall); el diccionario describe un parecido de familia, no
una esencia.
Ambigüedad: «lógica» nombra la disciplina y lo que la disciplina
estudia.
Conclusión: la lógica es demasiado básica para tener algo más básico
con que definirla. Es una aporía reflexiva de marco del mismo tipo que
las del libro.
Autores y referencias
citados
Wittgenstein (Tractatus); Quine (segundo orden como «teoría
de conjuntos disfrazada»); Tarski (criterio de invariancia); Frege;
Russell; Beall y Restall (pluralismo lógico); Diccionario de
filosofía Herder.
Puntos a verificar
Todo se dijo de memoria, sin fuentes.
Cita exacta y número del Tractatus para «la lógica debe
cuidar de sí misma» (5.473).
Referencia del criterio de Tarski («What are logical notions?»,
conferencia de 1966, publicada en 1986).
Artículo «lógica» del diccionario Herder que consultó Oriol.