In general, there is only one fuzzy logic in which the standard interpretation of the strong conjunction is a strict triangular norm, namely, the product logic. We study several equations which are satisfied by some strict t-norms and their dual t-conorms. Adding an involutive negation, these equations allow us to generate countably many logics based on strict t-norms which are different from the product logic.

Residuated fuzzy logic calculi are related to continuous t-norms, which are used as truth functions for conjunction, and their residua as truth functions for implication. In these logics, a negation is also definable from the implication and the truth constant $\overline{0}$ , namely $\neg \varphi$ is $\varphi \to \overline{0}$. However, this negation behaves quite differently depending on the t-norm. For a nilpotent t-norm (a t-norm which is isomorphic to Łukasiewicz t-norm), it turns out that $\neg$ is an (...) class='Hi'>involutive negation. However, for t-norms without non-trivial zero divisors, $\neg$ is Gödel negation. In this paper we investigate the residuated fuzzy logics arising from continuous t-norms without non-trivial zero divisors and extended with an involutive negation. (shrink)

Propositional fuzzy logics given by a combination of a continuous SBL t-norm with finitely many idempotents and of an involutive negation are investigated. A characterization of continuous t-norms which, in combination with different involutive negations, yield either isomorphic algebras or algebras with distinct and incomparable sets of propositional tautologies is presented.

A new logic, quantized intuitionistic linear logic, is introduced, and is closely related to the logic which corresponds to Mulvey and Pelletier's involutive quantales. Some cut-free sequent calculi with a new property quantization principle and some complete semantics such as an involutive quantale model and a quantale model are obtained for QILL. The relationship between QILL and Wansing's extended intuitionistic linear logic with strong negation is also observed using such syntactical and semantical frameworks.

In [5] we study Nonassociative Lambek Calculus augmented with De Morgan negation, satisfying the double negation and contraposition laws. This logic, introduced by de Grooté and Lamarche [10], is called Classical Non-Associative Lambek Calculus. Here we study a weaker logic InNL, i.e. NL with two involutive negations. We present a one-sided sequent system for InNL, admitting cut elimination. We also prove that InNL is PTIME.

This paper establishes several algebraic embedding theorems, each of which asserts that a certain kind of residuated structure can be embedded into a richer one. In almost all cases, the original structure has a compatible involution, which must be preserved by the embedding. The results, in conjunction with previous findings, yield separative axiomatizations of the deducibility relations of various substructural formal systems having double negation and contraposition axioms. The separation theorems go somewhat further than earlier ones in the literature, (...) which either treated fewer subsignatures or focussed on the conservation of theorems only. (shrink)

The paper deals with involutive FLe-monoids, that is, commutative residuated, partially-ordered monoids with an involutive negation. Involutive FLe-monoids over lattices are exactly involutive FLe-algebras, the algebraic counterparts of the substructural logic IUL. A cone representation is given for conic involutive FLe-monoids, along with a new construction method, called twin-rotation. Some classes of finite involutive FLe-chains are classified by using the notion of rank of involutive FLe-chains, and a kind of duality is developed (...) between positive and non-positive rank algebras. As a side effect, it is shown that the substructural logic IUL plus t ↔ f does not have the finite model property. (shrink)

Involutive Nonassociative Lambek Calculus is a nonassociative version of Noncommutative Multiplicative Linear Logic, but the multiplicative constants are not admitted. InNL adds two linear negations to Nonassociative Lambek Calculus ; it is a strongly conservative extension of NL Logical aspects of computational linguistics. LNCS, vol 10054. Springer, Berlin, pp 68–84, 2016). Here we also add unary modalities satisfying the residuation law and De Morgan laws. For the resulting logic InNLm, we define and study phase spaces. We use them to (...) prove the cut elimination theorem for a one-sided sequent system for InNLm, introduced here. Phase spaces are also employed in studying auxiliary systems InNLm, assuming the k-cyclic law for negation. The latter behave similarly as Classical Nonassociative Lambek Calculus, studied in de Groote and Lamarche :355–388, 2002) and Buszkowski. We reduce the provability in InNLm to that in InNLm. This yields the equivalence of type grammars based on InNLm with -free) context-free grammars and the PTIME complexity of InNLm. (shrink)

A recent paper by Jakl, Jung and Pultr succeeded for the first time in establishing a very natural link between bilattice logic and the duality theory of d-frames and bitopological spaces. In this paper we further exploit, extend and investigate this link from an algebraic and a logical point of view. In particular, we introduce classes of algebras that extend bilattices, d-frames and N4-lattices to a setting in which the negation is not necessarily involutive, and we study corresponding (...) logics. We provide product representation theorems for these algebras, as well as completeness, algebraizability results for the corresponding logics. (shrink)

Two constructions for adding an involution operator to residuated ordered monoids are investigated. One preserves integrality and the mingle axiom x 2x but fails to preserve the contraction property xx 2. The other has the opposite preservation properties. Both constructions preserve commutativity as well as existent nonempty meets and joins and self-dual order properties. Used in conjunction with either construction, a result of R.T. Brady can be seen to show that the equational theory of commutative distributive residuated lattices (without involution) (...) is decidable, settling a question implicitly posed by P. Jipsen and C. Tsinakis. The corresponding logical result is the (theorem-) decidability of the negation-free axioms and rules of the logic RW, formulated with fusion and the Ackermann constant t. This completes a result of S. Giambrone whose proof relied on the absence of t. (shrink)

