Search

El objetivo de este trabajo es llevar a cabo un estudio del razonamiento explicativo, tanto en el marco de las lógicas clásicas, proposicional y de predicados, como en el marco de las lógicas no clásicas, más en concreto para lógica modal y lógica epistémica. Con objeto de caracterizar el concepto de abducción, partimos del planteamiento original de Peirce y tenemos en cuenta las cuatro tesis básicas de Hintikka. Se estudian los elementos formales más importantes del razonamiento explicativo, como qué sea un problema abductivo y qué se entiende por solución abductiva.Tratándose de un modo de inferencia, es preciso explorar la relación de consecuencia abductiva. El estudio muestra la limitación de tratar exclusivamente un estudio de la abducción desde la perspectiva de los sistemas de lógica clásica y proponemos nuevos abordajes desde la óptica de las lógicas modales y epistémicas. En este ámbito, para mejor comprender la abducción, cabe manejar la noción de lógica subyacente. Destacamos el estudio del método de las tablas semánticas, tanto el estándar como algún procedimiento ligeramente modificado, así como su aplicación en las tareas de búsqueda de soluciones a problemas abductivos planteados a determinados niveles., The aim of this project is to carry out a study of explanatory reasoning, both in the frameworkof classical logics, propositional and predicate, as well as in the framework of non-classical logics, more specifically for modal and epistemic logic. In order to characterise the notion of abduction, wetake Peirce's original approach as a starting point and take into consideration Hintikka's four basictheses. The most important formal elements of explanatory reasoning are studied, such as what is anabductive problem and what is an abductive solution. Being a mode of inference, it is necessary toexplore the relationship of abductive consequence. The study shows the limitation of dealing exclusively with a study of abduction from the perspective of classical logic systems and proposes new approaches from the perspective of modal and epistemic logics. In this context, in order to better understand abduction, it is important to handle the notion of underlying logic. We emphasize the study of the method of semantic tables, both the standard one and some slightly modified procedures, as well as its application in the search for solutions to abduction problems presented at certain levels

Se expondrá el debate existente entre las visiones objetivistas (naturalistas) y normativistas (constructivistas) en relación a las teorías modernas que versan acerca de los conceptos de salud y enfermedad. En conexión con esto, se mostrarán las ambigüedades inherentes a nociones tales como bienestar, habilidad y discapacidad, así como a la definición de salud y enfermedad mental. Por otro lado, serán descritas las principales perspectivas filosóficas en lo que a la relación entre lo mental y lo corporal -más concretamente, lo cerebral- refiere, cuya importancia para la problemática de la enfermedad mental se hace evidente. Así mismo, serán analizadas las contrariedades presentes en el diagnóstico y las nosologías psiquiátricas, lo que ha desembocado en el surgimiento de una nueva propuesta de diagnóstico (RDoC) dentro de la Psiquiatría biomédica. Finalmente, se examinará cómo la renovación de los presupuestos instaurados por la tradición fenomenológica merleau-pontiana y que toma forma en el desarrollo de las ciencias cognitivas, particularmente en la perspectiva de la cognición encarnada (embodied cognition), está experimentando un importante auge en tiempos recientes, irrumpiendo con gran fuerza en el panorama científico, donde todo apunta a que alcanzará importantes avances en los próximos años. La cognición encarnada se nos presenta así como una perspectiva alternativa harto alentadora tanto para el corpus teórico como para la praxis médica en torno a las enfermedades mentales., It will be exposed the current debate between objectivist accounts (naturalists) and normativist accounts (constructivists) related to modern theories about health and disease. In that connection, it will be shown the inherent ambiguity in some concepts such as well-being, ability and disability, as well as the definition of health and mental illness. Furthermore, it will be outlined the main philosophical perspectives linked to the relationship between the mental and the physical (specifically the cerebral). Here, it is evident their importance for the issue of mental illness. Moreover, it will be analysed the inconsistencies in the diagnosis and the phychiatric nosologies. This has lead to the occurrence of a new diagnosis proposal (RDoC) in the Biomedical Psychiatry. Lastly, it will be studied how the renewal of the premises installed by the Merleau-Ponty phenomenological tradition which takes shape in the development of cognitive sciences, particularly in the embodied cognition, is flourishing nowadays and having a growing impact on Science. It is thought to have substantial progress in coming years. Embodied cognition appears to be an alternative perspective regarding mental illness for both theoretical corpus and medical practice.

