Raíces metafísicas de la lógica: qué supuestos sobre la realidad
subyacen a la lógica clásica. Primera de dos respuestas a la misma
pregunta de Oriol («What are the metaphysical roots of logic?»).
Hilo de la conversación
Oriol plantea la pregunta, sin más contexto.
Claude responde de memoria, sin búsqueda, con seis dimensiones:
Principio de no contradicción: la realidad tiene naturaleza
determinada.
Identidad (A = A): las cosas persisten con rasgos estables.
Correspondencia mente-realidad: la lógica funciona porque
pensamiento y ser comparten estructura (logos), atribuido a
Aristóteles.
Universales y particulares: realismo frente a nominalismo.
Estructura del ser: conjunción, disyunción y negación presuponen que
lo real es componible y descomponible.
Determinación y bivalencia: la mecánica cuántica y la vaguedad
cuestionan que toda proposición sea verdadera o falsa.
Cierra con la pregunta de fondo: ¿la lógica se descubre o se
inventa?
Tesis y
conclusiones (incluidas las de Oriol)
La lógica clásica descansa sobre una metafísica de la determinación
y la identidad.
Las lógicas no clásicas ponen en cuestión algunos de esos supuestos
(bivalencia).
Oriol no aporta tesis; no hay conclusión cerrada.
Autores y referencias
citados
Solo Aristóteles, de forma genérica. No se cita ninguna obra
concreta.
Puntos a verificar
Respuesta sin fuentes, contraria a la pauta del proyecto de apoyar
con referencias (p. ej. Metafísica Gamma para el PNC).
«La mecánica cuántica desafía la bivalencia» es una tesis discutida
(Putnam, Birkhoff-von Neumann); no se matiza.
La dicotomía descubrir/inventar queda sin desarrollar.