Deducibility, Entailment and Analytic Containment

In J. Norman & R. Sylvan, Directions in Relevant Logic. Dordrecht and Boston: Springer. pp. 119-143 (1989)
  Copy   BIBTEX

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.

Other Versions

No versions found

Links

PhilArchive

    This entry is not archived by us. If you are the author and have permission from the publisher, we recommend that you archive it. Many publishers automatically grant permission to authors to archive pre-prints. By uploading a copy of your work, you will enable us to better index it, making it easier to find.

    Upload a copy of this work     Papers currently archived: 103,836

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Semantics for analytic containment.Fabrice Correia - 2004 - Studia Logica 77 (1):87-104.
Faulty Belnap Computers and Subsystems of FDE.Thomas Macaulay Ferguson - 2016 - Journal of Logic and Computation 26 (5):1617–1636.
The Systems of Relevance Logic.Ryszard Mirek - 2011 - Argument: Biannual Philosophical Journal 1 (1):87-102.
Logics of Nonsense and Parry Systems.Thomas Macaulay Ferguson - 2015 - Journal of Philosophical Logic 44 (1):65-80.
Relevant implication and the case for a weaker logic.Ross T. Brady - 1996 - Journal of Philosophical Logic 25 (2):151 - 183.
Epimorphism between Fine and Ferguson’s Matrices for Angell’s AC.Richard Zach - 2023 - Logic and Logical Philosophy 32 (2):161-179.
Making Sense of Sense Containment.Antonio Negro - 2017 - History and Philosophy of Logic 38 (4):364-385.

Analytics

Added to PP
2015-03-30

Downloads
89 (#248,587)

6 months
9 (#419,669)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Grounding, Essence, And Identity.Fabrice Correia & Alexander Skiles - 2017 - Philosophy and Phenomenological Research 98 (3):642-670.
Grounding and truth-functions.Fabrice Correia - 2010 - Logique Et Analyse 53 (211):251-279.
On the Logic of Factual Equivalence.Fabrice Correia - 2016 - Review of Symbolic Logic 9 (1):103-122.
Laws of Nature, Explanation, and Semantic Circularity.Erica Shumener - 2019 - British Journal for the Philosophy of Science 70 (3):787-815.
The Power to Govern.Erica Shumener - 2022 - Philosophical Perspectives 36 (1):270-291.

View all 34 citations / Add more citations

References found in this work

No references found.

Add more references