In this paper we study intermediate logics between the logic G≤∼, the degree preserving companion of Gödel fuzzy logic with involution G∼ and classical propositional logic CPL, as well as the intermediate logics of their finite-valued counterparts G≤n∼. Although G≤∼ and G≤ are explosive w.r.t. Gödel negation ¬, they are paraconsistent w.r.t. the involutive negation ∼. We introduce the notion of saturated paraconsistency, a weaker notion than ideal paraconsistency, and we fully characterize the ideal and the saturated (...) paraconsistent logics between G≤n∼ and CPL. We also identify a large family of saturated paraconsistent logics in the family of intermediate logics for degree-preserving finite-valued Łukasiewicz logics. (shrink)

In many-valued logics with the unit interval as the set of truth values, from the standard negation and the product (or, more generally, from any strict Frank t-norm) all measurable logical functions can be derived, provided that also operations with countable arity are allowed. The question remained open whether there are other t-norms with this property or whether all strict t-norms possess this property. We give a full solution to this problem (in the case of strict t-norms), together with (...) convenient sufficient conditions. We list several families of strict t-norms having this property and provide also counterexamples (the Hamacher product is one of them). Finally, we discuss the consequences of these results for the characterization of tribes based on strict t-norms. (shrink)

A propositional logic has the variable sharing property if φ → ψ is a theorem only if φ and ψ share some propositional variable. In this note, I prove that positive semilattice relevance logic and its extension with an involution negation have the variable sharing property. Typical proofs of the variable sharing property rely on ad hoc, if clever, matrices. However, in this note, I exploit the properties of rather more intuitive arithmetical structures to establish the variable sharing property (...) for the systems discussed. (shrink)

We study the sequent system mentioned in the author's work as CyInFL with ‘intuitionistic’ sequents. We explore the connection between this system and symmetric constructive logic of Zaslavsky and develop an algebraic semantics for both of them. In contrast to the previous work, we prove the strong completeness theorem for CyInFL with ‘intuitionistic’ sequents and all of its basic variants, including variants with contraction. We also show how the defined classes of structures are related to cyclic involutive FL‐algebras and (...) Nelson FLew‐algebras. In particular, we prove the definitional equivalence of symmetric constructive FLewc‐algebras (algebraic models of symmetric constructive logic) and Nelson FLew‐algebras (algebras introduced by Spinks and Veroff, as the termwise equivalent definition of Nelson algebras). Because of the strong completeness theorem that covers all basic variants of CyInFL with ‘intuitionistic’ sequents, we rename this sequent system to symmetric constructive full Lambek calculus (). We verify the decidability of this system and its basic variants, as we did in the case of their distributive cousins. As a consequence we obtain that the corresponding theories of (distributive and nondistributive) symmetric constructive FL‐algebras are decidable. (shrink)

Recent work by Busaniche, Galatos and Marcos introduced a very general twist construction, based on the notion of _conucleus_, which subsumes most existing approaches. In the present paper we extend this framework one step further, so as to allow us to construct and represent algebras which possess a negation that is not necessarily involutive. Our aim is to capture the main properties of the largest class that admits such a representation, as well as to be able to recover (...) the well-known cases—such as _(quasi-)Nelson algebras_ and _(quasi-)N4-lattices_—as particular instances of the general construction. We pursue two approaches, one that directly generalizes the classical Rasiowa construction for Nelson algebras, and an alternative one that allows us to study twist-algebras within the theory of residuated lattices. (shrink)

In this study, an extended paradefinite logic with classical negation (EPLC), which has the connectives of conflation, paraconsistent negation, classical negation, and classical implication, is introduced as a Gentzen-type sequent calculus. The logic EPLC is regarded as a modification of Arieli, Avron, and Zamansky’s ideal four-valued paradefinite logic (4CC) and as an extension of De and Omori’s extended Belnap–Dunn logic with classical negation (BD+) and Avron’s self-extensional four-valued paradefinite logic (SE4). The completeness, cut-elimination, and decidability theorems (...) for EPLC are proved and EPLC is shown to be embeddable into classical logic. The strong equivalence substitution property and the admissibilities of the rules of negative symmetry, contraposition, and involution are shown for EPLC. Some alternative simple Gentzen-type sequent calculi, which are theorem-equivalent to EPLC, are obtained via these characteristic properties. (shrink)

Quasi-Nelson logic (QNL) was recently introduced as a common generalisation of intuitionistic logic and Nelson's constructive logic with strong negation. Viewed as a substructural logic, QNL is the axiomatic extension of the Full Lambek Calculus with Exchange and Weakening by the Nelson axiom, and its algebraic counterpart is a variety of residuated lattices called quasi-Nelson algebras. Nelson's logic, in turn, may be obtained as the axiomatic extension of QNL by the double negation (or involutivity) axiom, and intuitionistic logic (...) as the extension of QNL by the contraction axiom. A recent series of papers by the author and collaborators initiated the study of fragments of QNL, which correspond to subreducts of quasi-Nelson algebras. In the present paper we focus on fragments that contain the connectives forming a residuated pair (the monoid conjunction and the so-called strong Nelson implication), these being the most interesting ones from a substructural logic perspective. We provide quasi-equational (whenever possible, equational) axiomatisations for the corresponding classes of algebras, obtain twist representations for them, study their congruence properties and take a look at a few notable subvarieties. Our results specialise to the involutive case, yielding characterisations of the corresponding fragments of Nelson's logic and their algebraic counterparts. (shrink)

