*English translation of a paper published in French in Semiotica, vol. 150(1-4), 2004 under the title “Le problème des relations amour-haine-indifférence”.*

In On a class of concepts (2002), I described a theory based on the matrices of concepts which aims at constituting an alternative to the classification proposed by Greimas, in the field of paradigmatic analysis. The problem of the determination of the relationships of love/hate/indifference arises in this construction. I state then the problem of the relationships of love/hate/indifference in a detailed way, and several solutions that have been proposed in the literature to solve it. I describe lastly a solution to this problem, based on an extension of the theory of matrices of concepts.

This paper is cited in:

*Isis Truck, Nesrin Halouani, & Souhail Jebali (2016) Linguistic negation and 2-tuple fuzzy linguistic representation model : a new proposal, pages 81–86, in Uncertainty Modelling in Knowledge Engineering and Decision Making, The 12th International FLINS Conference on Computational Intelligence in Decision and Control, Eds. Xianyi Zeng, Jie Lu, Etienne E Kerre, Luis Martinez, Ludovic Koehl, 2016, Singapore: World Scientific Publishing.*

**The Problem of the Relationships of Love-Hate-Indifference**

**Paul Franceschi**

I shall be concerned in this paper with presenting a problem related to the proper definition of the relationships of the following concepts: *love*, *hate* and* indifference.* I will describe first the problem in detail and some proposed solutions. Lastly, I will present my own solution to the problem.

**1. The problem**

The problem is that of the proper definition of the relationships of the concepts *love*, *hate* and *indifference*. Let us call it the LHI problem. What are then the accurate relationships existing between these three concepts? At first sight, the definition of the relation between *love* and *hate* is obvious. These concepts are contraries. The definition of such a relation should be consensual. Nevertheless, the problem arises when one considers the relationship of *love* and *indifference*, and of *hate* and *indifference*. In these latter cases, no obvious response emerges.

However, the issue needs clarifying. In this context, what should we expect of a solution to the LHI problem? In fact, a rigorous solution ought to define precisely the three relations *R*, *S*, *T* such that *love R hate, love S indifference* and* hate T indifference*. And the definitions of these relations should be as accurate as possible.

It is worth mentioning that several authors must be credited for having mentioned and investigated the LHI problem. In particular, it is worth stressing that the difficulties presented within propositional calculus by some assertions of the type *x loves y*, *x hates y*, or *x is indifferent to y* have been hinted at by Emile Benzaken (1990)^{1}:

Nevertheless, the difficulty can arise from pairs of words where the one expresses the contrary (negation) of the other; ‘to hate’ can be considered as the strong negation of ‘to love’, whereas ‘to be indifferent’ would be its weak negation.

The author exposes then the problem of the relationships of *love*/*hate*/*indifference* and proposes his own solution: *hate* is the strong negation of *love*, and *indifferent* is the weak negation of *love*.

However, it turns out that Benzaken’s solution is unsatisfying for a logician, for the following reasons. On the one hand, this way of solving the problem defines the relations between *love* and *hate *(strong negation, according to the author) and between *love* and *indifference* (weak negation, on the author’s view), but it fails to define accurately the relations existing between *indifference* and *hate*. There is a gap, a lack of response at this step. And mentioned above, a satisfying solution should elucidate the nature of the relationships of the three concepts. On the other hand, the difference between weak negation and strong negation is not made fully explicit within the solution provided by Benzaken. For these reasons, Benzaken’s solution to the LHI problem proves to be unsatisfying.

In a very different context, Rick Garlikov (1998) stresses some difficulties of essentially the same nature as those underlined by Benzaken:

*In a seminar I attended one time, one of the men came in all excited because he had just come across a quotation he thought very insightful – that it was not hate that was the opposite of love, but that indifference was the opposite of love, because hate was at least still an emotion. I chuckled, and when he asked why I was laughing, I pointed out to him that both hate and indifference were opposites of love, just in different ways, that whether someone hated you or was indifferent toward you, in neither case did they love you. *

Garlikov describes in effect the problem of the relationships of *love*/*hate*/*indifference* and implicitly proposes a solution of a similar nature as that provided by Benzaken. For this reason, Galikov’s account suffers from the same defects as those presented by Benzaken’s solution.

In what follows, my concern will be with settling first the relevant machinery, in order to prepare a few steps toward a solution to the LHI problem.

