¿Por qué se llama Lógica "lineal" ? ¿Qué tiene de lineal?
¿Puede alguien con un teclado francés añadir todos los signos diacríticos?
Respuesta
¿Demasiados anuncios?El propio Girard, en su lengua materna (cf. Girard, Curso de lógica I En la sección 1.B.2, Hermann, 2006, escribe:
"La lógica lineal se deriva de una consideración sistemática de la interpretación categórica. En particular, el espacios cohesivos [...] ...] hacer aparecer estructuras lógicas conocidas en el álgebra lineal [...]".
Traducción: "La lógica lineal se desarrolló a partir de la consideración sistemática de la interpretación categórica. En particular, espacios coherentes [...] , similares a los espacios vectoriales [...] dan lugar a estructuras lógicas que resultan familiares del álgebra lineal".
Así que, en una frase, se llama lineal lógica porque implica una semántica que se parece a estructuras de lineal el álgebra.
Ya veo. ¿Así que, por ejemplo, porque los tiempos se distribuyen sobre el plus? Tengo curiosidad, ¿cuál es el análogo de "con" y "par" en álgebra lineal?
Bueno, una analogía no implica necesariamente que haya el respuesta correcta a su pregunta. Usted puede ver la similitud que nombraste como una.
0 votos
Tal vez sea útil: Jean-Yves Girard y Paul Taylor, PRUEBAS Y TIPOS , Cambridge UP (1989), Capítulo 12.3 Linealidad , página 98.
1 votos
Véase también Jean-Yves Girard, Lógica lineal (1987) página 16, por el defecto de lineal (asociada a espacios coherentes ) y las definiciones (página 19) de negación lineal y implicación lineal .