Author: Hans van Ditmarsch,Joseph Y. Halpern,Wiebe van der Hoek

Publisher: N.A

ISBN: 9781848901582

Category: Mathematics

Page: 676

View: 517

Epistemic logic and, more generally, logics of knowledge and belief, originated with philosophers such as Jaakko Hintikka and David Lewis in the early 1960s. Since then, such logics have played a significant role not only in philosophy, but also in computer science, artificial intelligence, and economics. This handbook reports significant progress in a field that, while more mature, continues to be very active. This book should make it easier for new researchers to enter the field, and give experts a chance to appreciate work in related areas. The book starts with a gentle introduction to the logics of knowledge and belief; it gives an overview of the area and the material covered in the book. The following eleven chapters, each written by a leading researcher (or researchers), cover the topics of only knowing, awareness, knowledge and probability, knowledge and time, the dynamics of knowledge and of belief, model checking, game theory, agency, knowledge and ability, and security protocols. The chapters have been written so that they can be read independently and in any order. Each chapter ends with a section of notes that provides some historical background, including references, and a detailed bibliography.
Read More

Author: Marco Aiello,Ian Pratt-Hartmann,Johan van Benthem

Publisher: Springer Science & Business Media

ISBN: 1402055870

Category: Science

Page: 1058

View: 4143

The aim of this handbook is to create, for the first time, a systematic account of the field of spatial logic. The book comprises a general introduction, followed by fourteen chapters by invited authors. Each chapter provides a self-contained overview of its topic, describing the principal results obtained to date, explaining the methods used to obtain them, and listing the most important open problems. Jointly, these contributions constitute a comprehensive survey of this rapidly expanding subject.
Read More

A Survey of the Logic of Knowledge

Author: Nicholas Rescher

Publisher: University of Pittsburgh Pre

ISBN: 0822970929

Category: Philosophy

Page: 140

View: 5939

Part of a trilogy exploring the theory of knowledge by one of the world's foremost philosophers.
Read More

Author: Hans van Ditmarsch,Wiebe van der Hoek,Barteld Kooi

Publisher: Springer Science & Business Media

ISBN: 140205839X

Category: Philosophy

Page: 296

View: 2031

Dynamic Epistemic Logic is the logic of knowledge change. This book provides various logics to support such formal specifications, including proof systems. Concrete examples and epistemic puzzles enliven the exposition. The book also offers exercises with answers. It is suitable for graduate courses in logic. Many examples, exercises, and thorough completeness proofs and expressivity results are included. A companion web page offers slides for lecturers and exams for further practice.
Read More

Author: Johan F.A.K. van Benthem,Alice ter Meulen

Publisher: Elsevier

ISBN: 9780444537270

Category: Mathematics

Page: 1168

View: 9964

The logical study of language is becoming more interdisciplinary, playing a role in fields such as computer science, artificial intelligence, cognitive science and game theory. This new edition, written by the leading experts in the field, presents an overview of the latest developments at the interface of logic and linguistics as well as a historical perspective. It is divided into three parts covering Frameworks, General Topics and Descriptive Themes. Completely revised and updated - includes over 25% new material Discusses the interface between logic and language Many of the authors are creators or active developers of the theories
Read More

Author: I. Niiniluoto,Matti Sintonen,Jan Wolenski

Publisher: Springer Science & Business Media

ISBN: 9781402019852

Category: Philosophy

Page: 1052

View: 8389

The twenty-eight essays in this Handbook, all by leading experts in the field, provide the most extensive treatment of various epistemological problems, supplemented by a historical account of this field. The entries are self-contained and substantial contributions to topics such as the sources of knowledge and belief, knowledge acquisition, and truth and justification. There are extensive essays on knowledge in specific fields: the sciences, mathematics, the humanities and the social sciences, religion, and language. Special attention is paid to current discussions on evolutionary epistemology, relativism, the relation between epistemology and cognitive science, sociology of knowledge, epistemic logic, knowledge and art, and feminist epistemology. This collection is a must-have for anybody interested in human knowledge, and its fortunes and misfortunes.
Read More

