Exploring Logical Dynamics
Exploring Logical Dynamics

Author: Johan F. A. K. van Benthem

Publisher: Center for the Study of Language and Information Publications

Published: 1996-08-28

Total Pages: 341

ISBN-13: 9781575860589

DOWNLOAD EBOOK

This book is an exploration of current trends in logical theories of information flow across various fields, such as belief revision in computer science or dynamic semantics in linguistics. It provides one mathematical perspective encompassing all of these. This framework generates a new agenda of questions concerning dynamic inference and dynamic operators. The result is a mathematical theory of process models, simulations between these, and modal languages over them, which is developed in quite some detail. New results include theorems on expressive completeness, representation of styles of inference, and new kinds of decidable remodeling for standard logics. This theory is also confronted with practice in computer science, linguistics and philosophy.

Logical Dynamics of Information and Interaction
Logical Dynamics of Information and Interaction

Author: Johan van Benthem

Publisher: Cambridge University Press

Published: 2011-09-29

Total Pages: 387

ISBN-13: 1139500465

DOWNLOAD EBOOK

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.

Logic and the Modalities in the Twentieth Century
Logic and the Modalities in the Twentieth Century

Author: Dov M. Gabbay

Publisher: Elsevier

Published: 2006-05-10

Total Pages: 733

ISBN-13: 0080463037

DOWNLOAD EBOOK

Logic and the Modalities in the Twentieth Century is an indispensable research tool for anyone interested in the development of logic, including researchers, graduate and senior undergraduate students in logic, history of logic, mathematics, history of mathematics, computer science and artificial intelligence, linguistics, cognitive science, argumentation theory, philosophy, and the history of ideas.This volume is number seven in the eleven volume Handbook of the History of Logic. It concentrates on the development of modal logic in the 20th century, one of the most important undertakings in logic's long history. Written by the leading researchers and scholars in the field, the volume explores the logics of necessity and possibility, knowledge and belief, obligation and permission, time, tense and change, relevance, and more. Both this volume and the Handbook as a whole are definitive reference tools for students and researchers in the history of logic, the history of philosophy, and any discipline, such as mathematics, computer science, artificial intelligence, for whom the historical background of his or her work is a salient consideration.· Detailed and comprehensive chapters covering the entire range of modal logic.· Contains the latest scholarly discoveries and interpretative insights that answer many questions in the field of logic.

Logic in Games
Logic in Games

Author: Johan Van Benthem

Publisher: MIT Press

Published: 2014-01-24

Total Pages: 567

ISBN-13: 0262320304

DOWNLOAD EBOOK

A comprehensive examination of the interfaces of logic, computer science, and game theory, drawing on twenty years of research on logic and games. This book draws on ideas from philosophical logic, computational logic, multi-agent systems, and game theory to offer a comprehensive account of logic and games viewed in two complementary ways. It examines the logic of games: the development of sophisticated modern dynamic logics that model information flow, communication, and interactive structures in games. It also examines logic as games: the idea that logical activities of reasoning and many related tasks can be viewed in the form of games. In doing so, the book takes up the “intelligent interaction” of agents engaging in competitive or cooperative activities and examines the patterns of strategic behavior that arise. It develops modern logical systems that can analyze information-driven changes in players' knowledge and beliefs, and introduces the “Theory of Play” that emerges from the combination of logic and game theory. This results in a new view of logic itself as an interactive rational activity based on reasoning, perception, and communication that has particular relevance for games. Logic in Games, based on a course taught by the author at Stanford University, the University of Amsterdam, and elsewhere, can be used in advanced seminars and as a resource for researchers.

Handbook of Philosophical Logic
Handbook of Philosophical Logic

Author: Dov M. Gabbay

Publisher: Springer Science & Business Media

Published: 2012-12-06

Total Pages: 365

ISBN-13: 9401003874

DOWNLOAD EBOOK

The eighth volume of the Second Edition contains major contributions on the Logic of Questions, Sequent Systems for Modal Logics, Deontic Logic as well as Deontic Logic and Contrary-to-duties. Audience: Students and researchers whose work or interests involve philosophical logic and its applications.

Modeling and Using Context
Modeling and Using Context

Author: Patrick Blackburn

Publisher: Springer Science & Business Media

Published: 2007-10-13

Total Pages: 537

ISBN-13: 3540449582

DOWNLOAD EBOOK