**2. The framework**

I will sketch here the formal apparatus described in more detail in Franceschi (2002). To begin with, consider a given *duality*. Let us denote it by A/Ā. At this step, A and Ā are *dual* concepts. Moreover, A and Ā can be considered as concepts that are characterized by a *contrary* *component c* ∈ {-1, 1} within a duality A/Ā, such that *c*[A] = -1 and *c*[Ā] = 1. Let us also consider that A and Ā are neutral concepts that can be thus denoted by A^{0} and Ā^{0}.

At this point, we are in a position to define the class of the *canonical poles*. Consider then an extension of the previous class {A^{0}, Ā^{0}}, such that A^{0} and Ā^{0} respectively admit of a positive and a negative correlative concept. Such concepts are intuitively appealing. Let us denote them respectively by {A^{+}, A^{–}} and {Ā^{+}, Ā^{–}}. At this step, for a given duality A/Ā, we get then the following concepts: {A^{+}, A^{0}, A^{–}, Ā^{+}, Ā^{0}, Ā^{–}}. Let us call them *canonical poles*. It should be noted that one could use alternatively the notation α(A/Ā, *c*, *p*) for a *canonical pole*.^{2} In all cases, the components of a *canonical pole* are a *duality* A/Ā, a *contrary* *component c* ∈ {-1, 1} and a *canonical* *polarity p* ∈ {-1, 0, 1}. This definition of the canonical poles leads to distinguish between the *positive *(A^{+}, Ā^{+}), *neutral *(A^{0}, Ā^{0}) and *negative *(A^{–}, Ā^{–}) *canonical poles*. Lastly, the class made up by the 6 *canonical poles* can be termed the *canonical* *matrix*: {A^{+}, A^{0}, A^{–}, Ā^{+}, Ā^{0}, Ā^{–}}.

Let us investigate now into the nature of the relations existing between the canonical poles of a given matrix. Among the combinations of relations existing between the 6 canonical poles (A^{+}, A^{0}, A^{–}, Ā^{+}, Ā^{0}, Ā^{–}) of a same duality A/Ā, it is worth emphasizing the following relations: *duality, antinomy*, *complementarity*, *corollarity*, *connexity*, and* anti-connexity*. Thus, two canonical poles α_{1}(A/Ā, *c*_{1}, *p*_{1}) and α_{2}(A/Ā, *c*_{2}, *p*_{2}) of a same matrix are:

(i) *dual* if their contrary components are opposite and their polarities are neutral^{3}

(ii) *contrary *(or* antinomical*) if their contrary components are opposite and their polarities are non-neutral and opposite^{4}

(iii) *complementary* if their contrary components are opposite and their polarities are non-neutral and equal^{5}

(iv) *corollary* if their contrary components are equal and their polarities are non-neutral and opposite^{6}

(v) *connex* if their contrary components are equal and the absolute value of the difference of their polarities equals 1^{7}

(vi) *anti-connex* if their contrary components are opposite and the absolute value of the difference of their polarities equals 1^{8}

To sum up: {A^{0}, Ā^{0}} are *dual*, {A^{+}, Ā^{–}} and {A^{–}, Ā^{+}} are *contraries*, {A^{+}, Ā^{+}} and {A^{–}, Ā^{–}} are *complementary*, {A^{+}, A^{–}} and {Ā^{+}, Ā^{–}} are *corollary*, {A^{0}, A^{+}}, {A^{0}, A^{–}}, {Ā^{0}, Ā^{+}} and {Ā^{0}, Ā^{–}} are *connex*, {A^{0}, Ā^{+}}, {A^{0}, Ā^{–}}, {Ā^{0}, A^{+}} and {Ā^{0}, A^{–}} are *anti-connex*.

I shall focus now on the *types of relations* existing, under certain circumstances between the canonical poles of different dualities. Let us define preliminarily the *includer* relation. Let a concept α be an *includer* for two other concepts β and γ if and only if α = β ∨ γ. Such a definition captures the intuition that α is the minimal concept whose semantic content includes that of β and γ. To give an example concerning truth-value, *determinate* is an includer for {*true*, *false*}.

