1 Introduction: lā/ ’al Particles and the Ugaritic

As stressed by Horn (1989–2001, p. xiii), “despite the simplicity of the one-place connective of propositional logic (\(\sim p\) is true if and only if p is not true) and how the laws of inference in which it participates (e.g., the Law of Double Negation: from \(\sim \sim p\) infer p, and vice versa), the form and function of negative statements in ordinary language are far from simple and transparent)”. According to the classical logico-analytic tradition, propositions are usually claimed to be true if they correspond to a state of affair. How we handle propositions and determine their truth undeniably plays a role in building worldviews. Of course, even in the analytic tradition, there are deep disagreements on how to understand truth. By contrast with the classical approach, intuitionists emphasize the fundamental role of proof-processes and thus relate the construction of worldview to the construction of proofs. This is of importance not only for the definition of truth, but also for the distinction between falsity and negation. Indeed, not having a proof of falsity does not mean to have a proof of truth: this is the basis for the rejection of the classical elimination of double negation. This immediately shows the polysemy of negation in language, even in the context of logic and analytic philosophy. It is worth noting that negation also relates to deep philosophical and ontological issues. A persistent problem, since Parmenides, Meinong, Russell, Quine, among others, is the question of whether we should first assume that something is, in some sense, in order to deny its existence. Then, should we first presuppose that a state of affairs obtains in order to deny its truth, and consequently to assert meaningfully the negation of the related proposition? Whatever the answer, this will impact the speakers ontology and their worldview.

In this paper, we focus on Semitic languages and the complex articulation of negation and evidentiality; in particular, by proposing a innovative understanding of the negative particles lā/’al in Ugaritic. Interesting is the fact that it involves another perspective on the use of negation in worldviews building, since negation must be understood in relation to the transmission of information and the specification of the source of knowledge within a given community, and not only the determination of truth and falsity or the correspondence to states of affairs. Our contribution thus brings the study of language in Non-Westernworld into the analytic tradition and pretends to shed light on problems of translation of Ugaritic negations. Therefore, our proposal is twofold. On the one hand, we put forward an evidential paradigm to understand negation in Ugaritic, which is characterized by a strange dynamic behavior explained below. On the other hand, and following Horn’s insight, we show that our understanding of negation should not be restricted to the one-place propositional connective of the logical tradition. Beyond proof-theoretic and ontological issues mentioned in the preceding paragraph, we now extend the picture with a dynamic epistemic framework.

More concretely, there are languages in which something cannot be asserted unless in relation with the source of information; these languages contain a specific grammatical category usually referred to as “Evidentiality”. If negation is to be understood in the context of an evidential paradigm, it is also indubitably linked to the speakers’ cognition. According to Aikhenvald (2004, p. 9), “[a] strong argument in favor of the importance of evidentials for human cognition lies in their metalinguistic valuation and speaker’s awareness of their necessity”. But this also makes evidentiality difficult to understand from an Indo-European perspective, overall when it is linked to the use of negation. Indeed, the assertive force in Western languages is a pragmatic issue. The reason an agent has to utter a sentence with the force of an assertion is not made explicit. The assertive force is a matter of use. With evidentiality, the reasons the agent has to utter a sentence are made explicit. Consequently, evidential assertions are tightly linked to semantic issues; i.e. the meaning of the explicit evidential expression. Of course, pragmatic considerations cannot be avoided: the expression of an evidential is a sentence, which is itself asserted. This yields a linguistic framework in which the processes of transmission of information are fundamental, and which can be modelled with reference to the dynamic epistemic semantics for evidentiality defined by Barés Gómez et al. (2021). Building worldview becomes a social matter based upon the transmission of information and the source of knowledge.

In this context, assertions and negations are associated with different kinds of knowledge and experience, but also with the way a community communicate them. Communication involves language, certain aspects and uses of which can be clarified by means of modern formal tools. The present work has its roots in Ancient Near East studies, and it covers Sirio-Palestinian cultures, in particular Ugaritic language and culture around II millenniun b.C. It is based on already existent semitician translations and analysis of Correspondance letters and Poetry texts found in Ras Shamra, Syria. It also consists in complementing Ancient Near East studies by means of a philosophical, epistemological, and formal analysis of language. More precisely, we hypothesize an original explanation of the dynamic of the negative lā/’al particles in Ugaritic, set from a modern formal semantics perspective. Although we study this linguistic phenomenon from an analytical perspective, we need to widen the approach in order to consider the evolution of the linguistic genealogical tree, cultural aspects (i.e. the ternary model of communication between the sender of a letter, the scribe and the addressee). The methodology is therefore transversal: it combines compared Semitic, ancient language of Ancient Near East studies (Ugaritic grammars, but also other grammars from its genealogical tree), and general linguistic studies (e.g. on negation and modality) on the one hand, with a logical, epistemological and philosophical perspective on the other hand. We aim at clarifying not only an Ancient linguistic practice, but also how to understand differently a particle usually approached in terms of logical connective.

