Active Agents

  title={Active Agents},
  author={Vincent F. Hendricks},
  journal={Journal of Logic, Language and Information},
  • V. Hendricks
  • Published 1 September 2003
  • Philosophy
  • Journal of Logic, Language and Information
The purpose of this survey is twofold: (1) to place some centralthemes of epistemic logic in a general epistemological context,and (2) to outline a new framework for epistemic logic developedjointly with S. Andur Pedersen unifying some key ``mainstream''epistemological concerns with the ``formal'' epistemologicalapparatus. 

Agency and Interaction What We Are and What We Do in Formal Epistemology

Formal epistemology is a recent field of study in formal philosophy dating back only a couple of decades or so (Hendricks 2006; Helzner and Hendricks 2011). The point of departure of this essay is

Justification Logic

Justification Logic offers a new approach to a theory of knowledge, belief, and evidence, which possesses the potential to have significant impact on applications. The celebrated account of knowledge

Epistemic Logic and Epistemology: The State of their Affairs

At first sight, the modern agenda of epistemology has little to do with logic. Topics include different definitions of knowledge, its basic formal properties, debates between externalist and

Logic, rational agency, and intelligent interaction

We make a plea for recasting logic as a theory of interactive agency, and show how this perspective fits both old achievements and new broader ambitions for the field.

Why Do We Need Justification Logic

The notion of justification was conspicuously absent in the mathematical models of knowledge within the epistemic logic framework and the following analysis was adopted.

On epistemic logic with justification

It is suggested an epistemic semantics which augments Kripke models with a natural Fitting-style treatment of justification assertions t:F, and some new specific properties of basic systems of epistemic logic with justification are established.

TR-2008014: Why Do We Need Justification Logic?

It is argued that modal language fails to fully represent the epistemic closure principle whereas Justification Logic provides its adequate formalization.

Logic and the Dynamics of Information

We discuss how issues of information and computation interact with logic today, and what might be a natural extended agenda of investigation.

A Logical Framework for Convention

It is shown how a formalization based on modal logic can incorporate those distinctive aspects introduced by David Lewis in Convention.

Logical Dynamics of Information and Interaction

A new view of logic as a theory of information-driven agency and intelligent interaction between many agents is developed, unifying all these systems, and positioning them at the interface of logic, philosophy, computer science and game theory.



Epistemic logic for AI and computer science

  • John-Jules Charles MeyerWiebe van der Hoek
  • Education, Philosophy
    Cambridge tracts in theoretical computer science
  • 1995
This book, based on courses taught at universities and summer schools, provides a broad introduction to the subject and considers applications in the areas of common knowledge, distributed knowledge, explicit and implicit belief.

Epistemic folkways and scientific epistemology

What is the mission of epistemology, and what is its proper methodology? Such meta-epistemological questions have been prominent in recent years, especially with the emergence ofvarious brands of

Knowledge, Belief, and Subjective Probability: Outlines of a Unified System of Epistemic/Doxastic Logic

The aims of this paper are (i) to summarize the semantics of (the propositional part of) a unified epistemic/doxastic logic as it has been developed at greater length in (48) and (ii) to use some of

What is Justified Belief

The aim of this paper is to sketch a theory of justified belief. What I have in mind is an explanatory theory, one that explains in a general way why certain beliefs are counted as justified and

Common Knowledge Revisited

Bayes or Bust?-A Critical Examination of Bayesian Confirmation Theory.

Bayes' Bayesianism the machinery of modern Bayesianism success stories challenges met the problem of old evidence the rationality and objectivity of scientific inference a plea for eliminative

The coherence theory of empirical knowledge

In a paper written for a commemorative symposium on the philosophy of C. I. Lewis, Roderick Firth remarks that Lewis liked to confront his Harvard epistemology students with a fundamental choice

The Logic of Public Announcements and Common Knowledge and Private Suspicions

This paper presents a logical system in which various group-level epistemic actions are incorporated into the object language and contains the infinitary operators used in the standard modeling of common knowledge.

Assessment and Discovery in the Limit of Scientific Inquiry

It seems to be the case of many, at least early, confirmation theorists or justificationists that they did not insist on convergence to a correct hypothesis, and therefore, one could confirm forever heading nowhere near the correct answer.

Laws, Facts, and Contexts: Foundations for Multimodal Reasoning

A family of nested graph models is defined, which can be specialized to a wide variety of model structures, including Kripke’s models, situation semantics, temporal models, and many variations of them, and it is proved that nothing more than FOL is required.