## Deduction Theorem: The Problematic Nature of Common Practice in Game Theory

Holger I. MEINHARDT ∗ †

August 31, 2021

## Abstract

We consider the Deduction Theorem used in the literature of game theory to run a purported proof by contradiction. In the context of game theory, it is stated that if we have a proof of φ /turnstileleft ϕ , then we also have a proof of φ ⇒ ϕ . Hence, the proof of φ ⇒ ϕ is deduced from a previously known statement. However, we argue that one has to manage to establish that a proof exists for the clauses φ and ϕ , i.e., they are known true statements in order to show that φ /turnstileleft ϕ is provable, and that therefore φ ⇒ ϕ is provable as well. Thus, we are not allowed to assume that the clause φ or ϕ is a true statement. This leads immediately to a wrong conclusion. Apart from this, we stress to other facts why the Deduction Theorem is not applicable to run a proof by contradiction. Finally, we present an example from industrial cooperation where the Deduction Theorem is not correctly applied with the consequence that the obtained result contradicts the well-known aggregation issue.

## JEL Classifications : C71.

## MS Classifications 2010 : 03B05, 91A12, 91B24

Keywords : Propositional Logic, Deduction Theorem, Herbrand Theorem, Proof by Contradiction, TU Games, Cooperative Oligopoly Games, Partition Function Approach, γ -Belief, Nash Equilibrium, Aggregation across Firms.

## 1 Introduction

We review a common practice in the literature of game theory of applying the Deduction Theorem (Herbrand Theorem, 1930) on a purported proof by contradiction. This theorem is a meta-theorem of mathematical logic, which states that if a known proposition/clause ϕ within a calculus system is deducible (provable) by some known clauses φ , . . . , φ 1 n from the calculus system - written more formally as φ , . . . , φ 1 n /turnstileleft ϕ , then the derived term within the calculus system is also provable. Notice that the calculus system describes a logical consistent and complete rule (a calculus) of how we can get new logical terms (clauses) from already known true statements. It is the closed logical framework/system from which we obtain new results. Or to state it differently, a calculus

∗ The author acknowledges support by the state of Baden-W¨rttemberg through bwHPC. Of course, the usual u disclaimer applies.

† Holger I. Meinhardt, Institute of Operations Research, Karlsruhe Institute of Technology (KIT), Englerstr. 11, Building: 11.40, D-76128 Karlsruhe. E-mail: Holger.Meinhardt@wiwi.uni-karlsruhe.de

system describes the axiomatic theory of propositional logic. For a more thorough discussion, we refer the reader to Ebbinghaus et al. (2007).

In the literature of game theory, authors apply a reduced form of the Deduction Theorem, in particular, while trying to run an indirect proof. In this context, it is stated that if we have a proof of φ /turnstileleft ϕ , then we also have a proof of φ ⇒ ϕ . Thus, if we have managed to prove the clauses φ and ϕ , they are known true statements of a calculus system from which the provability of φ /turnstileleft ϕ can be obtained. 1 This means that if we have successfully reasoned on the provability of φ /turnstileleft ϕ , then the derived judgment that φ ⇒ ϕ is provable can be deduced. Unfortunately, this is not the common practice observed in game theory. 2 In contrast, authors impose existence assumptions on the provability of φ and ϕ to reason that φ /turnstileleft ϕ is provable, and that this proves φ ⇒ ϕ . By the foregoing reasoning it should be clear that we are only allowed to reason with known true statements, that is, we are not allowed to assume that a proof for φ or ϕ exists. Doing so, leads immediately to a wrong conclusion.

The remainder of the treatise is organized as follows: Section 2 provides a short refresher of some essential aspects of propositional logic. Having discussed this, we are going to discuss in more detail within Section 3 the incorrect application of the Deduction Theorem while trying to run a proof by contradiction. Whereas Section 4 is dedicated to an example from the literature, where an author derives results while applying the Deduction Theorem incorrectly, that is, imposing an existence assumption that contradicts the well-known issue of bequeathing essential properties of a function from an individual to an aggregate level. We close our considerations with some final remarks in Section 5.

## 2 Propositional Logic: A Refresher

For presenting a reminder of propositional logic, we introduce two truth tables. A logical statement/proposition is formed by the symbols A or B , which means that a statement A is true or false. However, the inversion is formed by the negation of a proposition by using the logical term 'not' denoted by ¬ . If A is a proposition, then ¬ A is the negation of A verbalized as 'not A ' or ' A is false' . The effect of negation, conjunction, disjunction, and implication on the truth values of logical statements is summarized by a so-called truth table. In this table, the capital letter T indicates a true proposition and F indicates that it is false.

| A   | B   | ¬   | B A ⇒   | B ¬ ( A   | ⇒ B ) A ⇐   | B A ⇔ B   | A ∨ ¬ B   | A ∧ B   | A ∨ B    |
|-----|-----|-----|---------|-----------|-------------|-----------|-----------|---------|----------|
| F   | F   | T   | T       | F         | T           | T         | T         | F       | F        |
| F   | T   | F   | T       | F         | F           | F         | F         | F       | T        |
| T   | F   | T   | F       | T         | T           | F         | T         | F       | T        |
| T   | T   | F   |         | T F       | T           | T         | T         | T       | T        |
| A   | B   | ¬ A | ¬ B     | ¬ A ⇒¬ B  | A ∨ ¬ B     | ¬ A ⇐¬ B  | ¬ A ∨ B   | A ∧ ¬ B | ¬ A ⇔¬ B |
| F   | F   | T   | T       | T         | T           | T         | T         | F       | T        |
| F   | T   | T   | F       | F         | F           | T         | T         | F       | F        |
| T   | F   | F   | T       | T         | T           | F         | F         | T       | F        |
| T   | T   | F   | F       | T         | T           | T         | T         | F       | T        |

