Tracking reasons with extensions of relevant logics
Logic Journal of the IGPL | OXFORD UNIV PRESS | Published : 2019
Inrelevantlogics,necessarytruthsneednotimplyeachother.Injustificationlogic,necessarytruthsneednotallbejustifiedby the same reason. There is an affinity to these two approaches that suggests their pairing will provide good logics for tracking reasons in a fine-grained way. In this paper, I will show how to extend relevant logics with some of the basic operators of justification logic in order to track justifications or reasons. I will define and study three kinds of frames for these logics. For the first kind of frame, I show soundness and highlight a difficulty in proving completeness. ...
Related Projects (1)
Awarded by Australian Research Council
I would like to thank Greg Restall, Igor Sedlar, Rohan French, Ed Mares, Ted Shear, Dave Ripley, Lloyd Humberstone, and the audience at the Melbourne-Glasgow Formal Philosophy Workshop for discussion and feedback. I would also like to thank the two anonymous referees for their feedback that greatly improved the paper. This research was supported by the Australian Research Council, Discovery Grant DP150103801.