The logical bases of contradictory Christology: comments on The Contradictory Christ , Ch. 2

: Beall has given more or less convincing arguments to the eﬀect that neither classical logic, nor K 3 , 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 ﬁnd 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.


Introduction
In The Contradictory Christ ( [8]) 1 , 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], [6], [7], [9].Although he has dispatched other options -classical logic, K 3 , LP, S3 2more or less satisfactorily, this has not been done for all 1 All quotations mentioning only page numbers are from this text. 2The intersection of K 3 and LP; see [14].
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 extra-logical reasons, I think that there is still a lot of extra-logicality in FDE: logic alone should not validate anything.
3 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 object-language.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 3 See for example the debate around [18] and [19], like [10], [11] and the now prehistoric [15] and [12].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 (extra-logical, theoryspecific) consequence relations of our true theories.(. . . )

Manuscrito
And, to say it briefly, logic can be that sort of theory because both its linguistic narrowness -it deals only with the so-called "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 zero-order 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 following assignments, where A and B stand for any formula: 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: and 0 ∉ σ(A)'; more briefly, σ(A) = {1} • A is true but also false, represented '1 ∈ σ(A) and 0 ∈ σ(A)'; more briefly, σ(A) = {1, 0} • A is neither true nor false, represented '1 ∉ σ(A) and 0 ∉ σ(A)'; more briefly, where each claim of the forms With this in mind, the evaluation conditions above for connectives can be represented tabularly as follows: 4 To be fair, Beall requires extending the picture to get a predicate version of FDE.That would require that (n-tuples of) objects are related in four ways to extensions and anti-extensions of (n-ary) predicates: they belong to the extension but not to the anti-extension; they belong to both the extension and to the anti-extension, and so on.This can be safely ignored for the present purposes.
Note that {1}, {0}, {1, 0} and { } are not truth values, but assignments or evaluations; more precisely, collections of truth values. 5So, under this presentation, it would be rather wrong to call FDE 'a four-valued logic'.Finally, let Γ be a set of formulas of FDE.Let us say that and argument is valid in FDE Γ ⊧ FDE A, if and only if, for every evaluation σ, 1 ∈ σ(A) if 1 ∈ σ(B) for every B ∈ Γ.An argument is invalid in FDE if an only if there is an evaluation in which the premises are true, i.e. 1 ∈ σ(B) for every B ∈ Γ, but the conclusion is not, i.e. 1 ∉ σ(A). 6This 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 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.
case, the so-called 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 classical-logic account." Emphasis in the original.](. . . ) A second virtue is that the resulting logic is clearly topic-neutral 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 classical-logic 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 vi-a-vis that other logic, then more elaborated arguments, not yet given by Beall, will be needed.

The conditional
Note that the conditional A → B in FDE is extensional as it is definable as ∼ A ∨ B -i.e. it is true iff the antecedent is false or the consequent is true-.It does not satisfy either of the following which are, for many, conditions sine qua non of conditionals. 7Thus, for example, Priest claims boldly that "FDE has no conditional operator" [17, 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.put σ(A) = {1, 0}; for the third one, note that A ⊧ FDE A but ⊭ FDE A → 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.
Consider Sylvan's suggestions of strengthening FDE into arrow form with a suitable conditional → ϕ , that is, changing every valid argument of the form A ⊧ FDE B into one of the form ⊧ FDE →ϕ A → ϕ B. 9 The result is depicted as follows: What does it take to have FDE → ϕ ?It is FDE plus the following conditional: 9 There are many places where he suggests this, but one particularly close to what I am discussing here is [21].
whose evaluation conditions are as follows: 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 f de ; see [1,Ch. 15].I keep the name 'FDE → ϕ ' -and the somewhat redundant axiomatization-to stress that this need not be first-order entailmenti.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 topic-neutral 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 topic-neutrality 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).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∧ ∼ 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 For a countermodel to the first one, consider σ(A) = {1, 0} and 1 ∉ σ(B); for the second one, consider 1 ∈ σ(A) and 1 ∉ σ(B).Thus, it does not seem that "unique, strange phenomena" are forced "into the 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.
force unique, strange phenomena into the cramped confines of classical-logic 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 non-theory-specific vocabulary of all of our true theories, and assuming that such a theory is FDE's is question-begging.There is at least one non-question-begging reply to be attempted, though.According to Beall, it is the business of extra-logical theories to determine what truths there are.Since FDE → ϕ and FDE → m contain truths, they would be extra-logical theories.
Let us examine what kinds of truths there are in FDE → ϕ .There are implicative truths -i.e. of the form A → ϕ B-, for example, all instances of the axioms schemas.There are also non-implicative truths, for example, of the form A ∨ (B → ϕ B) or ∼ ((A → ϕ A)∧ ∼ (A → ϕ A)).But note that these non-implicative truths are non-organic.A schema -or formula-in a logic L is organic if and only if none of its sub-schemas -respectively, subformulas-is logically valid in L. Otherwise, it is non-organic.In fact, all non-implicative truths in FDE → ϕ are non-organic.
12 (Note that classical logic is full of (non-implicative) organic validities: ∼ (p∧ ∼ p), q∨ ∼ q, and so on.)Moreover, the organic parts in those truths are insubstantial: these 12 Sketch of the proof.Suppose that there is a non-implicative 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.
non-implicative 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 non-implicative truths that are not equivalent to the implicative truth they contain.For example, A ∨ (B → 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 treatmentthink 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.

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 well-known cases: The latter are read: "Not-A is true iff A is not true, and Not-A 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 nega-tion)' 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: 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: 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 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 ∈ σ(p) or 1 ∉ σ(p), and either 0 ∈ σ(p) or 0 ∉ σ(p) 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 → A is not valid; simply put 1 ∈ σ(A) and 0 ∈ σ(A).) 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 effect 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 object-language correlate of logical entailment.In that sense, the conditional is not like the other connectives.Beall might reply that that is precisely the extra-logical 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.

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, Θ), A ⊢ Θ γ Suppose that A is true only in the theory.Then the following is invalid in the theory: ∼ γ ⊢ Θ ∼ A Hence, theological consequence does not contrapose.
As Pawl [16] has rightly pointed out, this seems at odds with the facts that FDE-logical 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 Γ ⊢ A then Γ ⊢ Θ A. This means, for him, that there are no claims of the form A ⊢ 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 ⊢ B, but of the form If A ⊢ B then C ⊢ D.
But despite of Beall's efforts, it is odd that FDElogical consequence contraposes, that theological consequence extends FDE-logical consequence and that nonetheless theological consequence does not contrapose.To use a nowadays popular terminology, FDE consists not only of valid inferences -like A ⊢ A or A ⊢ A ∨ B-, but also of valid meta-inferences, such as Contraposition.But then how is it possible that Θ extends FDE without validating its meta-inferences too?Then either Θ does not extend FDE, or it does it but FDE is just a collection of valid inferences, not of meta-inferences 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, extra-logical premises, that is, one can transform expressions like 'A ⊢ Θ B' into expressions like 'Γ, A ⊢ 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, Γ, A ⊢ FDE B might hold but Γ, ∼ B ⊢ FDE ∼ A not. Θ and FDE do not disagree with regards to metainferences after all.

Conclusions
Beall has given more or less convincing arguments to the effect that neither classical logic, nor K 3 , 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.

10
if theological consequence is supposed to extend FDE consequence and the latter does contrapose.
-Rev.Int.Fil.Campinas, v. 44, n. 4, pp.340-362,Oct.-Dec.2021.evensets, 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 thrown-in 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)