BINGO!
This chapter thus provides a nice illustration of how fundamental workin philosophical logic may turn out to be of importance for more applied work incomputer science.Katalin Bimb´o and J. Michael Dunn (Chapter 7) recall Fine’s two-sorted seman-tics for relevance logic and related work. Their chapter leads to a detailed compari-son of Fine’s semantics to more well-known Routley-Meyer semantics for relevancelogics. Interestingly, it is also shown how this work relates to the notion of arbitraryobjects (cf. supra and Chapter 29).This brings us to a number of chapters that all use truthmaker semantics in oneway or another. Chapter 9, by Mark Jago, consists of two related parts. The ?rst partdiscusses the logical relation of disjunctive parthood and links it to the semanticnotion of re?nement and the philosophical determinable-determinate relation. In thesecond part, the author develops a formal logic on the basis of these ideas, whichincludes a relevant conditional. This chapter moreover touches on the subject ofvagueness (cf. Chapter 31) and arbitrary objects (cf. Chapter 29), and Jago’s formalsemantics is clearly related to Chapter 13 in its treatment of disjunction.
