An Acceptance Semantics for Stable Modal Knowledge

07/11/2023
by   Peter Hawke, et al.
0

We observe some puzzling linguistic data concerning ordinary knowledge ascriptions that embed an epistemic (im)possibility claim. We conclude that it is untenable to jointly endorse both classical logic and a pair of intuitively attractive theses: the thesis that knowledge ascriptions are always veridical and a `negative transparency' thesis that reduces knowledge of a simple negated `might' claim to an epistemic claim without modal content. We motivate a strategy for answering the trade-off: preserve veridicality and (generalized) negative transparency, while abandoning the general validity of contraposition. We survey and criticize various approaches for incorporating veridicality into domain semantics, a paradigmatic `information-sensitive' framework for capturing negative transparency and, more generally, the non-classical behavior of sentences with epistemic modals. We then present a novel information-sensitive semantics that successfully executes our favored strategy: stable acceptance semantics.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
07/22/2019

Founded (Auto)Epistemic Equilibrium Logic Satisfies Epistemic Splitting

In a recent line of research, two familiar concepts from logic programmi...
research
07/13/2019

Statistical Epistemic Logic

We introduce a modal logic for describing statistical knowledge, which w...
research
09/19/2017

Reasoning about proof and knowledge

In previous work [Lewitzka, 2017], we presented a hierarchy of classical...
research
03/06/2022

The Orthologic of Epistemic Modals

Epistemic modals have peculiar logical features that are challenging to ...
research
05/14/2014

ESmodels: An Epistemic Specification Solver

(To appear in Theory and Practice of Logic Programming (TPLP)) ESmodel...
research
07/28/2023

DELPHIC: Practical DEL Planning via Possibilities (Extended Version)

Dynamic Epistemic Logic (DEL) provides a framework for epistemic plannin...

Please sign up or login with your details

Forgot password? Click here to reset