IMTL logic was introduced in [12] as a generalization of the infinitely-valued logic of Lukasiewicz, and in [11] it was proved to be the logic of left-continuous t-norms with an involutive negation and their residua. The structure of such t-norms is still not known. Nevertheless, Jenei introduced in [20] a new way to obtain rotation-invariant semigroups and, in particular, IMTL-algebras and left-continuous t-norm with an involutive negation, by means of the disconnected rotation method. In order to (...) give an algebraic interpretation to this construction, we generalize the concepts of perfect, bipartite and local algebra used in the classification of MV-algebras to the wider variety of IMTL-algebras and we prove that perfect algebras are exactly those algebras obtained from a prelinear semihoop by Jenei's disconnected rotation. We also prove that the variety generated by all perfect IMTL-algebras is the variety of the IMTL-algebras that are bipartite by every maximal filter and we give equational axiomatizations for it. (shrink)

Substructural logics are logics obtained from a sequent formulation of intuitionistic or classical logic by rejecting some structural rules. The substructural logics considered here are linear logic, relevant logic and BCK logic. It is proved that first-order variants of these logics with an intuitionistic negation can be embedded by modal translations into S4-type extensions of these logics with a classical, involutive, negation. Related embeddings via translations like the double-negation translation are also considered. Embeddings into analogues of (...) S4 are obtained with the help of cut elimination for sequent formulations of our substructural logics and their modal extensions. These results are proved for systems with equality too. (shrink)

This is a review, with historical and critical comments, of a paper by I. E. Orlov from 1928, which gives the oldest known axiomatization of the implication-negation fragment of the relevant logic R. Orlov's paper also foreshadows the modal translation of systems with an intuitionistic negation into S4-type extensions of systems with a classical, involutive, negation. Orlov introduces the modal postulates of S4 before Becker, Lewis and Gödel. Orlov's work, which seems to be nearly completely ignored, (...) is related to the contemporaneous work on the axiomatization of intuitionistic logic. (shrink)

The aim of the paper is to analyze the expressive power of the square operator of Łukasiewicz logic: ∗x=x⊙x⁠, where ⊙ is the strong Łukasiewicz conjunction. In particular, we aim at understanding and characterizing those cases in which the square operator is enough to construct a finite MV-chain from a finite totally ordered set endowed with an involutive negation. The first of our main results shows that, indeed, the whole structure of MV-chain can be reconstructed from the involution (...) and the Łukasiewicz square operator if and only if the obtained structure has only trivial subalgebras and, equivalently, if and only if the cardinality of the starting chain is of the form n+1 where n belongs to a class of prime numbers that we fully characterize. Secondly, we axiomatize the algebraizable matrix logic whose semantics is given by the variety generated by a finite totally ordered set endowed with an involutive negation and Łukasiewicz square operator. Finally, we propose an alternative way to account for Łukasiewicz square operator on involutive Gödel chains. In this setting, we show that such an operator can be captured by a rather intuitive set of equations. (shrink)

We present a semantic game for Gödel logic and its extensions, where the players’ interaction stepwise reduces arbitrary claims about the relative order of truth degrees of complex formulas to atomic ones. The paper builds on a previously developed game for Gödel logic with projection operator in Fermüller et al., Information processing and management of uncertainty in knowledge-based systems, Springer, Cham, 2020, pp. 257–270). This game is extended to cover Gödel logic with involutive negations and constants, and then lifted (...) to a provability game using the concept of disjunctive strategies. Winning strategies in the provability game, with and without constants and involutive negations, turn out to correspond to analytic proofs in a version of \ :1941–1958, 2010) and in a sequent-of-relations calculus, Automated reasoning with analytic tableaux and related methods, Springer, Berlin, 1999, pp. 36–51) respectively. (shrink)

It is well known that classical propositional logic can be interpreted in intuitionistic propositional logic. In particular Glivenko's theorem states that a formula is provable in the former iff its double negation is provable in the latter. We extend Glivenko's theorem and show that for every involutive substructural logic there exists a minimum substructural logic that contains the first via a double negation interpretation. Our presentation is algebraic and is formulated in the context of residuated lattices. In (...) the last part of the paper, we also discuss some extended forms of the Kolmogorov translation and we compare it to the Glivenko translation. (shrink)

In Belnap's useful 4-valued logic, the set 2 = {T, F} of classical truth values is generalized to the set 4 = ������(2) = {Ø, {T}, {F}, {T, F}}. In the present paper, we argue in favor of extending this process to the set 16 = ᵍ (4) (and beyond). It turns out that this generalization is well-motivated and leads from the bilattice FOUR₂ with an information and a truth-and-falsity ordering to another algebraic structure, namely the trilattice SIXTEEN₃ with an (...) information ordering together with a truth ordering and a (distinct) falsity ordering. Interestingly, the logics generated separately by the algebraic operations under the truth order and under the falsity order in SIXTEEN₃ coincide with the logic of FOUR₂, namely first degree entailment. This observation may be taken as a further indication of the significance of first degree entailment. In the present setting, however, it becomes rather natural to consider also logical systems in the language obtained by combining the vocabulary of the logic of the truth order and the falsity order. We semantically define the logics of the two orderings in the extended language and in both cases axiomatize a certain fragment comprising three unary operations: a negation, an involution, and their combination. We also suggest two other definitions of logics in the full language, including a bi-consequence system. In other words, in addition to presenting first degree entailment as a useful 16-valued logic, we define further useful 16-valued logics for reasoning about truth and (non-)falsity. We expect these logics to be an interesting and useful instrument in information processing, especially when we deal with a net of hierarchically interconnected computers. We also briefly discuss Arieli's and Avron's notion of a logical bilattice and state a number of open problems for future research. (shrink)

