Strong Boethius' thesis and consequential implication (Q1366766)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Strong Boethius' thesis and consequential implication
scientific article

    Statements

    Strong Boethius' thesis and consequential implication (English)
    0 references
    0 references
    0 references
    12 March 1998
    0 references
    Consequential implication, \(p\to q\), is a form of implication that satisfies so-called Aristotle's Thesis, \(\neg(p\to\neg p)\), and Weak Boethius's Thesis, \((p\to q)\supset\neg(p\to\neg q)\). It can be formalized in its own right, or it can be defined in (weak) normal modal logics as \(L(p\supset q)\and(Lp\equiv Lq)\and(Mp\equiv Mq)\); i.e., that \(p\) strictly implies \(q\) and they have the same modal status. (Alternatively, \(Lp\) can be defined in a logic of consequential implication as \(\top\to p\).) This paper investigates relations between systems of consequential implication and normal modal logics, and shows that there is a one-one correspondence between them. Most notably, the weakest system containing Weak Boethius corresponds to the system KD. Strong Boethius is the thesis \((p\to q)\to\neg(p\to\neg q)\). In normal systems, in the presence of Weak Boethius, it generates a modal collapse; \(p\to q\) becomes equivalent to \(p\equiv q\). Nevertheless, Strong Boethius can be maintained non-trivially. The weakest system containing it corresponds to the normal modal logic \(\text{Kdf}\) \((=\text{K}+ LM\top+ LMp\supset LLp)\).
    0 references
    connexive implication
    0 references
    consequential implication
    0 references
    Aristotle's Thesis
    0 references
    Weak Boethius
    0 references
    normal modal logics
    0 references
    Strong Boethius
    0 references

    Identifiers