An examination of new forms of alienation in our never-off, plugged-in culture—and a clarion call for a “conspiracy of estranged people.” We can reach every point in the world but, more importantly, we can be reached from any point in the world. Privacy and its possibilities are abolished. Attention is under siege everywhere. Not silence but uninterrupted noise, not the red desert, but a cognitive space overcharged with nervous incentives to act: this is the alienation of our times... —from The (...) Soul at Work Capital has managed to overcome the dualism of body and soul by establishing a workforce in which everything we mean by the Soul—language, creativity, affects—is mobilized for its own benefit. Industrial production put to work bodies, muscles, and arms. Now, in the sphere of digital technology and cyberculture, exploitation involves the mind, language, and emotions in order to generate value—while our bodies disappear in front of our computer screens. In this, his newest book, Franco “Bifo” Berardi—key member of the Italian Autonomist movement and a close associate of Félix Guattari—addresses these new forms of estrangement. In the philosophical landscape of the 1960s and 1970s, the Hegelian concept of alienation was used to define the harnessing of subjectivity. The estrangement of workers from their labor, the feeling of alienation they experienced, and their refusal to submit to it became the bases for a human community that remained autonomous from capital. But today a new condition of alienation has taken root in which workers commonly and voluntarily work overtime, the population is tethered to cell phones and Blackberries, debt has become a postmodern form of slavery, and antidepressants are commonly used to meet the unending pressure of production. As a result, the conditions for community have run aground and new philosophical categories are needed. The Soul at Work is a clarion call for a new collective effort to reclaim happiness. The Soul at Work is Bifo's long overdue introduction to English-speaking readers. This Semiotext edition is also the book's first appearance in any language. (shrink)

A wide-ranging exploration of the present, and the future, of the Unconscious. The Unconscious knows no time, it has no before-and-after, it does not have a history of its own. Yet, it is not always the same. As it emerges in the life of people and societies, the Unconscious is shaped by ever-changing historical conditions: its form depends on the unique 'psychosphere' of each historical age. In the early twentieth century, Freud characterised the Unconscious as the dark side of the (...) well-ordered framework of Progress and Reason. At the end of the past century, Deleuze and Guattari described it as a laboratory: the magmatic force that ceaselessly brings about new possibilities of imagination. Today, at a time of viral pandemics and in the midst of the catastrophic collapse of capitalism, the Unconscious has begun to emerge in yet another form. In this book, Franco 'Bifo' Berardi vividly illustrates the form in which the Unconscious will make itself manifest for decades to come, and the challenges that it will pose to our possibilities of political action, poetic imagination, and therapy."--Publisher's description. (shrink)

Introduction: Cartographies in becoming -- The happy depression -- Integrated world capitalism -- Planetary psychopathia -- Postmediatic affect -- User's manual-- Deleuze and the rhizomatic machine -- Why is anti-Oedipus the book of the '68 movement? -- Kafka, hypertext, and assemblages -- The tantric egg -- Chaosmosis -- The provisional eternity of friendship.

_The Uprising_ is an Autonomist manifesto for today's precarious times, and a rallying cry in the face of the catastrophic and irreversible crisis that neoliberalism and the financial sphere have established over the globe. In his newest book, Franco "Bifo" Berardi argues that the notion of economic recovery is complete mythology. The coming years will inevitably see new surges of protest and violence, but the old models of resistance no longer apply. Society can either stick with the prescriptions and "rescues" (...) that the economic and financial sectors have demanded at the expense of social happiness, culture, and the public good; or it can formulate an alternative. For Berardi, this alternative lies in understanding the current crisis as something more fundamental than an economic crisis: it is a crisis of the social imagination, and demands a new language by which to address it. This is a manifesto against the idea of growth, and against the concept of debt, the financial sector's two primary linguistic means of manipulating society. It is a call for exhaustion, and for resistance to the cult of energy on which today's economic free-floating market depends. To this end, Berardi introduces an unexpected linguistic political weapon--poetry: poetry as the insolvency of language, as the sensuous birth of meaning and desire, as that which cannot be reduced to information and exchanged like currency. If the protests now stirring about the world are to take shape and direction, then the revolution will be neither peaceful nor violent--it will be linguistic, or will not be at all. (shrink)

We live in an age of impotence. Stuck between global war and global finance, between identity and capital, we seem to be incapable of producing the radical change that is so desperately needed. Is there still a way to disentangle ourselves from a global order that shapes our politics as well as our imagination? In his most systematic book to date, renowned Italian theorist Franco Berardi tackles this question through a solid yet visionary analysis of the three fundamental concepts of (...) Possibility, Potency, and Power. Characterizing Possibility as the content, Potency as the energy, and Power as the form, Berardi suggests that the road to emancipation unravels from the awareness that the field of the possible is only limited, and not created, by the power structures that implement it. Other futures and other worlds are always already inscribed within the present, despite power's attempt at keeping them invisible. Overcoming any temptation of giving in to despair or nostalgia, Berardi proposes the notion of 'futurability' as a way to remind us that even within the darkness of our current crisis lies dormant the horizon of possibility. (shrink)

