Home
Bergen Logic Group
Work in progress by Tore Fjetland Øgaard

Bergen Logic Seminar: Withered Relevance: Evaluating the Anderson-Belnap Foundation of Relevant Logics

Main content

Withered Relevance: Evaluating the Anderson-Belnap Foundation of Relevant Logics

Abstract: The two "relevance" criteria set out by Anderson and Belnap are discussed. It is argued that the motivation backing the variable sharing property is far weaker than it is commonly made out to be, and that the  use-criterion does not distinguish between relevant logics such as E and  R and "irrelevant" logics such as S4, intuitionistic  and classical logic.

Keywords: classical logic, entailment, intuitionistic logic, relevant logic, S4, use-condition, variable sharing