The Problem of the Relationships of Love-Hate-Indifference

mat-dblEnglish 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”.

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.

line_1

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.

line_1

The Problem of the Relationships of Love-Hate-Indifference

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 A0 and Ā0.

mtcg-image1

Figure 1: The canonical matrix

At this point, we are in a position to define the class of the canonical poles. Consider then an extension of the previous class {A0, Ā0}, such that A0 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+, A0, 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 (A0, Ā0) and negative (A, Ā) canonical poles. Lastly, the class made up by the 6 canonical poles can be termed the canonical matrix: {A+, A0, 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+, A0, 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/Ā, c1, p1) and 2(A/Ā, c2, p2) of a same matrix are:

(i) dual if their contrary components are opposite and their polarities are neutral3

(ii) contrary (or antinomical) if their contrary components are opposite and their polarities are non-neutral and opposite4

(iii) complementary if their contrary components are opposite and their polarities are non-neutral and equal5

(iv) corollary if their contrary components are equal and their polarities are non-neutral and opposite6

(v) connex if their contrary components are equal and the absolute value of the difference of their polarities equals 17

(vi) anti-connex if their contrary components are opposite and the absolute value of the difference of their polarities equals 18

To sum up: {A0, Ā0} are dual, {A+, Ā} and {A, Ā+} are contraries, {A+, Ā+} and {A, Ā} are complementary, {A+, A} and {Ā+, Ā} are corollary, {A0, A+}, {A0, A}, {Ā0, Ā+} and {Ā0, Ā} are connex, {A0, Ā+}, {A0, Ā}, {Ā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+, A0, A, Ā+, Ā0, Ā} and {E+, E0, E, Ē+, Ē0, Ē}. These matrices are such that E+, E0, E are the respective includers for {A+, Ā+}, {A0, Ā0}, {A, Ā} i.e. the two matrices are such that E+ = A+ Ā+, E0 = A0 Ā0 and E = A Ā.9

fig2

Figure 2

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-connexity10 ensue then straightforwardly. Thus, two canonical poles 1(A/Ā, c1, p1) and 2(E/Ē, c2, p2) 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-contrary11 (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: {A0, Ē0} and {Ā0, Ē0} are 2-dual, {A+, Ē}, {A, Ē+}, {Ā+, Ē} and {Ā, Ē+} are 2-contrary, {A+, Ē+}, {A, Ē}, {Ā+, Ē+} and {Ā, Ē} are 2-complementary, {A0, Ē+}, {A0, Ē}, {Ā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+, A0, A, Ā+, Ā0, Ā} and then ~ = {A+, A0, A, Ā+, Ā0, Ā} – . On has thus for example ~A+ = {A0, 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 reference12 is equal to {A+, A0, A, Ā+, Ā0, Ā, Ē+, Ē0, Ē}. Call it the 2-matrix of . It ensues that ~ = {A+, A0, 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 ncomplement (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] = -113. As a result, the three concepts can be denoted by Love+, Hate, Indifference.

fig3-en

Figure 3

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+, A0, 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, A0 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+, Attraction0, A, Defiance+, Repulsion0, 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+, E0, 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, E0 is anti-connex to Indifference and to the corollary of Indifference. The associated matrix is then: {E+, Interest0, E, Phlegm+, Detachment0, Indifference}.15

fig4-en

Figure 4

It should be observed now that Interest0 = Attraction0 Repulsion0 i.e. that Interest0 is an includer for Attraction0 and Repulsion0. At this step, given that {Love+, Attraction0, A, Repulsion+, Repulsion0, Hate} {E+, Interest0, E, Phlegm+, Detachment0, 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 Indifferenceare trichotomic contraries and on the other hand, Hate and Indifferenceare 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”. Semiotica, 139, pp. 211-26, English translation

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 E0 = A0 Ā0 and E = A Ā; E0 = A0 Ā0 implies E+ = A+ Ā+ and E = A Ā; E = A Ā entails E0 = A0 Ā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+, E0 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.

//

This entry was posted in Semiotics and tagged , , , , , , , , . Bookmark the permalink.