Consecuencia mixta en un marco tetravaluado

BORZI, AGUSTINA

Jornada; XV Jornadas de Comunicación de Investigación en Filosofía (JOCOINFI); 2022

Informalmente, decimos que una noción de consecuencia lógica es mixta siempre y cuando distingue entre un estándar inferencial que deben satisfacer las premisas y otro (no necesariamente distinto) que deben satisfacer las conclusiones. En este trabajo presentaré algunas de las relaciones de consecuencia mixta que se pueden definir sobre las matrices cuatrivaluadas presentadas por Belnap (1976), más conocidas como las tablas de verdad de first degree entailment (FDE). Primeramente, voy a exponer algunos hechos técnicamente interesantes sobre las lógicas mixtas resultantes, prestando especial atención a qué (meta)inferencias son (in)válidas en cada una de ellas. Luego, argüiré que las nociones de consecuencia que pueden definirse sobre este marco tetravaluado son compatibles con dos lecturas de la noción de validez: una es la tradicional lectura universal-existencial que se encuentra en la literatura; la otra es una lectura conjuntivo-disyuntiva que emplea las operaciones propias del llamado retículo lógico (L4) en la definición de validez. Por último, explicaré qué diferencias surgen al adoptar la una o la otra, y daré argumentos filosóficos en favor de esta última.