A transversal methodology is also required to tackle difficulties of interpretation inherent to Semitic studies, in which the source of information is usually problematic. Nowadays, there exists no Ugaritic speaker who could confirm or deny the theories put forward by the linguists. Most of the language aspects remain unknown or doubtful, and the researcher’s interpretations are far from being consensual. Comparative linguistic with genetically related languages such as Hebrew or Akkadian, by means of which many structures have been understood, is essential. In particular, we face the difficulty of establishing clear relations between semantics and pragmatics; e.g. for the lā/’al particles in Ugaritic, whose dynamic behaviour gave a hard time to the semiticians: they are indeed negative particles that change from positive to negative, and vice versa, depending on the contexts.

Another complication resides in the conservation state of the writing samples of Ugaritic, most of them being partially destroyed. Moreover, the fact that the vowels are not explicitly written down makes their reading difficult. Nevertheless, despite a number of awkwardness and oddities, there are sufficiently available sources to understand reasonably Ugaritic and to translate considerable parts of the texts. This is precisely where we pretend to intervene. We put forward an original understanding of the lā/’al particles, from a philosophical perspective, which makes sense beyond the divergences among the already existent translations and interpretations, jeopardized by their dynamic behaviour. It is worth noting that our work is not a piece of semitician translation or interpretation, and that we will partly rely on the work of experts in the field.

One possible explanation of the dynamic of the lā/’al particles is that their meaning actually changes in determined contexts, even if we do not know why. Another possible explanation is that there are two different particles, a positive and a negative one. However, since the vowels are not written down, we cannot differentiate them.Footnote 1 Based on the first interpretation, endorsed by a number of researchers (Aartun 1978; Segert 1984; Sivan 1997; Tropper 2000; del Olmo Lete and Sanmartín 2004), we clarify their dynamic structure by making use of formal tools of Dynamic Epistemic Logic (DEL). It is worth noting that this work does not consist in a mere exercise of formalization or a modern reading of Ugaritic particles. It is an attempt to understand their logico-linguistic structure by preserving their original structure in view of revealing the relevant underlying worldviews. Consequently, we do not look for the dissolution of the strange behaviour of these particles, but the overcoming of our resistance to understand it.

Another important issue is the relation of the lā/ ’al particles with the well-known particles l+vowel (lV) and vowel + l (Vl) in several Semitic languages. The lV/Vl particles seem to convey an asseverative or a hypothetical force to the proposition, or even a “focus” (Cohen 2005). Up to now, the literature has mainly been concerned with the asseverative, positive, particles. However, a deeper analysis of the negative particles and their relations with the positives is required. Indeed, these particles (positive and negative) usually behave peculiarly in contexts such as conditionals, disjunctions, questions, modal constructions, and the definition of their semantics remains problematic.

In what follows, we focus on four examples of Ugaritic negative particles and their different translations. We specify why these particles do not work as any known type of negation in natural language. This negation has not been found in other languages, either in logic, and of course, it does not fit with classical logic negation (Sect. 3). Then, we relate them to the lV/Vl particles in comparative Semitic studies and Ugaritic grammars (Sect. 4). Our hypothesis is that this negation belongs to a negative evidential paradigm (Sect. 5), which works at the same level as the asseverative paradigm in Semitic languages, the semantics of which can be spelled out in the context of Dynamic Epistemic Logic (Sect. 6). Finally, we explain why their dynamic does not fit with already existent theories on polarity items and modal concord, and we propose to combine their semantics to a pragmatic account of language (Sect. 7).

2 Negation in Ugaritic: lā/’al Negation

The particles lā/’al have a dual behaviourFootnote 2 and deal with verbal modality. We will analyse them in the context of correspondence texts.Footnote 3

Footnote 4: Sometimes, this particle occurs possibly as a proclitic particle, and other times as a separate clear particle with an explicit word separator.

  • lā - negative. Adverb of negation in nominal or verbal sentences, although this demonstrated with certainty only in verbal sentences.Footnote 5 This function of the particle appears in: (a) Verbal sentences in indicative mood. This is the most frequent use of the negative particle. (b) Verbal sentences with modal value. All these occurrences have been found in interrogative context, rhetoric questions, and there are not examples from Ugaritic epistolary texts (Tropper 2000, pp. 815–816). (c) Nominal sentences.

Example 1

UDB 2.39 \(\bullet\) RS 18.038 Footnote 6

  1. 00-2.39:10

    w . -[...] . adny . l . yḫsr • w . [ank y]\(\overset{o}{d}\)’ . l . ydʿt • h\(\overset{o}{t}\) [ … ]l . špš . b’lk

  2. 10-2.39:10

    w . \(\overset{o}{k}\)[rgm] . adny . l . yḫsr • \(\overset{o}{w}\) \(\overset{o}{b}\)[’ly . y]d’ . l . ydʿt • ht[ . t]\(\overset{o}{k}\) \(\overset{o}{n}\)[ . ] l . špš . b’lk

  3. 11-2.39:10

    w . \(\overset{o}{d}\)[r’ . l . ]\(\overset{o}{a}\) dny . l . yḫsr • a \(\overset{o}{t}\)[ . hn . y]d’ . l . ydʿt • h \(\overset{o}{t}\) [ . ]\(\overset{o}{a}\) \(\overset{o}{t}\)[ . ]l \(\overset{o}{.}\) špš . b’lk