1 By abuse of language, we state sometimes in the course that a clause φ exists rather to say that a proof of the clause φ exists in a calculus system.

2 Personally, we have the impression that the great majority of game theorist is not really aware that they base their argumentation on the Deduction Theorem.

Two statements are indicated as logically equivalent through the symbol ≡ . For instance, by the truth table we realize that the two statements ¬ A ⇐ ¬ B and ¬ A ∨ B are logically equivalent, which is formally expressed by ( ¬ A ⇐ ¬ B ) ≡ ( ¬ A ∨ B ). A falsum ⊥ is, for instance, the conjunction A ∧ ¬ A whereas a tautology /latticetop can be expressed, for instance, by the disjunction ¬ A ∨ A ≡ ¬ ( A ∧¬ A ). Moreover, a proposition or premise A might satisfy a falsum or a tautology or an arbitrary property B , which is expressed by ( A /turnstileleft ⊥ ) or ( A /turnstileleft /latticetop ) or ( A /turnstileleft B ) respectively. This should not be confounded with an implication of the form ( A ⇒⊥ ) or ( A ⇒/latticetop ) or ( A ⇒ B ) respectively.

Finally, to capture a material implication or adjunctive logical statements by a concise notation, we also refer to φ or to ϕ , and to a system of terms by Φ. By the latter, we define a system of terms Φ as consistent if, and only if, there exists no term φ s.t. Φ /turnstileleft φ and Φ /turnstileleft ¬ φ hold simultaneously. In contrast, a system of terms Φ is said to be inconsistent if, and only if, there exists a term φ s.t. Φ /turnstileleft φ and Φ /turnstileleft ¬ φ hold simultaneously. Moreover, a system of terms Φ is inconsistent if, and only if, for all φ it holds Φ /turnstileleft φ ( Principle of Explosion ). This statement is logically equivalent to the statement that a system of terms Φ is consistent if, and only if, there exists a φ that cannot be deduded by Φ (cf. Ebbinghaus et al. (2007, Chap. 4.)). A material implication is a rule of replacement that allows to replace a conditional proposition by a disjunction. For instance, the conditional statement A implies B can be replaced by the disjunction ¬ A ∨ B , which is logically equivalent to the former proposition (see the truth table).

These information are enough to discuss some formal representations of an indirect proof, which is also called a proof by contradiction. This proof technique enables us to prove a proposition A by establishing that the negation ¬ A implies something that we know to be false. Hence, the negation ¬ A contradicts a known true statement.

To show that a proposition A and its negation ¬ A cannot both be true, some uses the representation of a conditional statement like ¬ A ⇒ A to conclude that ¬ A and A cannot both be true, and that a contradiction occurs with the consequence that the initial assumption must be wrong and A must be true. But this is fallacy, which confounds ¬ A ⇒ A with ¬ A /turnstileleft A . First of all, ¬ A ⇒ A simply says that if ¬ A is false then A must be true, and if ¬ A is true, then A has to be false. On this statement is nothing contradictory. Moreover, we do not have ¬ A ∧ A as we can observe by the following chain of equivalences

$$( \neg A \Rightarrow A ) \equiv ( \neg ( \neg A ) \vee A ) \equiv ( A \vee A ) \equiv A.$$

Hence, ¬ A ⇒ A is equivalent to A , but not to ¬ A ∧ A . In contrast, a representation of an indirect proof by ¬ A /turnstileleft A indicates that the initial assumption made by ¬ A is false, since ¬ A satisfies A . Here one deduces that ¬ A cannot hold, the initial assumption is wrong and A holds. But this is not an implication, this is a deduction. This reveals that deduction and implication are not synonymous expressions.

Alternatively, to involve that a proposition φ 'satisfies' a falsum ⊥ in order to conclude that in fact ¬ φ holds and a contradiction is derived, we write ( φ /turnstileleft ⊥ ⇔ ¬ ) φ . This constitutes a formal expression of an indirect proof. Notice that this has per se nothing to do with an application of the forthcoming Deduction Theorem, hence it is allowed to assume that φ is a true statement. Be aware that imposing the assumption of the existence of a proof for φ is not anymore allowed if we apply the Deduction Theorem to reason that ( φ /turnstileleft ⊥ ) is provable to finally conclude that ( φ ⇒⊥ ) is provable as well. Moreover, it should be evident that this is not the same as ( φ ⇒⊥ ⇔ ¬ ) φ . Since in the former case we have that a proposition φ 'satisfies' ⊥ whereas in the latter case a

proposition φ 'implies' ⊥ .

In the context of a calculus system, we have to take into account that if a proposition is provable (deducible), then it is a correct (true) logical statement, and if it is a true logical statement, then it is provable. Saying that in a calculus system all logical true statements are provable, and vice versa.

## 3 The Deduction Theorem

