Abstract
Beall has given more or less convincing arguments to the effect that neither classical logic, nor K3, nor LP, nor S3 can play the role he expects from logic: to be the basement theory for all true theories, including true theology. However, he has not considered all the pertinent competitors, and he has not given any reassurance that he has not gone too low in the hierarchy of logics to find his desired “universal closure of all true theories”. In this paper, I put forward those additional arguments to show the superiority of FDE with respect to logics that include a detachable conditional but that are very much like FDE otherwise. I also discuss the problem that theological consequence might not contrapose even if theological consequence is supposed to extend FDE consequence and the latter does contrapose.
Keywords:
Conditional; Detachment; Contraposition
1 Introduction
In The Contradictory Christ ( ^{8}8. Beall, J. The Contradictory Christ. Oxford University Press, New York, 2021.)^{1} 1 All quotations mentioning only page numbers are from this text. , Jc Beall develops the basics of a contradictory Christology, that is, a theory about Christ that contains contradictions, such as “Christ is mutable and not mutable”. To have such a theory, he needs a theory of logical consequence where contradictions do not imply any other formula whatsoever, and Chapter 2 of The Contradictory Christ is devoted to present that theory of logical consequence.
Beall says that, “for present purposes, [he] shall only assume that FDE is the correct account of logic (. . . ).” (p. 27f.) But he does more than that. He at least sketches some arguments for that assumption, arguments that draw upon previous work by Beall on the topic, such as ^{5}5. Beall, J. There is no logical negation: true, false, both and neither. Australasian Journal of Logic 14, 1 (2017), 129., ^{6}6. Beall, J. The simple argument for subclassical logic. Philosophical Issues 28, 1 (2018), 3054., ^{7}7. Beall, J. FDE as The One True Logic. In New Essays on BelnapDunn Logic, H. Omori and H. Wansing, Eds. Springer, Cham, 2019., ^{9}9. Beall, J., and Camrud, C. A note on FDE “all the way up”. Notre Dame Journal of Formal Logic 61, 2 (2020), 283296.. Although he has dispatched other options classical logic, K3, LP, S3^{2} 2 The intersection of K3 and LP; see [14].  more or less satisfactorily, this has not been done for all the pertinent competitors. The feeling that he might have gone too low in the hierarchy of logics to find his desired “universal closure of all true theories” remains. I think this feeling must and can be put aside by showing the superiority of FDE over logics which are pretty close to it but that, unlike FDE, include a detachable conditional. That would make Beall’s case stronger.
In this paper, I put forward those additional arguments, but let me be clear on my aim. Unlike Beall, I am not a supporter of the idea that FDE is “The One True Logic”. Just as Beall thinks that logics stronger than FDE get more validities for extralogical reasons, I think that there is still a lot of extralogicality in FDE: logic alone should not validate anything.^{3} 3 See for example the debate around [18] and [19], like [10], [11] and the now prehistoric [15] and [12]. Nonetheless, I can join Beall in his quest of showing that no logic stronger than FDE is The One True Logic. But for that, the arguments for FDE must be refined and extended to deal with some obvious and also with some not that obvious competitors. This paper is devoted to that. My argument for going even weaker than FDE must be left for another occasion.
The plan of the paper is as follows. In Section 2, I give a quick reconstruction of Beall’s view of logic, which involves giving FDE a distinguished status, very close to The One True Logic. In Section 3 I problematize such special status of FDE by its lack of a conditional that reflects entailment in the objectlanguage. In particular, I present a couple of logics that seem to have all the nice features of FDE plus better conditionals. In Section 4, I discuss whether one can tip the scale in favor of FDE through the closeness of its evaluations conditions for the connectives to those of classical logic. Finally, in Section 5 I discuss the problem that theological consequence might not contrapose even if theological consequence is supposed to extend FDE consequence and the latter does contrapose.
2 Beall’s view of logic
Why a reflection on logic is needed in the development of Christian theology? Here is Beall:
Christian theology is a theory of God, just as macro physics is a theory of the macrophysical world and just as mathematical theories are theories of their respective mathematical phenomena (numbers, categories, sets, whathaveyou). (...) [New paragraph] When theorists aim to construct a true theory, they aim to construct as complete a theory as possible. In particular, the resulting theory should not only contain the initial thrownin truths (e.g., that God is triune, that Christ has two natures, etc.); the theory should also contain whatever follows from the truths in the theory; it should contain all of the consequences of the theory’s claims. (p. 22)
And then he adds:
Without a consequence (closure) relation our theories remain inadequate; they fail to contain truths that are entailed by the given set of truths. Inasmuch as theorists, and theologians in particular, aim to give as complete a theory of the target phenomenon as possible, the reliance on a consequence relation for our theory is required. (p. 24)
But then he presents his own particular understanding of what logic is:
Logic is a very special consequence (entailment, closure) relation. Logic is the common core of all (closed) theories; it is at the bottom of all of the (extralogical, theoryspecific) consequence relations of our true theories. (. . . )
And, to say it briefly, logic can be that sort of theory because both its linguistic narrowness it deals only with the socalled “logical vocabulary”, vocabulary shared by all true theories, and its semantic wideness it considers all possible ways to interpret the vocabulary.
As I mentioned in the Introduction, Beall thinks that FDE is the logic that has all those characteristics. My presentation of this logic will differ from Beall’s but, hopefully, not substantially. Crucially, I do not consider Beall’s nullation an identity connective τ such that τ (A) has the same evaluations as A, but consider the conditional separately, although it is definable through negation and disjunction. Also, I limit myself to the zeroorder case.
FDE is a logic that can be presented as the result of evaluating formulas and arguments, built in the usual way from a countable set of propositional variables and the connectives {∼, ∧, ∨, →}, according to the follow
ing assignments, where A and B stand for any formula:

