Work in progress by Tore Fjetland Øgaard
Bergen Logic Seminar: Withered Relevance: Evaluating the Anderson-Belnap Foundation of Relevant Logics
Hovedinnhold
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
24.11.2022