Knowledge, belief, normality, and introspection
نویسندگان
چکیده
منابع مشابه
Interpreting Knowledge into Belief in the Presence of Negative Introspection
This paper studies a particular interpretation of propositional modal logic into propositional modal logic. Under an epistemic reading of the modality this interpretation can be understood as taking knowledge to be true belief. All normal modal logics of belief that under this definition of knowledge give rise to S5 as the logic of knowledge are determined. And all the normal modal logics of be...
متن کاملBelief Change with Noisy Sensing and Introspection
We model belief change due to noisy sensing, and belief introspection in the framework of the situation calculus. We give some properties of our axiomatization and show that it does not suffer from the problems with combining sensing, introspection, and plausibility update described in Shapiro et al. [2000].
متن کاملSelf-Knowledge, Introspection and Memory
Self-knowledge (S-K) has a variety of dimensions and philosophers have proposed, and continue to propose, a host of different methods to explore or to establish the principles of a very particular form of knowledge such as this. What is quite impressive in the philosophical literature (by which I mean not only that of analytical inspiration but also that of the so-called continental philosophy)...
متن کاملA Computational Theory of Belief Introspection
Introspection is a general term covering the ability of an agent to reflect upon the workings of his own cognitive functions. In this paper we wi l l be concerned wi th developing an explanatory theory of a particular type of introspection: a robot agent's knowledge of his own beliefs. The development is both descriptive, in the sense of being able to capture introspective behavior as it exist;...
متن کاملInexact Knowledge with Introspection
Standard Kripke models are inadequate to model situations of inexact knowledge with introspection, since positive and negative introspection force the relation of epistemic indiscernibility to be transitive and euclidean. Correlatively, Williamson’s margin for error semantics for inexact knowledge invalidates axioms 4 and 5. We present a new semantics for modal logic which is shown to be comple...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Synthese
سال: 2017
ISSN: 0039-7857,1573-0964
DOI: 10.1007/s11229-017-1353-8