Author: David Coady,James Chase

Publisher: Routledge

ISBN: 1317393147

Category: Philosophy

Page: 344

View: 5485

While applied epistemology has been neglected for much of the twentieth century, it has seen emerging interest in recent years, with key thinkers in the field helping to put it on the philosophical map. Although it is an old tradition, current technological and social developments have dramatically changed both the questions it faces and the methodology required to answer those questions. Recent developments also make it a particularly important and exciting area for research and teaching in the twenty-first century. The Routledge Handbook of Applied Epistemology is an outstanding reference source to this exciting subject and the first collection of its kind. Comprising entries by a team of international contributors, the Handbook is divided into six main parts: The Internet Politics Science Epistemic institutions Individual investigators Theory and practice in philosophy. Within these sections, the core topics and debates are presented, analyzed, and set into broader historical and disciplinary contexts. The central topics covered include: the prehistory of applied epistemology, expertise and scientific authority, epistemic aspects of political and social philosophy, epistemology and the law, and epistemology and medicine. Essential reading for students and researchers in epistemology, political philosophy, and applied ethics the Handbook will also be very useful for those in related fields, such as law, sociology, and politics.
Read More

Author: N.A

Publisher: Elsevier

ISBN: 9780080466637

Category: Mathematics

Page: 1218

View: 2463

The papers presented in this volume examine topics of central interest in contemporary philosophy of logic. They include reflections on the nature of logic and its relevance for philosophy today, and explore in depth developments in informal logic and the relation of informal to symbolic logic, mathematical metatheory and the limiting metatheorems, modal logic, many-valued logic, relevance and paraconsistent logic, free logics, extensional v. intensional logics, the logic of fiction, epistemic logic, formal logical and semantic paradoxes, the concept of truth, the formal theory of entailment, objectual and substitutional interpretation of the quantifiers, infinity and domain constraints, the Löwenheim-Skolem theorem and Skolem paradox, vagueness, modal realism v. actualism, counterfactuals and the logic of causation, applications of logic and mathematics to the physical sciences, logically possible worlds and counterpart semantics, and the legacy of Hilbert’s program and logicism. The handbook is meant to be both a compendium of new work in symbolic logic and an authoritative resource for students and researchers, a book to be consulted for specific information about recent developments in logic and to be read with pleasure for its technical acumen and philosophical insights. - Written by leading logicians and philosophers - Comprehensive authoritative coverage of all major areas of contemporary research in symbolic logic - Clear, in-depth expositions of technical detail - Progressive organization from general considerations to informal to symbolic logic to nonclassical logics - Presents current work in symbolic logic within a unified framework - Accessible to students, engaging for experts and professionals - Insightful philosophical discussions of all aspects of logic - Useful bibliographies in every chapter
Read More

Author: Ian James Kidd,Associate Professor of Philosophy Jose Medina, Sthd,José Medina,Gaile Pohlhaus, Jr.

Publisher: Taylor & Francis

ISBN: 1351814508

Category: Philosophy

Page: 456

View: 3147

In the era of information and communication, issues of misinformation and miscommunication are more pressing than ever. Epistemic injustice - one of the most important and ground-breaking subjects to have emerged in philosophy in recent years - refers to those forms of unfair treatment that relate to issues of knowledge, understanding, and participation in communicative practices. The Routledge Handbook of Epistemic Injustice is an outstanding reference source to the key topics, problems and debates in this exciting subject. The first collection of its kind, it comprises over thirty chapters by a team of international contributors, divided into five parts: Core Concepts Liberatory Epistemologies and Axes of Oppression Schools of Thought and Subfields within Epistemology Socio-political, Ethical, and Psychological Dimensions of Knowing Case Studies of Epistemic Injustice. As well as fundamental topics such as testimonial and hermeneutic injustice and epistemic trust, the Handbook includes chapters on important issues such as social and virtue epistemology, objectivity and objectification, implicit bias, and gender and race. Also included are chapters on areas in applied ethics and philosophy, such as law, education, and healthcare. The Routledge Handbook of Epistemic Injustice is essential reading for students and researchers in ethics, epistemology, political philosophy, feminist theory, and philosophy of race. It will also be very useful for those in related fields, such as cultural studies, sociology, education and law.
Read More

