View Item 
        •   Utrecht University Student Theses Repository Home
        • UU Theses Repository
        • Theses
        • View Item
        •   Utrecht University Student Theses Repository Home
        • UU Theses Repository
        • Theses
        • View Item
        JavaScript is disabled for your browser. Some features of this site may not work without it.

        Browse

        All of UU Student Theses RepositoryBy Issue DateAuthorsTitlesSubjectsThis CollectionBy Issue DateAuthorsTitlesSubjects

        Deviant Causal Chains in XSTIT Logic

        Thumbnail
        View/Open
        Bachelor Thesis Nadine Hermans.pdf (751.4Kb)
        Publication date
        2013
        Author
        Hermans, A.N.
        Metadata
        Show full item record
        Summary
        Deviant causal chain examples were first introduced as counterexamples to the philosophical causal theory of action, which encompasses the view that actions are events and that an event is an action if and only if it is rationalized and caused by the agent's beliefs and desires. This thesis investigates if it is possible to model deviant causal chains in XSTIT logic, a form of STIT logic. STIT logic is a philosophical logic of agency and can model properties and aspects of agency such that an agent is making a choice. With the help of theorem prover SPASS, logical properties of the logical frameworks are investigated. Deviant causal chains cannot be modeled in XSTIT logic, at least not within one step. Modeling deviant causal chains in multiple steps seems possible, but does not capture the essence of the deviant causal chain examples. More research is necessary to answer the question if causal relations can be modeled in STIT logic.
        URI
        https://studenttheses.uu.nl/handle/20.500.12932/13403
        Collections
        • Theses
        Utrecht university logo