∼ A is true iff A is false; ∼ A is false iff A is true

$A\wedge B$ is true iff A is true and B is true; $A\wedge B$ is false iff A is false or B is false

$A\vee B$ is true iff A is true or B is true; $A\vee B$ is false iff A is false and B is false

$A\to B$ is true iff A is false or B is true; $A\to B$ is false iff A is true and B is false
To achieve full generality with respect to the relations between formulas and truth values, the predications “is true” and “is false” should not be understood functionally, that is, being true does not imply not being false nor vice versa, and being false does not imply not being true nor vice versa. Said otherwise, a formula can be related to the truth values, via an assignment σ, in one of the following four ways:

A is true but not false, represented ‘ $1\in \sigma \left(A\right)$ and $0\notin \sigma \left(A\right)$ ’; more briefly, $\sigma \left(A\right)=\left\{1\right\}$

A is true but also false, represented ‘ $1\in \sigma \left(A\right)$ and $0\in \sigma \left(A\right)$ ’; more briefly, $\sigma \left(A\right)=\left\{1,0\right\}$

A is neither true nor false, represented ‘ $1\notin \sigma \left(A\right)$ and $0\notin \sigma \left(A\right)$ ’; more briefly, $\sigma \left(A\right)=\left\{\right\}$

A is false but not true, represented ‘ $0\in \sigma \left(A\right)$ and $1\notin \sigma \left(A\right)$ ’; more briefly, $\sigma \left(A\right)=\left\{0\right\}$
where each claim of the forms ${v}_{i}\in \left(A\right),{v}_{j}\notin \left(A\right)$, with ${v}_{i},{v}_{j}\in \left\{1,0\right\}$, is called a Dunn atom. That these are the evaluation is what Beall means, at least partially, when he says that
Logic [i.e. FDE] (. . . ) [recognizes] the widest space of possibilities. It’s not that ‘anything goes’ by logic’s lights; but a vast array of otherwise very strange possibilities is recognized by logic. (pp. 26f)^{4} 4 To be fair, Beall requires extending the picture to get a predicate version of FDE. That would require that (ntuples of) objects are related in four ways to extensions and antiextensions of (nary) predicates: they belong to the extension but not to the antiextension; they belong to both the extension and to the antiextension, and so on. This can be safely ignored for the present purposes.
With this in mind, the evaluation conditions above for connectives can be represented tabularly as follows:
Note that {1}, {0}, {1, 0} and { } are not truth values, but assignments or evaluations; more precisely, collections of truth values^{5} 5 One might say that they are generalized truth values. (See for example [20].) Let that be. It is still the case that they are not truth values like 1 and 0. . So, under this presentation, it would be rather wrong to call FDE ‘a fourvalued logic’.
Finally, let Γ be a set of formulas of FDE. Let us say that and argument is valid in FDE$\mathbf{\Gamma}\mathbf{}{\mathbf{\models}}_{\mathbf{FDE}}$A, if and only if, for every evaluation σ, $1\in \sigma \left(A\right)$ if $1\in \sigma \left(B\right)$ for every $B\in \Gamma $. An argument is invalid in FDE if an only if there is an evaluation in which the premises are true, i.e. $1\in \sigma \left(B\right)$ for every $B\in \Gamma $, but the conclusion is not, i.e. $1\notin \sigma \left(A\right)$.^{6} 6 For simplicity, these definitions will be adapted for the other logics in this paper, just with the respective changes in language. This is what he means when he says
Logical entailment, like any entailment relation, is a relation of necessary truth preservation over relevant possibilities  in this case, the socalled logical possibilities (i.e., the possibilities recognized by logic). The recipe for logical entailment is absence of counterexample: (. . . ) A counterexample is a possibility in which everything in X [the premises in an argument] is true but p [the conclusion] untrue. (p. 26)
According to Beall,
There are at least three salient virtues of this account of logic.
The first virtue is that the familiar truth and falsity conditions are maintained, as above. [Above: “What is important to emphasize (. . . ) is that these truth and falsity conditions are precisely the same conditions used in the standard classicallogic account. ” Emphasis in the original.](. . . )
A second virtue is that the resulting logic is clearly topicneutral by not taking a stand on whether gappy or glutty atomic sentences are ruled out.
A third virtue is most relevant to the principal project of a contradictory christology: namely, that logic does not force unique, strange phenomena into the cramped confines of classicallogic possibilities. (p. 35)
I will not deny that FDE has these virtues. What I will challenge is whether FDE possess them to the degree that Beall thinks it has them. More precisely, I will show that there is at least one more logic, deductively stronger than FDE, that has these virtues, and that if one wants to claim that FDE has a special status viavis that other logic, then more elaborated arguments, not yet given by Beall, will be needed.
3 The conditional
Note that the conditional $A\to B$ in FDE is extensional as it is definable as $~A\vee B$ i.e. it is true iff the antecedent is false or the consequent is true. It does not satisfy either of the following