Negative particle and verb in a perfective aspect, but it has not always been interpreted as negativeFootnote 7. “You have not recognized (this)”.

  • —positive. It brings emphasis on nominal and verbal sentences. Most of the documents in which this particle occurs are poetic texts, whence the difficulty to differentiate negation and affirmation. This particle with affirmative function appears in: (a) Sentences with the verb on indicative, but they are dubious interpretations. (b) Sentences with the verb in volitive. (c) With nominal sentences. These are the most doubtful cases.

Example 2

UDB 2.21 \(\bullet\) RS 15.174 Footnote 8

  1. 00-2.21:10-11

    hn . km . rgmt • \(\overset{o}{i}\)ky . l . ilak • [ … ]\(\overset{o}{n}\)(?) . ’my

In most of the cases, this particle is interpreted positivelyFootnote 9, although it is sometimes interpreted negativelyFootnote 10. The verb seems to be an imperfective: “I will not send/ I will certainly send”.

’alFootnote 11: This particle seems to be negative in sentences with a verb in volitive or imperative form, although it has also been interpreted positively in other cases of volitive.

  • ’al - negative: “not; (that) not”. It occurs in volitive sentences: (a) Not + short prefixed conjugation. \(2^{nd}\) pers. imperative. (b) (That) not, + prefixed conjugation \(3^{rd}\) pers. volitive. (c) In interrogative contexts, such interpretation is doubtful.Footnote 12

Example 3

UDB 2.30 \(\bullet\) RS 16.379 Footnote 13

  1. 00-2.30:21

    ilak . w . at • \(\overset{o}{u}\) my . al . tdḥ\(\overset{o}{l}\) • w . ap . mhkm

  2. 10-2.30:21

    ilak . w . at • umy . al . tdḥ\(\overset{o}{s}\) • w . ap . mhkm

The morphological structure is of ’al + imperative, volitive, energic or modal sentence, negation of the modal. Negative particle with verb in imperfective formFootnote 14: “Do not fear/ do not be agitated”

  • ’al—positive: “sure, yes”. It is difficult to differentiate it from the negative ’al. When it occurs in volitive contexts, it is usually in rhetorical questions.Footnote 15 Most of the examples come from poetry. (a) Yes, + prefixed conjugation \(1^{st}\) pers. cohortativeFootnote 16. (b) \(2^{nd}\) pers. with volitive, several examples which are not from epistolary texts. (c) With a prefixed conjugation, \(3^{rd}\) pers., usually interpreted as a negation. Nevertheless, when the context is interrogative, their interpretation is made difficult.

Example 4

KTU 1.4Footnote 17:

00-1. 4:VII:45 dll . al . ilak . l bnFootnote 18 It seems that this is a ’al + indicative and that the particle is interpreted positivelyFootnote 19: “sure, I should send a message to the son (...)”

3 Negation in Natural Languages and the lV and Vl Particles in Semitic Languages

How the lā/’al particles are used? What are their semantics and pragmatics? Before proposing an answer, we compare them with different negations we usually find in natural language. We do not pretend to be exhaustive, but only to set the context in which the peculiar status of these particles may be highlighted.

Portner’s (2009) classification for modality allows a distinction between various negations of natural language, depending on their syntactic field of action: sub-sentential, sentential or discursive. The scalar theory of negation (Horn 2001) and the polarity items (Hoeksema et al. 2001) constitute some of the best known studies of negation in natural language at sub-sentential level. At first glance, the lā/’al particles, which determine a scale in relation with other elements, might be understood in terms of scalar particles. They would thus have modal scale, but in the absence of deeper studies of modality in Ugaritic language, we let it as an open question. Moreover, as it will be clear later, if this was the case, the scalarity would be derived from the relation between two intensional operators, but this is not exactly what these theories claim. At the sub-sentential level, the lā/’al particles might also be explained in terms of polar items, since they change their polarity in relation with other elements, veridical or non-veridical contexts. Nevertheless, this explanation must also be rejected. Indeed, even if their behaviour is similar to the bi-polar items at several levels, the lā/’al particles are not semantically empty. The negation is not inherent to other items or the contexts, as it happens with polarity items, but to the lā/’al particles themselves. Moreover, these particles do not only act at sub-sentential level, but also at sentential and discursive ones.

From the perspective of the sentential level in Ugaritic, there are not two negations. So, the dynamic from positive to negative cannot be explained in terms of a concordance between two negations. Rather, it could be a kind of modal concord involving negation and non-affirmative states, which would result in a positive. It could also be understood in terms of negative concord, closer to paratactic negation (Jespersen 1917; van der Wouden 1997). But this would not fit with the fact that in Ugaritic it is not attested that such a modal concord does not seem to appear in the same clause.

The last level of negation, the metalinguistic or modal negationFootnote 20, acts at a discursive level. It is a modal negation that determines the whole sentence. The lā/’al Ugaritic negations also work at a discursive level and share features with metalinguistic negation. Nevertheless, in order to understand the Ugaritic negation, we have to take into account the three levels of language, as well as some other features of other negations we find in other languages. This is precisely our point in this paper; i.e. that the lā/’al particles must be accounted for within what we call a negative evidential paradigm.

