In this work, we shall study structural abduction and how ways of searching for solutions to the corresponding abductive problems could be modeled. Specifically, we shall define modal semantic tableaux for normal modal systems and study its applications to structural abduction. This method even makes structural abduction clearer and, as it shall be seen, when a radical change of logic is epistemologically required, the corresponding tableau will have pertinent information to suggest it.

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 perspec-tive 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. (shrink)

With this volume of the series Logic, Epistemology, and the Unity of Science edited by S. Rahman et al. a challenging dialogue is being continued. The series’ first volume argued that one way to recover the connections between logic, philosophy of sciences, and sciences is to acknowledge the host of alternative logics which are currently being developed. The present volume focuses on four key themes. First of all, several chapters unpack the connection between knowledge and epistemology with particular focus on (...) the notion of knowledge as resulting from interaction. Secondly, new epistemological perspectives on linguistics, the foundations of mathematics and logic, physics, biology and law are a subject of analysis. Thirdly, several chapters are dedicated to a discussion of Constructive Type Theory and more generally of the proof-theoretical notion of meaning.Finally, the book brings together studies on the epistemic role of abduction and argumentation theory, both linked to non-monotonic approaches to the dynamics of knowledge. (shrink)

The formalization of abductive reasoning has received increasing attention from logicians. However, few work is found beyond abduction in propositional logic, given that in a first order formalism, the undecidability problem naturally appears, and therefore an abductive problem cannot even be appropriately formulated. Still, many applications in artificial intelligence allow finite domains to work with, and this gives an opportunity to apply abduction in first order logic with restricted domains. In this paper, we present an approach to abductive reasoning in (...) C-structures, first order structures with a finite domain in which each of its elements has a corresponding constant representing its interpretation. By using semantic tableaux with bounded depth, that is, C-tableaux (a modification of N-tableaux, introduced by the authors in previous papers) and δ-resolution calculus, we build an effective procedure for the searching of minimal abductive solutions within the proposed semantics. (shrink)

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, of dialogical logic, 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, 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. (shrink)

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, of dialogical logic, 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, 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. (shrink)

This papers presents δ-resolution, a dual resolution calculus. It is based on standard resolution, and used appropriate formulae equivalent to disjunctive normal forms, instead of conjunctive normal ones, as it is the case for resolution. This duality is then useful to create a calculus for abductive process, as a way to construct a set of abductive solutions. The proposed calculus is compared to semantic tableaux, an standard logical framework, aslo illuminating when studying abduction.δ-resolution calculus is a contribution to logic programming, (...) and it further suggests new possibilities to explore abduction at a first order level, in the lines of those proposed in [9]. (shrink)

We present a framework for understanding abduction within modal logic and Kripke semantics; worlds of a Kripke frame will represent possible theories, and a change in theory will be understood as a passage from one world to an adjacent possible world. Further, these steps may agree with the accessibility relation or may ‘backtrack’, accordingly as new information refutes or reinforces our present theory. Our formalism can be used to model not only abduction, but also to talk about the inner structure (...) of theories as well as relations between them, allowing us to interpret many ideas from philosophy of science within the well-understood framework of modal logic. (shrink)

This book discusses how scientific and other types of cognition make use of models, abduction, and explanatory reasoning in order to produce important and innovative changes in theories and concepts. Gathering revised contributions presented at the international conference on Model-Based Reasoning, held on October 24–26 2018 in Seville, Spain, the book is divided into three main parts. The first focuses on models, reasoning, and representation. It highlights key theoretical concepts from an applied perspective, and addresses issues concerning information visualization, experimental (...) methods, and design. The second part goes a step further, examining abduction, problem solving, and reasoning. The respective papers assess different types of reasoning, and discuss various concepts of inference and creativity and their relationship with experimental data. In turn, the third part reports on a number of epistemological and technological issues. By analyzing possible contradictions in modern research and describing representative case studies, this part is intended to foster new discussions and stimulate new ideas. All in all, the book provides researchers and graduate students in the fields of applied philosophy, epistemology, cognitive science, and artificial intelligence alike with an authoritative snapshot of the latest theories and applications of model-based reasoning. (shrink)

info:eu-repo/semantics/publishedVersion.

This book is an invitation to academic administrators, at every level, to engage in reflection on the ethical dimensions of their working lives.

Cooperative, connected and automated mobility technologies have the potential to revolutionize transportation systems and enhance safety, efficiency and sustainability. However, the increasing reliance on digital technologies also introduces new cybersecurity risks that can compromise the safety and privacy of passengers and the integrity of transportation systems. The purpose of this article is to examine the most important threats, vulnerabilities, risks and challenges related to automated mobility and to review the status of the most promising standardization initiatives on cryptography in a (...) world where quantum computers will soon represent an actual threat. (shrink)

