Relevant logic : a philosophical examination of inference

A logical theory should provide a general criterion of validity. "Relevant Logic" sets out to establish such a criterion, and to describe the philosophical basis and the formal theory of logical argument. The notion of relevance required for this theory is obtained by an analysis of the grounds for asserting a formula in a proof. Stephen Read essays a deduction of proof-theory embracing classical, relevant and modal logics and consistent with the appropriate semantics. "Relevant Logic" also contains a philosophical analysis of the notion of meaning as it relates to logical theory. The work is aimed at specialists in philosophical logic, formal logic, cognitive science, semantics and computer science. Content: 1. Scepticism and Logic 2. Classical Logic 3. An Intensional Conjunction 4. Proof-Theory for Relevant Logic 5. Worlds Semantics for Relevant Logics 6. Relevance 7. Logic on the Scottish Plan 8. Deviant Logic and the Sense of Connectives 9. Semantics and the Theory of Meaning 10. Conclusion. "Relevant Logic" sets out to establish a general criterion of validity, and to describe the philosophical basis and the formal theory of logical argument. The notion of relevance required for this theory is obtained by an analysis of the grounds for asserting a formula in a proof.