The problems of the semantics of negation in Ugaritic could be extended to the semantic problems of the l + vowel and vowel + l particles present in all Semitic languagesFootnote 21. Following Huehnergard (1983), the particles lV have been divided on the basis of their formal and semantic structure in two types: the proclitic particle l-, usually with a precative value and frequently united to the verb; and the independent particle lV, with emphatic/asseverative value.

Another relevant study is Testen (1998), whose starting point is Arabic, but which also includes Ugaritic, Akkadian, Aramaic, Amorite, South-Arabic, Biblical Hebrew, Ge’ez and the modern Ethiopian languages. The phonological data of language evolution suggests that the proclitic particle l- should be followed by a, yielding la-Footnote 22. Nevertheless, Testen (1998) sets the hypothesis of the form l- without vowels. The determination of the vowels derives from the precative paradigm; that is, from the verb which follows. The first semantics of the particle l- is the status mark, a structure of deictic asseveration, which would be similar to the English “do” used as a modal asseverative paradigm (Testen 1998; Cohen 2005). This protosemitic particle corresponds to the two particles of Huehnergard (1983)'s study. In this paper, our hypothesis is that a more precise semantics can be achieved by first recognizing that this particle is the mark of a subjective epistemic modality; that is, an asseverative paradigm that works as a status marker, a subjective hypothesis or an epistemic disjunction. This asseverative paradigm, well-known in Semitic languages, must be studied in relation to the negative particles lV/Vl , both having a similar non-normal (or non-classical in logical terms) behaviour. Indeed, it seems that this negation corresponds to a negative paradigm similar to the asseverative one, as we will show it in Ugaritic. The negation lV and the two particles Vl (positive and negative) are added here to the previous studies of Huehnergard and Testen. In order to understand the semantics of the positive and negative particle, we study them altogether. This is how four types of particles are now differentiated:

  1. 1.

    Particle lV positive: mark of asseverative paradigm, mark of status, or hypothesis in conditionals. Here, we follow Huehnergard (1983) and Testen (1998); Cohen (2005). See also Cohen (2005) for Akkadian.

  2. 2.

    Particle negative: difficult to identify in written sources because of the lack of vocalization, as mentioned previously. For example, is used in AkkadianFootnote 23 to deny sentences (subordinates before subjunctive, conditionals with only the protasis) and words. In oaths, it has a positive value before a subjunctive. In old Akkadian, it is used as ula; lā...lā, “neither ... nor...” In Canaano-Akkadian, it is used to deny in its long form , as well as its short la in declarative and past sentencesFootnote 24. This particle is used as positive in two cases with an energic verb.Footnote 25 With šumma, it is negative and reinforces the šumma, but in past sentences in conditional protasis, it is a rhetoric question or an affirmation. In oaths, it is positive as in Akkadian šumma lā, and šumma is negative.Footnote 26 In Hebrewdenies the imperfective and infinitive.Footnote 27 The oath has the same structure as in Akkadian and Canaano-Akkadian, the positives are with and the negative in this case with m or ky instead of šumma.Footnote 28

  3. 3.

    Particles Vl negative: usually with modal sentences. For example, ul in AkkadianFootnote 29 is used to deny principal sentences and questions without interrogative pronouns. In Canaano-Akkadian, ul is a negative particle with declarative sentences, but also with questions and rhetoric questionsFootnote 30. The vetitives (negative desires) usually appear with ul instead of the Babylonian ay/ē.

  4. 4.

    Particles Vl positive: usually in rhetorical questions. Like ul in Akkadian, when considered as a positive disjunction. ’al in Hebrew is the negation with cohortative and yusive.Footnote 31

This overview of the lV/Vl particles, positive and negative, in Semitic languages contextualizes the complex semantics of the Ugaritic lā/’al particles. In what follows, we set the hypothesis of a negative paradigm in Ugaritic, by specifying the semantics of the lā/’al particles, in order to show how this paradigm could explain their peculiar behavior; i.e. the change from positive to negative and vice versa.

4 Ugaritic lā/ ’al as a Negative Paradigm

The Ugaritic particles lā/’al may constitute a negative paradigm. This means that they work like a general evidential paradigm, dual to the asseverative paradigm that uses direct evidence, but without specifying the source of information (Barés Gómez et al. 2021). Although the asseverative paradigm is not attested in Ugaritic, it is quite common in Semitic languages genetically related to the Ugaritic; e.g. the Akkadian (Huehnergard 1983; Cohen 2005; Wasserman 2012). Usually, an evidential system is defined through the opposition of different evidentials. The asseverative paradigm can be considered as a general type of evidential: it is concerned with asseverations expressing the fact that an agent has direct evidence of something, without the need for this agent to specify the source of evidence; e.g. if the pieces of evidence have been seen or heard. In order to asseverate what an agent knows, evidence has to be direct. But, in the negative paradigm of the Ugaritic particles lā/’al, the agent informs that she has no direct evidence.

