{"id":335,"date":"2024-03-12T16:25:15","date_gmt":"2024-03-12T15:25:15","guid":{"rendered":"https:\/\/wpd.ugr.es\/~phidelo\/es\/objetivos\/"},"modified":"2024-03-17T16:43:38","modified_gmt":"2024-03-17T15:43:38","slug":"objetivos","status":"publish","type":"page","link":"https:\/\/wpd.ugr.es\/~phidelo\/es\/objetivos\/","title":{"rendered":"Objetivos"},"content":{"rendered":"\n

Nuestro objetivo es traer de vuelta<\/em> la l\u00f3gica a la filosof\u00eda en un sentido amplio, incluyendo la filosof\u00eda del lenguaje y la filosof\u00eda de las matem\u00e1ticas. Nuestra intenci\u00f3n es identificar y analizar una selecci\u00f3n de cuestiones centrales que el desarrollo de la l\u00f3gica y los diversos c\u00e1lculos de l\u00f3gica plantean a la filosof\u00eda. Los conectamos con debates generales en filosof\u00eda, especialmente de sem\u00e1ntica, metaf\u00edsica, epistemolog\u00eda y teor\u00eda de la racionalidad. Estos debates filos\u00f3ficos se desenvuelven en las diferentes ramas de la filosof\u00eda de la ciencia, incluyendo la filosof\u00eda de las matem\u00e1ticas. La filosof\u00eda es la mayor parte del tiempo una actividad de segundo nivel que se hace cargo de las cuestiones conceptuales, te\u00f3ricas y pr\u00e1cticas que surgen de las actividades humanas, incluyendo las cient\u00edficas. Estas cuestiones conciernen al an\u00e1lisis de los conceptos que las ciencias y las actividades racionales ponen en marcha, la identificaci\u00f3n de las hip\u00f3tesis y principios en que
estos descansan, y la epistemolog\u00eda que rodea los debates sobre los conceptos y las verdades b\u00e1sicas. Este proyecto, por tanto, apuesta por reabrir los caminos entre la filosof\u00eda y la l\u00f3gica del siglo XX. Los sistemas l\u00f3gicos y los resultados formales deben ser estudiados en el contexto de los problemas cient\u00edficos, filos\u00f3ficos y sociales para cuya resoluci\u00f3n fueron propuestos. Y all\u00ed, deben ser evaluados por sus \u00e9xitos, permitiendo una comprensi\u00f3n m\u00e1s profunda de las pr\u00e1cticas humanas.<\/p>\n\n\n\n

El objetivo general ser\u00e1 perseguido centr\u00e1ndonos en tres debates espec\u00edficos, cuyo an\u00e1lisis constituye nuestros tres objetivos espec\u00edficos:<\/p>\n\n\n\n

La naturaleza de la logicidad<\/strong><\/h2>\n\n\n\n

Esta cuesti\u00f3n afecta directamente a los tres principales temas que se encuentran en la base de los debates centrales en filosof\u00eda de la l\u00f3gica: (i) qu\u00e9 es una constante l\u00f3gica, (ii) qu\u00e9 es la forma l\u00f3gica, y (iii) c\u00f3mo definir la validez extra-sistem\u00e1tica. Los argumentos v\u00e1lidos formalizados, es decir, argumentos representados en sistemas artificiales l\u00f3gicamente correctos, muestran el terreno en que su validez descansa mediante la localizaci\u00f3n de sus constantes l\u00f3gicas. La distribuci\u00f3n de las constantes l\u00f3gicas en un argumento le otorga su forma l\u00f3gica y, de acuerdo con el punto de vista aceptado en la filosof\u00eda de la l\u00f3gica, es en el nivel de la forma l\u00f3gica en el que los argumentos v\u00e1lidos encuentran su validez. Esta es la conexi\u00f3n entre los tres temas. Para este fin, nos proponemos analizar las razones que los l\u00f3gicos de las diferenes orientaciones (formalista, semanticista, pragmatista) han ofrecido en favor de sus teor\u00edas de logicidad, la definici\u00f3n de las constantes l\u00f3gicas, su comprensi\u00f3n de la forma l\u00f3gica y su an\u00e1lisis de la validez. El objetivo es sacar a la superficie los diferentes supuestos sobre la naturaleza de la l\u00f3gica y determinar si las discrepancias pueden ser explicadas como respuestas alternativas a un \u00fanico problema, o como implicando debates hom\u00f3fonos que esconden tras de s\u00ed distintos enfoques y diferentes concepciones de las relaciones de la l\u00f3gica con la inferencia.<\/p>\n\n\n\n

Los l\u00edmites de los formalismos<\/strong><\/h2>\n\n\n\n

Revisitamos los llamados \u201cteoremas de limitaci\u00f3n\u201d, como el Teorema de incompletitud de G\u00f6del, la respuesta negativa al Problema de la Parada por parte de Turing y Church, el Teorema de Lowemheim-Skolem, incluyendo la paradoja de Skolem, o la independencia de la Hipotesis del Continuo con respecto a ZF. Los analizaremos teniendo en cuenta los resultados m\u00e1s recientes de la segunda mitad del siglo pasado, especificamente aquellos resultados del pragmatismo que muestran como las proposiciones -los contenidos juzgables fregeanos- no pueden ser capturadas por medios puramente sint\u00e1cticos. Usaremos resultados procedentes de la teor\u00eda de la relevancia (Sperber and Wilson) y la pragm\u00e1tica de las condiciones de verdad (Carston, Recanati) y perseguiremos la hip\u00f3tesis de que los portadores de verdad y las propiedades l\u00f3gicas son esencialmente m\u00e1s ricos que lo que puede ser representado en lenguajes formales. Este es un resultado destacado de la filosof\u00eda del lenguaje que deber\u00eda tener un impacto profundo en la forma en que concebimos los resultados formales nucleares de la l\u00f3gica contempor\u00e1nea.<\/p>\n\n\n\n

Racionalidad e Inteligencia Artificial<\/strong><\/h2>\n\n\n\n

\u00bfLlamar\u00edamos \u201cagentes inteligentes\u201d a los algoritmos? \u00bfLidian los algoritmos con informaci\u00f3n en el sentido que interesa a los l\u00f3gicos, es decir, como portador de propiedades l\u00f3gicas? La emergencia de nuevos modelos de simulaci\u00f3n del comportamiento humano inteligente, Deep Learning y Machine Learning, nos obliga a repensar el rol de la l\u00f3gica en los fundamentos y el desarrollo de la IA contempor\u00e1nea. Pero tambi\u00e9n nos ofrece nuevas posibilidades al forzarnos a estudiar, desde un punto de vista formal, la manera en que estos tipos de algoritmos interact\u00faan con sus usuarios, transfiriendo nuestros prejuicios y nuestro conocimiento ingenuo a los propios algoritmos. Sexismo, racismo, xenofobia o simples errores comunes reaparecen continuamente en las respuestas de estos nuevos agentes (ChatGPT, por ejemplo). \u00bfQu\u00e9 tiene que decir la L\u00f3gica sobre esto? \u00bfPodemos ofrecer respuestas que nos ayuden a acabar con tales comportamientos? \u00bfPodemos describir con nuestras herramientas los canales a trav\u00e9s de los cuales estos tipos de agentes alimentan sus bases de conocimiento con nuestra experiencia? \u00bfEs la interacci\u00f3n con estos tipos de entidades un nuevo objetivo para la L\u00f3gica formal en el siglo XXI?<\/p>\n","protected":false},"excerpt":{"rendered":"

Nuestro objetivo es traer de vuelta la l\u00f3gica a la filosof\u00eda en un sentido amplio, incluyendo la filosof\u00eda del lenguaje y la filosof\u00eda de las matem\u00e1ticas. Nuestra intenci\u00f3n es identificar y analizar una selecci\u00f3n de cuestiones centrales que el desarrollo de la l\u00f3gica y los diversos c\u00e1lculos de l\u00f3gica plantean a la filosof\u00eda. Los conectamos […]<\/p>\n","protected":false},"author":2,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"_links":{"self":[{"href":"https:\/\/wpd.ugr.es\/~phidelo\/es\/wp-json\/wp\/v2\/pages\/335"}],"collection":[{"href":"https:\/\/wpd.ugr.es\/~phidelo\/es\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/wpd.ugr.es\/~phidelo\/es\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/wpd.ugr.es\/~phidelo\/es\/wp-json\/wp\/v2\/users\/2"}],"replies":[{"embeddable":true,"href":"https:\/\/wpd.ugr.es\/~phidelo\/es\/wp-json\/wp\/v2\/comments?post=335"}],"version-history":[{"count":1,"href":"https:\/\/wpd.ugr.es\/~phidelo\/es\/wp-json\/wp\/v2\/pages\/335\/revisions"}],"predecessor-version":[{"id":381,"href":"https:\/\/wpd.ugr.es\/~phidelo\/es\/wp-json\/wp\/v2\/pages\/335\/revisions\/381"}],"wp:attachment":[{"href":"https:\/\/wpd.ugr.es\/~phidelo\/es\/wp-json\/wp\/v2\/media?parent=335"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}