323 results on '"Nepomuceno Fernández, Ángel"'
Search Results
2. Set theory and tableaux for teaching propositional logic
- Author
-
Guallart, Nino and Nepomuceno-Fernandez, Angel
- Subjects
Computer Science - Computers and Society ,Computer Science - Logic in Computer Science ,F.4.1 - Abstract
In this work we suggest the use of a set-theoretical interpretation of semantic tableaux for teaching propositional logic. If the student has previous notions of basic set theory, this approach to semantical tableaux can clarify her the way semantic trees operate, linking the syntactical and semantical sides of the process. Also, it may be useful for the introduction of more advanced topics in logic, like modal logic., Comment: Proceedings of the Fourth International Conference on Tools for Teaching Logic (TTL2015), Rennes, France, June 9-12, 2015. Editors: M. Antonia Huertas, Jo\~ao Marcos, Mar\'ia Manzano, Sophie Pinchinat, Fran\c{c}ois Schwarzentruber
- Published
- 2015
3. Forgetting complex propositions
- Author
-
Fernández-Duque, David, Nepomuceno-Fernández, Ángel, Sarrión-Morrillo, Enrique, Soler-Toscano, Fernando, and Velázquez-Quesada, Fernando R.
- Subjects
Computer Science - Logic in Computer Science - Abstract
This paper uses possible-world semantics to model the changes that may occur in an agent's knowledge as she loses information. This builds on previous work in which the agent may forget the truth-value of an atomic proposition, to a more general case where she may forget the truth-value of a propositional formula. The generalization poses some challenges, since in order to forget whether a complex proposition $\pi$ is the case, the agent must also lose information about the propositional atoms that appear in it, and there is no unambiguous way to go about this. We resolve this situation by considering expressions of the form $[\boldsymbol{\ddagger} \pi]\varphi$, which quantify over all possible (but minimal) ways of forgetting whether $\pi$. Propositional atoms are modified non-deterministically, although uniformly, in all possible worlds. We then represent this within action model logic in order to give a sound and complete axiomatization for a logic with knowledge and forgetting. Finally, some variants are discussed, such as when an agent forgets $\pi$ (rather than forgets whether $\pi$) and when the modification of atomic facts is done non-uniformly throughout the model.
- Published
- 2015
4. Abductive Reasoning in Dynamic Epistemic Logic
- Author
-
Nepomuceno-Fernández, Angel, Soler-Toscano, Fernando, Velázquez-Quesada, Fernando R., Magnani, Lorenzo, editor, and Bertolotti, Tommaso, editor
- Published
- 2017
- Full Text
- View/download PDF
5. Public and Secret Forgetting of Propositional Formulas
- Author
-
Nepomuceno-Fernández, Ángel, Sarrión-Morrillo, Enrique, Soler-Toscano, Fernando, Velázquez-Quesada, Fernando R., Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Puerta, José M., editor, Gámez, José A., editor, Dorronsoro, Bernabe, editor, Barrenechea, Edurne, editor, Troncoso, Alicia, editor, Baruque, Bruno, editor, and Galar, Mikel, editor
- Published
- 2015
- Full Text
- View/download PDF
6. Information-Theoretic Perspective for Teaching Logic
- Author
-
Nepomuceno-Fernández, Ángel, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Goebel, Randy, editor, Siekmann, Jörg, editor, Wahlster, Wolfgang, editor, Blackburn, Patrick, editor, van Ditmarsch, Hans, editor, Manzano, María, editor, and Soler-Toscano, Fernando, editor
- Published
- 2011
- Full Text
- View/download PDF
7. The Fundamental Problem of Contemporary Epistemology
- Author
-
Nepomuceno-Fernández, Ángel, Soler-Toscano, Fernando, and Velázquez-Quesada, Fernando R.
- Published
- 2014
8. tarfa: Tableaux and Resolution for Finite Abduction
- Author
-
Soler-Toscano, Fernando, Nepomuceno-Fernández, Ángel, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Dough, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Carbonell, Jaime G., editor, Siekmann, Jörg, editor, Fisher, Michael, editor, van der Hoek, Wiebe, editor, Konev, Boris, editor, and Lisitsa, Alexei, editor
- Published
- 2006
- Full Text
- View/download PDF
9. Scientific Explanation and Modified Semantic Tableaux
- Author
-
Nepomuceno-Fernández, Angel, Gabbay, Dov M., editor, Barwise, Jon, editor, Magnani, Lorenzo, editor, Nersessian, Nancy J., editor, and Pizzi, Claudio, editor
- Published
- 2002
- Full Text
- View/download PDF
10. Metamodeling abduction
- Author
-
Nepomuceno-Fernández, Ángel and Soler-Toscano, Fernando
- Published
- 2007
11. Public and Secret Forgetting of Propositional Formulas
- Author
-
Nepomuceno-Fernández, Ángel, primary, Sarrión-Morrillo, Enrique, additional, Soler-Toscano, Fernando, additional, and Velázquez-Quesada, Fernando R., additional
- Published
- 2015
- Full Text
- View/download PDF
12. Estudio lógico clásico y no clásico del razonamiento explicativo
- Author
-
Nepomuceno Fernández, Ángel, Universidad de Sevilla. Departamento de Filosofía y Lógica y Filosofía de la Ciencia, López Vázquez, Ana Alicia, Nepomuceno Fernández, Ángel, Universidad de Sevilla. Departamento de Filosofía y Lógica y Filosofía de la Ciencia, and López Vázquez, Ana Alicia
- Abstract
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
- Published
- 2021
13. Sistematizacion del descubrimiento y la explicacion: la elaboracion de una logica abductiva
- Author
-
Nepomuceno Fernández, Ángel
- Published
- 2009
14. Enfermedad mental. Problemas filosóficos.
- Author
-
Barés Gómez, Cristina, Nepomuceno Fernández, Ángel, Universidad de Sevilla. Departamento de Filosofía y Lógica y Filosofía de la Ciencia, Caballero Santos, Carlota Emilia, Barés Gómez, Cristina, Nepomuceno Fernández, Ángel, Universidad de Sevilla. Departamento de Filosofía y Lógica y Filosofía de la Ciencia, and Caballero Santos, Carlota Emilia
- Abstract
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.
- Published
- 2020
15. Information-Theoretic Perspective for Teaching Logic
- Author
-
Nepomuceno-Fernández, Ángel, primary
- Published
- 2011
- Full Text
- View/download PDF
16. tarfa: Tableaux and Resolution for Finite Abduction
- Author
-
Soler-Toscano, Fernando, primary and Nepomuceno-Fernández, Ángel, additional
- Published
- 2006
- Full Text
- View/download PDF
17. Giro dinámico y lógica de la investigación científica
- Author
-
Nepomuceno Fernández, Ángel
- Subjects
dialogical logic ,lógica dialógica ,abducción ,LED ,DEL ,universal grammar ,abduction ,anomaly ,Logical games ,gramática universal ,novelty ,novedad ,anomalía ,juegos lógicos ,pirahã - Abstract
Resumen 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. Abstract 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.
- Published
- 2019
18. Giro dinámico y lógica de la investigación científica
- Author
-
Nepomuceno Fernández,Ángel
- Subjects
lógica dialógica ,abducción ,LED ,novedad ,anomalía ,juegos lógicos ,gramática universal ,pirahã - Abstract
Resumen 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.
- Published
- 2019
19. Giro dinámico y lógica de la investigación científica
- Author
-
Murillo Corchado, María Victoria, Nepomuceno Fernández, Ángel, Universidad de Sevilla. Departamento de Filosofía y Lógica y Filosofía de la Ciencia, and Universidad de Sevilla. HUM609: Grupo de Lógica, Lenguaje e Información
- Subjects
LED ,DEL ,Lógica dialógica ,Novelty ,Dialogical logic ,Logical games ,Anomalía ,Anomaly ,Juegos lógicos ,Abducción ,Gramática universal ,Abduction ,Universal grammar ,Pirahã ,Novedad - Abstract
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.
- Published
- 2019
20. Giro dinámico y lógica de la investigación científica
- Author
-
Universidad de Sevilla. Departamento de Filosofía y Lógica y Filosofía de la Ciencia, Universidad de Sevilla. HUM609: Grupo de Lógica, Lenguaje e Información, Murillo Corchado, María Victoria, Nepomuceno Fernández, Ángel, Universidad de Sevilla. Departamento de Filosofía y Lógica y Filosofía de la Ciencia, Universidad de Sevilla. HUM609: Grupo de Lógica, Lenguaje e Información, Murillo Corchado, María Victoria, and Nepomuceno Fernández, Ángel
- Abstract
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.
- Published
- 2019
21. Lógica de la investigación científica: el caso de la lingüística
- Author
-
Nepomuceno Fernández, Ángel, Universidad de Sevilla. Departamento de Filosofía y Lógica y Filosofía de la Ciencia, Murillo Corchado, María Victoria, Nepomuceno Fernández, Ángel, Universidad de Sevilla. Departamento de Filosofía y Lógica y Filosofía de la Ciencia, and Murillo Corchado, María Victoria
- Abstract
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.
- Published
- 2019
22. Word Meaning, Logic and the Informative Entailment Relation
- Author
-
Nepomuceno Fernández, Ángel, primary and Salguero Lamillar, Francisco J., additional
- Published
- 1998
- Full Text
- View/download PDF
23. Giro dinámico y lógica de la investigación científica
- Author
-
Murillo-Corchado, María Victoria, primary and Nepomuceno-Fernández, Ángel, additional
- Published
- 2019
- Full Text
- View/download PDF
24. La introducción en España de las Teorías de la Relatividad y de la Física Cuántica. Labor de la Junta para Ampliación de Estudios
- Author
-
Nepomuceno Fernández, Ángel, Universidad de Sevilla. Departamento de Filosofía y Lógica y Filosofía de la Ciencia, Agudelo Herrero, Joaquín, Nepomuceno Fernández, Ángel, Universidad de Sevilla. Departamento de Filosofía y Lógica y Filosofía de la Ciencia, and Agudelo Herrero, Joaquín
- Abstract
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.
- Published
- 2017
25. Negotiating with logical-linguistic protocols in a dialogical framework.
- Author
-
Nepomuceno Fernández, Ángel, Universidad de Sevilla. Departamento de Filosofía y Lógica y Filosofía de la Ciencia, Martínez-Cazalla, Maria Dolors, Nepomuceno Fernández, Ángel, Universidad de Sevilla. Departamento de Filosofía y Lógica y Filosofía de la Ciencia, and Martínez-Cazalla, Maria Dolors
- Abstract
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
- Published
- 2017
26. Hacia una concepción generalizada de la abducción, su modelización en lógicas no clásicas y su implementación en herramientas informáticas
- Author
-
Nepomuceno Fernández, Ángel, Soler Toscano, Fernando, Universidad de Sevilla. Departamento de Ciencias de la Computación e Inteligencia Artificial, Universidad de Sevilla. HUM609: Grupo de Logica, Lenguaje e Informacion, Sarrión Morillo, Enrique, Nepomuceno Fernández, Ángel, Soler Toscano, Fernando, Universidad de Sevilla. Departamento de Ciencias de la Computación e Inteligencia Artificial, Universidad de Sevilla. HUM609: Grupo de Logica, Lenguaje e Informacion, and Sarrión Morillo, Enrique
- Abstract
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
- Published
- 2016
27. On the computational meaning of axioms
- Author
-
Redmond, Juan, Pombo Martins, Olga, Nepomuceno Fernández, Ángel, Naibo, Alberto, Petrolo, Mattia, Seiller, Thomas, Redmond, Juan, Pombo Martins, Olga, Nepomuceno Fernández, Ángel, Naibo, Alberto, Petrolo, Mattia, and Seiller, Thomas
- Published
- 2016
28. Información : tratamiento y representación
- Author
-
Infante Macías, Rafael, Nepomuceno Fernández, Ángel, Salguero Lamillar, Francisco J., Quesada Moreno, José Francisco, Alarcón Cabrera, Carlos, Díaz Estévez, Emilio, Amores Carredano, José Gabriel De, Yanguas Álvarez de Toledo, Ángel, Hernández Martín, María Carmen, Gutiérrez Pozo, Gabriel, Marín Rodríguez, Antonio, Escudero González, Miguel, Pérez Jiménez, Mario de Jesús, Nepomuceno Fernández, Ángel (Coordinador), Quesada Moreno, José Francisco (Coordinador), Salguero Lamillar, Francisco J. (Coordinador), Nepomuceno Fernández, Ángel, Quesada Moreno, José Francisco, Salguero Lamillar, Francisco J., Universidad de Sevilla. Departamento de Estadística e Investigación Operativa, Universidad de Sevilla. Departamento de Filosofía y Lógica y Filosofía de la Ciencia, Universidad de Sevilla. Departamento de Lengua Española, Lingüística y Teoría de la Literatura, Universidad de Sevilla. Departamento de Ciencias de la Computación e Inteligencia Artificial, Universidad de Sevilla. Departamento de Filología Inglesa (Lengua Inglesa), Universidad de Sevilla. Departamento de Genética, Universidad de Sevilla. Departamento de Fisiología, Universidad de Sevilla. HUM609: Grupo de Lógica, Lenguaje e Información, and Ministerio de Ciencia y Tecnología (MCYT). España
- Subjects
Teoría de la información ,Lingüística ,Lógica - Abstract
Ministerio de Ciencia y Tecnología PGC2000-2260-E
- Published
- 2001
29. Teoría de la argumentación : Información y lógica
- Author
-
Nepomuceno Fernández, Ángel, Nepomuceno Fernández, Ángel (Coordinador), Quesada Moreno, José Francisco (Coordinador), Salguero Lamillar, Francisco J. (Coordinador), Nepomuceno Fernández, Ángel, Quesada Moreno, José Francisco, Salguero Lamillar, Francisco J., and Universidad de Sevilla. Departamento de Filosofía y Lógica y Filosofía de la Ciencia
- Subjects
Teoría de la argumentación - Published
- 2001
30. Analogía y semejanza en la representación e identificación de los conceptos teóricos como conceptos complejos
- Author
-
Salguero Lamillar, Francisco J., Pombo, Olga (Coordinador), Nepomuceno Fernández, Ángel (Coordinador), Pombo, Olga, Nepomuceno Fernández, Ángel, and Universidad de Sevilla. Departamento de Lengua Española, Lingüística y Teoría de la Literatura
- Published
- 2009
31. El empirismo sin dogmas: hacia una nueva epistemología
- Author
-
Salguero Lamillar, Francisco J., Nepomuceno Fernández, Ángel (Coordinador), Salguero Lamillar, Francisco J. (Coordinador), Soler Toscano, Fernando (Coordinador), Nepomuceno Fernández, Ángel, Salguero Lamillar, Francisco J., Soler Toscano, Fernando, and Universidad de Sevilla. Departamento de Lengua Española, Lingüística y Teoría de la Literatura
- Published
- 2007
32. El lenguaje y la representación del conocimiento en el marco de la ciencia cognitiva
- Author
-
Salguero Lamillar, Francisco J., Nepomuceno Fernández, Ángel (Coordinador), Salguero Lamillar, Francisco J. (Coordinador), Soler Toscano, Fernando (Coordinador), Nepomuceno Fernández, Ángel, Salguero Lamillar, Francisco J., Soler Toscano, Fernando, and Universidad de Sevilla. Departamento de Lengua Española, Lingüística y Teoría de la Literatura
- Published
- 2005
33. Sobre constructivismo y lógica epistémica dinámica
- Author
-
Díez Calzada, José A., García-Carpintero Sánchez-Miguel, Manuel, Martínez Fernández, José, Oms Sardans, Sergi, Universidad de Sevilla. Departamento de Filosofía y Lógica y Filosofía de la Ciencia, Universidad de Sevilla. HUM609: Grupo de Lógica, Lenguaje e Información, Universidad de Sevilla, Guallart Forés, Nino, Nepomuceno Fernández, Ángel, Díez Calzada, José A., García-Carpintero Sánchez-Miguel, Manuel, Martínez Fernández, José, Oms Sardans, Sergi, Universidad de Sevilla. Departamento de Filosofía y Lógica y Filosofía de la Ciencia, Universidad de Sevilla. HUM609: Grupo de Lógica, Lenguaje e Información, Universidad de Sevilla, Guallart Forés, Nino, and Nepomuceno Fernández, Ángel
- Published
- 2015
34. Dynamic consequence and public announcement
- Author
-
Cordón Franco, Andrés, Ditmarsch, Hans P. van, Nepomuceno Fernández, Ángel, Universidad de Sevilla. Departamento de Ciencias de la Computación e Inteligencia Artificial, Universidad de Sevilla. Departamento de Filosofía y Lógica y Filosofía de la Ciencia, Junta de Andalucía, and European Research Council (ERC)
- Abstract
Junta de Andalucía P08-HUM- 04159 European Research Council EPS 313360.
- Published
- 2013
35. Teoría general de los signos y del significado
- Author
-
Salguero Lamillar, Francisco J., Nepomuceno Fernández, Ángel (Coordinador), Quesada Moreno, José Francisco (Coordinador), Salguero Lamillar, Francisco J. (Coordinador), Nepomuceno Fernández, Ángel, Quesada Moreno, José Francisco, Salguero Lamillar, Francisco J., and Universidad de Sevilla. Departamento de Lengua Española, Lingüística y Teoría de la Literatura
- Published
- 2001
36. Semántica dinámica y la Teoría de la Representación del Discurso
- Author
-
Salguero Lamillar, Francisco J., Nepomuceno Fernández, Ángel (Coordinador), Quesada Moreno, José Francisco (Coordinador), Salguero Lamillar, Francisco J. (Coordinador), Nepomuceno Fernández, Ángel, Quesada Moreno, José Francisco, Salguero Lamillar, Francisco J., and Universidad de Sevilla. Departamento de Lengua Española, Lingüística y Teoría de la Literatura
- Published
- 2001
37. Tratamiento multimodal de contextos
- Author
-
Sarrión Morillo, Enrique, Hernández Antón, Ignacio, Nepomuceno Fernández, Ángel, Martínez Vidal, Concha (Coordinador), Falguera López, José Luis (Coordinador), Sagüillo Fernández Vega, José Miguel (Coordinador), Verdejo Aparicio, Víctor M. (Coordinador), Pereira Fariña, Martín (Coordinador), Martínez Vidal, Concha, Falguera López, José Luis, Sagüillo Fernández-Vega, José Miguel, Verdejo Aparicio, Víctor M., Pereira Fariña, Martín, Universidad de Sevilla. Departamento de Filosofía y Lógica y Filosofía de la Ciencia, and Sagüillo Fernández Vega, José Miguel
- Subjects
Finite contexts ,Context logic ,Context models ,Modal operators - Abstract
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.
- Published
- 2012
38. Programas moleculares y sistemas lógico-formales
- Author
-
Nepomuceno Fernández, Ángel, Pérez Jiménez, Mario de Jesús, Universidad de Sevilla. Departamento de Filosofía y Lógica y Filosofía de la Ciencia, Universidad de Sevilla. Departamento de Ciencias de la Computación e Inteligencia Artificial, Universidad de Sevilla.TIC193: Computacion Natural, and Universidad de Sevilla. HUM609: Grupo de Lógica, Lenguaje e Información
- Abstract
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.
- Published
- 2012
39. Forgetting complex propositions
- Author
-
Fernández–Duque, David, primary, Nepomuceno–Fernández, Ángel, additional, Sarrión–Morrillo, Enrique, additional, Soler–Toscano, Fernando, additional, and Velázquez–Quesada, Fernando R., additional
- Published
- 2015
- Full Text
- View/download PDF
40. Sistematización del descubrimiento y la explicación: La elaboración de una lógica abductiva: [Reseña de Abductive reasoning: Logical investigations into discovery and explanation, de Atocha Aliseda]
- Author
-
Nepomuceno Fernández, Ángel and Universidad de Sevilla. Departamento de Filosofía y Lógica y Filosofía de la Ciencia
- Published
- 2009
41. Constructing inferential contexts
- Author
-
Nepomuceno Fernández, Ángel, Soler Toscano, Fernando, and Universidad de Sevilla. Departamento de Filosofía y Lógica y Filosofía de la Ciencia
- Published
- 2008
42. Deducción y generación de modelos de cardinalidad finita
- Author
-
Nepomuceno Fernández, Ángel, Soler Toscano, Fernando, Salguero Lamillar, Francisco J., Universidad de Sevilla. Departamento de Filosofía y Lógica y Filosofía de la Ciencia, and Universidad de Sevilla. Departamento de Lengua Española, Lingüística y Teoría de la Literatura
- Abstract
Presentamos un procedimiento de tablas semánticas distinto de las estándar en el tratamiento dado a las sentencias de la clase δ, proponiendo modificaciones de esta regla que eviten la generación de ramas infinitas. Las nuevas tablas se revelan útiles para el estudio de lenguajes lógico-formales con semántica finitaria, en particular como procedimiento para definir modelos finitos de sentencias satisfacibles. Mostramos también la aplicabilidad de estos resultados al análisis de la ambigüedad y otros fenómenos en la interpretación del discurso.
- Published
- 2006
43. Lógica y análisis del lenguaje natural
- Author
-
Salguero Lamillar, Francisco J., Nepomuceno Fernández, Ángel (Coordinador), Nepomuceno Fernández, Ángel, and Universidad de Sevilla. Departamento de Lengua Española, Lingüística y Teoría de la Literatura
- Published
- 1995
44. Abducción y razonamiento por defecto
- Author
-
Nepomuceno Fernández, Ángel, Soler Toscano, Fernando, and Universidad de Sevilla. Departamento de Filosofía y Lógica y Filosofía de la Ciencia
- Published
- 2004
45. Un cálculo abductivo natural
- Author
-
Nepomuceno Fernández, Ángel and Universidad de Sevilla. Departamento de Filosofía y Lógica y Filosofía de la Ciencia
- Published
- 2004
46. Abducción y tablas semánticas: algunas extensiones
- Author
-
Soler Toscano, Fernando, Nepomuceno Fernández, Ángel, and Universidad de Sevilla. Departamento de Filosofía y Lógica y Filosofía de la Ciencia
- Published
- 2004
47. Dynamic consequence and public announcement
- Author
-
Universidad de Sevilla. Departamento de Ciencias de la Computación e Inteligencia Artificial, Universidad de Sevilla. Departamento de Filosofía y Lógica y Filosofía de la Ciencia, Junta de Andalucía, European Research Council (ERC), Cordón Franco, Andrés, Ditmarsch, Hans P. van, Nepomuceno Fernández, Ángel, Universidad de Sevilla. Departamento de Ciencias de la Computación e Inteligencia Artificial, Universidad de Sevilla. Departamento de Filosofía y Lógica y Filosofía de la Ciencia, Junta de Andalucía, European Research Council (ERC), Cordón Franco, Andrés, Ditmarsch, Hans P. van, and Nepomuceno Fernández, Ángel
- Published
- 2013
48. An epistemic and dynamic approach to abductive reasoning: Abductive problem and abductive solution
- Author
-
Velázquez-Quesada, Fernando R., primary, Soler-Toscano, Fernando, additional, and Nepomuceno-Fernández, Ángel, additional
- Published
- 2013
- Full Text
- View/download PDF
49. Tratamiento multimodal de contextos
- Author
-
Martínez Vidal, Concha, Falguera López, José Luis, Sagüillo Fernández-Vega, José Miguel, Verdejo Aparicio, Víctor M., Pereira Fariña, Martín, Universidad de Sevilla. Departamento de Filosofía y Lógica y Filosofía de la Ciencia, Sarrión Morillo, Enrique, Hernández Antón, Ignacio, Nepomuceno Fernández, Ángel, Martínez Vidal, Concha, Falguera López, José Luis, Sagüillo Fernández-Vega, José Miguel, Verdejo Aparicio, Víctor M., Pereira Fariña, Martín, Universidad de Sevilla. Departamento de Filosofía y Lógica y Filosofía de la Ciencia, Sarrión Morillo, Enrique, Hernández Antón, Ignacio, and Nepomuceno Fernández, Ángel
- Abstract
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.
- Published
- 2012
50. Semántica formal a través de una teoría de la interpretación. Las partículas negativas lāpal en Ugarítico
- Author
-
Nepomuceno Fernández, Ángel, Vita Barra, Juan Pablo, Universidad de Sevilla. Departamento de Filosofía y Lógica y Filosofía de la Ciencia, Barés Gómez, Cristina, Nepomuceno Fernández, Ángel, Vita Barra, Juan Pablo, Universidad de Sevilla. Departamento de Filosofía y Lógica y Filosofía de la Ciencia, and Barés Gómez, Cristina
- Abstract
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
- Published
- 2012
Catalog
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.