We present a possible computational content of the negative translation of classical analysis with the Axiom of (countable) Choice. Interestingly, this interpretation uses a refinement of the realizability semantics of the absurdity proposition, which is not interpreted as the empty type here. We also show how to compute witnesses from proofs in classical analysis of ∃-statements and how to extract algorithms from proofs of ∀∃-statements. Our interpretation seems computationally more direct than the one based on Godel's Dialectica interpretation.

We associate with any game G another game, which is a variant of it, and which we call . Winning strategies for have a lower recursive degree than winning strategies for G: if a player has a winning strategy of recursive degree 1 over G, then it has a recursive winning strategy over , and vice versa. Through we can express in algorithmic form, as a recursive winning strategy, many common proofs of non-constructive Mathematics, namely exactly the theorems of the (...) sub-classical logic Limit Computable Mathematics [6], Hayashi and Nakata [7]). (shrink)

In this book, Franco Berardi guides the reader through a wry, dark, disconcerting but also brilliant and invigorating journey through the recent upheavals that we have witnessed. He argues that if our world is dead, then the space is open for another to appear - a world where apocalypse can shake us out of our contemporary zombie-like existence.

A basic result in intuitionism is Π02-conservativity. Take any proof p in classical arithmetic of some Π02-statement , with P decidable). Then we may effectively turn p in some intuitionistic proof of the same statement. In a previous paper [1], we generalized this result: any classical proof p of an arithmetical statement ∀x.∃y.P, with P of degree k, may be effectively turned into some proof of the same statement, using Excluded Middle only over degree k formulas. When k = 0, (...) we get the original conservativity result as particular case. This result was a by-product of a semantical construction. J. Avigad of Carnegie Mellon University, found a short, direct syntactical derivation of the same result, using H. Friedman's A-translation. His proof is included here with his permission. (shrink)

The purpose is to study the strength of Ramsey’s Theorem for pairs restricted to recursive assignments ofk-many colors, with respect to Intuitionistic Heyting Arithmetic. We prove that for every natural number$k \ge 2$, Ramsey’s Theorem for pairs and recursive assignments ofkcolors is equivalent to the Limited Lesser Principle of Omniscience for${\rm{\Sigma }}_3^0$formulas over Heyting Arithmetic. Alternatively, the same theorem over intuitionistic arithmetic is equivalent to: for every recursively enumerable infinitek-ary tree there is some$i < k$and some branch with infinitely many (...) children of indexi. (shrink)

We introduce an implication-free fragment image of ω-arithmetic, having Exchange rule for sequents dropped. Exchange rule for formulas is, instead, an admissible rule in image. Our main result is that cut-free proofs of image are isomorphic with recursive winning strategies of a set of games called “1-backtracking games” in [S. Berardi, Th. Coquand, S. Hayashi, Games with 1-backtracking, Games for Logic and Programming Languages, Edinburgh, April 2005].We also show that image is a sound and complete formal system for the implication-free (...) fragment of LCM , Seventh International Conference on Typed Lambda Calculi and Applications, in: Lecture Notes in Computer Science, vol. 3461, 2005, pp. 11–22. Invited paper]). A simple syntactical description of this fragment was still missing. No sound and complete formal system is known for LCM itself. (shrink)

Concatenation, conjunction, and connection -- The sensitive infosphere -- Global skin : a trans-identitarian patchwork -- The aesthetic genealogy of globalization -- Language, limit, excess -- Avatars of the general intellect -- The swarm effect -- Social morphogenesis and neuroplasticity -- The transhuman -- The horizon of mutation -- Consciousness and evolution -- The end.

We consider the restriction of classical principles like Excluded Middle, Markov’s Principle, König’s Lemma to arithmetical formulas of degree 2. For any such principle, we find simple mathematical statements which are intuitionistically equivalent to it, provided we restrict universal quantifications over maps to computable maps.

In 1996, Krivine applied Friedman's A-translation in order to get an intuitionistic version of Gödel completeness result for first-order classical logic and countable languages and models. Such a result is known to be intuitionistically underivable 559), but Krivine was able to derive intuitionistically a weak form of it, namely, he proved that every consistent classical theory has a model. In this paper, we want to analyze the ideas Krivine's remarkable result relies on, ideas which where somehow hidden by the heavy (...) formal machinery used in the original proof. We show that the ideas in Krivine's proof can be used to intuitionistically derive some crucial mathematical results, which were supposed to be purely classical up to now: the Ultrafilter Theorem for countable Boolean algebras, and the maximal ideal theorem for countable rings. (shrink)