Graduates of doctoral programs are expected to be competent at designing and conducting research independently. Given the level of research competence needed to successfully conduct research, it is important that assessors of doctoral programs have a reliable and validated tool for measuring and tracking perceived research competence among their students and graduates. A high level of research competence is expected for all Ph.D. graduates worldwide, in addition to in all disciplines/fields. Moreover, graduates of Ph.D. programs may complete their studies in (...) one country but then obtain a research position in another country, emphasizing the need to ensure that all doctoral programs are fostering similar levels of research competence. Thus, the purpose of this study was to gather additional evidence for validity and reliability of the Research Competence scale. Specifically, we sought to extend the findings of by adapting the scale, translating it to other languages, and applying the tool with a sample of early stage researchers. Our findings provide initial evidence that the adapted PR-Comp is appropriate for use in three languages and across a variety of disciplines/programs of study. (shrink)

Widespread conceptions of practical reasoning confront us with a choice between its practicality and its objectivity: between its efficacious, world-changing character and its accountability to objective rational standards. This choice becomes unnecessary, I argue, on an alternative view embodied by the thesis that the conclusion of practical reasoning is an action. I lay bare and challenge the assumptions underlying the rejection of that thesis and outline a defense of its picture of practical reasoning against common objections. On such a picture, (...) practical reasoning provides a principle not externally imposed upon an action but rather constitutive of it. (shrink)

In this article, we present results from a literature review of intrinsic, instrumental, and relational values of nature conducted for the Intergovernmental Science-Policy Platform on Biodiversity and Ecosystem Services, as part of the Methodological Assessment of the Diverse Values and Valuations of Nature. We identify the most frequently recurring meanings in the heterogeneous use of different value types and their association with worldviews and other key concepts. From frequent uses, we determine a core meaning for each value type, which is (...) sufficiently inclusive to serve as an umbrella over different understandings in the literature and specific enough to help highlight its difference from the other types of values. Finally, we discuss convergences, overlapping areas, and fuzzy boundaries between different value types to facilitate dialogue, reduce misunderstandings, and improve the methods for valuation of nature's contributions to people, including ecosystem services, to inform policy and direct future research. © 2023 The Author(s). Published by Oxford University Press on behalf of the American Institute of Biological Sciences. (shrink)

El presente artículo da cuenta de las actitudes hacia los inmigrantes entre los estudiantes de educación secundaria de edades comprendidas entre 12 y 13 años en Extremadura, España. Los datos proceden de una investigación financiada por el Gobierno Regional de Extremadura y en ellos se muestran ¿mediante análisis de contenido y utilización de citas textuales¿ los componentes estructurales que alimentan las actitudes positivas y/o negativas hacia la inmigración y los inmigrantes por parte de los adolescentes extremeños, en la medida en (...) que son plenamente representativos en cuanto a actitudes y valores del conjunto nacional. El análisis nos permite establecer un modelo actitudinal frente a la inmigración que deberá ser probado en futuras investigaciones. (shrink)

Research investigating female gaming is relatively scarce, and past research has demonstrated that men are more likely to be problematic gamers. Few studies have focused on female gamers in community samples, and those that have been published have mainly collected data qualitatively in Europe. There is case study evidence suggesting clinicians are increasingly treating problem female gamers. The aim of this study is threefold: (i) to establish an international female gamer profile, (ii) to determine predictors associated with perceived internet gaming (...) disorder (IGD), and (iii) to identify those who are potentially at risk of developing gaming addiction and its characteristics by applying a quantitative approach. A cross-sectional online survey was applied through international gaming forums recruiting 625 female gamers, assessing sociodemographics, gaming devices used and play genres, and a set of questionnaires on gaming (e.g., problem online gaming [e.g., the nine-item short-form scale to assess IGD: IGDS9-SF], female stereotypes [e.g., sex role stereotyping scale], and psychological symptoms [e.g., Symptom CheckList-27-plus]). Female gamers from all continents reported the use of all videogames, especially popular online games using computers and consoles. The proportion of gamers with potential IGD was one per cent. Regression analyses identified several risk factors for increased scores on the IGDS9-SF, namely having achievement and social motivations, embodied presence and identification with the avatar, hostility and social phobia together with negative body image, playing Multiplayer Online Battle Arena, Massively Multiplayer Online Role-Playing Games, and First-Person-Shooter games. Findings contribute to filling the gap in knowledge on female gaming, to aid in the applicability of problematic gaming measurements in female gamers, especially those who are at risk of problematic gaming. The purpose of this study is to enhance the validity of the current measures to diagnose problem gaming appropriately in both genders. (shrink)

This paper investigates the status of the fragments of Peano Arithmetic obtained by restricting induction, collection and least number axiom schemes to formulas which are $${\Delta_1}$$ provably in an arithmetic theory T. In particular, we determine the provably total computable functions of this kind of theories. As an application, we obtain a reduction of the problem whether $${I\Delta_0 + \neg \mathit{exp}}$$ implies $${B\Sigma_1}$$ to a purely recursion-theoretic question.