Identity: $\models A\to A$

Detachment: $A,A\to B\models B$

Deduction property: ${A}_{1},...{A}_{n}\models B\mathrm{iff}{A}_{1},...{A}_{n1}\models {A}_{n}\to B$
which are, for many, conditions sine qua non of conditionals.^{7} 7 Countermodels: for the first, put σ(A)= ; for the second, put σ(A)=1,0 ; for the third one, note that A ⊨FDE A but ⊨FDE A→A . Thus, for example, Priest claims boldly that “FDE has no conditional operator” [^{17}17. Priest, G. An Introduction to NonClassical Logics. From If to Is, second ed. Cambridge University Press, Cambridge, 2008., p. 163].
I disagree, and I also disagree with people who claims something stronger, namely, that there must be conditionals in a logic. Nonetheless, they are a majority and the onus of the proof is on us. For simplicity, let me focus on an interlocutor in the middle, one that might accept that logic needs no conditional connective in the language, but that, pending further arguments, finds it preferable to have one, and one that satisfies the above properties above. They must be the kind of person that, when given the good arguments, accept that, according to certain criteria, FDE is better than any stronger logic, without then objecting that FDE is not a logic because it does not have a conditional.^{8} 8 I will leave aside the question whether the extensional conditional in FDE is a conditional or not; I will simply assume it is. One can construct some arguments from Beall’s [3] or [4] to that effect. The gist would be that it has the evaluation conditions of a conditional, and that it validates certain restricted forms of the patterns demanded, which would be enough to consider it a conditional. See [13] for similar arguments.
Consider Sylvan’s suggestions of strengthening FDE into arrow form with a suitable conditional _{→φ} , that is, changing every valid argument of the form $A{\models}_{\mathrm{FDE}}B$ into one of the form ${\models}_{{\mathrm{FDE}}_{\to \mathrm{\phi}}}A{\to}_{\phi}B$.^{9} 9 There are many places where he suggests this, but one particularly close to what I am discussing here is [21]. The result is depicted as follows:
FDE
FDE_{→φ}
What does it take to have FDE _{→φ} ? It is FDE plus the following conditional:
whose evaluation conditions are as follows:

$1\in \sigma \left(A{\to}_{\phi}B\right)\mathrm{iff}\left(1\right)0\in \sigma \left(A\right)\mathrm{and}1\notin \sigma \left(A\right),\phantom{\rule{0ex}{0ex}}\mathrm{or}\left(2\right)1\in \sigma \left(B\right)\mathrm{and}0\notin \sigma \left(B\right),\mathrm{or}\left(3\right)1\in \sigma \left(A\right)\phantom{\rule{0ex}{0ex}}\mathrm{iff}1\in \sigma \left(B\right)\mathrm{and}0\in \sigma \left(A\right)\mathrm{iff}0\in \sigma \left(B\right)$