Para presentar la incidencia del giro dinámico en la lógica de la investigación científica, en este artículo comenzamos con una sección que trata de los juegos lógicos como desencadenantes de este giro dinámico en la lógica contemporánea, junto con el programa de dinámica lógica de la información y la interacción. Sucintamente presentamos las principales características de la lógica favorable a la independencia y la semántica juego-teórica (IF-logic y GTS, respectivamente, en Hintikka y Sandu 1997), de la lógica dialógica (Redmond y Fontaine 2011), así como los elementos esenciales de dicho programa. Si bien a partir de cualquiera de estos puntos de vista se cuenta con un elenco de herramientas lógicas para abordar cuestiones más claramente epistemológicas, destacamos el papel de la lógica epistémica dinámica (LED), a la que dedicamos la siguiente sección. Sigue otra en la que entramos en los estudios lógicos de la abducción como uno de los problemas fundamentales de la epistemología contemporánea y, en una nueva sección, en términos de los constructos teóricos de las secciones precedentes, presentamos y explicamos un fenómeno surgido en el campo de la lingüística, el caso del descubrimiento de la lengua amazónica pirahã, que debería ser considerado una anomalía en el marco de la teoría chomskiana, In order to present the incidence of the dynamic turn in the logic of scientific research, we begin with a section, in this article, that deals with logical games as triggers of this dynamic turn in contemporary logic, together with the program of logical dynamics of information and interaction. We briefly introduce the main characteristics of the logic favorable to independence and the game-theoretical semantics (IF-logic and GTS, respectively, in Hintikka and Sandu 1997), of dialogical logic (Redmond and Fontaine 2011), as well as the essential elements of this program. Although from any of these points of view we have a list of logical tools to deal with more clearly epistemological issues, we highlight the role of dynamic epistemic logic (DEL), to which we dedicate the following section. There follows another one in which we enter the logical studies of abduction as one of the fundamental problems of contemporary epistemology and, in a new section, in terms of the theoretical constructs of the preceding sections, we present and explain a phenomenon that emerged in the field of linguistics, the case of the discovery of the Amazonian language pirahã, which should be considered an anomaly within the framework of the Chomskian theory.

En este estudio vamos a definir un marco teórico actualizado para la abducción, distinguiendo dentro de esta sus diferentes tipos. Una vez definido el marco teórico, describiremos, en términos abductivos un proceso abierto de investigación dentro de la lingüística. El caso de la lingüística, por tanto, es el debate acerca de si el trabajo acerca de la gramática de la tribu amazónica de los pirahã, expuesto por Daniel Everett, es una anomalía o una novedad respecto de la teoría de la gramática universal de Noam Chomsky., In this study, we will define an updated theoretical framework for abduction, distinguishing among its different types. Once the theoretical framework is defined, we will describe, in abductive terms, an open research process within linguistics. The case of linguistics, therefore, is the debate about whether the work on the grammar of the Amazonian tribe of the pirahã, exposed by Daniel Everett, is an anomaly or a novelty regarding Noam Chomsky’s theory of universal grammar.

En el presente trabajo vamos a estudiar la introducción en España de las ideas de la Física Moderna, a través de los trabajos que elaboraron los estudiantes y profesores que fueron becados por la Junta para la Ampliación de Estudios. De esta manera, desde esta corporación, nacida en el seno de la Institución Libre de Enseñanza, se pretendió poner remedio al aislamiento cultural que padecía España, aislándolo de los movimientos culturales que se estaban desarrollando en Occidente. Los resultados obtenidos fueron muy importantes y se logró potenciar el estudio de la Física Moderna y de otras materias, desde las instituciones oficiales.

