Abstract
The concept of entailment is often connected with deducibility: A is said to entail B iff B is logically deducible from A.1 It has also been connected to the concept of containment in Kant’s sense of analytic containment: A entails B only if the meaning of B is contained in the meaning of A. But the concepts of deducibility and containment are two distinct concepts, and the failure to distinguish them leads to faulty attempts to merge them in formal systems. One such attempt is Anderson and Belnap’s system, E, in which a Fitch-type theory of natural deduction is modified to incorporate a certain sense of “containment”2. Another is Parry’s system, AI, of “analytic implication” which began with a more restricted sense of containment but has usually been presented as a theory of deducibility (cf. Parry 33 and 72).
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1989 Kluwer Academic Publishers
About this chapter
Cite this chapter
Angell, R.B. (1989). Deducibility, Entailment and Analytic Containment. In: Norman, J., Sylvan, R. (eds) Directions in Relevant Logic. Reason and Argument, vol 1. Springer, Dordrecht. https://doi.org/10.1007/978-94-009-1005-8_8
Download citation
DOI: https://doi.org/10.1007/978-94-009-1005-8_8
Publisher Name: Springer, Dordrecht
Print ISBN: 978-94-010-6942-7
Online ISBN: 978-94-009-1005-8
eBook Packages: Springer Book Archive