Qué significa el pluralismo lógico, por qué existen varias lógicas y
qué implica en el plano ontológico (si la lógica describe el mundo, el
pensamiento o ambos).
Hilo de la conversación
Oriol pide explicar la pluralidad de las lógicas, su razón de ser y
su dimensión ontológica.
Claude define el pluralismo lógico: más de una relación de
consecuencia correcta, no solo varios sistemas formales posibles.
Origen histórico: los sistemas “desviados” del siglo XX
(intuicionista, paraconsistente, cuántica), comparados con las
geometrías no euclídeas; cada uno revisa un principio (tercero excluido,
explosión, distributividad).
Argumento central de Beall y Restall: validez como preservación de
la verdad en todos los “casos”; según se precise “caso” (mundos
completos, construcciones parciales, situaciones inconsistentes) resulta
una lógica distinta.
Plano ontológico: realismo lógico, deflacionismo/expresivismo y
dialeteísmo.
Se enlaza con la tesis del libro (las aporías como límites
estructurales, “La Grieta de Dios”).
Oriol pide crear un artifact; Claude genera el documento “Pluralismo
lógico y plano ontológico” y una copia en Drive.
Tesis y conclusiones
Las lógicas rivales pueden ser todas genuinas si cumplen necesidad,
normatividad y formalidad (Beall y Restall).
El realismo lógico (Frege, Russell, Sider) es compatible tanto con
el monismo como con el pluralismo.
Dialeteísmo (Priest): en los límites del pensamiento (lo inefable,
lo totalizante, lo autorreferente) aparecen contradicciones verdaderas;
da una base formal para ver la “grieta” como rasgo del ser y no como
fallo del discurso.
Oriol no formula tesis propia aquí; su aportación es la pregunta y
el encargo del artifact.
Autores y referencias
citados
Beall y Restall, Logical Pluralism (OUP, 2006).
Rush (ed.), The Metaphysics of Logic (CUP, 2014).
Priest, In Contradiction (2ª ed. 2006) y Beyond the
Limits of Thought (2002).
Sider, Writing the Book of the World (2011).
Carnap, Frege, Russell, Brouwer.
Fuentes web listadas: SEP “Logical Pluralism”; Synthese “Logical
realism”; tesis de Leeds sobre Brouwer; Erkenntnis sobre el dialeteísmo
de Priest; reseña NDPR de In Contradiction.
Puntos a verificar
La atribución a Brouwer de que los portadores primarios de la
estructura lógica son las actitudes proposicionales procede de una tesis
de Leeds sobre sus compromisos metafísicos; conviene comprobarla en la
fuente.
Clasificar a Brouwer como “deflacionista/expresivista” es una
interpretación discutible.
Atribuir a Priest que “un estado de cambio es aquel en que un cuerpo
tiene propiedades inconsistentes” requiere cita exacta (se apoya en
In Contradiction).
La comparación entre lógicas desviadas y geometrías no euclídeas se
presenta como opinión de “muchos autores” sin nombrarlos.
El resumen del dialeteísmo “metafísico” frente al “semántico” viene
de un artículo secundario; contrastar con Priest.