The main feature of an asseverative paradigm is the structure of an affirmation, stronger than the simple affirmation expressed by means of a declarative sentence. This paradigm is frequently expressed through asseverative particles that reinforce the statement and convey the certainty of the speaker regarding what she utters. Usually, when there is an asseverative paradigm in a language, no other kind of evidentiality is used. But, when there are different kinds of evidentials, there is almost always at least one direct evidential—with direct evidence—and another indirect one–second hand or inferred evidence. An evidential paradigm with more than one evidential is a special structure able to differentiate several kinds of evidence, as well as different sources of information (Barés Gómez et al. 2021). An asseverative paradigm is nothing but a general evidentiality with only the direct evidence, and without determining the underlying sensitive source. The asseverative paradigm behaves similarly to the evidentiality structure. Usually, it does not appear within the scope of a negation because what is expected for is the agent’s certainty, not her denial. Several authors have affirmed that the Semitic l is a structure similar to an asseverative paradigmFootnote 32. Nevertheless, this interpretation is restricted to the cases where the l is affirmative.

In the case of lā/’al in Ugaritic, there are frequent changes between affirmation and negation. The negative and the positive structures are the two sides of the same coin and cannot be thought of independently. The strong connection between the asseverative paradigm in Semitic language and the negation in Ugaritic gives rise to the idea of a negative paradigm. When speaking of negation in terms of a determined modality within a negative paradigm, at the same level as an asseverative paradigm, we obtain a modal structure—the negative paradigm—that allows us to explain the dynamic of the lā/’al particles. Nevertheless, the asseverative paradigm does not exist in Ugaritic language (at least, there is no evidence of its existence), unlike other languages such as Akkadian in which its presence is attested. Thus, it is worth noting that the affirmation found in lā/’al particles—i.e. its positive function—does not constitute an asseverative paradigm, but forms part of the negative paradigmFootnote 33. Therefore, our interpretation relies on a negative paradigm, rather than on an asseverative one.

These lā/’al particles also occur in rhetorical questions; i.e., at a discursive level. The negative paradigm would thus explain how they act at the pragmatic level, as the asseverative one does, as well as at the sub-sentential and sentential levels. However, how modality can be identified in Ugaritic language? The dynamic of the lā/’al particles in Ugaritic, from positive to negative and vice versa, occurs in modal or non-affirmative contexts. But the determination of the mood in Ugaritic is also problematic, since the vowels are not written down. Hopefully, modality is also expressed in Ugaritic by means of verbal paraphrasesFootnote 34, even though the most of the relations with the lā/’al particles come from the mood.

Two verbal forms (aspect) can be distinguished: perfect and imperfect, expressed by the suffixed conjugation and the prefixed conjugation (long and short). These conjugations are represented by means of the verbal forms qtl and yqtlFootnote 35. Qtl is the perfect aspect, suffixed conjugation, and it is used for past tenses, ended actions. Depending on the language, it can also express different times. In Ugaritic, it can be used for presents and optativesFootnote 36. Yqtl is the imperfect aspect, not ended action, prefixed conjugation, and it can be long with a vowel in the end or short without vowels. It is used for presents and futures. Both can also express some kind of modality.

Regarding Ugaritic modality, it is difficult to differentiate in writing between sub-sentential modality (verbal mood), sentential modality (as to know, to believe...), discursive (questions, etc.), and even between modal and non-modal. An indicative moodFootnote 37 corresponds to declarative sentences. The volitive or injunctive moodFootnote 38 is the second verbal mood in Ugaritic, which expresses desires and commands. A volitive modality can also express ability or chanceFootnote 39. This mood, as well as indicative, is expressed by different conjugations. Nevertheless, in most of the cases, it comes in a prefixed conjugation yqtl. Another sub-sentential modality is the energic mood YQTL-AN (NA) that is frequently used in poetic textsFootnote 40. We can differentiate it by its morphological form at the end (-n), but not always. This energic form adds a specific nuance, an emphasis, so that it is really a mood. This could appear in the different conjugations as an extension of them.

The sentential modality in Ugaritic is not devoid of problems either.Footnote 41 The sentential modals as may, can, to know, are not specified in the verbal form and they lack a mood for their determination. It seems that they always appear with a long prefixed conjugation, usually in indicative with imperfect aspect. Nevertheless, the modal nuances are derived by the context, so they are never sure. This is the same case with discursive modality, questions (rhetorical or not), exclamations, etc.; all of them being determined by the context.

5 A Dynamic Epistemic Logic Approach to lā/’al

We have previously emphasized the importance of communication and transmission of evidence in Ugaritic, which must now be reflected in the semantics of the lā/’al particles. Indeed, the Ugaritic epistolography texts were written to be read to the addressee by the scribe. This underlying ternary chain of communication—involving the sender, the scribe and the addressee—motivates the choice of DEL as a relevant formal tool to clarify the dynamic structure of the lā/’al particles. Indeed, DEL has been designed precisely for the purpose of modelling the transmission of information conceived in terms of public announcement between epistemic agents and is therefore particularly well suited for the job. In this paper, we cannot provide all the details of DELFootnote 42 and must restrict ourselves to a brief explanation of its main operators. In particular, we consider a negative paradigm in which the dynamic of the lā/’al particles can be modelled by making use of the epistemic and the public announcement operators.