Author: Patrick Blackburn,Johan F.A.K. van Benthem,Frank Wolter

Publisher: Elsevier

ISBN: 9780080466668

Category: Mathematics

Page: 1260

View: 6027

The Handbook of Modal Logic contains 20 articles, which collectively introduce contemporary modal logic, survey current research, and indicate the way in which the field is developing. The articles survey the field from a wide variety of perspectives: the underling theory is explored in depth, modern computational approaches are treated, and six major applications areas of modal logic (in Mathematics, Computer Science, Artificial Intelligence, Linguistics, Game Theory, and Philosophy) are surveyed. The book contains both well-written expository articles, suitable for beginners approaching the subject for the first time, and advanced articles, which will help those already familiar with the field to deepen their expertise. Please visit: http://people.uleth.ca/~woods/RedSeriesPromo_WP/PubSLPR.html - Compact modal logic reference - Computational approaches fully discussed - Contemporary applications of modal logic covered in depth
Read More

Author: Dov M. Gabbay,Franz Guenthner

Publisher: Springer Science & Business Media

ISBN: 1402063237

Category: Mathematics

Page: 345

View: 6381

The fourteenth volume of the Second Edition covers central topics in philosophical logic that have been studied for thousands of years, since Aristotle: Inconsistency, Causality, Conditionals, and Quantifiers. These topics are central in many applications of logic in central disciplines and this book is indispensable to any advanced student or researcher using logic in these areas. The chapters are comprehensive and written by major figures in the field.
Read More

Author: Luciano Floridi

Publisher: Routledge

ISBN: 1317633482

Category: Philosophy

Page: 446

View: 7706

Information and communication technology occupies a central place in the modern world, with society becoming increasingly dependent on it every day. It is therefore unsurprising that it has become a growing subject area in contemporary philosophy, which relies heavily on informational concepts. The Routledge Handbook of Philosophy of Information is an outstanding reference source to the key topics and debates in this exciting subject and is the first collection of its kind. Comprising over thirty chapters by a team of international contributors the Handbook is divided into four parts: basic ideas quantitative and formal aspects natural and physical aspects human and semantic aspects. Within these sections central issues are examined, including probability, the logic of information, informational metaphysics, the philosophy of data and evidence, and the epistemic value of information. The Routledge Handbook of Philosophy of Information is essential reading for students and researchers in philosophy, computer science and communication studies.
Read More

Reasoning and Choice

Author: Andrés Perea

Publisher: Cambridge University Press

ISBN: 1107008913

Category: Business & Economics

Page: 561

View: 1078

The first textbook to explain the principles of epistemic game theory.
Read More

Author: Ronald Fagin,Joseph Y. Halpern,Yoram Moses,Moshe Vardi

Publisher: MIT Press

ISBN: 0262307820

Category: Business & Economics

Page: 536

View: 1637

Reasoning about knowledge--particularly the knowledge of agents who reason about the world and each other's knowledge--was once the exclusive province of philosophers and puzzle solvers. More recently, this type of reasoning has been shown to play a key role in a surprising number of contexts, from understanding conversations to the analysis of distributed computer algorithms.Reasoning About Knowledge is the first book to provide a general discussion of approaches to reasoning about knowledge and its applications to distributed systems, artificial intelligence, and game theory. It brings eight years of work by the authors into a cohesive framework for understanding and analyzing reasoning about knowledge that is intuitive, mathematically well founded, useful in practice, and widely applicable. The book is almost completely self-contained and should be accessible to readers in a variety of disciplines, including computer science, artificial intelligence, linguistics, philosophy, cognitive science, and game theory. Each chapter includes exercises and bibliographic notes.
Read More

