The strong normalization theorem is uniformly proved for typed λ-calculi for a wide range of substructural logics with or without strong negation.

Varieties of natural deduction systems are introduced for Wansing’s paraconsistent non-commutative substructural logic, called a constructive sequential propositional logic (COSPL), and its fragments. Normalization, strong normalization and Church-Rosser theorems are proved for these systems. These results include some new results on full Lambek logic (FL) and its fragments, because FL is a fragment of COSPL.

Much of the surviving text of the Epic of Etana tells the story of an eagle and a snake. The eagle and snake are extraordinary creatures, and their story abounds with mythological subtext. This paper argues that the Neo-Assyrian recension of Etana was amended to include explicit references to the eagle and the snake by the names of their mythological counterparts, anzû and bašmu. These references occur in two analogous contexts and serve the same narrative purpose: to dehumanize the other (...) when the eagle and the snake seek to do each other harm. The deliberate character of these changes and their symmetry suggest that they are the product of a conscientious scribe with a developed literary sensibility. (shrink)

Weapons of Words: Intertextual Competition in Babylonian Poetry. A Study of Anzû, Enūma Eliš, and Erra and Išum. By Selena Wisnom. Leiden: Brill, 2020. Pp. viii + 280. $185.

Enūma eliš and Erra and Išum are richly intertextual poems that both make sophisticated allusions to Anzû. Both do so in competitive ways: Enūma eliš reshapes earlier motifs towards its goal of elevating Marduk and Babylon over the gods and cities that came before them, while Erra and Išum uses allusions to undermine the image of Marduk that Enūma eliš creates. Tiʼāmtu’s blood carried on the wind to announce Marduk’s victory and the tablet of destinies which Tiʼāmtu fastens to Qingu’s (...) chest are two well-known examples of borrowings from Anzû in Enūma eliš. This article traces them through all three poems and shows how they are transformed in each. In the case of Enūma eliš the way that the poem deploys these allusions has previously been called clumsy because they stand out and do not appear to fit seamlessly into the narrative. Yet a closer analysis reveals that they have been much better integrated than is usually recognized, and that their subtleties make important contributions to the program of Marduk supplanting Ninurta. In Erra and Išum the chain becomes ever more complex: the motifs refer back both to their original contexts in Anzû and to their occurrences in Enūma eliš, implying a self-conscious awareness and exploitation of techniques used by earlier poets. (shrink)

Das "Kleine Worterbuch der marxistisch-Ieninistischen Philoso­ phie", das 1966 in erster Auflage, 1974 in zweiter und 1975 in dritter Auflage erschienen ist, wird nun in einer vierten, iiberarbei­ teten und erweiterten Auflage herausgegeben. Die Tatsache, dal3 die hohe Auflage der zweiten und dritten Ausgabe vergriffen ist und die Nachfrage unvermindert anhalt, zeigt, da/3 dieses Nach­ schlagewerk sich inzwischen einen festen Platz im geistigen Leben erobert hat. Das wachsende Interesse breiter Kreise an der marxi­ stisch-Ieninistischen Philosophie ist als ein Ausdruck des (...) geistigen Reifeprozesses un serer Gesellschaft objektiv bedingt: Die weitere Gestaltung der entwickelten sozialistischen Gesellschaft in der DDR entsprechend dem Programm der SED und den Beschliissen des IX. Parteitages der SED, die sich vertiefende Zusammenarbeit der sozialistischen Gemeinschaft und auch der sich verscharfende ideo­ logische Kampf zwischen Sozialismus und Imperialismus erfordern einen hoheren Grad an theoretischen Kenntnissen, ideologischer Klarheit und politischer Bewul3theit. Immer mehr Menschen machen sich aus diesen Griinden in den verschiedensten Studienformen mit dem Marxismus-Leninismus und seinen philosophischen Grund­ lagen vertraut, um sich die Weltanschauung des Sozialismus anzu­ eignen, ihre Personlichkeit geistig zu bereichern und die vor ihnen stehenden Aufgaben mit grol3erer Sachkenntnis zu meistern. Mit der vorliegenden vierten, iiberarbeiteten und erweiterten Auf­ lage des,. Kleinen Worterbuchs der marxistisch-Ieninistischen Philo­ sophie" versuchen Autoren und Verlag, diesem wichtigen geseIl­ schaftlichen Bediirfnis noch besser zu entsprechen. (shrink)

This note considers Marduk’s use of the net in Enūma eliš. This weapon is usually assumed to be a net for catching birds inherited from Marduk’s relationship to Ninurta mythology, since Ninurta’s opponent in battle was the demonic bird Anzû. Here it is suggested that the net can also be used as a fishing net and portrays Marduk as a fisherman. This coheres with the nature of Marduk’s opponent, Ti’āmtu, whose name means sea, and also fits into the depiction of (...) Marduk taking over from Enlil as chief god in Enūma eliš, since Enlil is also described as both fisher and fowler in Sumerian texts. Thus an image that is sometimes thought to be awkwardly borrowed is shown to be coherently integrated after all, adding another dimension to the depiction of Marduk in battle. (shrink)