The Routley star, an involutive function between possible worlds or set-ups against which negation is evaluated, is a hallmark feature of Richard Sylvan and Val Plumwood's set-up semantics for the logic of first-degree entailment. Less frequently acknowledged is the weaker mate function described by Sylvan and his collaborators, which results from stripping the requirement of involutivity from the Routley star. Between the mate function and the Routley star, however, lies an broad field of intermediate semantical conditions characterizing an (...) infinite number of consequence relations closely related to first-degree entailment. In this paper, we consider the semantics and proof theory for deductive systems corresponding to set-up models in which the mate function is cyclical. We describe modifications to Anderson and Belnap's consecution calculus LE_fde2 that correspond to these constraints, for which we prove soundness and completeness with respect to the set-up semantics. Finally, we show that a number of familiar metalogical properties are coordinated with the parity of a mate function's period, including refined versions of the variable-sharing property and the property of gentle explosiveness. (shrink)

We compare the logic HYPE recently suggested by H. Leitgeb as a basic propositional logic to deal with hyperintensional contexts and Heyting-Ockham logic introduced in the course of studying logical aspects of the well-founded semantics for logic programs with negation. The semantics of Heyting-Ockham logic makes use of the so-called Routley star negation. It is shown how the Routley star negation can be obtained from Dimiter Vakarelov’s theory of negation and that propositional HYPE coincides with the (...) logic characterized by the class of all involutive Routley star information frames. This result provides a much simplified semantics for HYPE and also a simplified axiomatization, which shows that HYPE is identical with the modal symmetric propositional calculus introduced by G. Moisil in 1942. Moreover, it is shown that HYPE can be faithfully embedded into a normal bi-modal logic based on classical logic. Against this background, we discuss the notion of hyperintensionality. (shrink)

The description of resources in game semantics has never achieved the simplicity and precision of linear logic, because of the misleading conception that linear logic is more primitive than game semantics. Here, we defend the opposite view, and thus advocate that game semantics is conceptually more primitive than linear logic. This revised point of view leads us to introduce tensor logic, a primitive variant of linear logic where negation is not involutive. After formulating its categorical semantics, we interpret (...) tensor logic in a model based on Conway games equipped with a notion of payoff, in order to reflect the various resource policies of the logic: linear, affine, relevant or exponential. (shrink)

Let ${\mathbb{BRL}}$ denote the variety of commutative integral bounded residuated lattices (bounded residuated lattices for short). A Boolean retraction term for a subvariety ${\mathbb{V}}$ of ${\mathbb{BRL}}$ is a unary term t in the language of bounded residuated lattices such that for every ${{\bf A} \in \mathbb{V}, t^{A}}$ , the interpretation of the term on A, defines a retraction from A onto its Boolean skeleton B(A). It is shown that Boolean retraction terms are equationally definable, in the sense that there is (...) a variety ${\mathbb{V}_{t} \subsetneq \mathbb{BRL}}$ such that a variety ${\mathbb{V} \subsetneq \mathbb{BRL}}$ admits the unary term t as a Boolean retraction term if and only if ${\mathbb{V} \subseteq \mathbb{V}_{t}}$ . Moreover, the equation s(x) = t(x) holds in ${\mathbb{V}_{s} \cap \mathbb{V}_{t}}$ . The radical of ${{\bf A} \in \mathbb{BRL}}$ , with the structure of an unbounded residuated lattice with the operations inherited from A expanded with a unary operation corresponding to double negation and a a binary operation defined in terms of the monoid product and the negation, is called the radical algebra of A. To each involutive variety ${\mathbb{V} \subseteq \mathbb{V}_{t}}$ is associated a variety ${\mathbb{V}^{r}}$ formed by the isomorphic copies of the radical algebras of the directly indecomposable algebras in ${\mathbb{V}}$ . Each free algebra in such ${\mathbb{V}}$ is representable as a weak Boolean product of directly indecomposable algebras over the Stone space of the free Boolean algebra with the same number of free generators, and the radical algebra of each directly indecomposable factor is a free algebra in the associated variety ${\mathbb{V}^{r}}$ , also with the same number of free generators.A hierarchy of subvarieties of ${\mathbb{BRL}}$ admitting Boolean retraction terms is exhibited. (shrink)

The classical Glivenko theorem asserts that a propositional formula admits a classical proof if and only if its double negation admits an intuitionistic proof. By a natural expansion of the BCK-logic with negation we understand an algebraizable logic whose language is an expansion of the language of BCK-logic with negation by a family of connectives implicitly defined by equations and compatible with BCK-congruences. Many of the logics in the current literature are natural expansions of BCK-logic with (...) class='Hi'>negation. The validity of the analogous of Glivenko theorem in these logics is equivalent to the validity of a simple one-variable formula in the language of BCK-logic with negation. (shrink)

Along the same line as that in Ono (Ann Pure Appl Logic 161:246–250, 2009), a proof-theoretic approach to Glivenko theorems is developed here for substructural predicate logics relative not only to classical predicate logic but also to arbitrary involutive substructural predicate logics over intuitionistic linear predicate logic without exponentials QFLe. It is shown that there exists the weakest logic over QFLe among substructural predicate logics for which the Glivenko theorem holds. Negative translations of substructural predicate logics are studied by (...) using the same approach. First, a negative translation, called extended Kuroda translation is introduced. Then a translation result of an arbitrary involutive substructural predicate logics over QFLe is shown, and the existence of the weakest logic is proved among such logics for which the extended Kuroda translation works. They are obtained by a slight modification of the proof of the Glivenko theorem. Relations of our extended Kuroda translation with other standard negative translations will be discussed. Lastly, algebraic aspects of these results will be mentioned briefly. In this way, a clear and comprehensive understanding of Glivenko theorems and negative translations will be obtained from a substructural viewpoint. (shrink)

