Inexact knowledge and dynamic introspection
نویسندگان
چکیده
Cases of inexact observations have been used extensively in the recent literature on higher-order evidence and knowledge. I argue that received understanding is mistaken. Although it convenient to assume such cases can be modeled statically, they should analyzed as dynamic involve change Consequently, underlying logic epistemic logic, not its static counterpart. When reasoning about knowledge, easy confuse initial situation, observation process, result observation; analyze three separately. This approach has far reaching implications: Williamson’s influential argument against KK principle loses force, new insights gained regarding synchronic diachronic introspection principles.
منابع مشابه
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...
متن کاملA non-standard Semantics for 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 euclidian. Correlatively, Williamson’s margin for error semantics for inexact knowledge invalidates axioms 4 and 5. We state a non-standard semantics for modal logic which is shown to be...
متن کامل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)...
متن کاملInexact Dynamic Bundle Methods
We give a proximal bundle method for minimizing a convex function f over R+. It requires evaluating f and its subgradients with a possibly unknown accuracy ε ≥ 0, and maintains a set of free variables I to simplify its prox subproblems. The method asymptotically finds points that are ε-optimal. In Lagrangian relaxation of convex programs, it allows for ε-accurate solutions of Lagrangian subprob...
متن کامل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...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Synthese
سال: 2021
ISSN: ['0039-7857', '1573-0964']
DOI: https://doi.org/10.1007/s11229-021-03033-7