L. Magnani – författare

The volume is based on the papers that were presented at the Interna­ tional Conference Model-Based Reasoning in Scientific Discovery (MBR'98), held at the Collegio Ghislieri, University of Pavia, Pavia, Italy, in December 1998. The papers explore how scientific thinking uses models and explanatory reasoning to produce creative changes in theories and concepts. The study of diagnostic, visual, spatial, analogical, and temporal rea­ soning has demonstrated that there are many ways of performing intelligent and creative reasoning that cannot be described with the help only of tradi­ tional notions of reasoning such as classical logic. Traditional accounts of scientific reasoning have restricted the notion of reasoning primarily to de­ ductive and inductive arguments. Understanding the contribution of model­ ing practices to discovery and conceptual change in science requires ex­ panding scientific reasoning to include complex forms of creative reasoning that are not always successful and can lead to incorrect solutions. The study of these heuristic ways of reasoning is situated at the crossroads of philoso­ phy, artificial intelligence, cognitive psychology, and logic; that is, at the heart of cognitive science. There are several key ingredients common to the various forms of model­ based reasoning to be considered in this book. The models are intended as in­ terpretations of target physical systems, processes, phenomena, or situations. The models are retrieved or constructed on the basis of potentially satisfying salient constraints of the target domain.

This volume explores abduction (inference to explanatory hypotheses), an important but neglected topic in scientific reasoning. My aim is to inte­ grate philosophical, cognitive, and computational issues, while also discuss­ ing some cases of reasoning in science and medicine. The main thesis is that abduction is a significant kind of scientific reasoning, helpful in delineating the first principles of a new theory of science. The status of abduction is very controversial. When dealing with abduc­ tive reasoning misinterpretations and equivocations are common. What are the differences between abduction and induction? What are the differences between abduction and the well-known hypothetico-deductive method? What did Peirce mean when he considered abduction a kind of inference? Does abduction involve only the generation of hypotheses or their evaluation too? Are the criteria for the best explanation in abductive reasoning epis­ temic, or pragmatic, or both? How many kinds of abduction are there? The book aims to increase knowledge about creative and expert infer­ ences. The study of these high-level methods of abductive reasoning is situ­ ated at the crossroads of philosophy, epistemology, artificial intel1igence, cognitive psychology, and logic; that is, at the heart of cognitive science. Philosophers of science in the twentieth century have traditionally distin­ guished between the inferential processes active in the logic of discovery and the ones active in logic of justification.

There are several key ingredients common to the various forms of model-based reasoning considered in this book. The term 'model' comprises both internal and external representations. The models are intended as interpretations of target physical systems, processes, phenomena, or situations and are retrieved or constructed on the basis of potentially satisfying salient constraints of the target domain. The book's contributors are researchers active in the area of creative reasoning in science and technology.

Philosophers have studied geometry since ancient times. Geometrical knowledge has often played the role of a laboratory for the philosopher's conceptual experiments dedicated to the ideation of powerful theories of knowledge. Lorenzo Magnani's new book Philosophy and Geometry illustrates the rich intrigue of this fascinating story of human knowledge, providing a new analysis of the ideas of many scholars (including Plato, Proclus, Kant, and Poincaré), and discussing conventionalist and neopositivist perspectives and the problem of the origins of geometry. The book also ties together the concerns of philosophers of science and cognitive scientists, showing, for example, the connections between geometrical reasoning and cognition as well as the results of recent logical and computational models of geometrical reasoning. All the topics are dealt with using a novel combination of both historical and contemporary perspectives. Philosophy and Geometry is a valuable contribution to the renaissance of research in the field.

The study of diagnostic, visual, spatial, analogical, and temporal reasoning has demonstrated that there are many ways of performing intelligent and creative reasoning that cannot be described with the help only of traditional notions of reasoning such as classical logic. Understanding the contribution of modeling practices to discovery and conceptual change in science requires expanding scientific reasoning to include complex forms of creative reasoning that are not always successful and can lead to incorrect solutions. The study of these heuristic ways of reasoning is situated at the crossroads of philosophy, artificial intelligence, cognitive psychology, and logic; that is, at the heart of cognitive science. There are several key ingredients common to the various forms of model-based reasoning. The term "model" comprises both internal and external representations. The models are intended as interpretations of target physical systems, processes, phenomena, or situations. The models are retrieved or constructed on the basis of potentially satisfying salient constraints of the target domain. Moreover, in the modeling process, various forms of abstraction are used.Evaluation and adaptation take place in light of structural, causal, and/or functional constraints. Model simulation can be used to produce new states and enable evaluation of behaviors and other factors. The various contributions of the book are written by interdisciplinary researchers who are active in the area of creative reasoning in science and technology, and are logically and computationally oriented: the most recent results and achievements about the topics above are illustrated in detail in this book.

Information technology has been, in recent years, under increasing commercial pressure to provide devices and systems which help/ replace the human in his daily activity. This pressure requires the use of logic as the underlying foundational workhorse of the area. New logics were developed as the need arose and new foci and balance has evolved within logic itself. One aspect of these new trends in logic is the rising impor­ tance of model based reasoning. Logics have become more and more tailored to applications and their reasoning has become more and more application dependent. In fact, some years ago, I myself coined the phrase "direct deductive reasoning in application areas", advocating the methodology of model-based reasoning in the strongest possible terms. Certainly my discipline of Labelled Deductive Systems allows to bring "pieces" of the application areas as "labels" into the logic. I therefore heartily welcome this important book to Volume 25 of the Applied Logic Series and see it as an important contribution in our overall coverage of applied logic.

This volume explores abduction (inference to explanatory hypotheses), an important but neglected topic in scientific reasoning. My aim is to inte­ grate philosophical, cognitive, and computational issues, while also discuss­ ing some cases of reasoning in science and medicine. The main thesis is that abduction is a significant kind of scientific reasoning, helpful in delineating the first principles of a new theory of science. The status of abduction is very controversial. When dealing with abduc­ tive reasoning misinterpretations and equivocations are common. What are the differences between abduction and induction? What are the differences between abduction and the well-known hypothetico-deductive method? What did Peirce mean when he considered abduction a kind of inference? Does abduction involve only the generation of hypotheses or their evaluation too? Are the criteria for the best explanation in abductive reasoning epis­ temic, or pragmatic, or both? How many kinds of abduction are there? The book aims to increase knowledge about creative and expert infer­ ences. The study of these high-level methods of abductive reasoning is situ­ ated at the crossroads of philosophy, epistemology, artificial intel1igence, cognitive psychology, and logic; that is, at the heart of cognitive science. Philosophers of science in the twentieth century have traditionally distin­ guished between the inferential processes active in the logic of discovery and the ones active in logic of justification.

This volume explores abduction (inference to explanatory hypotheses), an important but neglected topic in scientific reasoning. My aim is to inte­ grate philosophical, cognitive, and computational issues, while also discuss­ ing some cases of reasoning in science and medicine. The main thesis is that abduction is a significant kind of scientific reasoning, helpful in delineating the first principles of a new theory of science. The status of abduction is very controversial. When dealing with abduc­ tive reasoning misinterpretations and equivocations are common. What are the differences between abduction and induction? What are the differences between abduction and the well-known hypothetico-deductive method? What did Peirce mean when he considered abduction a kind of inference? Does abduction involve only the generation of hypotheses or their evaluation too? Are the criteria for the best explanation in abductive reasoning epis­ temic, or pragmatic, or both? How many kinds of abduction are there? The book aims to increase knowledge about creative and expert infer­ ences. The study of these high-level methods of abductive reasoning is situ­ ated at the crossroads of philosophy, epistemology, artificial intel1igence, cognitive psychology, and logic; that is, at the heart of cognitive science. Philosophers of science in the twentieth century have traditionally distin­ guished between the inferential processes active in the logic of discovery and the ones active in logic of justification.

There are several key ingredients common to the various forms of model-based reasoning considered in this book. The term 'model' comprises both internal and external representations. The models are intended as interpretations of target physical systems, processes, phenomena, or situations and are retrieved or constructed on the basis of potentially satisfying salient constraints of the target domain. The book's contributors are researchers active in the area of creative reasoning in science and technology.

The volume is based on the papers that were presented at the Interna­ tional Conference Model-Based Reasoning in Scientific Discovery (MBR'98), held at the Collegio Ghislieri, University of Pavia, Pavia, Italy, in December 1998. The papers explore how scientific thinking uses models and explanatory reasoning to produce creative changes in theories and concepts. The study of diagnostic, visual, spatial, analogical, and temporal rea­ soning has demonstrated that there are many ways of performing intelligent and creative reasoning that cannot be described with the help only of tradi­ tional notions of reasoning such as classical logic. Traditional accounts of scientific reasoning have restricted the notion of reasoning primarily to de­ ductive and inductive arguments. Understanding the contribution of model­ ing practices to discovery and conceptual change in science requires ex­ panding scientific reasoning to include complex forms of creative reasoning that are not always successful and can lead to incorrect solutions. The study of these heuristic ways of reasoning is situated at the crossroads of philoso­ phy, artificial intelligence, cognitive psychology, and logic; that is, at the heart of cognitive science. There are several key ingredients common to the various forms of model­ based reasoning to be considered in this book. The models are intended as in­ terpretations of target physical systems, processes, phenomena, or situations. The models are retrieved or constructed on the basis of potentially satisfying salient constraints of the target domain.

The volume is based on the papers that were presented at the Interna­ tional Conference Model-Based Reasoning in Scientific Discovery (MBR''98), held at the Collegio Ghislieri, University of Pavia, Pavia, Italy, in December 1998. The papers explore how scientific thinking uses models and explanatory reasoning to produce creative changes in theories and concepts. The study of diagnostic, visual, spatial, analogical, and temporal rea­ soning has demonstrated that there are many ways of performing intelligent and creative reasoning that cannot be described with the help only of tradi­ tional notions of reasoning such as classical logic. Traditional accounts of scientific reasoning have restricted the notion of reasoning primarily to de­ ductive and inductive arguments. Understanding the contribution of model­ ing practices to discovery and conceptual change in science requires ex­ panding scientific reasoning to include complex forms of creative reasoning that are not always successful and can lead to incorrect solutions. The study of these heuristic ways of reasoning is situated at the crossroads of philoso­ phy, artificial intelligence, cognitive psychology, and logic; that is, at the heart of cognitive science. There are several key ingredients common to the various forms of model­ based reasoning to be considered in this book. The models are intended as in­ terpretations of target physical systems, processes, phenomena, or situations. The models are retrieved or constructed on the basis of potentially satisfying salient constraints of the target domain.

Information technology has been, in recent years, under increasing commercial pressure to provide devices and systems which help/ replace the human in his daily activity. This pressure requires the use of logic as the underlying foundational workhorse of the area. New logics were developed as the need arose and new foci and balance has evolved within logic itself. One aspect of these new trends in logic is the rising impor­ tance of model based reasoning. Logics have become more and more tailored to applications and their reasoning has become more and more application dependent. In fact, some years ago, I myself coined the phrase "direct deductive reasoning in application areas", advocating the methodology of model-based reasoning in the strongest possible terms. Certainly my discipline of Labelled Deductive Systems allows to bring "pieces" of the application areas as "labels" into the logic. I therefore heartily welcome this important book to Volume 25 of the Applied Logic Series and see it as an important contribution in our overall coverage of applied logic.