Johan van Benthem Book order

Strategic behavior is the key to social interaction, from the ever-evolving world of living beings to the modern theatre of designed computational agents. Strategies can make or break participants’ aspirations, whether they are selling a house, playing the stock market, or working toward a treaty that limits global warming. This book aims at understanding the phenomenon of strategic behavior in its proper width and depth. A number of experts have combined forces in order to create a comparative view of the different frameworks for strategic reasoning in social interactions that have been developed in game theory, computer science, logic, linguistics, philosophy, and cognitive and social sciences. The chapters are organized in three topic-based sections, namely reasoning about games; formal frameworks for strategies; and strategies in social situations. The book concludes with a discussion on the future of logical studies of strategies.

Exploring the intersection of philosophy and logic, this work emphasizes the importance of logical methods in studying philosophical themes, moving beyond traditional poetic and essay forms. Influenced by notable scholars, the author reflects on tense logic and classical model theory, highlighting contributions from figures like Arthur Prior and Hans Kamp. The text acknowledges the valuable feedback from colleagues and students, as well as the artistic input from Bauke Mulder, culminating in a comprehensive examination of the logical study of time.

This volume explores the dynamic relationship between logic and various scientific disciplines, featuring contributions from leading scholars. It covers topics like proof, truth values, category theory, and pragmatics, highlighting modern perspectives and emerging trends in the philosophy of logic and mathematics.

The subject of Time has a wide intellectual appeal across different dis­ ciplines. This has shown in the variety of reactions received from readers of the first edition of the present Book. Many have reacted to issues raised in its philosophical discussions, while some have even solved a number of the open technical questions raised in the logical elaboration of the latter. These results will be recorded below, at a more convenient place. In the seven years after the first publication, there have been some noticeable newer developments in the logical study of Time and temporal expressions. As far as Temporal Logic proper is concerned, it seems fair to say that these amount to an increase in coverage and sophistication, rather than further break-through innovation. In fact, perhaps the most significant sources of new activity have been the applied areas of Linguistics and Computer Science (including Artificial Intelligence), where many intriguing new ideas have appeared presenting further challenges to temporal logic. Now, since this Book has a rather tight composition, it would have been difficult to interpolate this new material without endangering intelligibility.