{"id":"arxiv/2603.09569","url":"https://arxiv.org/abs/2603.09569","tags":["math.LO"],"score":0,"title":"Ignorance with(out) Grasping","domain":"math.LO","source":"arxiv","authors":["Ekaterina Kubyshkina","Mattia Petrolo"],"reviews":0,"subject":"math.LO","summary":"In this work, we argue that ignorance can be inherently understood as a hyperintensional notion. When faced with two logically or necessarily equivalent propositions, an agent may be ignorant of one while not of the other. To capture formally this intuition, we employ a topic-sensitive semantics, enabling the modeling of an agent's attitude toward the content of a proposition. Within this framework, we reevaluate three existing logical systems, usually characterized by standard Kripke semantics, to account for three forms of ignorance: ignorance whether, ignorance as unknown truth, and…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-03-10","reactions":{}}