A Logical Modeling of Severe Ignorance. Bonzio, S., Fano, V., Graziani, P., & Pra Baldi, M. Journal of Philosophical Logic, 52(4):1053–1080, August, 2023. ![A Logical Modeling of Severe Ignorance [link]](https://bibbase.org/img/filetypes/link.svg "link")
Paper doi abstract bibtex In the logical context, ignorance is traditionally defined recurring to epistemic logic. In particular, ignorance is essentially interpreted as “lack of knowledge”. This received view has - as we point out - some problems, in particular we will highlight how it does not allow to express a type of content-theoretic ignorance, i.e. an ignorance of φ that stems from an unfamiliarity with its meaning. Contrarily to this trend, in this paper, we introduce and investigate a modal logic having a primitive epistemic operator I, modeling ignorance. Our modal logic is essentially constructed on the modal logics based on weak Kleene three-valued logic introduced by Segerberg (Theoria, 33(1):53–71, 1997). Such non-classical propositional basis allows to define a Kripke-style semantics with the following, very intuitive, interpretation: a formula φ is ignored by an agent if φ is neither true nor false in every world accessible to the agent. As a consequence of this choice, we obtain a type of content-theoretic notion of ignorance, which is essentially different from the traditional approach. We dub it severe ignorance. We axiomatize, prove completeness and decidability for the logic of reflexive (three-valued) Kripke frames, which we find the most suitable candidate for our novel proposal and, finally, compare our approach with the most traditional one.
@article{bonzio_logical_2023,
title = {A {Logical} {Modeling} of {Severe} {Ignorance}},
volume = {52},
issn = {1573-0433},
url = {https://doi.org/10.1007/s10992-022-09697-x},
doi = {10.1007/s10992-022-09697-x},
abstract = {In the logical context, ignorance is traditionally defined recurring to epistemic logic. In particular, ignorance is essentially interpreted as “lack of knowledge”. This received view has - as we point out - some problems, in particular we will highlight how it does not allow to express a type of content-theoretic ignorance, i.e. an ignorance of φ that stems from an unfamiliarity with its meaning. Contrarily to this trend, in this paper, we introduce and investigate a modal logic having a primitive epistemic operator I, modeling ignorance. Our modal logic is essentially constructed on the modal logics based on weak Kleene three-valued logic introduced by Segerberg (Theoria, 33(1):53–71, 1997). Such non-classical propositional basis allows to define a Kripke-style semantics with the following, very intuitive, interpretation: a formula φ is ignored by an agent if φ is neither true nor false in every world accessible to the agent. As a consequence of this choice, we obtain a type of content-theoretic notion of ignorance, which is essentially different from the traditional approach. We dub it severe ignorance. We axiomatize, prove completeness and decidability for the logic of reflexive (three-valued) Kripke frames, which we find the most suitable candidate for our novel proposal and, finally, compare our approach with the most traditional one.},
language = {en},
number = {4},
urldate = {2024-03-29},
journal = {Journal of Philosophical Logic},
author = {Bonzio, S. and Fano, V. and Graziani, P. and Pra Baldi, M.},
month = aug,
year = {2023},
keywords = {Bochvar external logic, Ignorance, PRINTED (Fonds papier), Three-valued modal logic, Weak Kleene logic},
pages = {1053--1080},
}
Downloads: 0
{"_id":"NKeG6aGthWQxLo95Z","bibbaseid":"bonzio-fano-graziani-prabaldi-alogicalmodelingofsevereignorance-2023","author_short":["Bonzio, S.","Fano, V.","Graziani, P.","Pra Baldi, M."],"bibdata":{"bibtype":"article","type":"article","title":"A Logical Modeling of Severe Ignorance","volume":"52","issn":"1573-0433","url":"https://doi.org/10.1007/s10992-022-09697-x","doi":"10.1007/s10992-022-09697-x","abstract":"In the logical context, ignorance is traditionally defined recurring to epistemic logic. In particular, ignorance is essentially interpreted as “lack of knowledge”. This received view has - as we point out - some problems, in particular we will highlight how it does not allow to express a type of content-theoretic ignorance, i.e. an ignorance of φ that stems from an unfamiliarity with its meaning. Contrarily to this trend, in this paper, we introduce and investigate a modal logic having a primitive epistemic operator I, modeling ignorance. Our modal logic is essentially constructed on the modal logics based on weak Kleene three-valued logic introduced by Segerberg (Theoria, 33(1):53–71, 1997). Such non-classical propositional basis allows to define a Kripke-style semantics with the following, very intuitive, interpretation: a formula φ is ignored by an agent if φ is neither true nor false in every world accessible to the agent. As a consequence of this choice, we obtain a type of content-theoretic notion of ignorance, which is essentially different from the traditional approach. We dub it severe ignorance. We axiomatize, prove completeness and decidability for the logic of reflexive (three-valued) Kripke frames, which we find the most suitable candidate for our novel proposal and, finally, compare our approach with the most traditional one.","language":"en","number":"4","urldate":"2024-03-29","journal":"Journal of Philosophical Logic","author":[{"propositions":[],"lastnames":["Bonzio"],"firstnames":["S."],"suffixes":[]},{"propositions":[],"lastnames":["Fano"],"firstnames":["V."],"suffixes":[]},{"propositions":[],"lastnames":["Graziani"],"firstnames":["P."],"suffixes":[]},{"propositions":[],"lastnames":["Pra","Baldi"],"firstnames":["M."],"suffixes":[]}],"month":"August","year":"2023","keywords":"Bochvar external logic, Ignorance, PRINTED (Fonds papier), Three-valued modal logic, Weak Kleene logic","pages":"1053–1080","bibtex":"@article{bonzio_logical_2023,\n\ttitle = {A {Logical} {Modeling} of {Severe} {Ignorance}},\n\tvolume = {52},\n\tissn = {1573-0433},\n\turl = {https://doi.org/10.1007/s10992-022-09697-x},\n\tdoi = {10.1007/s10992-022-09697-x},\n\tabstract = {In the logical context, ignorance is traditionally defined recurring to epistemic logic. In particular, ignorance is essentially interpreted as “lack of knowledge”. This received view has - as we point out - some problems, in particular we will highlight how it does not allow to express a type of content-theoretic ignorance, i.e. an ignorance of φ that stems from an unfamiliarity with its meaning. Contrarily to this trend, in this paper, we introduce and investigate a modal logic having a primitive epistemic operator I, modeling ignorance. Our modal logic is essentially constructed on the modal logics based on weak Kleene three-valued logic introduced by Segerberg (Theoria, 33(1):53–71, 1997). Such non-classical propositional basis allows to define a Kripke-style semantics with the following, very intuitive, interpretation: a formula φ is ignored by an agent if φ is neither true nor false in every world accessible to the agent. As a consequence of this choice, we obtain a type of content-theoretic notion of ignorance, which is essentially different from the traditional approach. We dub it severe ignorance. We axiomatize, prove completeness and decidability for the logic of reflexive (three-valued) Kripke frames, which we find the most suitable candidate for our novel proposal and, finally, compare our approach with the most traditional one.},\n\tlanguage = {en},\n\tnumber = {4},\n\turldate = {2024-03-29},\n\tjournal = {Journal of Philosophical Logic},\n\tauthor = {Bonzio, S. and Fano, V. and Graziani, P. and Pra Baldi, M.},\n\tmonth = aug,\n\tyear = {2023},\n\tkeywords = {Bochvar external logic, Ignorance, PRINTED (Fonds papier), Three-valued modal logic, Weak Kleene logic},\n\tpages = {1053--1080},\n}\n\n","author_short":["Bonzio, S.","Fano, V.","Graziani, P.","Pra Baldi, M."],"key":"bonzio_logical_2023","id":"bonzio_logical_2023","bibbaseid":"bonzio-fano-graziani-prabaldi-alogicalmodelingofsevereignorance-2023","role":"author","urls":{"Paper":"https://doi.org/10.1007/s10992-022-09697-x"},"keyword":["Bochvar external logic","Ignorance","PRINTED (Fonds papier)","Three-valued modal logic","Weak Kleene logic"],"metadata":{"authorlinks":{}}},"bibtype":"article","biburl":"http://bibbase.org/zotero-group/science_et_ignorance/1340424","dataSources":["zX4acseCDM6D58AW7","5XkfmA9xajmKjWGio"],"keywords":["bochvar external logic","ignorance","printed (fonds papier)","three-valued modal logic","weak kleene logic"],"search_terms":["logical","modeling","severe","ignorance","bonzio","fano","graziani","pra baldi"],"title":"A Logical Modeling of Severe Ignorance","year":2023}