continent. 2.3 (2012): 218–223 Vijay Prashad. Arab Spring, Libyan Winter . Oakland: AK Press. 2012. 271pp, pbk. $14.95 ISBN-13: 978-1849351126. Nearly a decade ago, I sat in a class entitled, quite simply, “Corporations,” taught by Vijay Prashad at Trinity College. Over the course of the semester, I was amazed at the extent of Prashad’s knowledge, and the complexity and erudition of his style. He has since authored a number of classic books that have gained recognition throughout the world. The Darker (...) Nations , a peoples’ history of the Third World, sent defibrillating shockwaves through an academic world that had almost forgotten the epic scope and historic dignity of the non-aligned movement and post-colonial struggles. In his recent, award-winning work, Arab Spring, Libyan Winter , Prashad delves into his capacious knowledge of the Third World to excavate the discourses and narratives surrounding the upheavals of 2011. “Revolutions have no specific timetable,” states Prashad in the opening line of this exciting and provocative look at contemporary events. Instantly, an atmosphere of suspense emerges. The reader is alerted to the problem of history. Does the making of history then involve a suspension of historical time, or is it a continuous narrative structure into which events must eventually be integrated? Arab Spring, Libyan Winter shows that the answer to the question, “How is history made?” lies just as easily in the asking. The first half of the book works through the events that transpired to bring about the explosive popular uprisings of Arab Spring: Tunisia and Egypt, Yemen and Bahrain. But the events are not put together in a cohesive, chronological fashion. Using an uncommonly gripping style more akin to the folk-story motif of the djeli than to traditionally Orientalist academia, Prashad suspends a given situation, points out its components, and traces back the characters and genealogies that define each link before resuming a narrative. Every moment is an end to itself, and an origin of something different. Thus, the making of history becomes the suspension of its own progress, it’s catastrophic 'stability,' in a process of differentiation through inclusion. Empirically, one might suggest that history is a condition of time, and by extension, of the subject, but history is also an eminent producer of the Subject and her concept of time through memory and narrative. Hence, history is often overdetermined by a dominant narrative of the sovereign. The apparently chaotic composition of Prashad’s historicity is, then, an interstitial morphology of resistance. It illustrates that the time to act for the revolutionary lies in the gaps within the dominant historical realities. It points out the sorties of signifiers constituting nothing in the obliterated ruins of history. Through such illuminations, Arab Spring, Libyan Winter breaks through “the surface of history” to elaborate revolution’s snapping synapses, exploding interruptions and breaches, connecting flows. Messianic Politics It is tempting to think, 'History is either singular, or it is diffuse. It is either one coherent factual narrative, or it is comprised of the aletheia of the multitude.' Yet the reader finds Prashad examining the structure of history on multiple levels. For Prashad, world history is shaped by geographically defined political movements, such as communism or national liberation, with historical agents like the working class for the former and the nationalist militant for the latter. Religion, however, is another matter: “Religion has an unshakable eschatology which a post-utopian secular politics lacks.” Within the telos of religion, there appears on the horizon the image of Benjamin’s thoughts on messianic time—time as “a small fissure in the continuous catastrophe,” a break with history, may contain an ultimate redemption of the human beyond the political power struggle. Succoring the split between geo-political and utopian-religious (messianic) time in the context of Arab Spring, Prashad indicates that the base of “the deep desire and commitment to some form of democracy” is forged by the affinity between eschatological Islamist politics with the People. To think about the Subject of messianic time in the context of the lack of a “coherent timetable” for emancipatory politics, it is perhaps best to return to the modern tradition of Martin Luther King, Jr., whose prefigurative blending of liberation theology and emancipatory politics became most important during his works of 1963, the climactic year of “The Letter from a Birmingham Jail,” the March on Washington, and the bombing of the 16th Street Baptist Church. In “The Letter,” King states the point bluntly: Frankly, I have yet to engage in a direct-action campaign that was “well timed” in view of those who have not suffered unduly from the disease of segregation. For years now I have heard the word “wait!” It rings in the ear of every Negro with piercing familiarity. This “Wait” has almost always meant ‘Never.” We must come to see, with one of our distinguished jurists, that “justice too long delayed is justice denied.” The timing of rebellious action must not be a part of history. It must change history. The kairos appears spontaneous and untimely in its convulsive, shocking presence, yet it is, deeper still, a path, a longue durée , forged through diligent and rigorous praxis. King put a finer point on the path of historic liberation in his declaration in his 1963 speech at Western Michigan University: “[T]ime is neutral.... Somewhere along the way we must see that time will never solve the problem alone but that we must help time. Somewhere we must see that human progress never rolls in on the wheels on inevitability. It comes through the tireless efforts and the persistent work of dedicated individuals who are willing to be co-workers with God. Without this hard work, time itself becomes an ally of the insurgent and primitive forces of irrational emotionalism and social stagnation. We must always help time and realize that the time is always right to do right.” Time, then, exists in “the neutral,” while action must turn to the kairos , not only of taking time, but taking the right time. By turning our relation to time into kairos , we move time from its context within history to a duration between histories—the longue dure?e of Messianic time. The implementation of neutrality in this context suggests a broad space of time to extend through the valley of positive and negative. In Roland Barthes’s lectures from 1978, the neutral takes place in this minimal distance of non-conflict that exists outside of two extremes. It is, in the words of Maurice Blanchot, “the non-general, the non-generic, as well as the non-specific.” For Blanchot, the neutrality of time permeates life as death, impassive and beyond control; such is the neutrality of messianic time, which permeates the charge of history, changing the "I" into the "one." The neutrality of time therefore implicates history in a case against extremism, showing that the work of the radical is not to tend to any particular side, but to have the time to navigate through the terrible terrain of history by altering its course, its patterns and rhythms of movement, connection, sociality. Hence, one does not simply “make history,” one alters the course of history in accordance to “the right time.” The historical path toward emerging power is transmitted as a gesture to the outside of history, against history; a gesture as simple as reaching out. Thus a counterhistory, to use Foucault’s term, is brought forward as the guide of time past a point of no return, a Rubicon, the point where the normal path of history falls to the past. The subject, who must be the only true agent of history, facilitates time through helpfulness, and both the Subject and her history become decentered in relation to one another. Yet history negates the neutrality of time. As Barthes discloses, although the neutral is the “thought and practice of the nonconflictual, it is nevertheless bound to assertion, to conflict, in order to make itself heard.” Engaged with history, time is charged with a destiny, and becomes an opposition. As Prashad insists, “For Arab lands, the events of early 2011 were not the inauguration of a new history, but the continuation of an unfinished struggle that is a hundred years old.” The emergence of the Subject during Arab Spring did not conceive of a new history, but changed the path of history toward a different destiny. “Historical grievances combined with inflationary pressures now met with the subjective sense that victory might be at hand—this was not simply a protest to scream into the wind, but a protest to actually remove autocrats from their positions of authority. The facts of resistance had given way to the expectation of revolutionary change.” The negativity of this charge toward “revolutionary destiny” rendered control, as a positive force, seriously lacking. The lack of control lies in the problem that the Subject is not totally detemporalized or timeless, but untimely in her presence. The Subject is untimely, because her work is visionary, and it is only through such visionary work that the Rubicon can be crossed. Still, the crossing of this border is haunted by anxiety over an impending disaster that lays in wait. It is only through the form of what Benjamin calls divine violence, captivated not with the justice of the means, but the ends—the transformation of history—that a revelation of history’s traumatic foundations can be liberated, and patterns and rhythms of time developed throughout obscured traditions awakened. In this situation, the Subject appears to be outside of right, but setting the state to rights. Because her position is correct, in-so-far as the rebelling subject rebels due to a lack of recognition, her representation appears outside of the norm, which is mistaken as right. Therefore, such visionary work must be carried out through obscured traditions, underground, away from the surveillance of empire. Explaining his method from the start along the lines of Marx’s metaphor of the mole, Prashad insists, “It is the burrowing that is essential, not simply the emergence onto the surface of history.” Arab Spring, Libyan Winter is a book on uncharted networks of time, spread out over the 252 pages like an elaborate spider’s web of passages intertwining with and overwhelming the machinery of the state. Although untimely, Arab Spring was not a flash in the pan, or a Facebook or Twitter revolution. Prashad notes that the government’s suspension of these tools led to further radicalism by furthering communications through face-to-face encounters. In existential terms, Arab Spring might be thought of as a revolution of Being over techne , an uprising of the unchartable, infinite potential of the Other. The name of this Other is found in Chance. The faith of the revolution lies in the proper decentering of the subject, its giving to the Other of time, for only with respect to time does history actually appear on the horizon of the subject, rather than as an imposition. This time of historical agency appears as a moment when anything can happen—a revolutionary truth event where everything comes into question while being realized in its Otherness as a community of the people begins anew in the streets amidst discourse, friendship, reconfigurations of hegemony, and a becoming of a constituent power. Throwing a wrench into the gears of the “cobwebbed tradition” of Orientalism, the decentering of history in Arab Spring, Libyan Winter is a defining quality of its impassioned revolutionary cry. But perhaps the most paradigmatic points of the book emerge from the unexpected voices. To make the connection between the particular manifestations of revolutionary demands to the general historic terms of revolution, Prashad quotes an anonymous young Egyptian in Tahrir Square, who reminds us, “[T]he French Revolution took a very long time so the people could eventually get their rights.” Far from timelessness, the historicization of Arab Spring must exist precisely within the most uncanny appearance of time, as something that does not appear to come from the natural state of time as we know it, but in arriving has completely transformed the way that we understand time. Strange Monsters Revolution is never as simple as a revolt from below against a rusting structure of elites trying to remain in power. As with the French Revolution, Arab Spring consisted of complex familial ties, outside interests, and religious factions fighting alongside, often in awkward juxtaposition to, liberals, working class parties, farmers, and students. It is perhaps because of this historically difficult and incongruous composition that the Arabic word for revolution is thawra , referring to the image of the bull, or thawr , which has religious significance as a pagan deity for the Ancient Semitic tribes and Cartheginians. If Daniel Guérin was correct in saying, “Anarchism and Marxism drink from the same spring,” then it is quite a different oasis that drove the thirsty beast of revolution through what Prashad calls, “the Libyan labyrinth.” Recalling Bataille’s Acéphale, the intestinal labyrinth gains significance as the mode of metabolism and rumination in which, “(the Acephale) has lost himself, loses me with him, and in which I discover myself as him, in other words, as a monster.” Unraveling the discourse of the revolution, the flows of power and hegemony—from Qaddafi’s nationalist coup in 1969 to the wars with Chad from 1978 to 1987, the neoliberal reforms of the 1990s to, finally, the War on Terror—we find that the metabolic process of Libyan Winter ends in the production of oil. In a process of what Prashad calls “involution,” Qaddafi’s bellicose policies, along with his attempts to nationalize Islam together with oil, mutated the source of his power, turning his house against itself. Already a divided nation, with its two major cities on opposite geographic sides of the country, Libya became split between two opposed political powers—liberal reformists and staunch nationalists—as Qaddafi’s political disengagement manifested through what can only be described in psychoanalytic terms as a recursive passage a l’act (mysteriously calling Wikipedia “Kleenex,” declaring that opponents drank hallucinogens with their instant coffee, and so on). Prashad declares, “The mercurial style that Qaddafi adopted was not about his personality alone, but also a leader’s natural response to a system that relied upon power brokers whose own loyalty… did not have any ideological commitment to the system.” As in the case of other nations during Arab Spring, the true expression of revolt was an outward exposition of what had inwardly been happening in microcosmic societies throughout the realm—from indigenous tribes to political parties, for a century, the people, partly motivated by (and in resistance to) economic impositions of development, had been changing the traditional social compositions and participating in what Ruth Wilson Gilmore calls, “the relative autonomy of the movement from the leaders.” It was this empowerment of political reconfigurations taking place under the context of new democratic assemblages that shocked the elites and evoked such a powerful response. Unlike Qaddafi’s awkward policy choices and rants, real acts of power from the West were clear and decisive. Prashad sets the stages of war and diplomacy, far removed from the deserts, mountains, and cities that forged the backdrop of popular politics. Taking place under the now-classic architecture of the “four pillars” of US interests—oil, the War on Terror, Israel, and the circumvention of Iranian hegemony—we find elites rubbing elbows in “Heliopolist cocktail parties and hushed conferences in Kasr al-Ittihadiya” as well as the Concorde-Lafayette hotel in Paris, which provides the setting for a meeting of anti-Qaddafi figures consolidating their power. These scenes are buttressed with the careful portraiture of key historical actors. As Prashad brings the stage of history to life, we find the diplomats and liberals like Frank Wisner, whose career has brought him from Enron in the late 1990s to the Obama Administration, under the aegis of which he was meeting with Mubarak about military support during Arab Spring. We spy the provocateurs, for instance, gauche cavalier , Bernard Henri-Levy, who telephones Sarkozy from Benghazi about the need for more NATO air strikes. We follow the rebel military establishment as it suffers mysterious deaths and even more mysterious assents (like that of apparent CIA cohort, Khalifa Hifter). In each of these intriguing characters, we find different representations of the security state biopolitique: an oil-injected reification that drives Arab Spring from the resentment of rising food prices to the brink of implosion in Libyan Winter. Reminiscent of the scenes of Cold War soirées represented in old Bond films, the aristocratic fight for oil against democracy that was Libyan Winter presents a harsh truth that the new global crisis is simply the continuation of the old history: the global exploitation of capitalism waged against the imagination of the people. As Benjamin laments, “The labyrinth is the right path for the person who always arrives early enough at his destination. This destination is the marketplace.” Yet, “(t)he labyrinth is the habitat of… a humanity (a class) which does not want to know where its destiny is taking it.” Thus, the labyrinth leads, like the desert, only further into itself. As Blanchot explains, “The desert is even less certain than the world; it is never anything but the approach to the desert.” Only the visionary can take time out of the involution toward oblivion. It is here, in this approach to and escape from history, that we find ourselves within Benjamin’s Golgotha, Blanchot’s desert: A space of indeterminate uncertainty where we become familiar only with our own exile. Blanchot writes, “For the moderated and moderate man, the room, the desert, and the world are strictly determined places. For the man of the desert and the labyrinth, devoted to the error of a journey necessarily a little longer than his life, the same space will be truly infinite, even if he knows that it is not, all the more so since he knows it.” The desert, as allegory, provides an eschatology, a mortality in the destiny of Arab Spring. But any allegory of nature might lead to a labyrinthine eschatology (for example, in Bachelard, the forest presents "a limitless world"); the prescience of the untimely is always an uncanny acceptance of the infinite within the finite—the outside of what is understood. Transgenerational and occupied with the image of the future, the untimely makes otherness its home as it proceeds toward liberation. In the work of helping time navigate this dangerous passage of history, Prashad illustrates that the more violent break with history may have occurred in the peaceable struggles of Tahrir Square, and not in the military clashes of Qaddafi with his former Generals who defected to the CIA and NATO countries. It might be possible to suggest, then, that in the case of Tunisia and Egypt, the historical subject of the people was drawn together in a Dionysian dance of different rhythms in the marvelous realm of the ancients, while we fear that the case of Libya suggests an Apollonian future where time, itself, may lay dying under the machinic hand of history. The properly Nietzschean inversion would follow: time is dead, for history has killed it. Yet, if time is dead, struck down in Golgotha, exposed in the desert, mauled by the thawra , it is only in the present sense that it is rendered impossible outside of the context into which the untimely has thrown us. Thus, if history becomes an art of revolution, life as being-towards-death (death as the provocation of the neutrality of time) becomes what Benjamin calls “the allegory of resurrection” through the glorious ruins of history. Prashad ends his work with a rousing finale: “The time of the impossible has presented itself. In Egypt, where the appetite for the possibilities of the future are greatest, the people continue to assert themselves into Tahrir Square and other places, pushing to reinvigorate a Revolution that must not die… For them the slogan is simple: Down with the Present. Long live the Future. May it be so.&rdquo. (shrink)

