Movatterモバイル変換

It is argued that the preservation of truth by an inference relation is of little interest when premiss sets are contradictory. The notion of a level of coherence is introduced and the utility of modal logics in the semantic representation of sets of higher coherence levels is noted. It is shown that this representative role cannot be transferred to first order logic via frame theory since the modal formulae expressing coherence level restrictions are not first order definable. Finally, an inference (...) relation, calledyielding, is introduced which is intermediate between the coherence preservingforcing relation introduced elsewhere by the authors and the coherence destroying, inference relation of classical logic. (shrink)

Direct download(4 more)   Export citation   Bookmark   35 citations  

Direct download   Export citation   Bookmark   4 citations  

No categories

Direct download   Export citation   Bookmark   3 citations  

No categories

Direct download(5 more)   Export citation   Bookmark   2 citations  

In this paper we investigate nonnormal modal systems in the vicinity of the Lewis system S1. It might be claimed that Lewis's modal systems are the starting point of modern modal logics. However, our interests in the Lewis systems and their relatives are not historical. They possess certain syntactical features and their frames certain structural properties that are of interest to us. Our starting point is not S1, but a weaker logic S1$^0$. We extend it to S1$^0$D, which can be (...) considered as a deontic counterpart of the alethic S1. Soundness and completeness of these systems are then demonstrated within a prenormal idiom. We conclude with some philosophical remarks on the interpretation of our deontic logic. (shrink)

Direct download   Export citation   Bookmark  

Direct download   Export citation   Bookmark  

Export citation   Bookmark