Let now A and E be two matrices whose canonical poles are respectively {A^{+}, A^{0}, A^{–}, Ā^{+}, Ā^{0}, Ā^{–}} and {E^{+}, E^{0}, E^{–}, Ē^{+}, Ē^{0}, Ē^{–}}. These matrices are such that E^{+}, E^{0}, E^{–} are the respective includers for {A^{+}, Ā^{+}}, {A^{0}, Ā^{0}}, {A^{–}, Ā^{–}} i.e. the two matrices are such that E^{+} = A^{+} ∨ Ā^{+}, E^{0} = A^{0} ∨ Ā^{0} and E^{–} = A^{–} ∨ Ā^{–}.^{9}

Let us denote this relation by A < E. One is now in a position to extend the relations previously defined between the canonical poles of a same matrix, to the relations of a same nature between two matrices presenting the properties of A and E, i.e. such that A < E. The relations of 2-*duality*, 2-*antinomy*, 2-*complementarity*, 2-*anti-connexity*^{10} ensue then straightforwardly. Thus, two canonical poles α_{1}(A/Ā, *c*_{1}, *p*_{1}) and α_{2}(E/Ē, *c*_{2}, *p*_{2}) of two different matrices are:

(i’) 2-*dual* (or *trichotomic dual*) if their polarities are neutral and if the dual of _{2} is an includer for _{1}

(ii’) 2-*contrary*^{11} (or *trichotomic contrary*) if their polarities are non-neutral and opposite and if the contrary of α_{2} is an includer for α_{1}

(iii’) 2-*complementary* (or *trichotomic complementary*) if their polarities are non-neutral and equal and if the complementary of α_{2} is an includer for α_{1}

(vi’) 2-*anti-connex* (or *trichotomic anti-connex*) if the absolute value of the difference of their polarities is equal to 1 and if the anti-connex of α_{2} is an includer for α_{1}

To sum up now: {A^{0}, Ē^{0}} and {Ā^{0}, Ē^{0}} are 2-dual, {A^{+}, Ē^{–}}, {A^{–}, Ē^{+}}, {Ā^{+}, Ē^{–}} and {Ā^{–}, Ē^{+}} are 2-contrary, {A^{+}, Ē^{+}}, {A^{–}, Ē^{–}}, {Ā^{+}, Ē^{+}} and {Ā^{–}, Ē^{–}} are 2-complementary, {A^{0}, Ē^{+}}, {A^{0}, Ē^{–}}, {Ā^{0}, Ē^{+}} and {Ā^{0}, Ē^{–}} are 2-anti-connex.

Lastly, the notion of a *complement* of a canonical pole also deserves mention. Let α be a canonical pole. Let us denote by ~α its *complement*, semantically corresponding to *non*–α. In the present context, the notion of a complement entails the definition of a universe of reference. I shall focus then on the notion of a complement of a canonical pole defined with regard to the corresponding matrix. In this case, the universe of reference is equal to {A^{+}, A^{0}, A^{–}, Ā^{+}, Ā^{0}, Ā^{–}} and then ~α = {A^{+}, A^{0}, A^{–}, Ā^{+}, Ā^{0}, Ā^{–}} – α. One has thus for example ~A^{+} = {A^{0}, A^{–}, Ā^{+}, Ā^{0}, Ā^{–}} and a similar definition for the complements of the other canonical poles of the matrix. Consider now two matrices such that A < E. Under these circumstances, the universe of reference^{12} is equal to {A^{+}, A^{0}, A^{–}, Ā^{+}, Ā^{0}, Ā^{–}, Ē^{+}, Ē^{0}, Ē^{–}}. Call it the 2-*matrix* of α. It ensues that ~α = {A^{+}, A^{0}, A^{–}, Ā^{+}, Ā^{0}, Ā^{–}, Ē^{+}, Ē^{0}, Ē^{–}} – α. We have then the notion of a 2-*complement* of a canonical pole α, defined with regard to a universe of reference consisting of the 2-matrix of α. More generally, one has the notion of a *n*–*complement* (*n* > 0) of a canonical pole with regard to the corresponding *n*-matrix.

3**. A solution**

With the relevant machinery in place, we are now in a position to present a solution to the LHI problem. Let us now analyze the problem in the light of the above framework. To begin with, let us analyze the relevant concepts in more detail. The concept *love* has a positive connotation. It is a meliorative concept that can be denoted by *love*^{+}. Conversely, the concept *hate* has a negative connotation. It is a pejorative concept that can be rendered by *hate*^{–}. Similarly, the concept *indifference* also has a negative connotation. It can be considered a pejorative notion that can be denoted by *indifference*^{–}.

