Handbook of Epistemic Logic

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

Publisher: N.A

ISBN: 9781848901582

Category: Mathematics

Page: 676

View: 4969

DOWNLOAD NOW »

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.
Release

Handbook of Epistemology

Author: I. Niiniluoto,Matti Sintonen,Jan Wolenski,Jan Woleński

Publisher: Springer Science & Business Media

ISBN: 9781402019852

Category: Philosophy

Page: 1052

View: 4814

DOWNLOAD NOW »

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.
Release

Handbook of Epistemic Cognition

Author: Jeffrey A. Greene,William A. Sandoval,Ivar Bråten

Publisher: Routledge

ISBN: 1317746864

Category: Education

Page: 530

View: 2526

DOWNLOAD NOW »

The Handbook of Epistemic Cognition brings together leading work from across disciplines, to provide a comprehensive overview of an increasingly important topic: how people acquire, understand, justify, change, and use knowledge in formal and informal contexts. Research into inquiry, understanding, and discovery within academic disciplines has progressed from general models of conceptual change to a focus upon the learning trajectories that lead to expert-like conceptualizations, skills, and performance. Outside of academic domains, issues of who and what to believe, and how to integrate multiple sources of information into coherent and useful knowledge, have arisen as primary challenges of the 21st century. In six sections, scholars write within and across fields to focus and advance the role of epistemic cognition in education. With special attention to how researchers across disciplines can communicate and collaborate more effectively, this book will be an invaluable resource for anyone interested in the future of knowledge and knowing. Dr. Jeffrey A. Greene is an associate professor of Learning Sciences and Psychological Studies in the School of Education at the University of North Carolina at Chapel Hill. Dr. William A. Sandoval is a professor in the division of Urban Schooling at the UCLA Graduate School of Education & Information Studies. Dr. Ivar Bråten is a professor of Educational Psychology at the Faculty of Educational Sciences at the University of Oslo, Norway.
Release

Handbook of Spatial Logics

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

Publisher: Springer Science & Business Media

ISBN: 1402055870

Category: Science

Page: 1058

View: 6916

DOWNLOAD NOW »

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.
Release

Handbook of Philosophical Logic

Author: Dov M. Gabbay,Franz Guenthner

Publisher: Springer Science & Business Media

ISBN: 9781402016448

Category: Philosophy

Page: 348

View: 4699

DOWNLOAD NOW »

It is with great pleasure that we are presenting to the community the second edition of this extraordinary handbook. It has been over 15 years since the publication of the first edition and there have been great changes in the landscape of philosophical logic since then. The first edition has proved invaluable to generations of students and researchers in formal philosophy and language, as weIl as to consumers of logic in many applied areas. The main logic article in the Encyclopaedia Britannica 1999 has described the first edition as 'the best starting point for exploring any of the topics in logic'. We are confident that the second edition will prove to be just as good! The first edition was the second handbook published for the logic commu nity. It followed the North Holland one volume Handbook 0/ Mathematical Logic, published in 1977, edited by the late Jon Barwise. The four volume Handbook 0/ Philosophical Logic, published 1983-1989 came at a fortunate temporal junction at the evolution of logic. This was the time when logic was gaining ground in computer science and artificial intelligence circles. These areas were under increasing commercial pressure to provide devices which help and/or replace the human in his daily activity. This pressure required the use of logic in the modelling of human activity and organisa tion on the one hand and to provide the theoretical basis for the computer program constructs on the other.
Release

Handbook of Modal Logic

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

Publisher: Elsevier

ISBN: 9780080466668

Category: Mathematics

Page: 1260

View: 7578

DOWNLOAD NOW »

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
Release

Handbook of Logic in Artificial Intelligence and Logic Programming: Epistemic and temporal reasoning

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

Publisher: Oxford University Press, USA

ISBN: 9780198537915

Category: Computers

Page: 611

View: 4638

DOWNLOAD NOW »

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.
Release

Philosophy of Logic

Author: N.A

Publisher: Elsevier

ISBN: 9780080466637

Category: Mathematics

Page: 1218

View: 311

DOWNLOAD NOW »

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
Release

Handbook of the History of Logic: Inductive logic

Author: Dov M. Gabbay,John Hayden Woods

Publisher: Elsevier

ISBN: 0444529365

Category: Induction (Logic)

Page: 785

View: 3645

DOWNLOAD NOW »

In designing the Handbook of the History of Logic, the Editors have taken the view that the history of logic holds more than an antiquarian interest, and that a knowledge of logic's rich and sophisticated development is, in various respects, relevant to the research programmes of the present day. Ancient logic is no exception. The present volume attests to the distant origins of some of modern logic's most important features, such as can be found in the claim by the authors of the chapter on Aristotle's early logic that, from its infancy, the theory of the syllogism is an example of an intuitionistic, non-monotonic, relevantly paraconsistent logic. Similarly, in addition to its comparative earliness, what is striking about the best of the Megarian and Stoic traditions is their sophistication and originality.
Release

The Oxford Handbook of Reasons and Normativity

Author: Daniel Star

Publisher: Oxford University Press

ISBN: 0199657882

Category: Philosophy

Page: 1104

View: 8157

DOWNLOAD NOW »

The Oxford Handbook of Reasons and Normativity maps a central terrain of philosophy, and provides an authoritative guide to it. Few concepts have received as much attention in recent philosophy as the concept of a reason to do or believe something. And one of the most contested ideas in philosophy is normativity, the 'ought' in claims that we ought to do or believe something. This is the first volume to provide broad coverage of the study of reasons and normativity across multiple philosophical subfields. In addition to focusing on reasons in ethics, epistemology, and the philosophy of mind, action, and language, the Handbook explores philosophical work on the nature of normativity in general. Topics covered include: the unity of normativity; the fundamentality of reasons; attempts to explain reasons in other terms; the relation of motivational reasons to normative reasons; the internalist constraint; the logic and language of reasons and 'ought'; connections between reasons, intentions, choices, and actions; connections between reasons, reasoning, and rationality; connections between reasons, knowledge, understanding and evidence; reasons encountered in perception and testimony; moral principles, prudence and reasons; agent-relative reasons; epistemic challenges to our access to reasons; normativity in relation to meaning, concepts, and intentionality; instrumental reasons; pragmatic reasons for belief; aesthetic reasons; and reasons for emotions.
Release