Reasoning about assertions, obligations and causality on a categorical semantics for a logic for pragmatics
The aim of the logic for pragmatics considered in this work is to provide a logical framework that formalises reasoning about the pragmatic forces with which a sentence may be uttered. The concept of pragmatic or illocutionary force comes from speech act theory and plays a crucial role also in certain branches of artificial intelligence, in particular in the development of communication protocols for software agents. Instead of considering the full-blown theory of speech acts, we focus on speech acts that either have the pragmatic force of an assertion or the pragmatic force of an obligation, and on how these speech acts may be related to each other. In particular, we are interested in a principle proposed by Bellin and Dalla Pozza that allows one to promote acts of obligations through causal chains of acts of assertions. The main achievement of this thesis is a sound and complete categorical semantics for a logic for pragmatics incorporating the aforementioned principle. One of the benefits of the proposed semantics is that it allows one to deal with conditional obligations as well, thus extending the framework in a very interesting way. Although the logical framework considered in this work incorporates
Ranalter, Kurt
Linguistics ; Pragmatics ; speech acts ; semantics
Reasoning about assertions, obligations and causality on a categorical semantics for a logic for pragmatics. The aim of the logic for pragmatics considered in this work is to provide a logical framework that formalises reasoning about the pragmatic forces with which a sentence may be uttered. The concept of pragmatic or illocutionary force comes from speech act theory and plays a crucial role also in certain branches of artificial intelligence, in particular in the development of communication protocols for software agents. Instead of considering the full-blown theory of speech acts, we focus on speech acts that either have the pragmatic force of an assertion or the pragmatic force of an obligation, and on how these speech acts may be related to each other. In particular, we are interested in a principle proposed by Bellin and Dalla Pozza that allows one to promote acts of obligations through causal chains of acts of assertions. The main achievement of this thesis is a sound and complete categorical semantics for a logic for pragmatics incorporating the aforementioned principle. One of the benefits of the proposed semantics is that it allows one to deal with conditional obligations as well, thus extending the framework in a very interesting way. Although the logical framework considered in this work incorporates
reasoning assertion obligation causality categorical semantics logic pragmatic aim logic pragmatic consider work provide logical framework reason pragmatic force sentence may utter concept pragmatic illocutionary force come speech_act_theory play_crucial_role also certain branch artificial_intelligence particular development communication protocol software agent instead consider full blown theory speech_act focus speech_act either pragmatic force assertion pragmatic force obligation speech_act may_relate other particular interested principle propose allow promote act obligation causal chain act assertion main achievement sound complete categorical semantics logic pragmatic incorporate aforementioned principle benefit propose semantics allow one_deal conditional obligation well thus extend framework interesting way although logical framework consider work incorporates