Let a be an agent, such that \(a\in A\), with A the set of epistemic agents: the intended meaning of \(K_{a}\varphi\) is “the agent a knows \(\varphi\)”. The intended meaning of \(\lnot K_{a}\lnot \varphi\), also written \({\hat{K}}_{a}\varphi\), is “the agent a does not know that \(\lnot \varphi\)”, which simply means that \(\varphi\) is consistent with a’s knowledge.

We interpret these operators in a model \(\langle S,R,V\rangle\) that consists of a set S of states s (also called alternatives or possible worlds)Footnote 43, an accessibility relation R between those states, and a valuation V that assigns to every propositional letter p a set of states s in which p is true.

R(s), such that \(R(s)\subseteq S\), is the set of states \(s'\in S\) such that \(sRs'\); i.e. the set of states \(s'\) accessible from s. The epistemic state of an agent a maybe represented by means of a set \(R_{a}(s)\) of states compatible with a’s knowledge; i.e. the set of states accessible to a from s. For any \(s'\in S\) , \(s'\in R_{a}(s)\) if all that is known by a in s is true in \(s'\). That is, \(K_{a}\varphi\) in s if and only if \(\varphi\) is true in every \(s'\in R_{a}(s)\); and \({\hat{K}}_{a}\varphi\) in s if and only if there is an \(s'\in R_{a}(s)\) in which \(\varphi\) is true, while \(\lnot \varphi\) might be true in another \(s''\in R_{a}(s)\). It is worth noting that the states are not states that an agent knows or might know, but states compatible with her knowledge. That is, the epistemic (intentional) relation is a relation between an agent and a proposition, which is in turn represented by a set of accessible states in which what is known is true. It is not a relation between an agent and states.

Interestingly, DEL also handles multiagency: for each group B of agents such that \(B\subseteq A\): “everybody in B Knows \(\varphi\)” is written as \(E_{B}\varphi\). And \(E_{B}\varphi\) if and only for \(\varphi\) is true in every \(s'\in R_{B}(s)\), where \(R_{B}(s)\) is the union of the set \(R_{b}(s)\) with \(b\in B\).

The public announcement operator is the dynamic operator \(\left[ \varphi \right] \psi\), whose intended meaning is “after the announcement of \(\varphi\), another formula \(\psi\) holds”, “after the announcement of \(\varphi\), we obtain \(\psi\)”, or “after the update of \(\varphi\), we have \(\psi\)”. The operator \(\left[ \varphi \right]\) has a force of necessity, so that the formula \(\left[ \varphi \right] \psi\) expresses that “after every announcement of \(\varphi\), \(\psi\) holds”. Its dual is \(<\varphi >\psi\), whose intended meaning is “after some true announcement of \(\varphi\), \(\psi\) holds”. Once a public announcement has been made, every agent knows the content of the public announcement. Thus, for every \(a\in A\), let \(R_{a}(s)\) be the set of states compatible with a’s knowledge before the public announcement of \(\varphi\). The public announcement of \(\varphi\) has the effect of cutting the modal framework in order to exclude from \(R_{a}(s)\) all the states in which \(\varphi\) is not true. That is, the public announcement of \(\varphi\) has the effect of producing a \(R'_{a}(s)\) by restricting \(R_{a}(s)\) to the states in which \(\varphi\) is true. It is a dynamic operator, which provides not only the actualization (utterance), but also the transmission of information accounted for by means of two states: an incoming epistemic state (represented by \(R_{a}(s)\)) and an outcoming epistemic state (represented by \(R'_{a}(s)\)).

We now define the semantics of these operators as follows, by providing their truth-conditions relative to a pair Ms:

\(M,s\vDash p\) iff \(s\in V(p)\)

\(M,s\vDash K_{a}\varphi\) iff for all \(t\in S\): \(t\in R_{a}(s)\) implies \(M,t\vDash \varphi\)

\(M,s\vDash E_{B}\varphi\) iff for all \(t\in S\): \(t\in R_{B}(s)\) implies \(M,t\vDash \varphi\)

\(M,s\vDash [\varphi ]\psi\) iff \(M,s\vDash \varphi\) implies \(M\mid \varphi ,s\vDash \psi\)

\(M,s\vDash <\varphi >\psi\) iff \(M,s\vDash \varphi\) y \(M\mid \varphi ,s\vDash \psi\)

Notice that \(V(p)\subseteq S\), it is the set of states s in which p is true. Then, \(M\mid \varphi\) holds for the result of cutting the model after the announcement of \(\varphi\); i.e. the model that results when we delete all the states in which \(\varphi\) is not true. The other connectives receive a standard interpretation. The accessibility relation must be reflexive (system T), given that if an agent a knows that \(\varphi\) in s, then \(\varphi\) must be true in s; therefore, \(K_{a}\varphi \rightarrow \varphi\) is a valid formula (we cannot know something that is not true). These operators of DEL may now be used to model the communication of knowledge between agents in their linguistic interactions, whether it be with or without transmitting pieces of evidence (the so-called evidential and negative paradigms, respectively).

