Journal of Logic and Computation 26 (5):1617–1636 (2016)

Thomas Ferguson
City University of New York
In this article, we consider variations of Nuel Belnap’s ‘artificial reasoner’. In particular, we examine cases in which the artificial reasoner is faulty, e.g. situations in which the reasoner is unable to calculate the value of a formula due to an inability to retrieve the values of its atoms. In the first half of the article, we consider two ways of modelling such circumstances and prove the deductive systems arising from these two types of models to be equivalent to Graham Priest’s first-degree entailment with an ‘emptiness’ value and Richard Angell’s analytic containment, making computational interpretations of these systems possible. The Belnap-type semantics for AC bring FDE φ and AC in line with other containment logics in their neighborhood. The second half of the article examines formal questions, such as whether AC admits an analysis along the lines of that given to the related system of William Parry’s system of analytic implication, as suggested by Kurt Gödel and confirmed by Kit Fine. Furthermore, a natural means of extending these systems to languages with an intensional implication connective is investigated.
Keywords analytic implication  propositional logic  first-degree entailment  analytic containment
Categories (categorize this paper)
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 71,290
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Angellic Content.Kit Fine - 2016 - Journal of Philosophical Logic 45 (2):199-226.
Grounding and Truth-Functions.Fabrice Correia - 2010 - Logique Et Analyse 53 (211):251-279.
A Useful Four-Valued Logic.N. D. Belnap - 1977 - In J. M. Dunn & G. Epstein (eds.), Modern Uses of Multiple-Valued Logic. D. Reidel.
Logics of Nonsense and Parry Systems.Thomas Macaulay Ferguson - 2015 - Journal of Philosophical Logic 44 (1):65-80.

View all 20 references / Add more references

Citations of this work BETA

Angellic Content.Kit Fine - 2016 - Journal of Philosophical Logic 45 (2):199-226.
On the Logic of Factual Equivalence.Fabrice Correia - 2016 - Review of Symbolic Logic 9 (1):103-122.
Conjunction and Disjunction in Infectious Logics.Hitoshi Omori & Damian Szmuc - 2017 - In Alexandru Baltag, Jeremy Seligman & Tomoyuki Yamada (eds.), Logic, Rationality, and Interaction (LORI 2017, Sapporo, Japan). Berlin: Springer. pp. 268-283.
Defining LFIs and LFUs in Extensions of Infectious Logics.Szmuc Damian Enrique - 2016 - Journal of Applied Non-Classical Logics 26 (4):286-314.

View all 13 citations / Add more citations

Similar books and articles

Semantics for Analytic Containment.Fabrice Correia - 2004 - Studia Logica 77 (1):87-104.
Logics of Nonsense and Parry Systems.Thomas Macaulay Ferguson - 2015 - Journal of Philosophical Logic 44 (1):65-80.
Paraconsistency and Analyticity.Carlos A. OLLER - 1999 - Logic and Logical Philosophy 7 (1):91-99.
Minimising Disjunctive Information.Paul Wong - 2010 - Logic and Logical Philosophy 19 (1-2):159-192.
Relevant Implication and the Case for a Weaker Logic.Ross T. Brady - 1996 - Journal of Philosophical Logic 25 (2):151 - 183.
Nothing but the Truth.Andreas Pietz & Umberto Rivieccio - 2013 - Journal of Philosophical Logic 42 (1):125-135.
The One-Variable Fragment of T→.John Slaney & Edward Walker - 2014 - Journal of Philosophical Logic 43 (5):867-878.
Neighborhoods for Entailment.Lou Goble - 2003 - Journal of Philosophical Logic 32 (5):483-529.
The Power of Belnap: Sequent Systems for SIXTEEN ₃. [REVIEW]Heinrich Wansing - 2010 - Journal of Philosophical Logic 39 (4):369 - 393.
Aspects of Analytic Deduction.Athanassios Tzouvaras - 1996 - Journal of Philosophical Logic 25 (6):581-596.


Added to PP index

Total views
51 ( #224,147 of 2,518,734 )

Recent downloads (6 months)
5 ( #137,692 of 2,518,734 )

How can I increase my downloads?


My notes