A joint modelling of objective worlds and subjective perceptions within two-dimensional semantics eliminates the margin for error principle and solves the epistemic sorites paradox. Two objective knowledge modalities can be defined in two-dimensional frames accounting for subjective perceptions: “necessary knowledge” (NK) and “possible knowledge” (PK), the latter being better suited to the interpretation of knowledge utterances. Two-dimensional semantics can in some cases be reduced to one-dimensional ones, by defining accessibility relations between objective worlds that reflect subjective perceptions: NK and PK (...) are respectively equivalent to ${\square \square }$ and ${\lozenge \square }$ in some one-dimensional frame, and to ${\square }$ and another modality in some other. (shrink)

This paper considers, and rejects, three strategies aimed at showing that the KK-principle fails even in most favourable circumstances (all emerging from Williamson’s Knowledge and its Limits ). The case against the final strategy provides positive grounds for thinking that the principle should hold good in such situations.

Williamson (2000) argues that the KK principle is inconsistent with knowledge of margin for error in cases of inexact perceptual observations. This paper argues, primarily by analogy to a different scenario, that Williamson’s argument is fallacious. Margin for error principles describe the agent’s knowledge as a result of an inexact perceptual event, not the agent’s knowledge state in general. Therefore, epistemic agents can use their knowledge of margin for error at most once after a perceptual event, but not more. This (...) insight blocks a crucial step in Williamson’s original argument. Along the way, the value of standard epistemic logic for analyzing margin for error reasoning is challenged. (shrink)

Cases of inexact observations have been used extensively in the recent literature on higher-order evidence and higher-order knowledge. I argue that the received understanding of inexact observations is mistaken. Although it is convenient to assume that such cases can be modeled statically, they should be analyzed as dynamic cases that involve change of knowledge. Consequently, the underlying logic should be dynamic epistemic logic, not its static counterpart. When reasoning about inexact knowledge, it is easy to confuse the initial situation, the (...) observation process, and the result of the observation; I analyze the three separately. This dynamic approach has far reaching implications: Williamson’s influential argument against the KK principle loses its force, and new insights can be gained regarding synchronic and diachronic introspection principles. (shrink)