Cookies?
Library Header Image
LSE Research Online LSE Library Services

Propositional relevance through letter-sharing

Makinson, David C. (2009) Propositional relevance through letter-sharing. Journal of Applied Logic, 7 (4). pp. 377-387. ISSN 1570-8683

Full text not available from this repository.

Abstract

The concept of relevance between classical propositional formulae, defined in terms of letter-sharing, has been around for a long time. But it began to take on a fresh life in the late 1990s when it was reconsidered in the context of the logic of belief change. Two new ideas appeared in independent work of Odinaldo Rodrigues and Rohit Parikh: the relation of relevance was considered modulo the choice of a background belief set, and the belief set was put into a canonical form, called its finest splitting. In the first part of this paper, we recall the ideas of Rodrigues and Parikh, and show that they yield equivalent definitions of what may be called canonical cell/path relevance. The second part presents the main new result of the paper: while the relation of canonical relevance is syntax-independent in the usual sense of the term, it nevertheless remains language-dependent in a deeper sense, as is shown with an example. The final part of the paper turns to questions of application, where we present a new concept of parameter-sensitive relevance that relaxes the Rodrigues/Parikh definition, allowing it to take into account extra-logical sources as well as purely logical ones.

Item Type: Article
Official URL: http://www.sciencedirect.com/science/journal/15708...
Additional Information: © 2009 Elsevier
Library of Congress subject classification: B Philosophy. Psychology. Religion > BC Logic
Sets: Departments > Philosophy, Logic and Scientific Method
Rights: http://www.lse.ac.uk/library/usingTheLibrary/academicSupport/OA/depositYourResearch.aspx
Date Deposited: 06 Apr 2011 15:40
URL: http://eprints.lse.ac.uk/30255/

Actions (login required)

Record administration - authorised staff only Record administration - authorised staff only