Konolige''s technical notion of belief based on deduction structures is briefly reviewed and its usefulness for the design of artificial agents with limited representational and deductive capacities is pointed out. The design of artificial agents with more sophisticated representational and deductive capacities is then taken into account. Extended representational capacities require in the first place a solution to the intensional context problems. As an alternative to Konolige''s modal first-order language, an approach based on type-free property theory is proposed. It considers (...) often neglected issues, such as the need for a more general account of thede dicto-de re distinction, and quasi-indicators. Extended deductive capacities require a subdivision of Konolige''s notion of belief into two distinct technical notions,potential anddispositional belief. The former has to do with what an artificial agent could in principle come to actively believe, given enough time and its specific logical competence; the latter with what an agent can be assumed to believe with respect to a specific goal to be fulfilled. (shrink)

How should the contrastivist formulate closure? That is, given that knowledge is a ternary contrastive state Kspq (s knows that p rather than q), how does this state extend under entailment? In what follows, I will identify adequacy conditions for closure, criticize the extant invariantist and contextualist closure schemas, and provide a contrastive schema based on the idea of extending answers. I will conclude that only the contrastivist can adequately formulate closure.

A number of significant contributions in the last four decades show that non-normal modal logics can be fruitfully employed in several applied fields. Well-known domains are epistemic logic, deontic logic, and systems capturing different aspects of action and agency such as the modal logic of agency, concurrent propositional dynamic logic, game logic, and coalition logic. Semantics for such logics are traditionally based on neighbourhood models. However, other model-theoretic semantics can be used for this purpose. Here, we systematically study multi-relational structures, (...) whose investigation is still relatively underdeveloped. After a brief introduction to two different versions of multi-relational semantics – which we call strong and weak multi-relational semantics – we proceed to study several modal schemata. Special attention is paid to the schemata CON and D. Finally we offer completeness proofs for several systems using both strong and weak semantic tools: The proofs thus cover both classical system.. (shrink)

Do you know who you are? If the question seems unclear, it might owe to the notion of ‘knowing-wh’ (knowing-who, knowing-what, knowing-when, etc.). Such knowledge contrasts with ‘knowing-that’, the more familiar topic of epistemologists. But these days, knowing-wh is receiving more attention than ever, and here we will survey three current debates on the nature of knowing-wh. These debates concern, respectively, (1) whether all knowing-wh is reducible to knowing-that (‘generalized intellectualism’), (2) whether all knowing-wh is relativized to a contrast proposition (...) (‘contrastivism about knowing-wh’), and (3) whether the context-sensitivity of knowing-wh is a semantic or purely pragmatic phenomenon (‘contextualism vs. invariantism about knowing-wh’). (shrink)

Causal analyses of one’s knowing that p have recently emphasized the involvement of cognitive virtues in coming to believe that p. John Greco suggests that in order to deal with Gettier-type cases, a virtue analysis of knowing should include a requirement that one’s knowing does not in a certain way involve abnormality. Yet Greco’s emphasis on statistical abnormality either renders his analysis subject to a generality problem or to objections regarding certain Gettier-type cases. When we instead consider abnormality in the (...) sense of a causally differentiating factor in relation to a causal contrast situation, the account remains unclear concerning its application to an interesting non-Gettier-type case concerning chance. The exploration of these shortcomings casts doubt on the epistemological usefulness of the schema, ‘If you know, then there is no abnormality in your being right. ’. (shrink)

Much of the extant discussion focuses on the question of whether contextualism resolves skeptical paradoxes. Understandably. Yet there has been less discussion as to the internal structure of contextualist theories. Regrettably. Here, for instance, are two questions that could stand further discussion: (i) what is the linguistic basis for contextualism and (ii) what is the parameter that shifts with context?