Fuzzy Truth, Fuzzy Support and Fuzzy Information States for Inquisitive Semantics

0575737 - FLÚ 2024 RIV GR eng C - Konferenční příspěvek (zahraniční konf.)
Punčochář, Vít
Fuzzy Truth, Fuzzy Support and Fuzzy Information States for Inquisitive Semantics.
Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning. Rhodes: International Joint Conferences on Artificial Intelligence Organization, 2023 - (Marquis, P.; Son, T.; Kern-Isberner, G.), s. 572-581. ISBN 978-1-956792-02-7.
[KR2023: International Conference on Principles of Knowledge Representation and Reasoning /20./. Rhodes (GR), 02.09.2023-08.09.2023]
Grant CEP: GA ČR(CZ) GM21-23610M
Institucionální podpora: RVO:67985955
Klíčová slova: fuzzy logic * logic of questions * inquisitive semantics * information states
Obor OECD: Philosophy, History and Philosophy of science and technology
https://doi.org/10.24963/kr.2023/56

In logic, the meaning of a sentence is usually reduced to its truth conditions. However, this makes sense only for declarative sentences. In order to model also the meaning of questions, inquisitive semantics replaces the truth-conditional approach relating sentences to possible worlds with a support-conditional approach that relates sentences to information states. The standard framework of inquisitive semantics is based on a crisp notion of an information state, defined as a set of possible worlds, and a crisp relation of informational support. This paper introduces and studies two refinements of the standard framework. The first refinement takes into account fuzzy information states (defined as fuzzy sets of possible worlds) and the second one introduces a notion of fuzzy informational support. The main result of this paper shows that in the resulting framework that fuzzifies inquisitive semantics in two different directions we obtain an abstract and very general version of a principle known from the basic inquisitive semantics as Truth-Support Bridge.
Trvalý link: https://hdl.handle.net/11104/0346057