At this step, a difficulty emerges. In effect, it should be stressed that the three concepts are either meliorative or pejorative at a certain degree. And such a degree might be different from one concept to another. For example *hate*^{–} might be pejorative at a 0.95 degree, while *indifference*^{–} might be pejorative at a lesser degree of 0.7. Moreover, it could be said that such a degree might vary from culture to culture, from a given language to another. In sum, the meliorative or pejorative degree of the three concepts, so the objection goes, could be culture-relative.

Nevertheless, such difficulties can be avoided in the present context, since our reasoning will not bear upon the concepts inherent to a specific culture or language, but rather on the *canonical* concepts described above. Accordingly, we shall replace our usual concepts by the corresponding canonical concepts. There is room for variation in degrees, from culture to culture in the usual concepts of *love*, *hate* and *indifference*. But this point does not affect the current line of reasoning, since it only focuses on canonical concepts. The passage from the non-canonical concepts to the canonical ones goes straightforwardly as follows. Let *d*[α] be the pejorative or meliorative degree of a concept α. Hence if *d*[α] ∈ ]0.5; 1] then *p*[α] = 1 else if *d*[α]∈ [-1; -0.5[ then *p*[α] = -1. At this point, one can pose legitimately that *p*[Love] = 1, *p*[Hate] = -1 and *p*[Indifference] = -1^{13}. As a result, the three concepts can be denoted by Love^{+}, Hate^{–}, Indifference^{–}.

As noted from the beginning, the relationship of *love*/*hate* is unproblematic and identifies itself with the relation of *contrary*. This applies straightforwardly to the relationship of the canonical concepts Love^{+}/Hate^{–}. Hence, the corresponding matrix has the following structure: {Love^{+}, A^{0}, A^{–}, Ā^{+}, Ā^{0}, Hate^{–}}. Now the next step is the reconstitution of the complete matrix. This task can be accomplished with the help of the definition of the relations of the canonical poles, namely: A^{–} is corollary to Love^{+}, Ā^{+} is corollary to Hate^{–}, A^{0} is connex to Love^{+} and anti-connex to Hate^{–}, Ā^{0} is connex to Hate^{–} and anti-connex to Love^{+}. Given these elements, we are now in a position to reconstitute the corresponding canonical *matrix*: {Love^{+}, Attraction^{0}, A^{–}, Defiance^{+}, Repulsion^{0}, Hate^{–}}.^{14}

Let us examine now the case of the concept Indifference^{–}. Such a concept inserts itself into a matrix the structure of which is: {E^{+}, E^{0}, E^{–}, Ē^{+}, Ē^{0}, Indifference^{–}}. Just as before, it is now necessary to reconstitute the complete matrix. This can be done with the help of the corresponding definitions: Ē^{+} is corollary to Indifference^{–}, E^{–} is complementary to Indifference^{–}, E^{+} is contrary to Indifference^{–}, Ē^{0} is connex to Indifference^{–} and to the corollary of Indifference^{–}, E^{0} is anti-connex to Indifference^{–} and to the corollary of Indifference^{–}. The associated matrix is then: {E^{+}, Interest^{0}, E^{–}, Phlegm^{+}, Detachment^{0}, Indifference^{–}}.^{15}

It should be observed now that Interest^{0} = Attraction^{0} Repulsion^{0} i.e. that Interest^{0} is an includer for Attraction^{0} and Repulsion^{0}. At this step, given that {Love^{+}, Attraction^{0}, A^{–}, Repulsion^{+}, Repulsion^{0}, Hate^{–}} {E^{+}, Interest^{0}, E^{–}, Phlegm^{+}, Detachment^{0}, Indifference^{–}}, the relationship of Love^{+}/Indifference^{–} and Hate^{–}/Indifference^{–} now apply straightforwardly. In effect, it ensues from the above definitions that, on the one hand, Love^{+} and Indifference^{– }are *trichotomic* *contraries *and on the other hand, Hate^{–} and Indifference^{– }are *trichotomic complementaries*. At this point, one is finally in a position to formulate a solution to the LHI problem:

(i) *love* is *contrary* to *hate*

(ii) *love* is 2-*contrary* to *indifference*

(iii) *hate* is 2-*complementary* to *indifference*

Hence, *R*, *S*, *T* identify respectively themselves with *contrary*, *trichotomic contrary*, *trichotomic complementarity*.

4**. Concluding remarks**

At this point, it is tempting not to consider the above analysis as a solution to the LHI problem *per se*. In effect, the concepts *love*, *hate* and *indifference* seem to be instances of a wider class of concepts whose relationships are of the same nature. This suggests that the same type of solution should be provided to the general problem of the definition of the relations of three given concepts , , . At first sight, certain concepts such as *true*, *false* and *indeterminate*, fall under the scope of the current analysis. Nevertheless, such a claim should be envisaged with caution. To what extent does the present analysis apply to other concepts? This is another problem that needs to be addressed, but whose resolution goes beyond the scope of the present account.^{16}

**References**

Benzaken, Claude (1991). “Systèmes formels”. Paris, Masson |

Franceschi, Paul (2002). “Une Classe de Concepts”. |

Garlikov, Rick (1998). “Understanding, Shallow Thinking, and School”. At http://www.garlikov.com/writings.htm |

1 My translation. The original text is as follows: ‘La difficulté cependant peut provenir de paires de mots dont l’un exprime le contraire (négation) de l’autre; “haïr” peut être pris comme la négation forte de “aimer” tandis que “être indifférent” en serait la négation faible^{‘}. (p. 63).

2 With the latter notation, the matrix of the canonical poles is rendered as follows: {(A/Ā, -1, 1), (A/Ā, -1, 0), (A/Ā, -1, -1), (A/Ā, 1, 1), (A/Ā, 1, 0), (A/Ā, 1, -1)}.

3 Formally _{1} and _{2} are *dual* if and only if *c*[_{1}] = – *c*[_{2}] and *p*[_{1}] = *p*[_{2}] = 0.

4 Formally _{1} and _{2} are *antinomical* if and only if *c*[_{1}] = – *c*[_{2}] and *p*[_{1}] = – *p*[_{2}] with *p*[_{1}], *p*[_{2}] 0.

5 Formally _{1} and _{2} are *complementary* if and only if *c*[_{1}] = – *c*[_{2}] and *p*[_{1}] = *p*[_{2}] with *p*[_{1}], *p*[_{2}] 0.

6 Formally _{1} and _{2} are *corollary* if and only if *c*[_{1}] = *c*[_{2}] and *p*[_{1}] = – *p*[_{2}] with *p*[_{1}], *p*[_{2}] 0.

7 Formally _{1} and _{2} are *connex* if and only if *c*[_{1}] = *c*[_{2}] and │*p*[_{1}] – *p*[_{2}]│ = 1.

8 Formally _{1} and _{2} are *anti-connex* if and only if *c*[_{1}] = – *c*[_{2}] and │*p*[_{1}] – *p*[_{2}]│ = 1.

9 It should be observed that one of the three conditions is sufficient. In effect, E^{+} = A^{+} Ā^{+} entails E^{0} = A^{0} Ā^{0} and E^{–} = A^{–} Ā^{–}; E^{0} = A^{0} Ā^{0} implies E^{+} = A^{+} Ā^{+} and E^{–} = A^{–} Ā^{–}; E^{–} = A^{–} Ā^{–} entails E^{0} = A^{0} Ā^{0} and E^{+} = A^{+} Ā^{+}.

10 The generalisation to *n* matrices (*n* > 1) of the present construction ensues, with the relations of *n*-duality, *n*-antinomy, *n*-complementarity, *n*-anti-connexity.

11 Or 2-*antinomical*.

12 In this context, E^{+}, E^{0} and E^{–} can be omitted without loss of content, given their nature of includers.

13 The fact of considering alternatively *p*[*indifference*] > -0.5 and thus *p*[Indifference] = 0 also leads to a solution in the present framework. In this last case, the relations *S* and *T* both identify themselves with *trichotomic anti-connexity*.

14 In the process of reconstitution of the complete matrix, some concepts may be missing. The reason is that they are not lexicalized in the corresponding language. This is notably the case for A^{–}. This last concept semantically corresponds to *inappropriate*, *excessive attraction*.

15 As far as I can see, the concepts associated with E^{+} and E^{–} are not lexicalized. They respectively correspond to *appropriate interest* and *inappropriate, excessive interest*.

16 I thank Professor Claude Panaccio and Rick Garlikov for useful comments on an earlier draft.