Krister Segerberg on Logic of Actions
Krister Segerberg on Logic of Actions

Author: Robert Trypuz

Publisher: Springer Science & Business Media

Published: 2013-10-22

Total Pages: 355

ISBN-13: 9400770464

DOWNLOAD EBOOK

This volume describes and analyzes in a systematic way the great contributions of the philosopher Krister Segerberg to the study of real and doxastic actions. Following an introduction which functions as a roadmap to Segerberg's works on actions, the first part of the book covers relations between actions, intentions and routines, dynamic logic as a theory of action, agency, and deontic logics built upon the logics of actions. The second section explores belief revision and update, iterated and irrevocable beliefs change, dynamic doxastic logic and hypertheories. Segerberg has worked for more than thirty years to analyze the intricacies of real and doxastic actions using formal tools - mostly modal (dynamic) logic and its semantics. He has had such a significant impact on modal logic that "It is hard to roam for long in modal logic without finding Krister Segerberg's traces," as Johan van Benthem notes in his chapter of this book.

Logic, Action and Cognition
Logic, Action and Cognition

Author: Eva Ejerhed

Publisher: Springer Science & Business Media

Published: 2012-12-06

Total Pages: 233

ISBN-13: 9401155240

DOWNLOAD EBOOK

The present volume has its origin in a meeting of philosophers, linguists and cognitive scientists that was held at Umea University, Sweden, September 24-26, 1993. The meeting was organized by the Department of Philosophy in cooperation with the Department of Linguistics, and it was called UmLLI-93, the Umea Colloquium on Dynamic Approaches in Logic, Language and Information. The papers published here are considerably expanded and revised versions of talks presented by invited speakers at this colloquium. The papers included here fall into three broad categories. In the first part of the book, Action, we have collected papers that concern the formal theory of action, the logic of nonns, and the theory of rational decision. The papers in the second part, Belief Change, concern the theory of belief dynamics in the tradition of Alchourr6n, Gardenfors and Makinson. The third part, Cognition, concerns abstract questions about knowledge and truth as well'as more concrete questions about the usefuleness and tractability of various graphic representations of infonnation. An additional and important topic of the colloquium concerned logical approaches to natural language. For the sake of the thematic unity of this book, and its appearance in the series Trends in logic, the colloquium papers related to language are not included here, but some of these contributions will appear in the philosophical journal Theoria.

Logic in High Definition
Logic in High Definition

Author: Alessandro Giordani

Publisher: Springer Nature

Published: 2020-11-19

Total Pages: 245

ISBN-13: 3030534871

DOWNLOAD EBOOK

This volume clusters together issues centered upon the variety of types of intensional semantics. Consisting of 10 contributions, the volume is based on papers presented at the Trends in Logic 2019 conference. The various chapters introduce readers to the topic, or apply new types of logical semantics to elucidate subtleties of logical systems and natural language semantics. The book introduces hyperintentional systems that aim at solving some open philosophical problems. Specifically, the first three studies focus on relating semantics, while the following ones discuss fundamental issues related to hyper-intensional semantics or develop hyper-intensional frameworks to address issues in modal, epistemic, deontic and action logic. Authors in this volume present original results on logical systems but also extend beyond this by offering philosophical considerations on the topic as well. This volume will appeal to students and researchers in the field of logic.

Intensionality
Intensionality

Author: Reinhard Kähle

Publisher: Cambridge University Press

Published: 2017-03-30

Total Pages: 277

ISBN-13: 1108634001

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 twenty-second publication in the Lecture Notes in Logic series, will launch a discussion about the concept of intensionality in philosophy, logic, linguistics and mathematics. These articles grew out of a workshop held at the University of Munich in October, 2000. Some articles address philosophical issues raised by the possible worlds approach to intensionality; others are devoted to technical aspects of modal logic. The volume highlights the particular interdisciplinary nature of intensionality with articles spanning philosophy, linguistics, mathematics and computer science.

Contemporary Action Theory Volume 1: Individual Action
Contemporary Action Theory Volume 1: Individual Action

Author: Ghita Holmström-Hintikka

Publisher: Springer Science & Business Media

Published: 2013-04-17

Total Pages: 460

ISBN-13: 9401704392

DOWNLOAD EBOOK

Contemporary Action Theory, Volume I (Individual Action) is concerned with topics in philosophical action theory such as reasons and causes of action, intentions, freedom of will and of action, omissions and norms in legal and ethical contexts, as well as activity, passivity and competence from medical points of view. Cognitive trying, freedom of the will and agent causation are challenges in the discussion on computers in action. The Volume consists of contributions by leading experts in the field written specifically for this volume. No comparable volume currently exists.

