• Login
    JavaScript is disabled for your browser. Some features of this site may not work without it.
    Reasoning about assertions, obligations and causality on a categorical semantics for a logic for pragmatics 
    •   QMRO Home
    • Queen Mary University of London Theses
    • Theses
    • Reasoning about assertions, obligations and causality on a categorical semantics for a logic for pragmatics
    •   QMRO Home
    • Queen Mary University of London Theses
    • Theses
    • Reasoning about assertions, obligations and causality on a categorical semantics for a logic for pragmatics
    ‌
    ‌

    Browse

    All of QMROCommunities & CollectionsBy Issue DateAuthorsTitlesSubjectsThis CollectionBy Issue DateAuthorsTitlesSubjects
    ‌
    ‌

    Administrators only

    Login
    ‌
    ‌

    Statistics

    Most Popular ItemsStatistics by CountryMost Popular Authors

    Reasoning about assertions, obligations and causality on a categorical semantics for a logic for pragmatics

    View/Open
    Ranalter, Kurt PhD 2008.pdf (2.847Mb)
    Publisher
    Queen Mary University of London
    Metadata
    Show full item record
    Abstract
    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 only two types of speech acts, we hope to be able to show that we have a well-behaved core fragment that can serve as a fruitful basis for further investigations.
    Authors
    Ranalter, Kurt
    URI
    http://qmro.qmul.ac.uk/xmlui/handle/123456789/28169
    Collections
    • Theses [3315]
    Licence information
    The copyright of this thesis rests with the author and no quotation from it or information derived from it may be published without the prior written consent of the author
    Twitter iconFollow QMUL on Twitter
    Twitter iconFollow QM Research
    Online on twitter
    Facebook iconLike us on Facebook
    • Site Map
    • Privacy and cookies
    • Disclaimer
    • Accessibility
    • Contacts
    • Intranet
    • Current students

    Modern Slavery Statement

    Queen Mary University of London
    Mile End Road
    London E1 4NS
    Tel: +44 (0)20 7882 5555

    © Queen Mary University of London.