This paper develops the basics of the theory of involutive categories and shows that such categories provide the natural setting in which to describe involutive monoids. It is shown how categories of Eilenberg-Moore algebras of involutive monads are involutive, with conjugation for modules and vector spaces as special case. A part of the so-called Gelfand–Naimark–Segal (GNS) construction is identified as an isomorphism of categories, relating states on involutive monoids and inner products. This correspondence exists in (...) arbritrary involutive symmetric monoidal categories. (shrink)

Excerpt from Involution The word "involution" implies a folding in towards the centre. It seems to bear a different sense to the word "concentration," inasmuch as the latter carries with it the suggestion of an organised movement directed from outside, while involution takes rather the form of an automatic convergence. The word is here used in the latter sense, and it has been chosen as the title of this book because it is the word which seems to describe best the (...) cosmic process at which a glimpse is taken in the following pages. About the Publisher Forgotten Books publishes hundreds of thousands of rare and classic books. Find more at www.forgottenbooks.com This book is a reproduction of an important historical work. Forgotten Books uses state-of-the-art technology to digitally reconstruct the work, preserving the original format whilst repairing imperfections present in the aged copy. In rare cases, an imperfection in the original, such as a blemish or missing page, may be replicated in our edition. We do, however, repair the vast majority of imperfections successfully; any imperfections that remain are intentionally left to preserve the state of such historical works. (shrink)