$0\in \sigma \left(A{\to}_{\phi}B\right)\mathrm{iff}\left(1\right)1\in \sigma \left(A\right),0\notin \sigma \left(A\right)\mathrm{and}\phantom{\rule{0ex}{0ex}}0\in \sigma \left(B\right),\mathrm{or}\left(2\right)1\in \sigma \left(A\right),\mathrm{and}1\notin \sigma \left(B\right),\mathrm{or}\left(3\right)\phantom{\rule{0ex}{0ex}}1\notin \sigma \left(A\right),0\notin \sigma \left(A\right)\mathrm{and}0\in \sigma \left(B\right)$
In vernacular: this conditional is true iff either the antecedent is just false, or the consequent is just true, or both antecedent and consequent have the same evaluations. On the other hand, this conditional is false iff the antecedent is just true and the consequent is false, or the antecedent is true and the consequent is not, or the antecedent is neither true nor false but the consequent is false.
(Sylvan calls this conditional ‘Philonian’. Although the reasons are not clear to me, I will follow him in this, especially to not always referring to it as ‘_{→φ} ’. Note that if arrows are not allowed neither in antecedents nor in consequents, FDE _{→φ} would simply become Anderson and Belnap’s logic of tautological entailment, E fde; see [^{1}1. Anderson, A. R., and Belnap, N. D. Entailment: The Logic of Relevance and Necessity, Vol. I. Princeton University Press, Princeton, 1975., Ch. 15]. I keep the name ‘FDE _{→φ} ’ and the somewhat redundant axiomatization to stress that this need not be firstorder entailment  i.e. there can be nested arrows and because it makes clear an intuitive construction of the logic: one adds the Philonian arrow to FDE.)
FDE_{→φ} seems to have the same three “salient virtues” as FDE: the familiar truth and falsity conditions are maintained; the resulting logic is clearly topicneutral by not taking a stand on whether gappy or glutty atomic sentences are ruled out; it does not force unique, strange phenomena into the cramped confines of classicallogic possibilities. I will discuss in more detail the first virtue in the next section; for now, let me say some words on the other two.
Some might reply that FDE _{→φ} does take a stand on whether gappy sentences or glutty sentences are ruled out, as the Philonian conditional receives only classically admissible interpretations. Such a reply forgets that the topicneutrality was required for atomic sentences only. Moreover, the Philonian conditional is representing logical validity in the object language and, like it or not, even in FDE validity is exclusive and exhaustive, i.e. arguments are either valid or invalid, so it is not a surprise that this conditional is either true (only) or false (only).^{10} 10 I think this is a defect of FDE, as the logic is often accompanied by claims of treating truth and falsity on equal footing, but that policy is not extended to validity and invalidity. Nonetheless, I will not press the issue further here.
A similar objection may be raised against the third virtue: in getting only classically admissible interpretations, the Philonian conditional would “force unique, strange phenomena into the cramped confines of classicallogic possibilities”. But that does not follow. First, remember that the “unique, strange phenomena” are phenomena like the incarnation, which, according to Beall, have the form $A\wedge ~A$, and these are not untrue under all interpretations, as in classical logic. Moreover, conditional relations involving these phenomena are not evaluated as in classical logic, either. Neither $(A\wedge ~A){\to}_{\phi}B$ nor $A{\to}_{\phi}(B\vee ~B)$ are valid in FDE _{→φ} . For a countermodel to the first one, consider $\sigma \left(A\right)=\left\{1,0\right\}$ and $1\notin \sigma \left(B\right)$; for the second one, consider $1\in \sigma \left(A\right)$ and $1\notin \sigma \left(B\right)$. Thus, it does not seem that “unique, strange phenomena” are forced “into the cramped confines of classicallogic possibilities”.
As Ia have said, I do not think that these objections are very telling. Nonetheless, there is a detachable conditional that does not receive only classically admissible interpretations and thus avoid these objections right from the start. Consider this material conditional, $A{\to}_{m}B$, evaluated as follows:
whose truth table is as follows:
It can be easily verified that Detachment, Identity and the Deduction Property formulated for this conditional are valid in FDE→m , the logic resulting from adding →m to FDE.^{11} 11 This connective has been studied in [2], for example, where many results about it can be found. It can also be easily verified that the following are not valid in FDE→m:
That FDE→m is different from FDE _{→φ} can be easily checked by noting that
and
are valid in FDE→m , but $A{\to}_{\phi}(B{\to}_{\phi}A)$ and $A{\to}_{\phi}(B{\to}_{\phi}(A\wedge B\left)\right)$ are not in FDE _{→φ} .
Again, FDE→m seems to have the same three “salient virtues” as FDE: the familiar truth and falsity conditions are maintained; the resulting logic is clearly topicneutral by not taking a stand on whether gappy or glutty atomic sentences are ruled out; it does not force unique, strange phenomena into the cramped confine of classicallogic possibilities. Moreover, it cannot be argued that the latter virtues are not met because the conditional gets only classically admissible evaluations.
One could argue that even if FDE, FDE _{→φ} and FDE _{→m} share the three virtues above, only the first one is the universal closure of our true theories. This is notoriously difficult to assess, as we would need a theory of the nontheoryspecific vocabulary of all of our true theories, and assuming that such a theory is FDE’s is questionbegging. There is at least one nonquestionbegging reply to be attempted, though. According to Beall, it is the business of extralogical theories to determine what truths there are. Since FDE _{→φ} and FDE _{→m} contain truths, they would be extralogical theories.
Let us examine what kinds of truths there are in FDE _{→φ} . There are implicative truths i.e. of the form $A{\to}_{\phi}B$ , for example, all instances of the axioms schemas. There are also nonimplicative truths, for example, of the form $A\vee (B{\to}_{\phi}B)or~\left(\right(A{\to}_{\phi}A)\wedge ~(A{\to}_{\phi}A\left)\right)$. But note that these nonimplicative truths are nonorganic. A schema or formula in a logic L is organic if and only if none of its subschemas respectively, subformulas is logically valid in L. Otherwise, it is nonorganic. In fact, all nonimplicative truths in FDE _{→φ} are nonorganic^{12} 12 Sketch of the proof. Suppose that there is a nonimplicative organic schema S in FDE →φ . This means that there is no subschema in S that is a truth. It cannot be made of just ∼, ∧ and ∨ as the evaluations for these are as in FDE and there are no truths in FDE. Then S must have an implicative subschema with →φ and, by the evaluation conditions of the connectives, it must be a truth itself. . (Note that classical logic is full of (nonimplicative) organic validities: $~(p\wedge ~p),q\vee ~q$, and so on.) Moreover, the organic parts in those truths are insubstantial: these nonimplicative truths are equivalent to the implicative truth they contain. Thus, in a sense, there are only implicative truths in FDE _{→φ} , which are but objectlanguage correlates of the FDE validity claims.
FDE→m does not survive equally well this criticism. The organic parts in some of its truths are substantial: there are nonimplicative truths that are not equivalent to the implicative truth they contain. For example, $A\vee (B{\to}_{m}B)$. Thus, it cannot be argued that there are only implicative truths in FDE→m .
The Philonian and material arrows are certainly different from Beall’s “Boolean quartet”. Both its truth and falsity condition are more complicated than those of negation, conjunction and disjunction. That is not unlike other approaches to logic, where the conditional requires a separate, qualitatively special treatment  think for example in those theories where all the connectives but the conditional are extensional. Whether a case for the defectiveness of such truth conditions can be made is the subject of the next section.
4 The evaluation conditions
Suppose that one were to argue that FDE’s evaluation conditions are better than FDE _{→φ} ’s and FDE _{→m} ’s. Since the three logics coincide in the {∼, ∧, ∨}fragment, the claim amounts to the superiority of the evaluation conditions for the extensional conditional over those for the Philonian and material conditionals.
Note that the original claim was that FDE “enjoys exactly the same truth and falsity conditions for the logical vocabulary as the classical account”, that “the meanings of logical vocabulary are what they’ve always been”. That was in fact one of the “salient virtues” of FDE. However, the sameness or otherwise of evaluation conditions could be not that favorable for the FDE picture, and ditto for the claims of betterness.
What counts as “the same truth and falsity conditions for the logical vocabulary as the classical account”? Compare
A conditional is true iff the antecedent is false or the consequent is true
and
A conditional is true iff the antecedent is untrue or the consequent is unfalse
What of them is “the (same as the) truth condition for the conditional in the classical account”? In classical logic, truth and unfalsity, on the one hand, and falsity and untruth, on the other, are exchangeable, so it seems that there are no reasons to prefer one above the other as the truth condition for the conditional in the classical account.
Or there is? Let me start with a platitude: a supporter of classical logic is interested in getting certain valid arguments in particular, certain valid arguments with an empty set of premises, i.e. logical truths. This is not independent of the formulation of the evaluation conditions, of course, but it is difficult that, when deciding between two evaluation conditions, a supporter of classical logic claims as theirs one that delivers less classically valid arguments than the other.
To make the discussion less abstract, consider these two wellknown cases:

$1\in \sigma (~A)\mathrm{iff}0\in \sigma \left(A\right)\phantom{\rule{0ex}{0ex}}0\in \sigma (~A)\mathrm{iff}1\in \sigma \left(A\right)$

$1\in \sigma ({~}_{b}A)\mathrm{iff}1\notin \sigma \left(A\right)\phantom{\rule{0ex}{0ex}}0\in \sigma ({~}_{b}A)\mathrm{iff}0\notin \sigma \left(A\right)$
The latter are read: “NotA is true iff A is not true, and NotA is false iff A is not false”. To simplify the forthcoming discussion, let me call the first pair of conditions ‘De Morgan (evaluation) conditions (for negation)’ and the second ‘Boolean (evaluation) conditions (for negation)’.
I claim that a supporter of classical logic would lean towards endorsing the Boolean conditions instead of the De Morgan ones, for the Boolean conditions validate the following:
and it allows defining another conditional, $A{\to}_{b}B{=}_{def.}{~}_{b}A\vee B$ that is detachable and validates
Given this, I would say that the supporter of classical logic would recognize the Boolean conditions, and not the De Morgan ones, as theirs.
Maybe the classical scruples are not a good companion here, and Beall misidentified what is good with the FDE evaluation conditions. Compare again a pair of evaluation conditions:

