¿Cuál es la manera correcta de pensar en la lógica lineal?

Answer 1

La lógica lineal tal como fue diseñada por Jean-Yves Girard es una versión de la lógica proposicional en la que uno hace requiere sobre qué hipótesis se usa realmente en la prueba de una proposición y cuántas veces.

Por ejemplo, en la prueba de una implicación lineal [math] A \ multimap B [/ math], la hipótesis [math] A [/ math] debe usarse exactamente una vez en la prueba de [math] B [/ math]. En la prueba de una conjunción multiplicativa [math] A \ otimes B [/ math] del conjunto de hipótesis [math] H [/ math], debemos dividir [math] H [/ math] en dos conjuntos separados [math] H_1 [/ math] y [math] H_2 [/ math] de manera que [math] H_1 [/ math] se usa para probar [math] A [/ math] y [math] H_2 [/ math] se usa para probar [ matematicas] B [/ matematicas].

Las reglas de prueba de la lógica lineal hacen que estas ideas sean precisas.

Para una introducción completa, recomendaría no el artículo original de Girard (¡más o menos asume que el lector ya conoce la lógica lineal!), Sino el artículo sobre la lógica lineal en la Enciclopedia de Filosofía de Stanford.

Answer 2

La lógica lineal es otra forma de describir el método científico. El concepto de tiempo implícito es el tiempo de reloj convencional: tiempo pasado, presente y futuro. La lógica lineal se contrasta con lo que yo llamo lógica experiencial o psicodinámica. La lógica experiencial combina lógica lineal con sentimientos desordenados y, a menudo, contradictorios, más intuiciones y sensaciones corporales. Tiene en cuenta el tiempo de reloj convencional que se superpone a la duración (tiempo de vacaciones, sin tiempo, tiempo de bebé).

Answer 3

La lógica lineal se trata de cadenas de causa y efecto que no se rompen. No hay saltos de fe ni de intuición. Es realmente poderoso en sus dominios restringidos y permite conectar causas definidas a efectos definidos. La condición A conduce a la condición B si la causa X está presente o la condición C si la causa Y está presente.
La motivación es que permite una interpretación compartida inequívoca. Tiene una matemática crujiente.
Hay muchas cosas sobre la vida donde es inadecuada y demasiado limitada, como realidades psicológicas que son demasiado complejas para modelarlas efectivamente por medios lineales [como los sueños y las emociones], pero son excelentes para presentar argumentos claros, incluso si en última instancia son especiosos. .
Espero que esto ayude un poco.