The refereed proceedings of the 4th International and Interdisciplinary Conference on Modeling and Using Context, CONTEXT 2003, held in Stanford, CA, USA in June 2003. The 31 full papers and 15 short papers presented were carefully reviewed, selected, and revised for inclusion in the book. The papers presented deal with the interdisciplinary topic of modeling and using context from various points of view, ranging through cognitive science, formal logic, artifical intelligence, computational intelligence, philosophical and psychological aspects, and information processing. Highly general philosophical and theoretical issues are complemented by specific applications in various fields.

Reflections on the Foundations of Mathematics
Reflections on the Foundations of Mathematics

Author: Wilfried Sieg

Publisher: Cambridge University Press

Published: 2017-03-30

Total Pages: 456

ISBN-13: 1316998819

DOWNLOAD EBOOK

Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the original books in the series have been unavailable for years, but they are now in print once again. This volume, the fifteenth publication in the Lecture Notes in Logic series, collects papers presented at the symposium 'Reflections on the Foundations of Mathematics' held in celebration of Solomon Feferman's 70th birthday (The 'Feferfest') at Stanford University, California in 1988. Feferman has shaped the field of foundational research for nearly half a century. These papers reflect his broad interests as well as his approach to foundational research, which emphasizes the solution of mathematical and philosophical problems. There are four sections, covering proof theoretic analysis, logic and computation, applicative and self-applicative theories, and philosophy of modern mathematical and logic thought.

Meaning: the Dynamic Turn
Meaning: the Dynamic Turn

Author: Jaroslav Peregrin

Publisher: BRILL

Published: 2021-07-26

Total Pages: 287

ISBN-13: 9004454144

DOWNLOAD EBOOK

This book, based on a conference held in Prague in September 2001, presents a study of the theories of formal semantics of natural language. The collected papers address, from various sides, the foundational questions of the dynamic theories of meaning. It helps to understand more than just the technical side of dynamic semantics.

Preference Change
Preference Change

Author: Till Grüne-Yanoff

Publisher: Springer Science & Business Media

Published: 2009-06-11

Total Pages: 273

ISBN-13: 9048125936

DOWNLOAD EBOOK

Changing preferencesis a phenomenonoften invoked but rarely properlyaccounted for. Throughout the history of the social sciences, researchers have come against the possibility that their subjects’ preferenceswere affected by the phenomenato be explainedor by otherfactorsnot taken into accountin the explanation.Sporadically, attempts have been made to systematically investigate these in uences, but none of these seems to have had a lasting impact. Today we are still not much further with respect to preference change than we were at the middle of the last century. This anthology hopes to provide a new impulse for research into this important subject. In particular, we have chosen two routes to amplify this impulse. First, we stress the use of modellingtechniquesfamiliar from economicsand decision theory. Instead of constructing complex, all-encompassing theories of preference change, the authors of this volume start with very simple, formal accounts of some possible and hopefully plausible mechanism of preference change. Eventually, these models may nd their way into larger, empirically adequate theories, but at this stage, we think that the most importantwork lies in building structure.Secondly,we stress the importance of interdisciplinary exchange. Only by drawing together experts from different elds can the complex empirical and theoretical issues in the modelling of preference change be adequately investigated.

Handbook of the Logic of Argument and Inference
Handbook of the Logic of Argument and Inference

Author: R.H. Johnson

Publisher: Elsevier

Published: 2002-09-11

Total Pages: 509

ISBN-13: 0080532918

DOWNLOAD EBOOK

The Handbook of the Logic of Argument and Inference is an authoritative reference work in a single volume, designed for the attention of senior undergraduates, graduate students and researchers in all the leading research areas concerned with the logic of practical argument and inference. After an introductory chapter, the role of standard logics is surveyed in two chapters. These chapters can serve as a mini-course for interested readers, in deductive and inductive logic, or as a refresher. Then follow two chapters of criticism; one the internal critique and the other the empirical critique. The first deals with objections to standard logics (as theories of argument and inference) arising from the research programme in philosophical logic. The second canvasses criticisms arising from work in cognitive and experimental psychology. The next five chapters deal with developments in dialogue logic, interrogative logic, informal logic, probability logic and artificial intelligence. The last chapter surveys formal approaches to practical reasoning and anticipates possible future developments. Taken as a whole the Handbook is a single-volume indication of the present state of the logic of argument and inference at its conceptual and theoretical best. Future editions will periodically incorporate significant new developments.