{"id":109272,"date":"2018-03-11T10:34:35","date_gmt":"2018-03-11T10:34:35","guid":{"rendered":"https:\/\/www.deberes.net\/tesis\/sin-categoria\/tablas-semanticas-para-logica-epistemica\/"},"modified":"2018-03-11T10:34:35","modified_gmt":"2018-03-11T10:34:35","slug":"tablas-semanticas-para-logica-epistemica","status":"publish","type":"post","link":"https:\/\/www.deberes.net\/tesis\/filosofia\/tablas-semanticas-para-logica-epistemica\/","title":{"rendered":"Tablas sem\u00e1nticas para l\u00f3gica epist\u00e9mica"},"content":{"rendered":"

Tesis doctoral de Emilio Francisco G\u00f3mez-caminero Parejo <\/strong><\/h2>\n

El t\u00e9rmino l\u00f3gica epist\u00e9mica puede ser entendido en dos sentidos. En el sentido m\u00e1s amplio, incluye el an\u00e1lisis tanto del concepto de conocimiento como del m\u00e1s d\u00e9bil concepto de creencia. Esta es la forma en que se usa en el t\u00edtulo de este … El objeto principal de este trabajo es, como su t\u00edtulo indica, presentar un m\u00e9todo de tablas sem\u00e1nticas para distintos sistemas de l\u00f3gica epist\u00e9mica. Con todo, no pod\u00eda ser de otra manera, no nos hemos limitado exclusivamente al m\u00e9todo de tablas: es imposible hacerlo sin discutir previamente los supuestos te\u00f3ricos en que se basa. De todos los sistemas que analizamos hacemos tanto una presentaci\u00f3n sem\u00e1ntica como axiom\u00e1tica; y demostramos la correcci\u00f3n y completud de los correspondientes sistemas. Una excepci\u00f3n a esto \u00faltimo lo constituye cap\u00edtulo dedicado a l\u00f3gica epist\u00e9mica temporal. En este caso, el n\u00famero de sistemas posibles es tan elevado, y tan grande la complejidad de tratar con ellos, que hemos optado por presentar brevemente los resultados conocidos sobre el tema y elaborar el m\u00e9todo de tablas s\u00f3lo para aquellos sistemas que parec\u00edan ofrecer m\u00e1s inter\u00e9s, los llamados sistemas sincr\u00f3nicos.El plan general de este trabajo es el siguiente:el cap\u00edtulo segundo, el primero es esta introducci\u00f3n, es el pilar sobre el que se construyen, por as\u00ed decirlo, todos los dem\u00e1s; hasta el punto de que muchas de las demostraciones que se ofrecen en el resto de los cap\u00edtulos se presentan como una continuaci\u00f3n de las de \u00e9ste; a\u00f1adiendo la parte de la prueba que afecta a los operadores a\u00f1adidos. En este segundo cap\u00edtulo se estudia la l\u00f3gica epist\u00e9mica proposicional, en el sentido restringido del t\u00e9rmino epist\u00e9mico, y se presenta un m\u00e9todo de tablas sem\u00e1nticas del que se demuestra que es correcto y completo.El cap\u00edtulo tercero, con mucho el m\u00e1s breve de esta investigaci\u00f3n, est\u00e1 dedicado a la l\u00f3gica dox\u00e1stica proposicional. La raz\u00f3n de su brevedad radica principalmente en que la semejanza con la l\u00f3gica epist\u00e9mica hace que las demostraciones metate\u00f3ricas de inter\u00e9s sean, en la mayor parte de los casos, virtualmente id\u00e9nticas a las pruebas correspondientes para l\u00f3gica epist\u00e9mica, por lo que no nos parec\u00eda necesario repetirlas. Tan es as\u00ed, que este cap\u00edtulo bien podr\u00eda haber quedado comprendido en el anterior, sin menoscabo de su contenido. No obstante lo cual, la decisi\u00f3n metodol\u00f3gica de tratar separadamente el concepto de conocimiento y el de creencia nos impuls\u00f3 a mantener esta separaci\u00f3n. A partir de este momento, el concepto de creencia se estudiar\u00e1 como un subapartado del cap\u00edtulo correspondiente.En este cap\u00edtulo se estudian tambi\u00e9n, aunque s\u00f3lo someramente, las combinaciones de l\u00f3gica epist\u00e9mica y dox\u00e1stica, y se presentan m\u00e9todos de tablas para estos sistemas mixtos.Al contrario del anterior, el cap\u00edtulo cuarto es, con mucha diferencia, el m\u00e1s largo de los que componen este volumen. Si respecto al cap\u00edtulo tercero dec\u00edamos que bien podr\u00eda haber quedado incluido en el anterior; en este caso, no hubiera parecido extra\u00f1a la decisi\u00f3n de dividirlo en dos cap\u00edtulos. De nuevo fue la unidad conceptual el criterio que nos llev\u00f3 a mantenerlos unidos.Esta cuarta parte est\u00e1 dedicada a la l\u00f3gica epist\u00e9mica de primer orden. En un primer momento, se discuten algunas cuestiones generales, como la distinci\u00f3n de dicto-de re, y se adoptan algunas decisiones metodol\u00f3gicas; de las cuales la m\u00e1s relevante es la de considerar las constantes individuales como designadores r\u00edgidos. Pasadas estas primeras secciones, el resto del cap\u00edtulo podr\u00eda considerarse dividido en dos partes; la primera de ellas dedicada a la l\u00f3gica epist\u00e9mica de primer orden con dominio constante, y la segunda a la l\u00f3gica de dominios variables; que constituye una variedad de l\u00f3gica libre. Tanto para el caso de los dominios constantes como para el de los dominios variables se presentan m\u00e9todos de tablas sem\u00e1nticas, que resultan ser correctos y completos.El cap\u00edtulo quinto est\u00e1 dedicado a la l\u00f3gica epist\u00e9mica proposicional extendida con operadores de conocimiento de grupo; esto es, con los operadores e, c y d y sus duales (extendido tambi\u00e9n al concepto de creencia colectiva). Tambi\u00e9n en este caso se presenta un m\u00e9todo de tablas sem\u00e1nticas, esta vez inspirados en el procedimiento que conocemos como db-tableaux, formulado para la l\u00f3gica de primer orden por boolos y d\u00edaz est\u00e9vez 1. Tal procedimiento es s\u00f3lo semidecidible2, pero resulta ser correcto y completo.Por \u00faltimo, el cap\u00edtulo sexto est\u00e1 dedicado a un problema de enorme inter\u00e9s pero, a su vez, enormemente complejo: la modificaci\u00f3n del conocimiento a lo largo del tiempo. En este cap\u00edtulo, como ya se ha indicado, no se presentan las pruebas de correcci\u00f3n y completud para los sistemas axiom\u00e1ticos posibles, que resultan ser un n\u00famero elevado y de una gran complejidad. En su lugar, se estudia la forma en que pueden interactuar los operadores epist\u00e9micos y temporales, que se corresponde con ciertas propiedades de los sistemas, y se presenta un m\u00e9todo de tablas para aquellos sistemas cuyas propiedades parecen m\u00e1s interesantes. Este m\u00e9todo de tablas, que como el anterior es s\u00f3lo semidecidible, incorpora adem\u00e1s una caracter\u00edstica nueva: la recursividad.\u00e9ste, decimos, es el plan general de este trabajo.<\/p>\n

 <\/p>\n

Datos acad\u00e9micos de la tesis doctoral \u00abTablas sem\u00e1nticas para l\u00f3gica epist\u00e9mica<\/strong>\u00ab<\/h3>\n
    \n
  • T\u00edtulo de la tesis:<\/strong>\u00a0 Tablas sem\u00e1nticas para l\u00f3gica epist\u00e9mica <\/li>\n
  • Autor:<\/strong>\u00a0 Emilio Francisco G\u00f3mez-caminero Parejo <\/li>\n
  • Universidad:<\/strong>\u00a0 Sevilla<\/li>\n
  • Fecha de lectura de la tesis:<\/strong>\u00a0 17\/06\/2011<\/li>\n<\/ul>\n

     <\/p>\n

    Direcci\u00f3n y tribunal<\/h3>\n
      \n
    • Director de la tesis<\/strong>\n
        \n
      • Angel Nepomuceno Fernandez<\/li>\n<\/ul>\n<\/li>\n
      • Tribunal<\/strong>\n
          \n
        • Presidente del tribunal: pascual Mart\u00ednez freire <\/li>\n
        • hans pieter Van ditmarsch (vocal)<\/li>\n
        • alfredo Burrieza mu\u00f1iz (vocal)<\/li>\n
        • Mar\u00eda Jos\u00e9 Fr\u00e1polli sanz (vocal)<\/li>\n<\/ul>\n<\/li>\n<\/ul>\n

           <\/p>\n","protected":false},"excerpt":{"rendered":"

          Tesis doctoral de Emilio Francisco G\u00f3mez-caminero Parejo El t\u00e9rmino l\u00f3gica epist\u00e9mica puede ser entendido en dos sentidos. En el sentido […]<\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"site-sidebar-layout":"default","site-content-layout":"","ast-site-content-layout":"","site-content-style":"default","site-sidebar-style":"default","ast-global-header-display":"","ast-banner-title-visibility":"","ast-main-header-display":"","ast-hfb-above-header-display":"","ast-hfb-below-header-display":"","ast-hfb-mobile-header-display":"","site-post-title":"","ast-breadcrumbs-content":"","ast-featured-img":"","footer-sml-layout":"","theme-transparent-header-meta":"","adv-header-id-meta":"","stick-header-meta":"","header-above-stick-meta":"","header-main-stick-meta":"","header-below-stick-meta":"","astra-migrate-meta-layouts":"default","ast-page-background-enabled":"default","ast-page-background-meta":{"desktop":{"background-color":"var(--ast-global-color-4)","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-gradient":""},"tablet":{"background-color":"","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-gradient":""},"mobile":{"background-color":"","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-gradient":""}},"ast-content-background-meta":{"desktop":{"background-color":"var(--ast-global-color-5)","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-gradient":""},"tablet":{"background-color":"var(--ast-global-color-5)","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-gradient":""},"mobile":{"background-color":"var(--ast-global-color-5)","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-gradient":""}},"footnotes":""},"categories":[165,10715],"tags":[63387,93494,218661,218662,218663,13458],"class_list":["post-109272","post","type-post","status-publish","format-standard","hentry","category-filosofia","category-sevilla","tag-alfredo-burrieza-muniz","tag-angel-nepomuceno-fernandez","tag-emilio-francisco-gomez-caminero-parejo","tag-hans-pieter-van-ditmarsch","tag-maria-jose-frapolli-sanz","tag-pascual-Martinez-freire"],"_links":{"self":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/109272","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/comments?post=109272"}],"version-history":[{"count":0,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/109272\/revisions"}],"wp:attachment":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/media?parent=109272"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/categories?post=109272"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/tags?post=109272"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}