Awareness in Logic and Epistemology
Awareness in Logic and Epistemology

Author: Claudia Fernández-Fernández

Publisher: Springer Nature

Published: 2021-06-19

Total Pages: 142

ISBN-13: 3030696065

DOWNLOAD EBOOK

This book creates a conceptual schema that acts as a correlation between Epistemology and Epistemic Logic. It connects both fields and offers a proper theoretical foundation for the contemporary developments of Epistemic Logic regarding the dynamics of information. It builds a bridge between the view of Awareness Justification Internalism, and a dynamic approach to Awareness Logic. The book starts with an introduction to the main topics in Epistemic Logic and Epistemology and reviews the disconnection between the two fields. It analyses three core notions representing the basic structure of the conceptual schema: “Epistemic Awareness”, “Knowledge” and “Justification”. Next, it presents the Explicit Aware Knowledge (EAK) Schema, using a diagram of three ellipses to illustrate the schema, and a formal model based on a neighbourhood-model structure, that shows one concrete application of the EAK-Schema into a logical structure. The book ends by presenting conclusions and final remarks about the uses and applications of the EAK-Schema. It shows that the most important feature of the schema is that it serves both as a theoretical correlate to the dynamic extensions of Awareness Logic, providing it with a philosophical background, and as an abstract conceptual structure for a re-interpretation of Epistemology.

Handbook of Epistemic Logic
Handbook of Epistemic Logic

Author: Hans van Ditmarsch

Publisher:

Published: 2015-02-05

Total Pages: 676

ISBN-13: 9781848901582

DOWNLOAD EBOOK

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.

Reasoning About Knowledge
Reasoning About Knowledge

Author: Ronald Fagin

Publisher: MIT Press

Published: 2004-01-09

Total Pages: 576

ISBN-13: 9780262562003

DOWNLOAD EBOOK

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.

Frege on Thinking and Its Epistemic Significance
Frege on Thinking and Its Epistemic Significance

Author: Pieranna Garavaso

Publisher: Lexington Books

Published: 2014-11-12

Total Pages: 140

ISBN-13: 0739178393

DOWNLOAD EBOOK

Pieranna Garavaso and Nicla Vassallo investigate Gottlob Frege's notion of thinking (das Denken) to provide a new analysis of a largely unexplored area of the philosopher's work. Confronting Frege's deeply seated and widely emphasized anti-psychologism, Frege on Thinking and Its Epistemic Significance claims that the objective human science that Frege proposed can only be possible through a nuanced notion of thinking as neither merely psychological nor merely logical. Focusing on what Frege says about thinking in many passages from his works, Garavaso and Vassallo argue that Frege was engaged with issues that are still alive in contemporary debates, such as the definition of knowledge and the necessary role of language in conceptual thinking and in the expression of thoughts. Frege on Thinking and Its Epistemic Significance is essential not only for those interested in a new and original reading of Frege’s philosophy, but also for anyone engaged in epistemology, logic, psychology, philosophy of language, and the history of analytic philosophy.

Justification Logic
Justification Logic

Author: Sergei Artemov

Publisher: Cambridge University Press

Published: 2019-05-02

Total Pages: 271

ISBN-13: 1108424910

DOWNLOAD EBOOK

Develops a new logic paradigm which emphasizes evidence tracking, including theory, connections to other fields, and sample applications.

Dynamic Epistemic Logic
Dynamic Epistemic Logic

Author: Hans van Ditmarsch

Publisher: Springer Science & Business Media

Published: 2007-05-06

Total Pages: 303

ISBN-13: 140205839X

DOWNLOAD EBOOK

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.

Knowledge First
Knowledge First

Author: J. Adam Carter

Publisher: Oxford University Press

Published: 2017

Total Pages: 304

ISBN-13: 0198716311

DOWNLOAD EBOOK

'Knowledge-First' constitutes what is widely regarded as one of the most significant innovations in contemporary epistemology in the past 25 years. Knowledge-first epistemology is the idea that knowledge per se should not be analysed in terms of its constituent parts (e.g., justification, belief), but rather that these and other notions should be analysed in terms of the concept of knowledge. This volume features a substantive introduction and 13 original essaysfrom leading and up-and-coming philosophers on the topic of knowledge-first philosophy. The contributors' essays range from foundational issues to applications of this project to other disciplinesincluding the philosophy of mind, the philosophy of perception, ethics and action theory. Knowledge First: Approaches in Epistemology and Mind aims to provide a relatively open-ended forum for creative and original scholarship with the potential to contribute and advance debates connected with this philosophical project.

Interdisciplinary Works in Logic, Epistemology, Psychology and Linguistics
Interdisciplinary Works in Logic, Epistemology, Psychology and Linguistics

Author: Manuel Rebuschi

Publisher: Springer

Published: 2014-06-30

Total Pages: 371

ISBN-13: 3319030442

DOWNLOAD EBOOK

This book presents comparisons of recent accounts in the formalization of natural language (dynamic logics and formal semantics) with informal conceptions of interaction (dialogue, natural logic and attribution of rationality) that have been developed in both psychology and epistemology. There are four parts which explore: historical and systematic studies; the formalization of context in epistemology; the formalization of reasoning in interactive contexts in psychology; the formalization of pathological conversations. Part one discusses the Erlangen School, which proposed a logical analysis of science as well as an operational reconstruction of psychological concepts. These first chapters provide epistemological and psychological insights into a conceptual reassessment of rational reconstruction from a pragmatic point of view. The second focus is on formal epistemology, where there has recently been a vigorous contribution from experts in epistemic and doxatic logics and an attempt to account for a more realistic, cognitively plausible conception of knowledge. The third part of this book examines the meeting point between logic and the human and social sciences and the fourth part focuses on research at the intersection between linguistics and psychology. Internationally renowned scholars have contributed to this volume, building on the findings and themes relevant to an interdisciplinary scientific project called DiaRaFor (“Dialogue, Rationality, Formalisms”) which was hosted by the MSH Lorraine (Lorraine Institute for Social Sciences and Humanities) from 2007 to 2011.