The Deduction Theorem (Herbrand Theorem, 1930) is roughly stating that each judgment of a system of terms Φ must be logically independent and consistent, i.e. the judgment must be based on a calculus system, in order to conclude that the derived judgment is deducible (cf. Ebbinghaus et al. (2007, Chap. 11.)). This means, for instance, that if we have a proof of φ /turnstileleft ϕ , then we also have a proof of φ ⇒ ϕ . Notice that if the clause φ /turnstileleft ϕ is provable, then φ and ϕ must be consistent and logically independent clauses of a system of terms Φ. Here, the term consistent can be interpreted as indicating provable as well, since we know that Φ /turnstileleft φ if, and only if, Φ ∪{¬ } φ is not consistent, or to put it differently, they are known true statements, saying that a proof exists for the clauses φ and ϕ . Apparently, if φ and ϕ are clauses in a calculus system then they are consistent and logically independent clauses from which the provability of φ /turnstileleft ϕ on the calculus system can be derived. Hence, φ and ϕ can only be used on a system of terms, if we have managed to prove them. Thus, to prove φ /turnstileleft ϕ , we are only allowed to reason with known true statements, that is, we are not allowed to assume the existence of a prove for φ , for instance; otherwise this leads immediately to a wrong conclusion (see also the forthcoming discussion of Section 4).

This is caused by the fact that a game theoretical analysis introduces a system of terms whose completeness and consistency must be established, i.e., that it is a calculus system. Thus, introducing a system of terms does not assure the existence of a calculus system, it is just a prototype or candidate of a calculus system. The problem of working with a prototype of a calculus system can be explained on the basis that it is not allowed to make an assumption that the clauses φ and ϕ are true statements. Then, apparently, not all logical true statements are provable violating the consistency of the prototype of the calculus, and the existence of calculus must be denied. Moreover, in such a case the logical independence of φ and ϕ cannot be guaranteed implying that a proof by contradiction based on φ /turnstileleft ϕ is useless whenever they are logically dependent. As a result the system of terms is inconsistent. Therefore, from an inconsistent system incorrect conclusions were derived.

By this consideration, it is only possible to get a derived deduction from a system of clauses with known proofs. Saying that from a consistent and closed system, i.e., a calculus, containing φ and ϕ , a deduction φ /turnstileleft ϕ can be obtained, from which we can infer that the clause φ ⇒ ϕ is provable. However, it is common practice in the literature of game theory that authors try to deduce φ /turnstileleft ϕ while assuming that φ is true with one possible false statement ϕ , in order to conclude that φ ⇒ ϕ is provable. It should be evident that this contradicts the foregoing described procedure to correctly apply the Deduction Theorem, and therefore violates good practice of logical reasoning.

## 3.1 Incorrect Application of the Deduction Theorem

By the foregoing discussion we have argued that the Deduction Theorem was not correctly applied in the literature of game theory. In particular, as we shall see in a short while, this practice finds wide application to run a purported proof by contradiction. In the course, we shall now take the opportunity to refute by a more thorough reasoning the arguments which are presented in favor of its application in the game theory literature.

There is a growing literature of game theory (cf. Meinhardt (2015, 2016a,b, 2017, 2018b,c)), where one can find incorrect applications of the indirect proof w.r.t. a logical sentence like

$$A \Rightarrow B,$$

that cannot be managed to prove it directly. It is argued that the sentence (3.1) is, nevertheless, provable by assuming that this is a wrong judgment while establishing that the equivalent implication given by

$$( A \wedge \neg B ) \Rightarrow ( A \wedge \neg A ),$$

is a valid logical sentence. Hence, these authors claimed that such a logical sentence is deducible, and that it is therefore a correct logical judgment. A fortiori, we shall establish that this is not a provable statement. That means, there exists no valid proof for the implication (3.2).

Recall, in order to apply the Deduction Theorem we have to take into account that if a proposition is provable (deducible), then it is a correct (true) logical statement, and if it is a true logical statement, then it is provable. In the course of this discussion, we shall now investigate the issue for (3.2) in more detail.

In the following, we first demonstrate that this implication is not a true logical statement in order to apply the Deduction Theorem. To see this, we redefine the implication by setting

$$( A \wedge \neg B ) \coloneqq \neg ( A \Rightarrow B ) \quad ( A \wedge \neg A ) \coloneqq \neg ( A \Rightarrow A ).$$

Then, the implication of (3.2) can be rewritten as

$$\neg ( A \Rightarrow B ) \Rightarrow \neg ( A \Rightarrow A ).$$

By the assumption made in the literature that A ⇒ B is a false judgment, which is the case whenever A is true i.e., T , and B is false ( F ), we get