A critical account of the key connections between twentieth-century French philosopher Gilles Deleuze and nineteenth-century German idealist G. W. F. Hegel. Hegel, Deleuze, and the Critique of Representation provides a critical account of the key connections between twentieth-century French philosopher Gilles Deleuze and nineteenth-century German idealist G. W. F. Hegel. While Hegel has been recognized as one of the key targets of Deleuze’s philosophical writing, Henry Somers-Hall shows how Deleuze’s antipathy to Hegel has its roots in a problem the two (...) thinkers both try to address: getting beyond a philosophy of judgment and the restrictions of Kant’s transcendental idealism. By tracing the development of their attempts to address this problem, Somers-Hall offers an interpretation of the sweep of nineteenth- and twentieth-century philosophy, providing a series of analyses of key moments in the history of thought, including the logics of Aristotle and Russell, Kant’s own philosophy of judgment, and the philosophy of Bergson. He also develops a novel interpretation of Deleuze’s philosophy of difference, and situates his philosophy in relation to the broader post-Kantian tradition. In addition to Deleuze’s relation to Hegel, the book makes important contributions to the study of Deleuze’s philosophy of mathematics, as well as to the study of several underappreciated areas of Hegel’s own philosophy. (shrink)

We prove that there are two involutions defined by monadic terms that characterize Monadic Algebras. We further prove that the variety of Monadic Algebras is the smallest variety of Interior Algebras where these involutions give rise to an interpretation from the variety of Bounded Distributive Lattices into it.

