三民網路書店 / 搜尋結果

This book develops a view of logic as a theory of information-driven agency and intelligent interaction between many agents - with conversation, argumentation and games as guiding examples. It provides one uniform account of dynamic logics for acts of inference, observation, questions and communication, that can handle both update of knowledge and revision of beliefs. It then extends the dynamic style of analysis to include changing preferences and goals, temporal processes, group action and strategic interaction in games. Throughout, the book develops a mathematical theory unifying all these systems, and positioning them at the interface of logic, philosophy, computer science and game theory. A series of further chapters explores repercussions of the 'dynamic stance' for these areas, as well as cognitive science.

In Modal Logic for Open Minds, Johan van Benthem provides an up-to-date introduction to the field of modal logic, outlining its major ideas and exploring the numerous ways in which various academic fi

This book develops a view of logic as a theory of information-driven agency and intelligent interaction between many agents - with conversation, argumentation and games as guiding examples. It provides one uniform account of dynamic logics for acts of inference, observation, questions and communication, that can handle both update of knowledge and revision of beliefs. It then extends the dynamic style of analysis to include changing preferences and goals, temporal processes, group action and strategic interaction in games. Throughout, the book develops a mathematical theory unifying all these systems, and positioning them at the interface of logic, philosophy, computer science and game theory. A series of further chapters explores repercussions of the 'dynamic stance' for these areas, as well as cognitive science.

The combined study of logic and language goes back at least as far as the Middle Ages. In the last twenty-five years it has gained momentum with the formulation of Montague semantics and Generative Sy

This book draws on ideas from philosophical logic, computational logic, multi-agentsystems, and game theory to offer a comprehensive account of logic and games viewed in twocomplementary ways. It exam

Language in Action demonstrates the viability of mathematical research into the foundations of categorial grammar, a topic at the border between logic and linguistics. Since its initial publication, i

Information is a recognized fundamental notion across the sciences and humanities, which is crucial to understanding physical computation, communication, and human cognition. The Philosophy of Inform

Proof, Computation and Agency: Logic at the Crossroads provides an overview of modern logic and its relationship with other disciplines. As a highlight, several articles pursue an inspiring paradigm c

The twenty chapters in this book show both sides of the interaction between logic and language: how logical systems are designed and modified in response to linguistic needs, and how mathematical theo

Proof, Computation and AgencyProof, Computation and Agency: Logic at the Cross Roads provides an overview of Logic and its relationship with other disciplines, and some of the emerging areas in terms.

This volume presents 38 classic texts in formal epistemology, and strengthens the ties between research into this area of philosophy and its neighbouring intellectual disciplines. The editors provide

The past twenty years have witnessed extensive collaborative research between computer scientists, logicians, linguists, philosophers, and psychologists. These interdisciplinary studies stem from the