EN EL SIGUIENTE ENLACE (https://idus.us.es/handle/11441/94042) ENCONTRARÁ DISPONIBLE EL MANUSCRITO DEL LIBRO CUYO CONTENIDO CONSTITUYE LA VERSIÓN MEJORADA DE ESTA TESIS. Even when, “nothing is new under the sun” (Eccl. 1, 9) “There may be other knowledges to acquire, other questions to consider, starting, not from that what others have known, but from what they have ignored” (MOSCOVICI) by choice or by chance, that is not relevant, the question is thinking about something un-thought at the moment. That is the hazardous passion developed here and you are invited to share it. NEGOTIATING with LOGICAL-LINGUISTIC PROTOCOLS in a DIALOGICAL FRAMEWORK is the result of years of reflection. Some time ago, working in commodities we could feel how difficult it was to decide the order of the arguments used during the negotiation process. As in a Bridge game, we translated the arguments according to the rules of Bridge and saw how it worked to deal with them as in a Bridge hand, playing them and seeing what would happen. The results were impressive. We were thrilled about the potential for improvement on the negotiation process. We decided to investigate deeper on the possibility to undertake negotiations applying Bridge rules to organize the order of arguments. This was the subject of a previous paper (2011): The BRIDGE. A bridge TOWARD NEGOTIATIONS . It was the first formal attempt to establish a protocol to know the best order to use the arguments during the negotiation process, by converting them into cards and play a Bridge hand. However, as will be shown later, the study revealed some limitations. This subsequent work is an attempt to reduce these limitations. The new work should be more scientific and precise, so the decision was taken to start a PhD in Logic as the best framework and tool to develop a research on this subject. Following this path, the idea of turning arguments into cards to play a Bridge hand expanded progressively and went one step ahead just exploring

Comenzamos esbozando de modo informal una propuesta muy general del concepto de abducción, señalando cuáles son los caracteres esenciales de este tipo de inferencia y qué otros rasgos que tradicionalmente se le han impuesto deben ser eliminados. A continuación, ya desde una perspectiva puramente lógica, y partiendo de una modelización formal muy próxima a la que hemos considerado como versión canónica de la abducción ordinaria, hemos presentado en un nivel metalingüístico (no vinculado a ningún sistema lógico concreto) diversas propuestas que, además de liberar este concepto de sus dependencias de las lógicas clásicas, lo generalizan de distintas maneras –por ejemplo, contemplando la posibilidad de que el problema abductivo o/y la solución sean todo un conjunto de fórmulas, o también incorporando la posibilidad de que se establezcan condiciones adicionales a las que ya debe cumplir la versi ón inicial (a la que hemos etiquetado como plana)–. A partir de la citada posibilidad que admite nuevas condiciones, y que constituye lo que hemos denominado como abducción ordinaria cualificada, hemos elaborado los conceptos de abducción ordinaria cualificada preferencial y abducción ordinaria cualificada preferencial estratégica. Además, en todo este proceso de generalización y diversificación se han incorporado componentes que no se recogen en las formalizaciones que encontramos en la literatura lógica consultada e igualmente se han hecho distinciones novedosas respecto de algunos elementos que sí han sido considerados con anterioridad. Todo ello ha permitido que se pueda expandir considerablemente la tipología de inferencias que aparecen en los estudios sobre esta materia. En el caso de la abducción sistémica también hemos acometido esa doble tarea de sacar a la luz ciertas componentes que no habían sido previamente contempladas y de elaborar una versión que, partiendo de la que aquí es considerada como canónica, permita aplicarla en muchas otras situaciones que no reúnen los

We take as starting point the context logic studied in (Grossi, Meyer, and Dignum 2008) and (Aucher et al. 2009), which was concerned with the development of a dynamic logic of rules. Here we focus on issues of Formal Epistemology and omit the addition of deontic operators.We define some basic logics that are useful for the study of epistemic actions such as expanding, contracting or revising a theory taking into account different kinds of inferential results.

El tema fundamental de esta tesis doctoral es el análisis y la propuesta de una semántica formal para las partículas ugaríticas negativas . La semántica formal clarifica la semántica de una lengua y usa para ello herramientas lógicas que ayudan a su estructuración. Esta semántica entraría a formar parte de uno de los niveles diferenciados en el Laboratorio de Hermeneumática (LH), el nivel de Semántica Formal situado entre la sintaxis y la literatura. En los proyectos de este laboratorio, esta tesis se ha realizado en torno a los últimos proyectos, no se cuenta con este nivel de semántica formal, ésta es precisamente la aportación metodológica que se propone. Los ámbitos que se abordan para la dotación de tal semántica son la sintaxis, semántica y pragmática de la lengua. En cuanto a los niveles de arqueología, epigrafía y morfología, nos basamos en los estudios anteriores sobre la lengua. No se pretende ofrecer un estudio de morfología ugarítica, pues eso correspondería a los ugaritólogos, al igual que la epigrafía a los epigrafistas; la arquelogía a los arqueólogos; la literatura a los especialistas en análisis literario y la historia a los historiadores. Sin embargo, se utilizan parte de los resultados de estos estudios para la determinación de la semántica, ya que desde mi punto de vista el estudio de la estructura de una lengua y más aún de una lengua antigua, es un trabajo multidisciplinar. La tesis fundamental de este trabajo consiste en la propuesta y la defensa de la negaciónlāpal ugarítica como una negación intensional epistémica que estaría dentro de un paradigma evidencial de la lengua. Esta negación como parte de la evidencialidad lingüística puede formalizarse mediante una lógica dinámica epistémica. Esta tesis tiene tres partes bien diferenciadas: - Antecedentes y proyecto: Laboratorio de Hermeneumática(LH). En esta parte se han analizado los diferentes proyectos llevados a cabo en lo que después se llamó el Laboratorio de Hermeneumática. La finalidad

Presentamos una ejemplificación de la relación entre sistemas formales y programas moleculares de un modelo de computación molecular. Para ello, se asocia un sistema lógico-formal, mediante una lógica pura de segundo orden, a cada programa molecular que resuelve un problema de decisión y se justifica que la verificación form al de dicho programa (respecto del problema en cuestión) equivale a establecer la adecuación, o corrección, y la completitud del sistema formal asociado. En un primer apartado introducimos la lógica de segundo orden, teniendo en cuenta la tradicional distinción entre semántica estándar y semántica de Henkin ; se estudia un sistema lógico- formal de segundo orden cuyo lenguaje no tiene variables individuales ni funcionales, se esboza un cálculo deductivo y se establecen su adecuación y su completitud. Sigue un apartado dedicado a introducir una sencilla explicación de qué son los programas moleculares; se da una formalización de un programa molecular y se asocia a éste un sistema lógico- formal basado en la lógica de segundo orden estudiada. En el último apartado se caracteriza la verificación formal de programas moleculares en términos de las propiedades metateóricas del sistema lógico-formal asociado. Concluimos con unas breves consideraciones finales y una bibliografía básica.

El término lógica epistémica puede ser entendido en dos sentidos. En el sentido más amplio, incluye el análisis tanto del concepto de conocimiento como del más débil concepto de creencia. Esta es la forma en que se usa en el título de este trabajo. En un sentido más restringido, el nombre de lógica epistémica se reserva para el primero de ellos; dejando para el segundo el nombre de lógica doxástica (del griego a: opinión). Cuando no quede claro por el contexto se especificará en cuál de los sentidos se estamos hablando.El objeto principal de este trabajo es, como su título indica, presentar un método de tablas semánticas para distintos sistemas de lógica epistémica. Con todo, no podía ser de otra manera, no nos hemos limitado exclusivamente al método de tablas: es imposible hacerlo sin discutir previamente los supuestos teóricos en que se basa. De todos los sistemas que analizamos hacemos tanto una presentación semántica como axiomática; y demostramos la corrección y completud de los correspondientes sistemas. Una excepción a esto último lo constituye capítulo dedicado a lógica epistémica temporal. En este caso, el número 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étodo de tablas sólo para aquellos sistemas que parecían ofrecer más interés, los llamados sistemas sincrónicos.El plan general de este trabajo es el siguiente:El capítulo segundo, el primero es esta introducción, es el pilar sobre el que se construyen, por así decirlo, todos los demás; hasta el punto de que muchas de las demostraciones que se ofrecen en el resto de los capítulos se presentan como una continuación de las de {

Este artículo presenta un acercamiento a la resolución de problemas abductivos en C-estructuras, estructuras que tienen un universo de discurso finito y cada uno de sus elementos es la interpretación de una constante conocida. Empleando una variante del cálculo de tablas semánticas y resolución dual, construimos un procedimiento efectivo para encontrar soluciones abductivas minimales dentro de la semántica propuesta.

Abduction can be intended as a special kind of deductive consequence. In fact a general trend is to consider it as a backward deduction with some additional conditions. However, there can be more than one kind of deduction, so that any definition of abduction must take that into account. From a logical perspective the problem is precisely the formalization of conditions when the deductive consequence is fixed. In this paper, we adopt Makinson’s method to define new consequence relations, hence abduction is defined as a reverse relation corresponding to each one of such relations.

La abducción es el tipo de razonamiento en que, dada una teoría T (habitualmente un conjunto de fórmulas del lenguaje con el que se trabaje) y una observación O (generalmente una fórmula), tales que ni O ni su negación son consecuencia lógica de T, se trata de buscar una explicación E (una fórmula) tal que O sea consecuencia lóg ica de la unión de T y E. El razonamiento abductivo, que no puede ser reducido a deducción, plantea interesantes problemas que van más allá de los aspectos lógicos, como la distinción entre las concepciones de "abducción como producto" y "abducción como proceso" o los diferentes estadios de "generación" y "selección" de las hipótesis explicativas. El razonamiento abductivo encuentra aplicaciones en numerosas disciplinas, desde la Inteligencia Artificial a la Lingüística, pasando por las Ciencias Cognitivas o la Filosofía de la Ciencia.