$1\in \sigma (A{\to}_{\phi}B)\mathrm{iff}0\in \sigma \left(A\right)\mathrm{or}1\in \sigma \left(B\right)\phantom{\rule{0ex}{0ex}}0\in \sigma (A{\to}_{\phi}B)\mathrm{iff}1\in \sigma \left(A\right)\mathrm{and}0\in \sigma \left(B\right)$

$1\in \sigma (A{\to}_{\phi}B)\mathrm{iff}\left(1\right)0\in \sigma \left(A\right)\mathrm{and}1\notin \sigma \left(A\right),\phantom{\rule{0ex}{0ex}}\mathrm{or}\left(2\right)1\in \sigma \left(B\right)\mathrm{and}0\notin \sigma \left(B\right),\mathrm{or}\left(3\right)1\in \sigma \left(A\right)\phantom{\rule{0ex}{0ex}}\mathrm{iff}1\in \sigma \left(B\right)\mathrm{and}0\in \sigma \left(A\right)\mathrm{iff}0\in \sigma \left(B\right)$

$0\in \sigma (A{\to}_{\phi}B)\mathrm{iff}\left(1\right)1\in \sigma \left(A\right),0\notin \sigma \left(A\right)\mathrm{and}\phantom{\rule{0ex}{0ex}}0\in \sigma \left(B\right),\mathrm{or}\left(2\right)1\in \sigma \left(A\right),\mathrm{and}1\notin \sigma \left(B\right),\mathrm{or}\left(3\right)\phantom{\rule{0ex}{0ex}}1\notin \sigma \left(A\right),0\notin \sigma \left(A\right)\mathrm{and}0\in \sigma \left(B\right)$

