The aim of this paper is to present a system of modal connexive logic based on a situation semantics. In general, modal connexive logics are extensions of standard modal logics that incorporate Aristotle’s and Boethius’ theses, that is the thesis that a sentence cannot imply its negation and the thesis that a sentence cannot imply a pair of contradictory sentences. A key problem in devising a connexive logic is to come up with a system that is both sufficiently strong to fulfill some specific connexive theses and sufficiently well-motivated from a semantical point of view. The approach proposed here tries to address this problem by defining an appropriate connexive relation in terms of more basic notions. The result is a well-motivated system of modal connexive logic that nicely fits in both with the traditional ideas concerning the connexive conditional and with the current developments in connexive logic.

本文的目的是提出一个基于情境语义的模态连接逻辑系统。总的来说，模态连接逻辑是标准模态逻辑的扩展，它结合了亚里士多德和波爱修斯的命题，即一个句子不能蕴含它的否定命题和一个句子不能蕴涵一对矛盾句子的命题。设计连接逻辑的一个关键问题是提出一个系统，该系统既足够强大以实现某些特定的连接论点，又从语义的角度来看具有足够好的动机。这里提出的方法试图通过根据更基本的概念定义适当的连接关系来解决这个问题。