Ignorance as an excuse, formally
Fuente:
arXiv
Saved in:
| Main Authors: | , , |
|---|---|
| Format: | Preprint |
| Published: |
2025
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866914137045467136 |
|---|---|
| author | Kubyshkina, Ekaterina Pereira, Marcio Kléos Petrolo, Mattia |
| author_facet | Kubyshkina, Ekaterina Pereira, Marcio Kléos Petrolo, Mattia |
| contents | There is a lively debate in the current literature on epistemology on which type of ignorance may provide a moral excuse. A good candidate is the one in which an agent has never thought about or considered as true a proposition $p$. From a logical perspective, it is usual to model situations involving ignorance by means of epistemic logic. However, no formal analysis has been provided for ignorance as an excuse. We fill this gap by proposing an original logical setting for modelling this type of ignorance. In particular, we introduce a complete and sound logic in which excusable ignorance is expressed as a primitive modality. This logic is characterized by Kripke semantics with possibly incomplete worlds. Moreover, to consider the conditions of a possible change of an agent's ignorance, we will extend the setting to public announcement logic equipped with a novel update procedure. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2511_02942 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | Ignorance as an excuse, formally Kubyshkina, Ekaterina Pereira, Marcio Kléos Petrolo, Mattia Logic There is a lively debate in the current literature on epistemology on which type of ignorance may provide a moral excuse. A good candidate is the one in which an agent has never thought about or considered as true a proposition $p$. From a logical perspective, it is usual to model situations involving ignorance by means of epistemic logic. However, no formal analysis has been provided for ignorance as an excuse. We fill this gap by proposing an original logical setting for modelling this type of ignorance. In particular, we introduce a complete and sound logic in which excusable ignorance is expressed as a primitive modality. This logic is characterized by Kripke semantics with possibly incomplete worlds. Moreover, to consider the conditions of a possible change of an agent's ignorance, we will extend the setting to public announcement logic equipped with a novel update procedure. |
| title | Ignorance as an excuse, formally |
| topic | Logic |
| url | https://arxiv.org/abs/2511.02942 |