Author: Kazem Sadegh-Zadeh

Publisher: Springer

ISBN: 9401795797

Category: Medical

Page: 1224

View: 7742

Medical practice is practiced morality, and clinical research belongs to normative ethics. The present book elucidates and advances this thesis by: 1. analyzing the structure of medical language, knowledge, and theories; 2. inquiring into the foundations of the clinical encounter; 3. introducing the logic and methodology of clinical decision-making, including artificial intelligence in medicine; 4. suggesting comprehensive theories of organism, life, and psyche; of health, illness, and disease; of etiology, diagnosis, prognosis, prevention, and therapy; and 5. investigating the moral and metaphysical issues central to medical practice and research. Many systems of (classical, modal, non-classical, probability, and fuzzy) logic are introduced and applied. Fuzzy medical deontics, fuzzy medical ontology, fuzzy medical concept formation, fuzzy medical decision-making and biomedicine and many other techniques of fuzzification in medicine are introduced for the first time.
Read More

Author: Stewart Shapiro

Publisher: OUP USA

ISBN: 0195148770

Category: Mathematics

Page: 833

View: 6528

Covers the state of the art in the philosophy of maths and logic, giving the reader an overview of the major problems, positions, and battle lines. The chapters in this book contain both exposition and criticism as well as substantial development of their own positions. It also includes a bibliography.
Read More

Author: Johan van Benthem

Publisher: Cambridge University Press

ISBN: 1139500465

Category: Mathematics

Page: N.A

View: 2470

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.
Read More

Author: Dov M. Gabbay,Christopher John Hogger,John Alan Robinson

Publisher: Oxford University Press, USA

ISBN: 9780198537915

Category: Computers

Page: 611

View: 1282

The handbook of logic in artificial intelligence and logic programming is an international reference work in five volumes. It has been created in response to the growing need for an in-depth survey of the applications of logic in artifical intelligence. The dramatic increase in research in recent years means that logic is now widely recognised as one of the foundational disciplines of computing and has found applications in virtually all aspects of the subject, from software engineeringand hardware to programming languages and artificial intelligence. Yet this handbook is the first authoritative text to pull together the accumulated research level material, and as such is a unique and invaluable reference source. The Handbook of Logic in Artificial Intelligence and Logic Programming is a multi-author multi-volume work covering all the major areas of application of logic to artifical intelligence and logic programming. The Handbook comprises five volumes, each an in-depth overview of one of the major topics in this area. It is the result of years of co-operative effort by internationally renowned researchers in the field, and will no doubt be the standard reference work in artifical intelligence and logic programming for years to come- essential reading for all those interested in this subject. This latest volume covers, among other subjects, epistemic reasoning, time and change for AI, and temporal nonmonotonic reasoning.
Read More

Author: J.-J. Ch. Meyer,W. van der Hoek

Publisher: Cambridge University Press

ISBN: 9780521602808

Category: Computers

Page: 372

View: 4183

A broad introduction to the subject; many exercises with full solutions are provided.
Read More

Author: Dov Gabbay,John Horty,Xavier Parent

Publisher: N.A

ISBN: 9781848901322

Category: Mathematics

Page: 646

View: 383

The Handbook of Deontic Logic and Normative Systems presents a detailed overview of the main lines of research on contemporary deontic logic and related topics. Although building on decades of previous work in the field, it is the first collection to take into account the significant changes in the landscape of deontic logic that have occurred in the past twenty years. These changes have resulted largely, though not entirely, from the interaction of deontic logic with a variety of other fields, including computer science, legal theory, organizational theory, economics, and linguistics. This first volume of the Handbook is divided into three parts, containing nine chapters in all, each written by leading experts in the field. The first part concentrates on historical foundations. The second examines topics of central interest in contemporary deontic logic. The third presents some new logical frameworks that have now become part of the mainstream literature. A second volume of the Handbook is currently in preparation, and there may be a third after that.
Read More