Dov M. Gabbay King's College, London, UK; Paul Thagard University of Waterloo, Canada; and John Woods University of British Columbia, Canada.
Philosophy of Economics investigates the foundational concepts and methods of economics, the social science that analyzes the production, distribution and consumption of goods and services. This groundbreaking collection, the most thorough treatment of the philosophy of economics ever published, brings together philosophers, scientists and historians to map out the central topics in the field. The articles are divided into two groups. Chapters in the first group deal with various philosophical issues characteristic of economics in general, including realism and Lakatos, explanation and testing, modeling and mathematics, political ideology and feminist epistemology. Chapters in the second group discuss particular methods, theories and branches of economics, including forecasting and measurement, econometrics and experimentation, rational choice and agency issues, game theory and social choice, behavioral economics and public choice, geographical economics and evolutionary economics, and finally the economics of scientific knowledge. This volume serves as a detailed introduction for those new to the field as well as a rich source of new insights and potential research agendas for those already engaged with the philosophy of economics.Provides a bridge between philosophy and current scientific findingsEncourages multi-disciplinary dialogueCovers theory and applications
-Comprehensive coverage of all main theories in the philosophy of Complex Systems
-Clearly written expositions of fundamental ideas and concepts
-Definitive discussions by leading researchers in the field
-Summaries of leading-edge research in related fields are also included
To study the computational behaviour of many-dimensional modal logics is the main aim of this book. On the one hand, it is concerned with providing a solid mathematical foundation for this discipline, while on the other hand, it shows that many seemingly different applied many-dimensional systems (e.g., multi-agent systems, description logics with epistemic, temporal and dynamic operators, spatio-temporal logics, etc.) fit in perfectly with this theoretical framework, and so their computational behaviour can be analyzed using the developed machinery.
We start with concrete examples of applied one- and many-dimensional modal logics such as temporal, epistemic, dynamic, description, spatial logics, and various combinations of these. Then we develop a mathematical theory for handling a spectrum of 'abstract' combinations of modal logics - fusions and products of modal logics, fragments of first-order modal and temporal logics - focusing on three major problems: decidability, axiomatizability, and computational complexity. Besides the standard methods of modal logic, the technical toolkit includes the method of quasimodels, mosaics, tilings, reductions to monadic second-order logic, algebraic logic techniques. Finally, we apply the developed machinery and obtained results to three case studies from the field of knowledge representation and reasoning: temporal epistemic logics for reasoning about multi-agent systems, modalized description logics for dynamic ontologies, and spatio-temporal logics.
The genre of the book can be defined as a research monograph. It brings the reader to the front line of current research in the field by showing both recent achievements and directions of future investigations (in particular, multiple open problems). On the other hand, well-known results from modal and first-order logic are formulated without proofs and supplied with references to accessible sources.
The intended audience of this book is logicians as well as those researchers who use logic in computer science and artificial intelligence. More specific application areas are, e.g., knowledge representation and reasoning, in particular, terminological, temporal and spatial reasoning, or reasoning about agents. And we also believe that researchers from certain other disciplines, say, temporal and spatial databases or geographical information systems, will benefit from this book as well.
• Integrated approach to modern modal and temporal logics and their applications in artificial intelligence and computer science
• Written by internationally leading researchers in the field of pure and applied logic
• Combines mathematical theory of modal logic and applications in artificial intelligence and computer science
• Numerous open problems for further research
• Well illustrated with pictures and tables
It is suitable for researchers in the area of computer science and mathematical logic.