The particle has a negative function when it is accompanied by an indicative mood. Because of the difficulty to determine the mood in Ugaritic, semiticians have been led to determine the verbal mood by the context. On the basis of a widespread interpretation regarding the verbal mood among the semiticians (see Sect. 3), we now come to the formal semantic analysis.

We consider the sentence of l + indicative mood previously discussed as an example of with negative function. This kind of negation may now be interpreted as a negative paradigm structure, at the same level at which the asseverative structures have been interpreted in Semitic languages. This structure will be formalized as follows:

  • \(<\lnot {K}_{a}\varphi >E_{B}\) \(\lnot {K}_{a}\varphi\)

Indeed, the negative paradigm does not correspond to a classical negation. It is a negative-epistemic intensional structure where what is negated is not the principal verb, but an epistemic modality that introduces the agent’s perspective inside the sentence as a “nexus focus” in negative. And it is precisely the negation of the agent’s knowledge which allows us to explain the different combinations produced at the sub-sentential, sentential and discursive levels. At a sub-sentential level, the scope of the negation is the verbal mood: it is a modal negation by means of which the agent affirms that she does not know \(\varphi\), but which does not preclude the possibility for \(\varphi\) to be true, in accordance with the semantics defined above. That is, the agent is only claiming she cannot affirm \(\varphi\) because she has no evidence of \(\varphi\), whence the dynamic from negative to positive of the negative particles. By making a public announcement, information is communicated and the model changes. An agent who affirms she has no evidence of \(\varphi\) is not negating the possibility of \(\varphi\) and still considers that \(\varphi\) is as possible as \(\lnot \varphi\). So that \(<\lnot {K}_{a}\varphi >E_{B}\) \(\lnot {K}_{a}\varphi\) is the formal expression of the public announcement of the agent’s ignorance; as in the example 1:

  • Example 1: Before, it was translated as “You have not recognized (this)”. Now it will be: “I, the agent a, does not have evidence of (you have recognized (this))”.

The case of the ’al particle can be formalized as follows:

  • \(<\lnot {\hat{K}}_{a}\varphi >E_{B}\) \(\lnot {\hat{K}}_{a}\varphi\)

Nevertheless, its lexicalization with indicative is not equivalent to an operator with a force of necessity, but a negation of possibility that allows a translation by means of a rhetorical question, as in the following example:

  • Example 4: Before it was translated as “sure, I should send a message to the son”. Now it will be: “Wouldn’t it be possible (that I, the agent a, have evidence for) I sent a message to the son?”

The translation of ’al has thus the form of “Isn’t it possible I have evidence for...”.

6 From Positive to Negative

The particle is a negation of evidence, and the ’al particle a negation of a possible evidence. But, why does the former change from negative to positive, and the latter from positive to negative?

The particle has two functions: negative and positive. The negative is a negation of evidence. Usually, it changes to positive in connection with a verbal modality, when the verb mood is not indicative. This might be a kind of modal concord (Geurts and Huitink 2006; Zeijlstra 2007; Huitink 2008; Anand and Brasoveanu 2010; Grosz 2010), in which two modals merge into one. However, this would explain this linguistic phenomenon in terms of scopes of identical modals, while the modals are different in Ugaritic.

It cannot be a syntactic concord either, because the contribution of the two modals to the whole sentences in which they appear are different, so that their semantic difference must be taken into account. Moreover, the modality acts at the three levels of the sentence, and it also relates to the pragmatic level, as in Anand and Brasoveanu (2010), and the graduation of modality, as in Grosz (2010).

The dynamic of the particle is therefore accounted for in terms of a modality concord, through a general modality operator. Unlike the usual option which consists in losing the negation (one modal) in the semantics followed in Ugaritic studies, both of them will be maintained. Let us now explain this change from positive to negative, and vice versa, by means of concrete examples.

We first introduce a modal operator, which relates to the negative modality of . The intended meaning of \(\sqcap _{a}\varphi\) is “the agent a wants/desires/commands/points out with emphasis/believes... \(\varphi\)”. Its semantics is defined with respect to a serial structure in which, for every state \(s\in S\), there is always a state \(s'\in S\) such that \(s'\in R(s)\). This is the well-known system D, which is characterized by the validity of \(\Box \varphi \rightarrow \Diamond \varphi\).

Definition 5

Giving a model M, with R serial.

  • \(M,s\models \sqcap _{a}\varphi\) iff for all \(t\in S:t\in R_{a}(s)\) implies \(M,s\models \varphi\)Footnote 44

It is worth noting that the only difference with the K operator is the restriction concerning the accessibility relation. It is serial, but not reflexive. That is, it is assumed that for any \(s\in S\) there is always a \(s'\in S\) such that \(s'\in R(s)\), but not that \(s\in R(s)\) for any \(s\in S\). Indeed, if an agent a desires or believes \(\varphi\), for example, she may not have evidence of \(\varphi\), and \(\varphi\) needs not be actually true despite her desires or beliefs. This general operator is thus weaker than K, which may nonetheless occur in the scope of the operator \(\sqcap\). This explains why a negative knowledge turns out to be positive when it occurs in the scope of the general modal operator. This is how the modification of the sentential, the sub-sentential and the discursive modalities in Ugaritic by the negative evidential modality can be accounted for. The scope of the modalities makes concordance, which results in different translations.

