Author
Atocha Aliseda
Other affiliations: University of the Basque Country
Bio: Atocha Aliseda is an academic researcher from National Autonomous University of Mexico. The author has contributed to research in topics: Abductive reasoning & Philosophy of science. The author has an hindex of 10, co-authored 26 publications receiving 484 citations. Previous affiliations of Atocha Aliseda include University of the Basque Country.
Papers
More filters
Book•
01 Jan 2006
TL;DR: The author explains how Abduction as Epistemic Change and Semantic Tableaux Revisited changed the way that the authors think about human interaction with the world around us.
Abstract: Foreword. Part I: Conceptual Framework. 1. LOGICS OF GENERATION AND EVALUATION. 1.1 Introduction. 1.2 Heuristics: A Legacy of the Greeks. 1.3 Is there a Logic of Discovery? 1.4 Karl Popper and Herbert Simon. 1.5 Logics for Scientific Methodology. 1.6 Discussion and Conclusions. 2. WHAT IS ABDUCTION? 2.1 Introduction. 2.2 What is Abduction? 2.3 The Founding Father: C.S. Peirce. 2.4 Philosophy of Science. 2.5 Artificial Intelligence. 2.6 Further Fields of Application. 2.7 A Taxonomy for Abduction. Part II: Logical Foundations. 3. ABDUCTION AS LOGICAL INFERENCE. 3.1 Introduction. 3.2 Logic: The Problem of Demarcation. 3.3 Abductive Explanatory Argument: A Logical Inference. 3.4 Abductive Explanatory Inference: Structural Characterization. 3.5 Discussion and Conclusions. 4. ABDUCTION AS COMPUTATION. 4.1 Introduction. 4.2 Semantic Tableaux. 4.3 Abductive Semantic Tableaux. 4.4 Computing Abductions with Tableaux. 4.5 Further Logical and Computational Issues. 4.6 Discussion and Conclusions. Part III: Applications. 5. SCIENTIFIC EXPLANATION. 5.1 Introduction. 5.2 Scientific Explanation as Abduction. 5.3 Discussion and Conclusions. 6. EMPIRICAL PROGRESS. 6.1 Introduction. 6.2 Kuipers' Empirical Progress. 6.3 Empirical Progress in (Abductive) Semantic Tableaux. 6.4 Discussion and Conclusions. 7. ABDUCTION AND PRAGMATISM IN PEIRCE. 7.1 Introduction. 7.2 Abduction and Epistemology. 7.3 Abduction and Pragmatism. 7.4 Discussion and Conclusions. 8. EPISTEMIC CHANGE. 8.1 Introduction. 8.2 Abduction as Epistemic Change. 8.3 Semantic Tableaux Revisited. 8.4 Discussion and Conclusions. References. Author Index. Topic Index.
236 citations
TL;DR: In this paper, the authors argue for a place for logic inscientific methodology, at the same level asthat of computational and historical approaches, in which both methods, the formal and thehistorical may be complementary, togetherproviding a pluralistic view of science, inwhich no method is the predominant one.
Abstract: In this paper I argue for a place for logic inscientific methodology, at the same level asthat of computational and historicalapproaches. While it is well known that a awhole generation of philosophers dismissedLogical Positivism (not just for the logicthough), there are at least two reasons toreconsider logical approaches in the philosophyof science. On the one hand, the presentsituation in logical research has gone farbeyond the formal developments that deductivelogic reached last century, and new researchincludes the formalization of several othertypes of reasoning, like induction andabduction. On the other hand, we call for abalanced Philosophy of Science, one inwhich both methods, the formal and thehistorical may be complementary, togetherproviding a pluralistic view of science, inwhich no method is the predominant one.
42 citations
Book•
01 Jan 1998
TL;DR: This chapter discusses machine learning of physics word problems, which involves changing contexts and shifting assertions, and the role of discourse preferences in dynamic logic.
Abstract: Preface 1. Indexicals, contexts, and unarticulated constituents 2. Formalizing context (expanded notes) 3. Changing contexts and shifting assertions 4. Discourse preferences in dynamic logic 5. Polarity, predicates and monotonicity 6. Machine learning of physics word problems.
31 citations
01 Jan 2000
TL;DR: Charles S. Peirce’s abductive formulation has been the point of departure of many recent studies on abductive reasoning in artificial intelligence, such as in logic programming, knowledge acquisition and natural language processing.
Abstract: Charles S. Peirce’s abductive formulation ((Peirce, 1958, 5.189), reproduced on p.7), has been the point of departure of many recent studies on abductive reasoning in artificial intelligence, such as in logic programming (Kakas et al.,1992), knowledge acquisition (Kakas and Mancarella, 1994) and natural language processing (Hobbs et al.,1990).
28 citations
TL;DR: In this article, the choice of a logical framework for abduction is discussed in detail, both its inferential aspect and search strategies, and the psychological question of whether humans reason abduc- tively according to the models proposed is also addressed.
Abstract: The motivation behind the collection of papers presented in this THEORIA forum on Abductive reasoning is my book Abductive Reasoning: Logical Investigations into the Processes of Discovery and Explanation. These contributions raise fundamental questions. One of them concerns the conjectural character of abduction. The choice of a logical framework for abduction is also discussed in detail, both its inferential aspect and search strategies. Abduction is also analyzed as inference to the best explanation, as well as a process of epistemic change, both of which chal- lenge the argument-like format of abduction. Finally, the psychological question of whether humans reason abduc- tively according to the models proposed is also addressed. I offer a brief summary of my book and then comment on and respond to several challenges that were posed to my work by the contributors to this issue.
28 citations
Cited by
More filters
TL;DR: Barwise and Perry as discussed by the authors tackle the slippery subject of ''meaning, '' a subject that has long vexed linguists, language philosophers, and logicians, and they tackle it in this book.
Abstract: In this provocative book, Barwise and Perry tackle the slippery subject of \"meaning, \" a subject that has long vexed linguists, language philosophers, and logicians.
1,834 citations
TL;DR: A set of concepts, together with their possible information-theoretic interpretations, which can be used to facilitate the Complex Systems Science discourse are proposed and it is hoped that the suggested information- theoretic baseline may promote consistent communications among practitioners, and provide new insights into the field.
Abstract: Complex Systems Science aims to understand concepts like complexity, self-organization, emergence and adaptation, among others. The inherent fuzziness in complex systems definitions is complicated by the unclear relation among these central processes: does self-organisation emerge or does it set the preconditions for emergence? Does complexity arise by adaptation or is complexity necessary for adaptation to arise? The inevitable consequence of the current impasse is miscommunication among scientists within and across disciplines. We propose a set of concepts, together with their possible information-theoretic interpretations, which can be used to facilitate the Complex Systems Science discourse. Our hope is that the suggested information-theoretic baseline may promote consistent communications among practitioners, and provide new insights into the field. Published 2008 Wiley Periodicals, Inc. Complexity, 2009
This article was submitted as an invited paper resulting from the “Understanding Complex Systems” conference held at the University of Illinois at Urbana-Champaign, May 2007.
269 citations
Book•
01 Jan 2006
TL;DR: The author explains how Abduction as Epistemic Change and Semantic Tableaux Revisited changed the way that the authors think about human interaction with the world around us.
Abstract: Foreword. Part I: Conceptual Framework. 1. LOGICS OF GENERATION AND EVALUATION. 1.1 Introduction. 1.2 Heuristics: A Legacy of the Greeks. 1.3 Is there a Logic of Discovery? 1.4 Karl Popper and Herbert Simon. 1.5 Logics for Scientific Methodology. 1.6 Discussion and Conclusions. 2. WHAT IS ABDUCTION? 2.1 Introduction. 2.2 What is Abduction? 2.3 The Founding Father: C.S. Peirce. 2.4 Philosophy of Science. 2.5 Artificial Intelligence. 2.6 Further Fields of Application. 2.7 A Taxonomy for Abduction. Part II: Logical Foundations. 3. ABDUCTION AS LOGICAL INFERENCE. 3.1 Introduction. 3.2 Logic: The Problem of Demarcation. 3.3 Abductive Explanatory Argument: A Logical Inference. 3.4 Abductive Explanatory Inference: Structural Characterization. 3.5 Discussion and Conclusions. 4. ABDUCTION AS COMPUTATION. 4.1 Introduction. 4.2 Semantic Tableaux. 4.3 Abductive Semantic Tableaux. 4.4 Computing Abductions with Tableaux. 4.5 Further Logical and Computational Issues. 4.6 Discussion and Conclusions. Part III: Applications. 5. SCIENTIFIC EXPLANATION. 5.1 Introduction. 5.2 Scientific Explanation as Abduction. 5.3 Discussion and Conclusions. 6. EMPIRICAL PROGRESS. 6.1 Introduction. 6.2 Kuipers' Empirical Progress. 6.3 Empirical Progress in (Abductive) Semantic Tableaux. 6.4 Discussion and Conclusions. 7. ABDUCTION AND PRAGMATISM IN PEIRCE. 7.1 Introduction. 7.2 Abduction and Epistemology. 7.3 Abduction and Pragmatism. 7.4 Discussion and Conclusions. 8. EPISTEMIC CHANGE. 8.1 Introduction. 8.2 Abduction as Epistemic Change. 8.3 Semantic Tableaux Revisited. 8.4 Discussion and Conclusions. References. Author Index. Topic Index.
236 citations
TL;DR: The authors show how the order-seeking regime of the modernists and the richness-seeking regimes of the postmodernists draw on different ontological assumptions that can be integrated within a single overarching framework.
Abstract: Competition between modernism and postmodernism has not been fruitful, and management researchers are divided in their preference, thereby undermining the legitimacy of truth claims in the field as a whole. Drawing on Ashby's Law of Requisite Variety, on complexity science, and in particular on power-law-distributed phenomena, we show how the order-seeking regime of the modernists and the richness-seeking regime of the postmodernists draw on different ontological assumptions that can be integrated within a single overarching framework.
185 citations