$$\begin{array} {$$

Thus, we observe by these arguments that the implication (3.4) is not a valid logical statement. From the point of view that this is not a true logical statement, it is also not provable.

At the final step let us check if the expression ¬ ( A ⇒ B ) satisfies ¬ ( A ⇒ A ) i.e., ¬ ( A ⇒ B ) /turnstileleft ¬ ( A ⇒ A ) is a deduction, for which authors give no rigorous logical argument, instead of that

they refer to fatal logical arguments to make their point that (3.2) is provable while applying for ( φ ⇒⊥ ⇔¬ ) φ incorrect arguments.

To answer this issue, we note first that it is well known that A ⇒ B is a deducible expression, but then the negation of A ⇒ B , the expression ¬ ( A ⇒ B ) cannot be deducible. Similar, we know that A ⇒ A is a deduction, but then the negation of A ⇒ A i.e., ¬ ( A ⇒ A ), is not deducible as well. From these findings, it is obvious that there exists no deduction ¬ ( A ⇒ B ) /turnstileleft ¬ ( A ⇒ A ) at all, and therefore no proof. Otherwise, one would say that a non deducible expression can be deduced by something which is not deducible. This is obviously absurd. Moreover, what does it mean if we could deduce something from an inconsistency? Now, this would simply mean that from something inconsistent one can deduce everything, therefore we would have ¬ ( A ⇒ B ) /turnstileleft C , for every C , including C := ¬ ( A ⇒ A ). 3 Of course, this also is an absurd judgment. Moreover, it is mandatory to establish that the candidate of a calculus system is logically independent, which means in that case, one has to show that the prerequisites A and B are logically independent. From these findings, we may conclude that there exists no valid deduction ¬ ( A ⇒ B ) /turnstileleft ¬ ( A ⇒ A ), and the expression is therefore not provable. Since this is not a deduction, it is also not a true logical statement.

Summarizing our results: First, we have established that the Deduction Theorem is not applicable. Second, we may even conclude that there exists no proof for ( A ∧ ¬ B ) ⇒ ( A ∧ ¬ A ). Hence, there is no deduction ¬ ( A ⇒ B ) /turnstileleft ¬ ( A ⇒ A ) to conclude that ¬ ( A ⇒ B ) ⇒¬ ( A ⇒ A ) is a correct logical statement.

## 4 Aggregation across Firms: A Fallacy

In the course of this Section, we shall develop by means of an example that wrong conclusions will be made whenever the Deduction Theorem is not correctly applied. Conclusions that are inconsistent to known true statements from the literature as in the forthcoming example.

For this purpose, we have selected the work of Lardon (2012), who claimed by Proposition 3.1 that each characteristic function derived from a partition function approach is well defined. We shall establish that this result contradicts aggregate behavior that is well known from the theory of consumers (see Russell (1983); Varian (1992); Jerison (1993); Russell and Farris (1993); Russell (1996); Russell and Farris (1998)), which is, however, also a relevant issue for the theory of industrial cooperation, since one has to aggregate across firms. Even in the latter case the aggregate profit function must satisfy the crucial properties of quasi-concavity and continuity. As we shall learn in a while, the second property cannot be guaranteed on an aggregated level while introducing regular conditions (cf. Nash (1951); van Damme (1991); Maschler et al. (2013)) like compactness and convexity of the strategy set; and continuity as well as quasi-concavity of player's profit function. To be more precise, continuity of the individual profit function of a normal form game is a necessary, but not a sufficient condition of continuity of a profit function of a derived aggregate normal form game. By the mentioned literature from consumer theory, we know that consumers utility functions must be of Gorman form to get an aggregate demand function that inherits their properties. This type of utility function is quasi-linear, or to put

3 This is the Principle of Explosion also subsumed under ex falso sequitur quodlibet, i.e., from falsehood anything follows (cf. Section 2). Is the antecedence (premise) inconsistent, it cannot be true, then drawing a conclusion is meaningless, and anything can be concluded. Hence, this says that an inconsistent theory - for instance, an inconsistent game model - is useless.

it differently, it is linear in the numeraire good. A property that cannot be guaranteed for an aggregate profit function of an industry, and that cannot assure either that aggregate best reply functions are continuous. However, by pointing to this reference from consumer theory, we notice that a particular form of individual profit functions is needed to bequeath their properties to the aggregate profit function of an cartel, for instance.

In order to work out the conflict to Lardon (2012, Proposition 3.1), we focus on the γ -characteristic function - that is, outsiders' behavior is characterized by the γ -belief to specify the partition function from which finally the characteristic function is derived (see Hart and Kurz (1983), and for an application in industrial cooperation Meinhardt (2018a)) - to establish that this function may not be well-defined, and that therefore a Nash equilibrium (partial agreement equilibrium) for a particular coalition structure based on oligopoly situation without transferable technologies cannot be expected to exist while aggregating across firms. The conflict is caused by an incorrect application of the proof by contradiction that fades out the aggregation issue with the fatal consequence that the author concludes that γ -characteristic function is well-defined, and that the Nash-equilibrium always exists for normal form games w.r.t. a partition of the player set that is based on the γ -belief. Which is a fallacy, since the intrinsic aggregation issue clearly excluded this possibility. Thus, there may exist no Nash equilibrium for that specific coalition structure, which contradicts the assertion of Proposition 3.1. An effect which is for Cournot oligopoly games only visible due to combinatorial reasons from five firms onward. This issue shall be investigated in greater detail by the forthcoming counter-example.

## 4.1 Investigation of the Arguments

During this discussion, we quote his fatal logical arguments while running a purported indirect proof that leads the author to wrong conclusion. Notice, we only summarize the main arguments of the author without going into the details, and without discussing the notation as well as the definitions. To start with, we recall Lardon (2012, Proposition 3.1) and quoting his proposition as a simple statement to mark the incorrectness.

Statement 4.1. Let 〈 N, X ,π ( k k ) k ∈ N 〉 be a normal form game. Then for any coalition structure P ∈ Π( N ) , there exists an equilibrium under P .

Some arguments, we are going to present here, have been already developed within the work of Meinhardt (2015, 2016a,b, 2017). Nevertheless, we present some refinements and extensions of our argumentation that go beyond those we have in particular been applied in Meinhardt (2015, Section 4). For a quick reminder of propositional logic, the inclined reader ought consult Section 2.

In the article of Lardon (2012), the author claims to provide for the class of oligopoly TU games an existence result of the γ -core and a single-valued allocation rule inside of the γ -core that is called by the author Nash Pro rata-value. Moreover, he asserts to present an axiomatic characterization of the NP-value. Nevertheless, this article is strongly flawed due to the fact that the author confuses and mixes up non-equivalent fundamental statements from propositional logic while applying false indirect arguments.

In particular, the author deduces wrong conclusions from logical statements derived from an indirect proof which relies on a material implication. In this context, he neither recognizes the logical relationship ( A ∧ ¬ B ⇒ A ∧ ¬ A ) ≡ ( A ⇒ B ) nor ( ¬ A ∧ B ⇒ ¬ A ∧ A ) ≡ ( B ⇒ A ). Moreover, he does not notice that the left hand side of these equivalence relations is in each

case an inappropriate application of the Deduction Theorem (cf. Subsection 3). This theorem involves that each judgment in a system of terms must be consistent and logically independent, i.e., the judgment must be based on a calculus system, to conclude that the derived judgment is deducible (cf. Ebbinghaus et al. (2007, Chap. 11.)). In contrast to these premises we observe that the negation of A ⇒ B , the expression ¬ ( A ⇒ B ) cannot be deducible. Analogously, we know that A ⇒ A is a deduction, but then the negation of A ⇒ A i.e., ¬ ( A ⇒ A ), is not deducible as well. Thus, the author claims that one gets something consistent that is based on inconsistencies, which is absurd. In fact, this says that from an inconsistent theory one can deduce everything. The author is captured by the Principle of Explosion - ex falso sequitur quodlibet, i.e., from falsehood anything follows (cf. Section 2) - that destroys the entire structure of his game model. This is due that the premise ¬ ( A ⇒ B ) is inconsistent, it cannot be true, then drawing from it a conclusion is meaningless, and anything can be concluded. Hence, from an inconsistency any statement can be proven making the concepts of truth and falsehood irrelevant with the consequence that the underlying game model must be useless. Finally, the author has failed to establish that the candidate of a calculus system is logically independent, which means in that case, he failed to show that the prerequisites A and B are logically independent. None of the applied arguments of the author allow us to conclude that ( A ∧¬ B ) ⇒ ( A ∧¬ A ) is provable, and therefore a valid logical sentence.

We now outline why his purported proof of the 'sufficiency case' of Proposition 3.1 must be wrong. Similar as in other examples from the literature (cf. Meinhardt (2015, 2016a,b, 2017, 2018b,c)), he uses elements from a material implication for establishing the logical equivalent proposition if A then B . This author starts with A ∧ ¬ B to perform this kind of proof to get a contradiction in order to conclude that the implication A ⇒ B is drawn. Therefore, the author does not recognize that whenever a valid premise A ∧ ¬ B implies something false like ¬ A , one cannot get a valid logical sentence. As we stressed out in the previous paragraph, he deduces from a non-deducible sentence something that is non-deducible, which cannot be consistent. In this case, the implication must be a falsehood, which says that the clause is not provable. From which immediately follows - and which is the sole conclusion that can be drawn from this non provable clause - that a Nash equilibrium of the normal form oligopoly game Γ P := ( P , ( X ,π S S ) S ∈ P ) does not always exist.

When we are going into the details we recognize that the author applies the prerequisite A of the positive statement and ¬ B in order to prove the contrapositive statement if ¬ B ⇒ ¬ A . For doing so, he assumes that the payoff vector ˆ x P ∈ X P is a Nash equilibrium of the normal form oligopoly game Γ P = ( P , ( X ,π S S ) S ∈ P ), that is, premise A holds. It should be clear that assuming the existence of Nash equilibrium for game Γ P is not a very elegant proof technique to ignore the aggregation issue across firms, which, nevertheless, requires more sophisticated methods as those used by the author to overcome its problematic nature. In the next step, it is then assumed that the strategy profile ˆ = (ˆ x x S ) S ∈ P ∈ X N is not a Nash equilibrium of the normal form oligopoly game Γ = ( N, X ,π ( i i ) i ∈ N ) under P , i.e., premise B is false. Premise A is then used in his proof to construct in a first step the vector ˆ, x and finally to construct the contradiction that ˆ x P ∈ X P is not a Nash equilibrium ( ¬ A ). In effect, he has shown that A ∧ ¬ B ⇒ A ∧ ¬ A is not consistent. As a consequence, the clause A ⇒ B must be false too, in accordance with ( A ∧ ¬ B ⇒ A ∧ ¬ A ) ≡ ( A ⇒ B ). Hence, ( A ∧ ¬ B ⇒ A ∧ ¬ A ) is not consistent, and therefore not provable. This is the only possible conclusion w.r.t. the imposed regular conditions from industrial organization, that do not induce a well-behaved aggregate profit function on the cartel

level. Ignoring the well-known issue of inheriting individual properties to an aggregated level, the author incorrectly applied ( φ ⇒⊥ ⇔¬ ) φ while referring to fatal arguments.

For completeness, we just want to mention that the same misguided line of argument is also given for the 'necessity case' . There, he is not aware about the following logical equivalence ( ¬ A ∧ B ⇒ ¬ A ∧ A ) ≡ ( B ⇒ A ). No wonder that he shows that the truth ¬ A ∧ B implies a falsehood ¬ A ∧ A , which is as well a wrong logical clause. It follows that B ⇒ A is not provable.

In summary, he has shown in both cases the exact opposite of what he had claimed to prove while not following a good practice of logical reasoning and fading out crucial aspects from the aggregation issue across firms. As a consequence, Lardon has disproved his own Proposition 3.1.

In the sequel, we show what will happen if we apply a proof by contraposition ¬ B ⇒¬ A for the 'sufficiency case' in order to see where we run into problems. But then the starting point of the proof has to be the assumption that the payoff vector ˆ x ∈ X N is not a Nash equilibrium of the normal form oligopoly game Γ = ( N, X ,π ( i i ) i ∈ N ) under P ( ¬ B ), which implies by imposing the correct assumption like quasi-concavity on the profit function π i in order to guarantee existence of an equilibrium that

$$\sum _ { i \in S } \pi _ { i } ( \hat { x } _$$

is true. In this case, Formula (11) of Lardon (2012, p. 394) - that gives the definition of the aggregate cost function C S : X S → R + - does not ensure continuity of C S implying for the payoff vector ˆ x ∈ X N that

$$\sum _ { i \in S } C _ { i } ( \hat { x } _ {$$

cannot be anymore estimated. This is due that it cannot be supposed - without committing severe logical failures due to the violation of imposing necessary and sufficient properties on firms profit functions in order to get a representation of an aggregate profit function that inherits their properties - that ˆ x P ∈ X P is a Nash equilibrium. We have to stress the fact that the application of the Deduction Theorem (cf. Section 3) requires in that case the existence (provability) of a Nash equilibrium of the normal form game ( P , ( X ,π S S ) S ∈ P ), which means that imposing its existence just by an assumption is not a permissible conduct. We have seen by the foregoing consideration that such a Nash equilibrium cannot be assured by the regular conditions imposed by the game model. Hence, imposing its existence must lead to a wrong conclusion. Existence of an equilibrium cannot be assured, as a consequence, it is also not anymore clear that

$$\pi _ { S } ( \hat { x } ^ { \mathcal { P } } )$$

is satisfied as it was claimed by Lardon (2012, p. 395). This inequality can only be obtained when the author can establish by some logical inference in consideration of the aggregation issue that ˆ x P ∈ X P is a Nash equilibrium of the normal form oligopoly game Γ P = ( P , ( X ,π S S ) S ∈ P ) ( A is valid), but not by an assumption. Moreover, Corollary 3.2 is not correct either, implying in connection with the disproof of Proposition 3.1 that the TU game in γ -characteristic function form is not well-defined. Again, the results of the article are devalued according to these logical flaws.

## 4.2 Not well-behaved Aggregate Behavior across Firms

To see that a TU-game in γ -characteristic function form without transferable technologies might not be well-defined, we introduce a Cournot oligopoly situation, denoted 〈 N, ω ( k ) k ∈ N , ( c k ) k ∈ N , p 〉 ,

with five firms N = 1 2 3 4 5 { , , , , } producing a homogeneous good and having production capacities given by the vector of capacities { ω , ω 1 2 , ω 3 , ω 4 , ω 5 } = { 2 6 . , 0 1 . , 2 15 20 , , } . The individual marginal costs of the firms are given by the cost vector { c 1 , c 2 , c 3 , c 4 , c 5 } = { 1 8 5 / , / , 2 5 1 , / 24 1 , } . Thus, the cost functions are increasing in its arguments. Furthermore, we assume that the parameters of the concave inverse demand function p X ( ) = a -b · X 2 are given by { a, b } = { 120 1 , } with joint production of X = ∑ i ∈ N x i . Then the profit function is specified for each firm i by π i ( x ) := p X ( ) · x i -c i · x i . Notice, that the inverse demand function p X ( ) is strictly decreasing and concave in its arguments within the relevant domain.

To observe that no Nash-equilibrium can be guaranteed for the game ( P γ , ( X ,π S S ) S ∈ P γ ), we consider the coalition structure P γ = {{ 1 2 3 , , } { , 4 } { , 5 }} . The marginal profit function of coalition/trust { 1 2 3 , , } is defined by its f.o.c., and it is given by

$$\Delta \pi _ { \{ 1, 2, 3 \} } ( \bar { X }$$

with ¯ = X ∑ i ∈{ 1 2 3 , , } x i . Similar, the individual best replies of outsider firms 4 and 5 are quantified through

$$B _ { 4 } ( \bar { X } ) & = \frac { 3 } { 5 7 3 5 } \left ( \frac { 1 9 2 7 } { 8 } \sqrt { \bar { X } ^ { 2 } + 9 5 5. 8 3 3 } - \frac { 8 9 8 4 9 } { 1 2 5 } \bar { X } \right ) \quad \text{if} \, \bar { X } \in [ 0, 5 ] \\ B _ { 5 } ( \bar { X } ) & = \frac { 3 } { 5 7 3 5 } \left ( \frac { 2 8 2 0 8 } { 1 1 9 } \sqrt { \bar { X } ^ { 2 } + 9 5 5. 8 3 3 } - \frac { 8 5 0 8 0 } { 1 1 9 } \bar { X } \right ) \quad \text{if} \, \bar { X } \in [ 0, 5 ].$$

Taken the best response function of outsider 5 as given, the inverse best response of the trust { 1 2 3 , , } w.r.t. the output level x 4 of outsider 4 can be determined from the f.o.c. Analogous arguments let us determine the inverse best response of the trust { 1 2 3 , , } w.r.t. the output level x 5 of outsider 5. We have depicted the individual best reply functions in Figures 1 and 2, whereas Figures 3 and 4 show the aggregate best response of cartel { 1 2 3 , , } , and the individual ones of outsider firms 4 and 5.

That we cannot guarantee a Nash-equilibrium in the game model is due that the system of equations derived by the first-order condition is not independent, and therefore underdetermined, i.e., the system has fewer independent equations than variables. Such a system has no solution. This can be observed by the above system of best reply functions as well by Figures 1 and 2. The individual best replies of firms of trust { 1 2 3 , , } are shifted by constants downward, they are not independent. To guarantee in this case an equilibrium it is enough to assume that the most efficient firm 1 of trust { 1 2 3 , , } has a sufficient large capacity. Thus, we can assure an intersection of the best reply function of coalition { 1 2 3 , , } with that of outsider firms 4 and 5 (cf. Figures 1 and 2). But then there is no need to focus on oligopoly TU-games without transferable technologies. Hence, to assure an equilibrium, we have either to consider a game model with transferable technologies, i.e., all firms of a trust can rely on the most efficient production technology, or we have to introduce a substitution rate among the goods violating the homogeneous good assumption. While incorporating a substitution rate under such a game model without synergy effects among the firms, we can guarantee a Nash-equilibrium, but this would change the theoretical

framework in which firms are involved, and the γ -core might be empty. Moreover, trying to overcome the issue of a non-existing equilibrium while incorporating capacity constraints, and making the strategy set compact is not enough to assure an equilibrium as we can observe by Figures 3 and 4

Thus, if we choose the above capacity levels, then the best reply of trust { 1 2 3 , , } becomes discontinuous on the relevant domain with the consequence that we do not observe anymore an intersection of best reply functions (cf. Figures 3 and 4). 4 There is no intersection of best replies, therefore no Nash-equilibrium can exist. Hence, no γ -characteristic value of coalition { 1 2 3 , , } can be determined, the associated γ -characteristic function is void. This establishes that the game model is not correctly specified, because of the mentioned aggregation issue across firms. By this counter-example we have demonstrated that the purported proof of Lardon (2012, Proposition 3.1) is logical flawed and is therefore false.

## 5 Concluding Remarks

We presented a critical review of the common practice in game theory to run a purported proof by contradiction while relying on the Deduction Theorem. We have argued that the arguments which have been used in its favor are violating good practice of logical reasoning, and are therefore wrong. To underpin our consideration, we discussed an example from the literature that obviously conflicts with the well-known aggregation issue. We express our hope that the presented arguments are a small contribution toward a higher reliability and consistency of the published results.

4 Note that the best response function of trust { 1 2 3 , , } cannot connect the three downward-sloping lines by vertical lines indicating that it is then an upper hemi-continuous best reply correspondence rather than a best reply function. The imposed regular conditions in the literature (cf. Zhao (2018); Meinhardt (2018a)) of getting a γ -characteristic function induce only a best response function and not an u.h.c. best response correspondence for the trust. On the trust's production level 2 6 and 2 7 we observe points of discontinuity for the aggregate . . cost function implying that the aggregate profit function cannot be continuous either on these levels. Hence, there can only be a jump happen when the production cross over from firm 1 to 2 and from firm 2 to 3 indicating an abrupt transition of best response. Thus, trust { 1 2 3 , , } does not have a constant best response within the interval of [3 07 . , 3 17] or [2 82 . . , 2 93] w.r.t. . x 4 . The same argument holds for the inverall [3 02 . , 3 12] or [2 76 . . , 2 87] . w.r.t. x 5 .

Figure 1: Individual Best Reply Functions of Trust { 1 2 3 , , } and Firm 4

![image](https://ac.marcodsn.me/arxiv-markdown-images/1908.00409v2-figure-f6c95ddc-c8b4-4a8f-94b2-bda1c0eb65c9.jpg)

Figure 2: Individual Best Reply Functions of Trust { 1 2 3 , , } and Firm 5

![image](https://ac.marcodsn.me/arxiv-markdown-images/1908.00409v2-figure-d6617a6c-4d86-4b4b-ae35-7f3e77dca226.jpg)

Figure 3: Best Reply Functions of Trust { 1 2 3 , , } and Outsider 4

![image](https://ac.marcodsn.me/arxiv-markdown-images/1908.00409v2-figure-ad2a5369-bcbc-4478-b638-77a48b4eff29.jpg)

Figure 4: Best Reply Functions of Trust { 1 2 3 , , } and Outsider 5

![image](https://ac.marcodsn.me/arxiv-markdown-images/1908.00409v2-figure-71cf9b84-43f7-47d9-8601-abc3185b759a.jpg)

## References

- H-D. Ebbinghaus, J. Flum, and W Thomas. Einf¨hrung in die mathematische Logik u . Spektrum Akademischer Verlag, Berlin/Heidelberg, 5 edition, 2007.
- S. Hart and M. Kurz. Endogenous Formation of Coalitions. Econometrica , 51(4):1047-1064, 1983.
- M. Jerison. Russell on gorman's engel curves: A correction. Economics Letters , 43(2):171 - 175, 1993. ISSN 01651765. doi: https://doi.org/10.1016/0165-1765(93)90032-8. URL http://www.sciencedirect.com/science/ article/pii/0165176593900328 .
- A. Lardon. The γ -core in Cournot oligopoly TU-games with capacity constraints. Theory and Decision , 72 (3):387-411, 2012. ISSN 0040-5833. doi: 10.1007/s11238-011-9256-5. URL http://dx.doi.org/10.1007/ s11238-011-9256-5 .
- M. Maschler, E. Solan, and Zamir Sh. Game Theory . Cambridge University Press, Cambridge, 1 edition, 2013.
- H. I. Meinhardt. The Incorrect Usage of Propositional Logic in Game Theory: The Case of Disproving Oneself. ArXiv e-prints , abs/1509.05883, 2015. URL http://arxiv.org/abs/1509.05883 .
- H. I. Meinhardt. Finding the nucleoli of large cooperative games: A disproof with counter-example. CoRR , abs/1603.00226, 2016a. URL http://arxiv.org/abs/1603.00226 .
- H. I. Meinhardt. The Incorrect Usage of Propositional Logic in Game Theory: The Case of Disproving Oneself. MPRA , 75876, 2016b. URL https://mpra.ub.uni-muenchen.de/75876/ . Revised Version.
- H. I. Meinhardt. Simplifying the Kohlberg Criterion on the Nucleolus: A Disproof by Oneself. Technical Report MPRA-77143, Karlsruhe Institute of Technology (KIT), March 2017. URL http://mpra.ub.uni-muenchen.de/ 77143/ .
- H. I. Meinhardt. The Pre-Kernel as a Fair Division Rule for Some Cooperative Game Models , pages 235-266. Springer International Publishing, Cham, 2018a. ISBN 978-3-319-61603-2. doi: 10.1007/978-3-319-61603-2 11. URL https://doi.org/10.1007/978-3-319-61603-2\_11 .
- H. I. Meinhardt. The Modiclus Reconsidered. Technical report, Karlsruhe Institute of Technology (KIT), Karlsruhe, Germany, 2018b. URL http://dx.doi.org/10.13140/RG.2.2.32651.75043 .
- H. I. Meinhardt. Reconsidering Related Solutions of the Modiclus. Technical report, Karlsruhe Institute of Technology (KIT), Karlsruhe, Germany, 2018c. URL http://dx.doi.org/10.13140/RG.2.2.27739.82729 .
- J. F. Nash. Noncooperative Games. Annals of Mathematics , 54:289-295, 1951.
- T. Russell. On a theorem of gorman. Economics Letters , 11(3):223 -224, 1983. ISSN 0165-1765. doi: https://doi.org/10.1016/0165-1765(83)90139-8. URL http://www.sciencedirect.com/science/article/pii/ 0165176583901398 .
- T. Russell. Gorman demand systems and Lie transformation groups: A reply. Economics Letters , 51(2):201 - 204, 1996. ISSN 0165-1765. doi: https://doi.org/10.1016/0165-1765(96)00806-3. URL http://www.sciencedirect. com/science/article/pii/0165176596008063 .
- T. Russell and F. Farris. The geometric structure of some systems of demand equations. Journal of Mathematical Economics , 22(4):309 - 325, 1993. ISSN 0304-4068. doi: https://doi.org/10.1016/0304-4068(93)90020-L. URL http://www.sciencedirect.com/science/article/pii/030440689390020L .
- T. Russell and F. Farris. Integrability, Gorman systems, and the Lie bracket structure of the real line. Journal of Mathematical Economics , 29(2):183 - 209, 1998. ISSN 0304-4068. doi: https://doi.org/10.1016/S0304-4068(97) 00806-9. URL http://www.sciencedirect.com/science/article/pii/S0304406897008069 .
- E. van Damme. Stability and Perfection of Nash Equilibria . Springer-Verlag, Heidelberg/Berlin, 2 edition, 1991.
- H. R. Varian. Microeconomic Analysis . Norton, New York, 3 edition, 1992.
- J. Zhao. TU Oligopoly Games and Industrial Cooperation. In Corchon and Marini, editors, Handbook of Game Theory and Industrial Organization , volume I, page 392-422. Edward Elgar Publisher, Cheltenham, 2018.
Holger I. Meinhardt
Deduction Theorem: The Problematic Nature of Common Practice in Game Theory
We consider the Deduction Theorem used in the literature of game theory to
run a purported proof by contradiction. In the context of game theory, it is
stated that if we have a proof of $\phi \vdash \varphi$, then we also have a
proof of $\phi \Rightarrow \varphi$. Hence, the proof of $\phi \Rightarrow
\varphi$ is deduced from a previously known statement. However, we argue that
one has to manage to establish that a proof exists for the clauses $\phi$ and
$\varphi$, i.e., they are known true statements in order to show that $\phi
\vdash \varphi$ is provable, and that therefore $\phi \Rightarrow \varphi$ is
provable as well. Thus, we are not allowed to assume that the clause $\phi$ or
$\varphi$ is a true statement. This leads immediately to a wrong conclusion.
Apart from this, we stress to other facts why the Deduction Theorem is not
applicable to run a proof by contradiction. Finally, we present an example from
industrial cooperation where the Deduction Theorem is not correctly applied
with the consequence that the obtained result contradicts the well-known
aggregation issue.