The FDE conditions are not only simpler at least by the length of the conditions, they are also homogeneous, that is, all their Dunn atoms are positive: they are claims of truth (such as “A is true”) or falsity (such as “B is false”). In contrast, the evaluation conditions for the Philonian conditional are not only more complex, but heterogeneous: they involve claims of truth, untruth, falsity and unfalsity. From simplicity and homogeneity considerations desirable in logic, the FDE conditions seem superior to those of FDE _{→φ} .^{13} 13 The evaluation conditions for the material conditional are simpler than those for the Philonian one, almost as simple as those for the extensional one. Still, they are heterogeneous.
Nonetheless, simplicity and homogeneity, even when combined with the space of possibilities allowed by FDE, do not take one out of classical logic by themselves. As I have said, the homogeneity in the evaluation conditions of FDE is positive, that is, its Dunn atoms are positive: they are claims of truth or falsity. But homogeneity can be also negative: the Dunn atoms can be all negative, claims of untruth or unfalsity. This would lead to the following negative conditions logic (NCL):
Either $1\in \sigma \left(p\right)\mathrm{or}1\notin \sigma \left(p\right)$, and either $0\in \sigma \left(p\right)\mathrm{or}0\notin \sigma \left(p\right)$
NCL’s evaluation conditions are as simple and homogeneous as FDE’s, but they are negative. As expected, Beall is not going to like the output, since NCL validates (A∧ ∼ A) → B, which would not be very useful for Beall’s Christology. (Although NCL is not classical logic: $A\to A$ is not valid; simply put $1\in \sigma \left(A\right)\mathrm{and}0\in \sigma \left(A\right)$.)
Thus, the good thing for Beall’s project about FDE’s evaluation condition is not their resemblance of the classical conditions, neither their simplicity and homogeneity, but that their evaluation conditions are simple and homogeneous in a way that do not yield too much classicality, and this is good again, for Beall’s project because classicality comes with the neglect of many legitimate maybe even true theories.
But that still does not rule FDE _{→φ} out. An argument to the eff that the conditional should be equally i.e. simply and homogeneously analyzed as the other connectives is missing. In fact, the opposite may be the case if one aims at an objectlanguage correlate of logical entailment. In that sense, the conditional is not like the other connectives. Beall might reply that that is precisely the extralogical feature of FDE _{→φ}: it deals with a particular subject viz. logical entailment, instead of dealing with any domain whatsoever, like FDE. I can happily grant that, merely highlighting that the argument for FDE needed to be more sustained than what Beall attempted up to now, not only in The Contradictory Christ but in his other works arguing for FDE.
5 Theological consequence and the individuation of FDE
To finalize, let me ask a question about the individuation of FDE. Beall says that theological consequence does not contrapose, which is correct if there are true theological contradictions. As an illustration, suppose that γ is one of such true theological contradictions. Then, for any sentence of the theory (in this case, true theology, Θ),
Suppose that A is true only in the theory. Then the following is invalid in the theory:
Hence, theological consequence does not contrapose.
As Pawl ^{16}16. Pawl, T. Explosive theology: A reply to Jc Beall’s “Christ  a contradiction”. Journal of Analytic Theology 7, 1 (2019), 440451. has rightly pointed out, this seems at odds with the facts that FDElogical consequence contraposes and theological consequence extends FDElogical consequence, but according to Beall it is not. According to him, a theory extends logic if and only if, if $\mathrm{\Gamma}\vdash A$ then $\mathrm{\Gamma}{\vdash}_{\Theta}A$. This means, for him, that there are no claims of the form $A\vdash B$ that are valid in FDE but invalid in Θ. Nonetheless, Θ and FDE can disagree when it comes to Contraposition, since it is not of the form $A\vdash B$, but of the form If$A\vdash B$then$C\vdash D$.
But despite of Beall’s eff it is odd that FDE logical consequence contraposes, that theological consequence extends FDElogical consequence and that nonetheless theological consequence does not contrapose. To use a nowadays popular terminology, FDE consists not only of valid inferences like $A\vdash B$ or $A\vdash A\vee B$ , but also of valid metainferences, such as Contraposition. But then how is it possible that Θ extends FDE without validating its metainferences too? Then either Θ does not extend FDE, or it does it but FDE is just a collection of valid inferences, not of metainferences as well.
I think there is no need for Beall to enter such a dilemma: one can describe theological consequence as FDE plus some background, extralogical premises, that is, one can transform expressions like ‘$A{\vdash}_{\Theta}B$’ into expressions like ‘$\mathrm{\Gamma},A{\vdash}_{\mathrm{FDE}}B$’. But then it is no wonder that one loses Contraposition, as it is a wellknown fact that Contraposition with multiple premises fails in FDE, that is, $\mathrm{\Gamma},A{\vdash}_{\mathrm{FDE}}B$ might hold but $\mathrm{\Gamma},~B{\vdash}_{\mathrm{FDE}}~A$ not. Θ and FDE do not disagree with regards to metainferences after all.
6 Conclusions
Beall has given more or less convincing arguments to the eff that neither classical logic, nor K3, nor LP, nor S3 can play the role he expects from logic: to be the basement theory for all true theories. Nonetheless, he has not considered all the pertinent competitors, and he has not given any reassurance that he has not gone too low in the hierarchy of logics to find his desired “universal closure of all true theories”.
In this paper, I put forward those additional arguments to show the superiority of FDE with respect to logics that include a detachable conditional but that are very much like FDE otherwise. Finally, I discussed the problem that theological consequence might not contrapose even if theological consequence is supposed to extend FDE consequence and the latter does contrapose. I hope to have shown that theological consequence does not contrapose because FDE does not contrapose either in the pertinent sense.
6 References

^{1}Anderson, A. R., and Belnap, N. D. Entailment: The Logic of Relevance and Necessity, Vol. I. Princeton University Press, Princeton, 1975.

^{2}Arieli, O., and Avron, A. Reasoning with logical bilattices. Journal of Logic, Language and Information 5, 1 (1996), 2563.

^{3}Beall, J. Multipleconclusion LP and default classicality. Review of Symbolic Logic 4, 2 (2011), 326336.

^{4}Beall, J. Free of Detachment: Logic, rationality, and gluts. Noûs 49, 2 (2015), 410423.

^{5}Beall, J. There is no logical negation: true, false, both and neither. Australasian Journal of Logic 14, 1 (2017), 129.

^{6}Beall, J. The simple argument for subclassical logic. Philosophical Issues 28, 1 (2018), 3054.

^{7}Beall, J. FDE as The One True Logic. In New Essays on BelnapDunn Logic, H. Omori and H. Wansing, Eds. Springer, Cham, 2019.

^{8}Beall, J. The Contradictory Christ. Oxford University Press, New York, 2021.

^{9}Beall, J., and Camrud, C. A note on FDE “all the way up”. Notre Dame Journal of Formal Logic 61, 2 (2020), 283296.

^{10}Cotnoir, A. J. Logical nihilism. In Pluralisms in Truth and Logic, J. Wyatt, N. J. L. L. Pedersen, and N. Kellen, Eds. Palgrave MacMillan, 2018, pp. 301329.

