conceptual

Tradicionalmente se ha pensado que el concepto central de la lógica es el de la validez o consecuencia lógica, la cual es una propiedad de argumentos entendidos en un sentido muy restringido: conjuntos de premisas y una conclusión. Sin embargo, en décadas recientes cada vez mas filósofos han cuestionado esta ortodoxia y han propuesto sistemas formales – en particular, sistemas de secuentes lógicos multilaterales – en las cuales los argumentos contienen otros tipos de proposiciones además de premisas y conclusiones. El reto para quien quiere defender que existen los secuentes lógicos multilaterales (introducidor por Schröter (1955) y Rousseau (1967) y luego desarrollados por Baaz et al. (1993).), por ejemplo, los tetralaterales es mostrar en qué sentido este tipo de secuente sigue siendo lógico. Los secuentes tradicionales (bilaterales) son obviamente lógicos por su conexión directa con la inferencia: lo de la izquierda son las premisas y lo de la izquierda sus conclusiones. La pregunta