The following example is thus formulated by giving to the operator \(\sqcap\) a wide scope with respect to K:

  • Example 2: Before it was translated as “I will certainly send”. Now, it will be: “I, the agent a, will certainly send it (although I, the agent a, can have evidence that I, the agent a, did not send it)”Footnote 45

  • \(<\sqcap _{a}({\hat{K}}_{a}\lnot \varphi )>\) \(E_{B}\) \(\sqcap _{a}({\hat{K}}_{a}\lnot \varphi )\)

Given the general intended meaning of \(\sqcap _{a}\), this formalization may also hold for sentences like “the agent a desires \(\varphi\), although she can have evidence of \(\lnot\) \(\varphi\)”. The general modality is established first, whereas the particle establishes some limits and specifies that the agent has no evidence for what she considers also possible \(\lnot \varphi\). The change from negative to positive is not so obvious as with a double classical negation, since the change from the modal to the lā + modal is a modal operator with the force of a possibility (\({\hat{K}}\)) with a negative proposition. The modality is not changed, it is only specified that the agent has no evidence.

The ’al + modal particle expresses a negation. The structure of the ’al positive in relation to a modal produces a change from positive to negative. The semantics of ’al has been explained in terms of a public announcement of the negation of a modal epistemic operator \({\hat{K}}\). Now it interacts with the general modal operator \(\sqcap\), and its structure can be formalized as follows:

  • \(<\sqcap _{a}(K_{a}\lnot \varphi )>\,E_{B}\,\sqcap _{a}(K_{a}\lnot \varphi )\)

A change in the operator K is produced. It is something that has been analysed by Anand and Brasoveanu (2010) as an implicature. In our example:

  • Example 3: Before it was translated as “Do not fear, do not be agitated!”. Now, it will be: “my mother, may I have evidence that you do not fear” \(<\sqcap _{a}(K_{a}\lnot \varphi )>\) \(E_{B}\) \(\sqcap _{a}(K_{a}\lnot \varphi )\)

Thus, we get a structure of ’al + modal which changes to negative. The analysis of + modal produces a weakening of the modality in \(\sqcap\). In this case, the particle ’al is not a modality of the negative sentence with force of possibility, but with a force of necessity. This produces a stronger change in the structure of \(\sqcap\), which can be explained in terms of a wide scope of the \(\sqcap\) operator. In this case, the two utterances might be united without problems of translations in one that modifies in a higher level the sentence with the \(\sqcap\) operator.

7 Conclusion

The dynamic semantics of Ugaritic negation expressed by means of the lā/’al particles had always remained unclear. Their dynamic behaviour, from positive to negative and vice versa, depends on their apparition, or not, in sentences with some kind of modality, or not (non-veridical contexts). In this paper, we focused on four occurrences of these particles: three of them from Ugaritic correspondence texts and another from poetry. On the basis of already existent semitician studies and translations, we eventually put forward a new semantic explanation defined from a logico-philosophical perspective. The application of modern formal tools, namely the operators of DEL, allows explaining the dynamics of the lā/’al particles within a negative paradigm, by means of which the lack of evidence can be expressed.

Indeed, the lā/’al particles do not fit with any structure of negation which can be found in natural languages. Nonetheless, certain aspects of these negations help to understand their behaviour. In Semitic languages, there exists an asseverative paradigm, in which several particles that have the form lV and Vl act as a kind of “nexus focus” or asseveration. These positive particles cannot be separate from the negative part of the particle lV and Vl, and they must be handled together in one general perspective. That is why we hypothesized a negative paradigm in Ugaritic, by means of which the behaviour of the lV/Vl negative particles is explained. This paradigm may be related to the well known asseverative paradigm in Semitic languages, at least as a possible kind of its counterparts. However, it must be emphasized that we only hypothesize a negative paradigm, not the asseverative one (that has never been attested in Ugaritic language).

Finally, the dynamic structure of the lā/’al particles, and their changes when they interact with the general modality operator, has been clarified by means of a formal semantics grounded in DEL. The conclusion is that the lā/’al particles cannot be translated as a normal (or classical) negation, as it is usually proposed in Semitic studies. They are constitutive of an intensional paradigm by means of which what is expressed is the ignorance, and the lack of evidence, of an agent. They form part of the expression of attitudes of knowledge in natural language, or better said the lack of knowledge.

In relation to the wider issues of language and building worldviews, we therefore reach two main results. On the one hand, this study sheds light on epistemic stances of Ugaritic people, how they conceive the world and their society; in particular, through the possibility of denying evidence. On the other hand, this proposal would not have been possible without analytic philosophy and modern formal tools, by means of which some of our resistances (due to our classical reading of negation) in interpreting Ancient languages can be overcome.