Dynamic Logic. New Trends and Applications
Dynamic Logic. New Trends and Applications

Author: Luís Soares Barbosa

Publisher: Springer Nature

Published: 2020-01-13

Total Pages: 234

ISBN-13: 3030388085

DOWNLOAD EBOOK

This book constitutes the proceedings of the Second International Workshop on Dynamic Logic, DALI 2019, held in Porto, Portugal in October 2019. The workshop was held in Porto, Portugal, on October 9, 2019, as part of the Formal Methods Week which hosted the 3rd World Congress on Formal Methods. The 12 full papers presented together with 2 short papers were carefully reviewed and selected from 26 submissions. The workshop is based on the project DaLí – Dynamic logics for cyber-physical systems: towards contract based design.

Roderick M. Chisholm
Roderick M. Chisholm

Author: R. Bogdan

Publisher: Springer Science & Business Media

Published: 2013-03-09

Total Pages: 240

ISBN-13: 9401729190

DOWNLOAD EBOOK

The aim of this series is to inform both professional philosophers and a larger readership (of social and natural scientists, methodologists, mathematicians, students, teachers, publishers, etc. ) about what is going on, who's who, and who does what in contemporary philosophy and logic. PROFILES is designed to present the research activity and the results of already outstanding personalities and schools and of newly emerging ones in the various fields of philosophy and logic. There are many Festschrift volumes dedicated to various philosophers. There is the celebrated Library oj Living Phi/osophers edited by P. A. Schilpp whose format influenced the present enterprise. Still they can only cover very little of the contemporary philosophical scene. Faced with a tremendous expansion of philosophical information and with an almost frightening division of labor and increasing specialization we need systematic and regular ways of keeping track of wh at happens in the profession. PRO FILES is intended to perform such a function. Each volume is devoted to one or several philosophers whose views and results are presented and discussed. The profiled philosopher(s) will summarize and review his (their) own work in the main fields of signifi cant contribution. This work will be discussed and evaluated by invited contributors. Relevant historical and/or biographical data, an up-to date bibliography with short abstracts of the most important works and, whenever possible, references to significant reviews and discussions will also be included.

Logic, Rationality, and Interaction
Logic, Rationality, and Interaction

Author: Patrick Blackburn

Publisher: Springer Nature

Published: 2019-10-09

Total Pages: 460

ISBN-13: 366260292X

DOWNLOAD EBOOK

This LNCS book is part of the FOLLI book series and constitutes the proceedings of the 7th International Workshop on Logic, Rationality, and Interaction, LORI 2019, held in Chongqing, China, in October 2019. The 31 papers presented in this book were carefully reviewed and selected from 56 submissions. They focus on the following topics: agency; argumentation and agreement; belief revision and belief merging; belief representation; cooperation; decision making and planning; natural language; philosophy and philosophical logic; and strategic reasoning.

Johan van Benthem on Logic and Information Dynamics
Johan van Benthem on Logic and Information Dynamics

Author: Alexandru Baltag

Publisher: Springer

Published: 2014-08-27

Total Pages: 1072

ISBN-13: 3319060252

DOWNLOAD EBOOK

This book illustrates the program of Logical-Informational Dynamics. Rational agents exploit the information available in the world in delicate ways, adopt a wide range of epistemic attitudes, and in that process, constantly change the world itself. Logical-Informational Dynamics is about logical systems putting such activities at center stage, focusing on the events by which we acquire information and change attitudes. Its contributions show many current logics of information and change at work, often in multi-agent settings where social behavior is essential, and often stressing Johan van Benthem's pioneering work in establishing this program. However, this is not a Festschrift, but a rich tapestry for a field with a wealth of strands of its own. The reader will see the state of the art in such topics as information update, belief change, preference, learning over time, and strategic interaction in games. Moreover, no tight boundary has been enforced, and some chapters add more general mathematical or philosophical foundations or links to current trends in computer science. The theme of this book lies at the interface of many disciplines. Logic is the main methodology, but the various chapters cross easily between mathematics, computer science, philosophy, linguistics, cognitive and social sciences, while also ranging from pure theory to empirical work. Accordingly, the authors of this book represent a wide variety of original thinkers from different research communities. And their interconnected themes challenge at the same time how we think of logic, philosophy and computation. Thus, very much in line with van Benthem's work over many decades, the volume shows how all these disciplines form a natural unity in the perspective of dynamic logicians (broadly conceived) exploring their new themes today. And at the same time, in doing so, it offers a broader conception of logic with a certain grandeur, moving its horizons beyond the traditional study of consequence relations.