Soy estudiante y estoy estudiando lógica lineal. Vi una cita en un libro:
"Yo no soy un lógico lineal" - Jean-Yves Girard. Tokio, abril de 1996.
He buscado en google pero no encuentro el contexto de por qué lo dijo. ¿Qué entiende por esa frase?
Respuestas
¿Demasiados anuncios?
Laura
Puntos
46
Según lo sugerido por @rschwieb, me envió un correo electrónico a Girard. He aquí su respuesta:
Hola,
La idea general es que la lógica no tiene un adjetivo: mira en modal, no monotónica, paraconsistent de la lógica en la que el un adjetivo es una especie de negación, como en la " justicia militar ".
La lógica lineal es sólo una manera de hacer llanura de la lógica, es decir, para el estudio de razonamiento puro. Mi posición era que la linealidad es una cuestión de estructura fina: incluso si usted están preocupados con intuitionism, el uso de linearimplication puede ser muy útil.
Más recientemente, he descubierto que el predicado de cálculo se basa en un error, es decir, la idea de "una propiedad de los individuos" P(t): no podemos hablar de "azul ", pero sólo decir " el cielo es azul ". Este realista artilugio hace la igualdad una tontería. De hecho, es posible expulsar a los "individuos" y sustituir, cuando sea necesario, con lineal proposiciones T, U, V, en cuyo caso la igualdad se convierte en lineal de equivalencia. Para esto necesitamos absolutamente linealidad ya podemos probar (clásico o intuitionistically) de que no hay más de dos " individuos ".
Para resumir, yo no soy un lineal lógico debido a que el tratamiento natural de la lógica nos obliga a usar la linealidad, de forma independiente de cualquier compromiso.
Saludos cordiales,
J-YG
sewo
Puntos
58
Para poner esto en contexto, uno de Girard varias reclamaciones a la fama es la de ser el inventor de la lógica lineal, un tipo especializado de la lógica con las aplicaciones en la informática teórica y varios otros lugares.
Si él niega ser un "lineal lógico", que bien podría entenderse como una manera de distanciarse de ese sistema en particular (es viejo sombrero para él, tiene mucho tiempo de haberse mudado), o como una forma de estrés que la lógica lineal no es todo lo que hace, o incluso como una manera de decir que no hay tal cosa como un "lineal lógico" (es decir, que la lógica lineal no es una posición filosófica que se puede tomar en lugar de la lógica ordinaria, pero simplemente es un juego interesante que uno puede elegir para jugar cuando tenga sentido).
O tal vez él significaba algo completamente diferente. Él es a menudo no es una persona fácil de entender, y parece tener una predilección por los provocativos de expresiones que el oyente se deja de hacer sentido de sí mismo. Una vez tuve la experiencia de estar a través de una serie de varias y muy animadas charlas por él a una escuela de verano, y sólo conseguir la más remota idea de lo que estaba haciendo, o lo que él estaba tratando de lograr. Luego, he seguido algunas otras conferencias a cargo de uno de sus colegas que trató de explicar su trabajo más accesible, sino que admitió que él no estaba completamente seguro de que lo había entendido correctamente ...
Desde la cita se atribuye a un determinado tiempo y lugar (al parecer, una reunión o un taller acerca de la lógica lineal específicamente), parece probable que esto debe haber sido un brazalete hablado comentario por Girard durante la reunión, tal vez aprovechando la oportunidad para romper una broma a expensas de alguien diciendo, por ejemplo, "todos somos lineal lógicos aquí". Si algo así es el caso, buscando un significado más profundo en la declaración es casi ciertamente inútil.
A menos que el libro donde se encuentra la cita que utiliza para ilustrar un punto explícito, me parece que es justo allí, porque el autor pareció gracioso.