The Clauser–Horne approach used to derive experimentally measurable quantities for performing experiments on EPR paradox based on Type-I Spontaneous Parametric Down Conversion (SPDC) sources is discussed. It is proved that in this case the deduced Bell's type inequality does not correctly express separability and causality. A deeper analysis of the problem shows that the Clauser–Horne hypothesis of factorizability of joint detection probability cannot be considered so general as to describe this physical situation.

We describe the constructive content of proofs in a fragment of propositional Infinitary Linear Logic in terms of strategies for a suitable class of games. Such strategies interpret linear proofs as parallel algorithms as long as the asymmetry of the connectives ? and ! allows it.

In this paper we give a strong normalization proof for a set of reduction rules for classical logic. These reductions, more general than the ones usually considered in literature, are inspired to the reductions of Felleisen's lambda calculus with continuations.

In the past sixty years or so, a real forest of intuitionistic models for classical theories has grown. In this paper we will compare intuitionistic models of first order classical theories according to relevant issues, like completeness (w.r.t. first order classical provability), consistency, and relationship between a connective and its interpretation in a model. We briefly consider also intuitionistic models for classical ω-logic. All results included here, but a part of the proposition (a) below, are new. This work is, ideally, (...) a continuation of a paper by McCarty, who considered intuitionistic completeness mostly for first order intuitionistic logic. (shrink)

Résumé Si le média-activisme est parvenu à libérer des espaces d’expression, il n’a pas su empêcher les médias dominants, institutionnels et privés, de se réapproprier cette libération. À travers ses effets de saturation et de fragmentation, le « sémiocapitalisme » nous a fait la peau. Les médias dominants ont détruit les médiations individuelles et collectives par leur envoûtement : leur vol du temps et de la sensibilité. C’est la dimension esthétique que le média-activisme doit aujourd’hui investir, d’abord comme art, c’est-à-dire (...) par une nouvelle production de la sensibilité, ensuite comme thérapeutique, c’est-à-dire comme soin apporté à nos appareils bio-médiatiques amoindris. (shrink)

Résumé Une innovation politique susceptible de remodeler le paysage politique mondial est l’enjeu réel de l’unification européenne. Pour ce faire Bifo réclame que le projet européen s’autonomise par rapport à l’extension illimitée du principe libéral porté par les forces mondiales dominantes et prépare leur renversement. Un « nationalisme européen » constituerait une impasse : la construction européenne sera extensive, postnationalitaire, elle se fera par le bas. Constitutionnaliser l’espace européen, c’est constitutionnaliser un devenir de réseaux. Dans le réseau c’est le gouvernement (...) des minorités qui est à l’ordre du jour. (shrink)

Answering to Richard Barbrook’s statements concerning the « the numeric nobility » and « Californian » ideology; Bifo who has lived directly events bound by free radios adventure restores facts and institutionalizing meaning of Felix Guattari’s activist activity. Through the figure of the « technos-nomads », he shows how rhizomatic thought is alone in capacity to realize current changes in the networks universes. He puts bombast it, «aesthetics paradigm » only to realize and to fight against the depth of the (...) contemporary infringements on the sensibility. (shrink)

This paper presents a constructive interpretation for the proofs in classical logic of $\Sigma^0_1$ -sentences and for a witness extraction procedure based on Prawitz's reduction rules.

Douglas Harper and Patrizia Faccioli: The Italian Way: Food & Social Life Content Type Journal Article Category Book Review Pages 1-4 DOI 10.1007/s10806-012-9379-x Authors Gigi Berardi, Department of Environmental Studies, Huxley College of the Environment, Western Washington University, Bellingham, WA, USA Journal Journal of Agricultural and Environmental Ethics Online ISSN 1573-322X Print ISSN 1187-7863.

Las secciones y divisiones dedicadas a la inteligencia y seguimiento político y social son centrales en la historia de las policías argentinas. La historiografía reciente ha destacado la complejidad de interpretar las políticas estatales de seguridad y sus transformaciones en el tiempo como producto de un proceso de larga duración. Este artículo examina las modalidades y prácticas de investigación desarrolladas por las policías del Territorio Nacional de Río Negro y de la Provincia de Buenos Aires entre 1930 y 1943. Un (...) abordaje que radica en ponderar las especificidades institucionales propias de un período escasamente transitado para estos escenarios a partir de tres ejes: primero, recompone el proceso de burocratización interno que transitarían ambas reparticiones producto de estas tareas. Segundo, estas secciones construyeron una sólida tradición de información materializada en informes, expedientes y prontuarios. En ese sentido, se pone el foco en los agentes que se configuraron como un grupo de “expertos” en su producción como en las lógicas para la recolección de información. Por último, se incursiona en los sentidos otorgados a los actores “observados”. (shrink)