^{11}Dicher, B. Requiem for logical nihilism, or: Logical nihilism annihilated. Synthese (2020), 124.

^{12}EstradaGonzález, L. On the meaning of connectives: Apropos of a nonnecessitarianist challenge. Logica Universalis 5, 1 (2011), 115126.

^{13}EstradaGonzález, L., and Ramírez Cámara, E. Nonconditional contracting connectives. In Mathematics, Logics and their Philosophies. Essays in Honor of Mohammad Ardeshir, S. Rahman, M. Mojtahedi, and M. S. Zarepour, Eds. 2020, pp. 349364.

^{14}Kremer, M. Kripke and the logic of truth. Journal of Philosophical Logic 17, 3 (1988), 225278.

^{15}Mortensen, C. Anything is possible. Erkenntnis 30, 3 (1989), 319337.

^{16}Pawl, T. Explosive theology: A reply to Jc Beall’s “Christ  a contradiction”. Journal of Analytic Theology 7, 1 (2019), 440451.

^{17}Priest, G. An Introduction to NonClassical Logics. From If to Is, second ed. Cambridge University Press, Cambridge, 2008.

^{18}Russell, G. An introduction to logical nihilism. In Logic, Methodology and Philosophy of ScienceProceedings of the 15th International Congress (2017), College Publications, pp. 125135.

^{19}Russell, G. Logical nihilism: Could there be no logic? Philosophical Issues 28, 1 (2018), 308324.

^{20}Shramko, Y., and Wansing, H. Truth and Falsehood: An Inquiry into Generalized Logical Values. Springer, Dordrecht, Heidelberg, London, New York, 2011.

^{21}Sylvan, R. On interpreting truth tables and relevant truth table logic. Notre Dame Journal of Formal Logic 33, 2 (1992), 207215.

1
All quotations mentioning only page numbers are from this text.

2
The intersection of K3 and LP; see [14].

3
See for example the debate around [18] and [19], like [10], [11] and the now prehistoric [15] and [12].

4
To be fair, Beall requires extending the picture to get a predicate version of FDE. That would require that (ntuples of) objects are related in four ways to extensions and antiextensions of (nary) predicates: they belong to the extension but not to the antiextension; they belong to both the extension and to the antiextension, and so on. This can be safely ignored for the present purposes.

5
One might say that they are generalized truth values. (See for example [20].) Let that be. It is still the case that they are not truth values like 1 and 0.

6
For simplicity, these definitions will be adapted for the other logics in this paper, just with the respective changes in language.

7
Countermodels: for the first, put $\sigma \left(A\right)=\left\{\right\}$ ; for the second, put $\sigma \left(A\right)=\left\{1,0\right\}$ ; for the third one, note that $A{\models}_{\mathrm{FDE}}A$ but ${\overline{)\models}}_{\mathrm{FDE}}A\to A$ .

8
I will leave aside the question whether the extensional conditional in FDE is a conditional or not; I will simply assume it is. One can construct some arguments from Beall’s [3] or [4] to that effect. The gist would be that it has the evaluation conditions of a conditional, and that it validates certain restricted forms of the patterns demanded, which would be enough to consider it a conditional. See [13] for similar arguments.

9
There are many places where he suggests this, but one particularly close to what I am discussing here is [21].

10
I think this is a defect of FDE, as the logic is often accompanied by claims of treating truth and falsity on equal footing, but that policy is not extended to validity and invalidity. Nonetheless, I will not press the issue further here.

11
This connective has been studied in [2], for example, where many results about it can be found.

12
Sketch of the proof. Suppose that there is a nonimplicative organic schema S in FDE _{→φ} . This means that there is no subschema in S that is a truth. It cannot be made of just ∼, ∧ and ∨ as the evaluations for these are as in FDE and there are no truths in FDE. Then S must have an implicative subschema with _{→φ} and, by the evaluation conditions of the connectives, it must be a truth itself.

13
The evaluation conditions for the material conditional are simpler than those for the Philonian one, almost as simple as those for the extensional one. Still, they are heterogeneous.

*
This paper was written during the COVID19 crisis, under the financial support of the Notre Dame InternationalMexico Faculty Gran Program project “The scope and limits of nondetachable conditionals”, the PAPIIT project IN403719 and the Uniwersytet Mikolaja Kopernika w Toruniu (Excellence Initiative  Research University Program, Application 437). I presented a previous version during the online symposium “Discussing The Contradictory Christ ”; I want to thank Jc Beall  who is himself a demon and an archbishop and the audience for the discussion.

Article Info
CDD: 160.1
Publication Dates

Publication in this collection
13 Dec 2021 
Date of issue
OctDec 2021
History

Received
15 June 2021 
Accepted
19 Aug 2021