tag:blogger.com,1999:blog-1154766078516240719.post2824777244373841580..comments2023-04-01T09:03:50.815-03:00Comments on Lógica, Filosofía de la Lógica: La lógica de Segundo Orden es Lógica?Claudio M. Confortihttp://www.blogger.com/profile/08996261398587425763noreply@blogger.comBlogger2125tag:blogger.com,1999:blog-1154766078516240719.post-45691044730751225512011-09-07T17:52:05.637-03:002011-09-07T17:52:05.637-03:00En nuestras
estructuras o sistemas estándar tomamo...En nuestras<br />estructuras o sistemas estándar tomamos el conjunto de las partes del<br />universo de individuos como universo de conjuntos y el de las partes del<br />producto cartesiano del universo de individuos como universo de relaciones.<br />Al hacerlo la noción de subconjunto es la de la metateoría de conjuntos<br />–la estamos tratando como un concepto “lógico”, de la misma forma<br />acrítica con la que se toma a la identidad en la lógica de primer orden, y<br />por consiguiente es la del metalenguaje–. El problema es que la categoría<br />de ser un subconjunto es muy poco descriptiva, muy laxa, y terminamos<br />en una lógica no absoluta. Pero, bien mirado, la propia semántica estándar<br />puede ser considerada como una especie de error.<br />concluimos que la incompletud<br />de la lógica de segundo orden con semántica estándar nada tiene que ver<br />con la naturaleza del razonamiento de segundo orden, sino con el modo en<br />el que ha sido construido el “modelo” de razonamiento de segundo orden<br />en esta semántica. Sin advertirlo, hemos ligado la metateoría de conjuntos<br />ZFC a la semántica de segundo orden, que es nuestro lenguaje en estudio.<br />Los efectos secundarios que se han producido en consecuencia no están<br />relacionados con la naturaleza del fenómeno sino con el modo de construir<br />el modelo.<br />Este tipo de consideraciones nos llevan a la necesidad de dar versiones<br />absolutas de las lógicas que no lo sean. El pionero fue Henkin, que en<br />1949 dio una versión semejante para la lógica superior. Y es así como<br />los resultados se invierten para obtener finalmente uno feliz: Podemos<br />hacer que SOL sea una lógica completa modificando la semántica.Claudio M. Confortihttps://www.blogger.com/profile/08996261398587425763noreply@blogger.comtag:blogger.com,1999:blog-1154766078516240719.post-26975438032472818502009-04-30T12:26:00.000-03:002009-04-30T12:26:00.000-03:00Excelente reflexión de concepción Martínez Vidal q...Excelente reflexión de concepción Martínez Vidal que quise compartir...Claudio M. Confortihttps://www.blogger.com/profile/08996261398587425763noreply@blogger.com