La tesis Duhem-Quine, asociada con el holismo confirmacional, puedeser vista como un argumento fu... more La tesis Duhem-Quine, asociada con el holismo confirmacional, puedeser vista como un argumento fuerte en contra de la eficiencia de los experimentoscruciales y el criterio falsacionista y, en consecuencia, la tesis jugaría un rol esencialen la explicación de cómo evolucionan las teorías científicas. Otra consideración,cuestionaría el grado de influencia que tienen los hechos en el proceso decontrastación, lo que supone una crítica a la obstinada búsqueda de datos sensiblesneutros de la teoría como fundamento último de los enunciados con sentido. En elpresente ensayo vamos a exponer algunos detalles de la tesis mostrando cómopermite atravesar varios episodios de la ciencia y su filosofía y arrojar luz sobrealgunos de sus problemas.&nbsp
El objetivo del presente trabajo es mostrar la correspondencia entre el cálculo de deducción natu... more El objetivo del presente trabajo es mostrar la correspondencia entre el cálculo de deducción natural intuicionista y el cálculo lambda con tipos, conocida como isomorfismo Curry-Howard. Se expone cómo se constituye un sistema lógico, cuáles son las propiedades que debe satisfacer y en qué marco teórico se realiza el estudio de estas propiedades. Sobre esto presentamos los cálculos lógicos de Gerhard Gentzen: el cálculo de deducción natural y el cálculo de secuentes, tanto para lógica clásica y la lógica intuicionista. Hecho esto, presentamos el cálculo lambda de en dos versiones, sin tipos y con tipos simples. Este cálculo fue presentado y usado por A. Church como un formalismo para definir funciones computables, siendo un planteamiento más abstracto de la noción de computabilidad que el de las máquinas de Turing. Por último mostramos cómo corresponden las fórmulas que representan los tipos en el cálculo lambda con tipos con las fórmulas del calculo de deducción natural intuicionista para proposiciones, mostrando ciertas limitaciones de este resultado. Quedamos entonces con un sistema que podría interpretarse como la definición formal de una semántica para el cálculo de decucción natural intuicionista donde la noción de construcción queda interpretada como cómputo expresable via cálculo lambda. El resultado podría ser extendido a una semántica intensional donde los procesos de deducción son entendidos como el uso de patrones inferenciales específicos.
Para superar obstaculos importantes, como el problema del marco , en inteligencia artificial, ram... more Para superar obstaculos importantes, como el problema del marco , en inteligencia artificial, rama de la ciencia cognitiva, se ha tomado la nocion heideggeriana de ser-en-el-mundo como uno de los conceptos mas orientadores. Explicaremos en que consiste el problema del marco, su relevancia y como ha conducido a una critica de la nocion cartesiana y dualista de la mente que Heidegger, por otro lado, creia posible de superar a traves de una indagacion en la estructura de la existencia humana; de la indagacion heideggeriana se desprenden varios conceptos que han sido estudiados por investigadores de la ciencia cognitiva. Finalmente, presentamos nuestras observaciones acerca de la posibilidad de una ciencia cognitiva heideggeriana. Notes on Heideggerian cognitive science Abstract In order to overcome important obstacles, such as the framework issue, in artificial intelligence, branch of cognitive science, we have chosen the Heideggerian notion of being-in-the-world as one of the most gui...
La tesis Duhem-Quine, asociada con el holismo confirmacional, puede ser vista como un argumento c... more La tesis Duhem-Quine, asociada con el holismo confirmacional, puede ser vista como un argumento contra la eficiencia de los experimentos cruciales y el criterio falsacionista. En consecuencia, la tesis jugaría un rol esencial en la explicación de cómo evolucionan las teorías científicas. Otra consideración cuestionaría el grado de influencia que tienen los hechos en el proceso dec ontrastación, lo que supone una crítica a la obstinada búsqueda de datos sensibles neutros como fundamento último de los enunciados con sentido. En el presente ensayo vamos a exponer algunos detalles de la tesis mostrando cómo permite atravesar varios episodios de la ciencia y su filosofía y arrojar luz sobre algunos de sus problemas.
Para superar obstáculos importantes, como el problema del marco, en inteligencia artificial, ram... more Para superar obstáculos importantes, como el problema del marco, en inteligencia artificial, rama de la ciencia cognitiva, se ha tomado la noción heideggeriana de ser en el mundo como uno de los conceptos mas orientadores. Explicaremos en qué consiste el problema del marco, su relevancia y cómo ha conducido a una crítica de la noción cartesiana y dualista de la mente que Heidegger, por otro lado, creía posible de superar a través de una indagación en la estructura de la existencia humana; de la indagación heideggeriana se desprenden varios conceptos que han sido estudiados por investigadores de la ciencia cognitiva. Finalmente, presentamos nuestras observaciones acerca de la posibilidad de una ciencia cognitiva heideggeriana.
El objetivo del presente trabajo es mostrar la correspondencia entre el cálculo de deducción natu... more El objetivo del presente trabajo es mostrar la correspondencia entre el cálculo de deducción natural intuicionista y el cálculo lambda con tipos, conocida como isomorfismo Curry-Howard. Se expone cómo se constituye un sistema lógico, cuáles son las propiedades que debe satisfacer y en qué marco teórico se realiza el estudio de estas propiedades. Sobre esto presentamos los cálculos lógicos de Gerhard Gentzen: el cálculo de deducción natural y el cálculo de secuentes, tanto para lógica clásica y la lógica intuicionista. Hecho esto, presentamos el cálculo lambda de en dos versiones, sin tipos y con tipos simples. Este cálculo fue presentado y usado por A. Church como un formalismo para definir funciones computables, siendo un planteamiento más abstracto de la noción de computabilidad que el de las máquinas de Turing. Por último mostramos cómo corresponden las fórmulas que representan los tipos en el cálculo lambda con tipos con las fórmulas del calculo de deducción natural intuicionista para proposiciones, mostrando ciertas limitaciones de este resultado. Quedamos entonces con un sistema que podría interpretarse como la definición formal de una semántica para el cálculo de decucción natural intuicionista donde la noción de construcción queda interpretada como cómputo expresable via cálculo lambda. El resultado podría ser extendido a una semántica intensional donde los procesos de deducción son entendidos como el uso de patrones inferenciales específicos.
La tesis Duhem-Quine, asociada con el holismo confirmacional, puedeser vista como un argumento fu... more La tesis Duhem-Quine, asociada con el holismo confirmacional, puedeser vista como un argumento fuerte en contra de la eficiencia de los experimentoscruciales y el criterio falsacionista y, en consecuencia, la tesis jugaría un rol esencialen la explicación de cómo evolucionan las teorías científicas. Otra consideración,cuestionaría el grado de influencia que tienen los hechos en el proceso decontrastación, lo que supone una crítica a la obstinada búsqueda de datos sensiblesneutros de la teoría como fundamento último de los enunciados con sentido. En elpresente ensayo vamos a exponer algunos detalles de la tesis mostrando cómopermite atravesar varios episodios de la ciencia y su filosofía y arrojar luz sobrealgunos de sus problemas.&nbsp
El objetivo del presente trabajo es mostrar la correspondencia entre el cálculo de deducción natu... more El objetivo del presente trabajo es mostrar la correspondencia entre el cálculo de deducción natural intuicionista y el cálculo lambda con tipos, conocida como isomorfismo Curry-Howard. Se expone cómo se constituye un sistema lógico, cuáles son las propiedades que debe satisfacer y en qué marco teórico se realiza el estudio de estas propiedades. Sobre esto presentamos los cálculos lógicos de Gerhard Gentzen: el cálculo de deducción natural y el cálculo de secuentes, tanto para lógica clásica y la lógica intuicionista. Hecho esto, presentamos el cálculo lambda de en dos versiones, sin tipos y con tipos simples. Este cálculo fue presentado y usado por A. Church como un formalismo para definir funciones computables, siendo un planteamiento más abstracto de la noción de computabilidad que el de las máquinas de Turing. Por último mostramos cómo corresponden las fórmulas que representan los tipos en el cálculo lambda con tipos con las fórmulas del calculo de deducción natural intuicionista para proposiciones, mostrando ciertas limitaciones de este resultado. Quedamos entonces con un sistema que podría interpretarse como la definición formal de una semántica para el cálculo de decucción natural intuicionista donde la noción de construcción queda interpretada como cómputo expresable via cálculo lambda. El resultado podría ser extendido a una semántica intensional donde los procesos de deducción son entendidos como el uso de patrones inferenciales específicos.
Para superar obstaculos importantes, como el problema del marco , en inteligencia artificial, ram... more Para superar obstaculos importantes, como el problema del marco , en inteligencia artificial, rama de la ciencia cognitiva, se ha tomado la nocion heideggeriana de ser-en-el-mundo como uno de los conceptos mas orientadores. Explicaremos en que consiste el problema del marco, su relevancia y como ha conducido a una critica de la nocion cartesiana y dualista de la mente que Heidegger, por otro lado, creia posible de superar a traves de una indagacion en la estructura de la existencia humana; de la indagacion heideggeriana se desprenden varios conceptos que han sido estudiados por investigadores de la ciencia cognitiva. Finalmente, presentamos nuestras observaciones acerca de la posibilidad de una ciencia cognitiva heideggeriana. Notes on Heideggerian cognitive science Abstract In order to overcome important obstacles, such as the framework issue, in artificial intelligence, branch of cognitive science, we have chosen the Heideggerian notion of being-in-the-world as one of the most gui...
La tesis Duhem-Quine, asociada con el holismo confirmacional, puede ser vista como un argumento c... more La tesis Duhem-Quine, asociada con el holismo confirmacional, puede ser vista como un argumento contra la eficiencia de los experimentos cruciales y el criterio falsacionista. En consecuencia, la tesis jugaría un rol esencial en la explicación de cómo evolucionan las teorías científicas. Otra consideración cuestionaría el grado de influencia que tienen los hechos en el proceso dec ontrastación, lo que supone una crítica a la obstinada búsqueda de datos sensibles neutros como fundamento último de los enunciados con sentido. En el presente ensayo vamos a exponer algunos detalles de la tesis mostrando cómo permite atravesar varios episodios de la ciencia y su filosofía y arrojar luz sobre algunos de sus problemas.
Para superar obstáculos importantes, como el problema del marco, en inteligencia artificial, ram... more Para superar obstáculos importantes, como el problema del marco, en inteligencia artificial, rama de la ciencia cognitiva, se ha tomado la noción heideggeriana de ser en el mundo como uno de los conceptos mas orientadores. Explicaremos en qué consiste el problema del marco, su relevancia y cómo ha conducido a una crítica de la noción cartesiana y dualista de la mente que Heidegger, por otro lado, creía posible de superar a través de una indagación en la estructura de la existencia humana; de la indagación heideggeriana se desprenden varios conceptos que han sido estudiados por investigadores de la ciencia cognitiva. Finalmente, presentamos nuestras observaciones acerca de la posibilidad de una ciencia cognitiva heideggeriana.
El objetivo del presente trabajo es mostrar la correspondencia entre el cálculo de deducción natu... more El objetivo del presente trabajo es mostrar la correspondencia entre el cálculo de deducción natural intuicionista y el cálculo lambda con tipos, conocida como isomorfismo Curry-Howard. Se expone cómo se constituye un sistema lógico, cuáles son las propiedades que debe satisfacer y en qué marco teórico se realiza el estudio de estas propiedades. Sobre esto presentamos los cálculos lógicos de Gerhard Gentzen: el cálculo de deducción natural y el cálculo de secuentes, tanto para lógica clásica y la lógica intuicionista. Hecho esto, presentamos el cálculo lambda de en dos versiones, sin tipos y con tipos simples. Este cálculo fue presentado y usado por A. Church como un formalismo para definir funciones computables, siendo un planteamiento más abstracto de la noción de computabilidad que el de las máquinas de Turing. Por último mostramos cómo corresponden las fórmulas que representan los tipos en el cálculo lambda con tipos con las fórmulas del calculo de deducción natural intuicionista para proposiciones, mostrando ciertas limitaciones de este resultado. Quedamos entonces con un sistema que podría interpretarse como la definición formal de una semántica para el cálculo de decucción natural intuicionista donde la noción de construcción queda interpretada como cómputo expresable via cálculo lambda. El resultado podría ser extendido a una semántica intensional donde los procesos de deducción son entendidos como el uso de patrones inferenciales específicos.
Uploads
Papers