Una lógica de conclusión múltiple es aquella en la que la consecuencia lógica es una relación ,, entre dos conjuntos de oraciones (o proposiciones ). se interpreta típicamente en el sentido de que siempre que cada elemento de es cierto, algún elemento de es verdad; y siempre que cada elemento de es falso, algún elemento de Es falso.
Esta forma de lógica fue desarrollada en la década de 1970 por DJ Shoesmith y Timothy Smiley [1], pero no ha sido ampliamente adoptada.
Algunos lógicos favorecen una relación de consecuencias de conclusión múltiple sobre la relación de conclusión única más tradicional sobre la base de que esta última es asimétrica (en el sentido informal, no matemático) y favorece la verdad sobre la falsedad (o la afirmación sobre la negación).
Ver también
Referencias
- ^ DJ Shoesmith y TJ Smiley, Lógica de conclusión múltiple , Cambridge University Press, 1978