We present and defend the Australian Plan semantics for negation. This is a comprehensive account, suitable for a variety of different logics. It is based on two ideas. The first is that negation is an exclusion-expressing device: we utter negations to express incompatibilities. The second is that, because incompatibility is modal, negation is a modal operator as well. It can, then, be modelled as a quantifier over points in frames, restricted by accessibility relations representing compatibilities and incompatibilities (...) between such points. We defuse a number of objections to this Plan, raised by supporters of the American Plan for negation, in which negation is handled via a many-valued semantics. We show that the Australian Plan has substantial advantages over the American Plan. (shrink)

‘Creative Involution’ posits something of a philosophical genealogy, a line of flight that has neither need for nor interest in the periodisation of Modernism, a line of which Beckett (even reluctantly) is part. Murphy, among others, is deterritorialised as much as Beckett's landscapes are, and so he/they become a ‘complexification’ of being that manifests itself in Beckett not as represented, representative or a representation, since so much of Beckett deals with that which cannot be uttered, known or represented, but whose (...) image the works (and its figures) have become, a thinking through of negativity, becoming, and multiplicity through non-Newtonian motion, of being as becoming, where every movement brings something new into the world, but in something of a reverse Darwinism that moves from complex to simple organism, from Murphy to Worm, or Watt to Pim, or among the nameless figures in the short prose, a ‘becoming-animal’, in something not so much of a creative devolution but rather a ‘neoevolution’, or to adopt another term from Deleuze and Guattari, an ‘involution’, which ‘is in no way confused with regression’ (1987: 238), becomings creating nothing less than new worlds. Writing casually to his post-war confidant Georges Duthuit on 26 July 1951, Beckett noted in the midst of gardening chores, ‘Never seen so many butterflies in such worm-state, this little central cylinder, the only flesh, is the worm’ (2011: 271). The observation comes after the writing but before the premiere performance of Waiting for Godot in which Gogo tells Didi, ‘You and your landscapes! Tell me about the worms!’ (1954: 67). Such ‘becoming-animal always involves a pack, a band, a population, a peopling, in short a multiplicity’ (1987: 239), Deleuze and Guattari tell us. For Beckett it defines creativity as well, only possible through such un-tethered selves or beings, amid the generation of varieties and differences, accessible through moments of deterritorialisation, characterised by, ‘A fearsome involution calling us toward unheard-of becomings’ (240). (shrink)

In this article, we illuminate how a consumption practice in an ephemeral religious organization subverts systems of economic inequality that otherwise prevail in, and structure, society. Drawing on a rich ethnographic study in Pakistan, we show how the practice of food consumption in the Tablighi Jamaat —an Islamic organization originating in South Asia that is practiced intermittently by its followers—represents temporal spaces of egalitarianism. Within these temporal spaces, entrenched economic hierarchies that are salient in organizing Pakistani society are challenged. We (...) found that while the fundamental principles of the Tablighi Jamaat advocate for subversion of the economic hierarchies that propagate myriad inequalities by demarcating local Muslims into spheres of different social and economic classes, it is in the practice of food consumption when ethical transgression from these hierarchies are rendered most intelligible. Finally, we consider the implications of this study to the emerging field of Islamic business ethics. (shrink)