El sueño de Leibniz. Sobre deducción automática y razonadores artificiales

Autores
Legris, Javier
Año de publicación
1997
Idioma
español castellano
Tipo de recurso
documento de conferencia
Estado
versión publicada
Descripción
Fil: Legris, Javier. Universidad de Buenos Aires; Argentina.
Fil: Legris, Javier. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina.
En lo que sigue se ofrecerá un breve panorama de la manera en que se está realizando "el sueño de Leibniz", indicando algunas de sus propiedades y limitaciones. Pero más específicamente, se discutirá, en primer lugar, el papel que la deducción automática tiene en el desarrollo actual de la lógica matemática y, en segundo lugar, la importancia que tiene en la justificación filosófica de la inferencia deductiva. La investigación sobre la deducción automática aporta fundamentaciones "constructivas" de la lógica y un análisis de la inferencia lógica como un mecanismo para obtener conocimiento.
Fil: Legris, Javier. Universidad de Buenos Aires; Argentina.
Fil: Legris, Javier. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina.
Materia
Epistemología
Historia de la ciencia
Nivel de accesibilidad
acceso abierto
Condiciones de uso
Repositorio
Repositorio Digital Universitario (UNC)
Institución
Universidad Nacional de Córdoba
OAI Identificador
oai:rdu.unc.edu.ar:11086/4277
Acceder
id RDUUNC_35a759d0df1d6db23122d9f3215ccf71
oai_identifier_str oai:rdu.unc.edu.ar:11086/4277
network_acronym_str RDUUNC
repository_id_str 2572
network_name_str Repositorio Digital Universitario (UNC)
spelling El sueño de Leibniz. Sobre deducción automática y razonadores artificialesLegris, JavierEpistemologíaHistoria de la cienciaFil: Legris, Javier. Universidad de Buenos Aires; Argentina.Fil: Legris, Javier. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina.En lo que sigue se ofrecerá un breve panorama de la manera en que se está realizando "el sueño de Leibniz", indicando algunas de sus propiedades y limitaciones. Pero más específicamente, se discutirá, en primer lugar, el papel que la deducción automática tiene en el desarrollo actual de la lógica matemática y, en segundo lugar, la importancia que tiene en la justificación filosófica de la inferencia deductiva. La investigación sobre la deducción automática aporta fundamentaciones "constructivas" de la lógica y un análisis de la inferencia lógica como un mecanismo para obtener conocimiento.Fil: Legris, Javier. Universidad de Buenos Aires; Argentina.Fil: Legris, Javier. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina.Universidad Nacional de Córdoba1997-11info:eu-repo/semantics/conferenceObjectinfo:eu-repo/semantics/publishedVersionhttp://purl.org/coar/resource_type/c_5794info:ar-repo/semantics/documentoDeConferenciaapplication/pdf978-950-33-0179-1http://hdl.handle.net/11086/4277spainfo:eu-repo/semantics/openAccessreponame:Repositorio Digital Universitario (UNC)instname:Universidad Nacional de Córdobainstacron:UNC2025-09-29T13:44:25Zoai:rdu.unc.edu.ar:11086/4277Institucionalhttps://rdu.unc.edu.ar/Universidad públicaNo correspondehttp://rdu.unc.edu.ar/oai/snrdoca.unc@gmail.comArgentinaNo correspondeNo correspondeNo correspondeopendoar:25722025-09-29 13:44:25.801Repositorio Digital Universitario (UNC) - Universidad Nacional de Córdobafalse
dc.title.none.fl_str_mv El sueño de Leibniz. Sobre deducción automática y razonadores artificiales
title El sueño de Leibniz. Sobre deducción automática y razonadores artificiales
spellingShingle El sueño de Leibniz. Sobre deducción automática y razonadores artificiales
Legris, Javier
Epistemología
Historia de la ciencia
title_short El sueño de Leibniz. Sobre deducción automática y razonadores artificiales
title_full El sueño de Leibniz. Sobre deducción automática y razonadores artificiales
title_fullStr El sueño de Leibniz. Sobre deducción automática y razonadores artificiales
title_full_unstemmed El sueño de Leibniz. Sobre deducción automática y razonadores artificiales
title_sort El sueño de Leibniz. Sobre deducción automática y razonadores artificiales
dc.creator.none.fl_str_mv Legris, Javier
author Legris, Javier
author_facet Legris, Javier
author_role author
dc.subject.none.fl_str_mv Epistemología
Historia de la ciencia
topic Epistemología
Historia de la ciencia
dc.description.none.fl_txt_mv Fil: Legris, Javier. Universidad de Buenos Aires; Argentina.
Fil: Legris, Javier. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina.
En lo que sigue se ofrecerá un breve panorama de la manera en que se está realizando "el sueño de Leibniz", indicando algunas de sus propiedades y limitaciones. Pero más específicamente, se discutirá, en primer lugar, el papel que la deducción automática tiene en el desarrollo actual de la lógica matemática y, en segundo lugar, la importancia que tiene en la justificación filosófica de la inferencia deductiva. La investigación sobre la deducción automática aporta fundamentaciones "constructivas" de la lógica y un análisis de la inferencia lógica como un mecanismo para obtener conocimiento.
Fil: Legris, Javier. Universidad de Buenos Aires; Argentina.
Fil: Legris, Javier. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina.
description Fil: Legris, Javier. Universidad de Buenos Aires; Argentina.
publishDate 1997
dc.date.none.fl_str_mv 1997-11
dc.type.none.fl_str_mv info:eu-repo/semantics/conferenceObject
info:eu-repo/semantics/publishedVersion
http://purl.org/coar/resource_type/c_5794
info:ar-repo/semantics/documentoDeConferencia
format conferenceObject
status_str publishedVersion
dc.identifier.none.fl_str_mv 978-950-33-0179-1
http://hdl.handle.net/11086/4277
identifier_str_mv 978-950-33-0179-1
url http://hdl.handle.net/11086/4277
dc.language.none.fl_str_mv spa
language spa
dc.rights.none.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.publisher.none.fl_str_mv Universidad Nacional de Córdoba
publisher.none.fl_str_mv Universidad Nacional de Córdoba
dc.source.none.fl_str_mv reponame:Repositorio Digital Universitario (UNC)
instname:Universidad Nacional de Córdoba
instacron:UNC
reponame_str Repositorio Digital Universitario (UNC)
collection Repositorio Digital Universitario (UNC)
instname_str Universidad Nacional de Córdoba
instacron_str UNC
institution UNC
repository.name.fl_str_mv Repositorio Digital Universitario (UNC) - Universidad Nacional de Córdoba
repository.mail.fl_str_mv oca.unc@gmail.com
_version_ 1844618981807226880
score 13.070432

Publicaciones similares