Results for 'Valeria Negri'

579 found
Order:
  1.  45
    Agro-Biodiversity Conservation in Europe: Ethical Issues. [REVIEW]Valeria Negri - 2004 - Journal of Agricultural and Environmental Ethics 18 (1):3-25.
    While it is commonly acknowledged that the ecosystemic, and the inter- and intra-specific diversity of natural life is under threat of being irremediably lost, there is much less awareness that the diversity in agro-ecosystems is also under threat. This paper is focused on the biodiverse agro-ecosystems generated by landraces (LRs), i.e., farmer-developed populations of cultivated species that show among- and within-population diversity and are linked to traditional cultures. The aim of this work is to arouse concern about their loss, to (...)
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  2. Interview: Antonio Negri and Danilo Zolo: Empire and the Multitude: A Dialogue on the New Order of Globalization.Antonio Negri & Danilo Zolo - 2003 - Radical Philosophy 120.
  3. Factory of Strategy: Thirty-Three Lessons on Lenin.Arianna Bove & Antonio Negri - 2014 - New York, USA: Columbia University Press.
    _Factory of Strategy_ is the last of Antonio Negri's major political works to be translated into English. Rigorous and accessible, it is both a systematic inquiry into the development of Lenin's thought and an encapsulation of a critical shift in Negri's theoretical trajectory. Lenin is the only prominent politician of the modern era to seriously question the "withering away" and "extinction" of the state, and like Marx, he recognized the link between capitalism and modern sovereignty and the need (...)
    Direct download  
     
    Export citation  
     
    My bibliography  
  4.  8
    Contraction-Free Sequent Calculi for Geometric Theories with an Application to Barr's Theorem.Sara Negri - 2003 - Archive for Mathematical Logic 42 (4):389-401.
    Geometric theories are presented as contraction- and cut-free systems of sequent calculi with mathematical rules following a prescribed rule-scheme that extends the scheme given in Negri and von Plato. Examples include cut-free calculi for Robinson arithmetic and real closed fields. As an immediate consequence of cut elimination, it is shown that if a geometric implication is classically derivable from a geometric theory then it is intuitionistically derivable.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   12 citations  
  5.  3
    Spinoza for Our Time: Politics and Postmodernity.Antonio Negri & Rocco Gangle - 2013 - Columbia University Press.
    Antonio Negri, a leading scholar on Baruch Spinoza (1632–1677) and his contemporary legacy, offers a straightforward explanation of the philosopher’s elaborate arguments and a persuasive case for his ongoing utility.
    Direct download  
     
    Export citation  
     
    My bibliography   1 citation  
  6.  18
    Subversive Spinoza: (Un)Contemporary Variations.Antonio Negri - 2004 - Distributed Exclusively in the Usa by Palgrave.
    In Subversive Spinoza , Antonio Negri spells out the philosophical credo that inspired his radical renewal of Marxism and his compelling analysis of the modern state and the global economy by means of an inspiring reading of the challenging metaphysics of the seventeenth-century Dutch-Jewish philosopher Spinoza. For Negri, Spinoza's philosophy has never been more relevant than it is today to debates over individuality and community, democracy and resistance, modernity and postmodernity.
    Direct download  
     
    Export citation  
     
    My bibliography   1 citation  
  7.  1
    The Italian Difference.Antonio Negri - 2009 - Cosmos and History: The Journal of Natural and Social Philosophy 5 (1):8-15.
    This pamphlet casts a polemical eye on the panorama of twentieth-century Italian philosophical culture and declares that only three figures stand as exceptions to a pervasive political and intellectual capitulation: Antonio Gramsci, Mario Tronti and Luisa Muraro. Negri argues that the two key post-war contributions to an Italian political ontology, the workerism of Tronti and the feminism of Muraro, start from the identification of the principal forms of exploitation, capitalism and patriarchy, to develop a potent thinking of singularity and (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  8. Art and Multitude.Antonio Negri - 2011 - Polity.
    Nine letters on art, written to friends from exile in France in the 1980s. Starting from earlier materialist approaches to art, Negri relates artistic production to the structures of social production characteristic of each historical era. This enables him to define the nature of both material and artistic production in the era of post-modernity and post-Fordism - the era Negri characterizes as that of immaterial labour. Negri then seeks to define artistic beauty in this new era, and (...)
     
    Export citation  
     
    My bibliography  
  9. Prison Letters.Antonio Negri - 2014 - Polity.
    Four men in a cell in Rebibbia prison, Rome, awaiting trial on serious charges of subversion. One of them, the political thinker Antonio Negri, spends his days writing. Among his writings are twenty letters addressed to a young friend in France Ð letters in which Negri reflects on his own personal development as a philosopher, theorist and political activist and analyses the events, activities and movements in which he has been involved. The letters recount an existential journey that (...)
     
    Export citation  
     
    My bibliography  
  10.  3
    Savage Anamoly: The Power of Spinoza's Metaphysics and Politics.Antonio Negri - 1999 - Univ of Minnesota Press.
    In this essential rereading of Spinoza's (1632-1677) philosophical and political writings, Negri positions this thinker within the historical context of the development of the modern state and its attendant political economy.
    Direct download  
     
    Export citation  
     
    My bibliography  
  11. Insurgencies: Constituent Power and the Modern State.Antonio Negri - 2009 - University of Minnesota Press.
    Constituent power : the concept of a crisis -- Virtue and fortune : the machiavellian paradigm -- The Atlantic model and the theory of counterpower -- Political emancipation in the American constitution -- The revolution and the constitution of labor -- Communist desire and the dialectic restored -- The constitution of strength.
     
    Export citation  
     
    My bibliography   7 citations  
  12.  27
    Proof Analysis in Intermediate Logics.Roy Dyckhoff & Sara Negri - 2012 - Archive for Mathematical Logic 51 (1-2):71-92.
    Using labelled formulae, a cut-free sequent calculus for intuitionistic propositional logic is presented, together with an easy cut-admissibility proof; both extend to cover, in a uniform fashion, all intermediate logics characterised by frames satisfying conditions expressible by one or more geometric implications. Each of these logics is embedded by the Gödel–McKinsey–Tarski translation into an extension of S4. Faithfulness of the embedding is proved in a simple and general way by constructive proof-theoretic methods, without appeal to semantics other than in the (...)
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   6 citations  
  13. In Praise of the Common: A Conversation on Philosophy and Politics.Cesare Casarino & Antonio Negri - 2008 - Univ of Minnesota Press.
    No categories
     
    Export citation  
     
    My bibliography   6 citations  
  14.  44
    Does the Deduction Theorem Fail for Modal Logic?Raul Hakli & Sara Negri - 2012 - Synthese 187 (3):849-867.
    Various sources in the literature claim that the deduction theorem does not hold for normal modal or epistemic logic, whereas others present versions of the deduction theorem for several normal modal systems. It is shown here that the apparent problem arises from an objectionable notion of derivability from assumptions in an axiomatic system. When a traditional Hilbert-type system of axiomatic logic is generalized into a system for derivations from assumptions, the necessitation rule has to be modified in a way that (...)
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography   5 citations  
  15.  15
    Proofs and Countermodels in Non-Classical Logics.Sara Negri - 2014 - Logica Universalis 8 (1):25-60.
    Proofs and countermodels are the two sides of completeness proofs, but, in general, failure to find one does not automatically give the other. The limitation is encountered also for decidable non-classical logics in traditional completeness proofs based on Henkin’s method of maximal consistent sets of formulas. A method is presented that makes it possible to establish completeness in a direct way: For any given sequent either a proof in the given logical system or a countermodel in the corresponding frame class (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   3 citations  
  16.  48
    Proof Analysis in Modal Logic.Sara Negri - 2005 - Journal of Philosophical Logic 34 (5-6):507-544.
    A general method for generating contraction- and cut-free sequent calculi for a large family of normal modal logics is presented. The method covers all modal logics characterized by Kripke frames determined by universal or geometric properties and it can be extended to treat also Gödel-Löb provability logic. The calculi provide direct decision methods through terminating proof search. Syntactic proofs of modal undefinability results are obtained in the form of conservativity theorems.
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   8 citations  
  17.  84
    The Church–Fitch Knowability Paradox in the Light of Structural Proof Theory.Paolo Maffezioli, Alberto Naibo & Sara Negri - 2013 - Synthese 190 (14):2677-2716.
    Anti-realist epistemic conceptions of truth imply what is called the knowability principle: All truths are possibly known. The principle can be formalized in a bimodal propositional logic, with an alethic modality ${\diamondsuit}$ and an epistemic modality ${\mathcal{K}}$, by the axiom scheme ${A \supset \diamondsuit \mathcal{K} A}$. The use of classical logic and minimal assumptions about the two modalities lead to the paradoxical conclusion that all truths are known, ${A \supset \mathcal{K} A}$. A Gentzen-style reconstruction of the Church–Fitch paradox is presented (...)
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   3 citations  
  18.  42
    Proof Theory for Modal Logic.Sara Negri - 2011 - Philosophy Compass 6 (8):523-538.
    The axiomatic presentation of modal systems and the standard formulations of natural deduction and sequent calculus for modal logic are reviewed, together with the difficulties that emerge with these approaches. Generalizations of standard proof systems are then presented. These include, among others, display calculi, hypersequents, and labelled systems, with the latter surveyed from a closer perspective.
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   4 citations  
  19. The Porcelain Workshop: For a New Grammar of Politics.Antonio Negri - 2008 - Semiotext(E).
     
    Export citation  
     
    My bibliography   4 citations  
  20. Factory of Strategy: Thirty-Three Lessons on Lenin.Antonio Negri - 2014 - Columbia University Press.
    Translation of the authoro's Fabbrica della strategia.
    Direct download  
     
    Export citation  
     
    My bibliography   1 citation  
  21.  30
    Reasoning About Collectively Accepted Group Beliefs.Raul Hakli & Sara Negri - 2011 - Journal of Philosophical Logic 40 (4):531-555.
    A proof-theoretical treatment of collectively accepted group beliefs is presented through a multi-agent sequent system for an axiomatization of the logic of acceptance. The system is based on a labelled sequent calculus for propositional multi-agent epistemic logic with labels that correspond to possible worlds and a notation for internalized accessibility relations between worlds. The system is contraction- and cut-free. Extensions of the basic system are considered, in particular with rules that allow the possibility of operative members or legislators. Completeness with (...)
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography   3 citations  
  22. Sequent Calculus in Natural Deduction Style.Sara Negri & Jan von Plato - 2001 - Journal of Symbolic Logic 66 (4):1803-1816.
    A sequent calculus is given in which the management of weakening and contraction is organized as in natural deduction. The latter has no explicit weakening or contraction, but vacuous and multiple discharges in rules that discharge assumptions. A comparison to natural deduction is given through translation of derivations between the two systems. It is proved that if a cut formula is never principal in a derivation leading to the right premiss of cut, it is a subformula of the conclusion. Therefore (...)
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography   4 citations  
  23.  13
    The Continuum as a Formal Space.Sara Negri & Daniele Soravia - 1999 - Archive for Mathematical Logic 38 (7):423-447.
    A constructive definition of the continuum based on formal topology is given and its basic properties studied. A natural notion of Cauchy sequence is introduced and Cauchy completeness is proved. Other results include elementary proofs of the Baire and Cantor theorems. From a classical standpoint, formal reals are seen to be equivalent to the usual reals. Lastly, the relation of real numbers as a formal space to other approaches to constructive real numbers is determined.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   5 citations  
  24.  6
    A Normalizing System of Natural Deduction for Intuitionistic Linear Logic.Sara Negri - 2002 - Archive for Mathematical Logic 41 (8):789-810.
    The main result of this paper is a normalizing system of natural deduction for the full language of intuitionistic linear logic. No explicit weakening or contraction rules for -formulas are needed. By the systematic use of general elimination rules a correspondence between normal derivations and cut-free derivations in sequent calculus is obtained. Normalization and the subformula property for normal derivations follow through translation to sequent calculus and cut-elimination.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   4 citations  
  25.  10
    Kripke Completeness Revisited.Sara Negri - 2009 - In Giuseppe Primiero (ed.), Acts of Knowledge: History, Philosophy and Logic. College Publications. pp. 233--266.
  26. Subversive Spinoza Contemporary Variations.Antimo Negri & Timothy S. Murphy - 2004
     
    Export citation  
     
    My bibliography   2 citations  
  27.  7
    Sequent Calculus Proof Theory of Intuitionistic Apartness and Order Relations.Sara Negri - 1999 - Archive for Mathematical Logic 38 (8):521-547.
    Contraction-free sequent calculi for intuitionistic theories of apartness and order are given and cut-elimination for the calculi proved. Among the consequences of the result is the disjunction property for these theories. Through methods of proof analysis and permutation of rules, we establish conservativity of the theory of apartness over the theory of equality defined as the negation of apartness, for sequents in which all atomic formulas appear negated. The proof extends to conservativity results for the theories of constructive order over (...)
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   4 citations  
  28. Giorgio Agamben: The Discreet Taste of the Dialectic.Antonio Negri - 2007 - In Matthew Calarco & Steven DeCaroli (eds.), Giorgio Agamben: Sovereignty and Life. Stanford University Press. pp. 109--125.
     
    Export citation  
     
    My bibliography   1 citation  
  29.  29
    A Probability Measure for Partial Events.Maurizio Negri - 2010 - Studia Logica 94 (2):271-290.
    We introduce the concept of partial event as a pair of disjoint sets, respectively the favorable and the unfavorable cases. Partial events can be seen as a De Morgan algebra with a single fixed point for the complement. We introduce the concept of a measure of partial probability, based on a set of axioms resembling Kolmogoroff’s. Finally we define a concept of conditional probability for partial events and apply this concept to the analysis of the two-slit experiment in quantum mechanics.
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  30.  7
    Tychonoff's Theorem in the Framework of Formal Topologies.Sara Negri & Silvio Valentini - 1997 - Journal of Symbolic Logic 62 (4):1315-1332.
  31.  2
    Multitude : guerre et démocratie à l'époque de l'Empire.Antonio Negri - 2004 - Multitudes 4 (4):107-117.
    No categories
    Translate
      Direct download (5 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  32.  24
    Proof Analysis for Lewis Counterfactuals.Sara Negri & Giorgio Sbardolini - forthcoming - Review of Symbolic Logic:1-32.
  33.  15
    Decision Methods for Linearly Ordered Heyting Algebras.Sara Negri & Roy Dyckhoff - 2005 - Archive for Mathematical Logic 45 (4):411-422.
    The decision problem for positively quantified formulae in the theory of linearly ordered Heyting algebras is known, as a special case of work of Kreisel, to be solvable; a simple solution is here presented, inspired by related ideas in Gödel-Dummett logic.
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  34.  5
    Inventer le commun des hommes.Judith Revel & Antonio Negri - 2007 - Multitudes 31 (4):5.
    Translate
      Direct download (6 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  35.  11
    Spinoza's Anti-Modernity.Antonio Negri - 1995 - Graduate Faculty Philosophy Journal 18 (2):1-15.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  36.  14
    On Gilles Deleuze & Félix Guattari, A Thousand Plateaus.Antonio Negri - 1995 - Graduate Faculty Philosophy Journal 18 (1):93-109.
  37.  17
    Fixed Points and Diagonal Method.Maurizio Negri - 1990 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 36 (4):319-329.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  38.  14
    Structural Proof Theory.Sara Negri, Jan von Plato & Aarne Ranta - 2001 - Cambridge University Press.
    Structural proof theory is a branch of logic that studies the general structure and properties of logical and mathematical proofs. This book is both a concise introduction to the central results and methods of structural proof theory, and a work of research that will be of interest to specialists. The book is designed to be used by students of philosophy, mathematics and computer science. The book contains a wealth of results on proof-theoretical systems, including extensions of such systems from logic (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  39.  20
    Varieties of Linear Calculi.Sara Negri - 2002 - Journal of Philosophical Logic 31 (6):569-590.
    A uniform calculus for linear logic is presented. The calculus has the form of a natural deduction system in sequent calculus style with general introduction and elimination rules. General elimination rules are motivated through an inversion principle, the dual form of which gives the general introduction rules. By restricting all the rules to their single-succedent versions, a uniform calculus for intuitionistic linear logic is obtained. The calculus encompasses both natural deduction and sequent calculus that are obtained as special instances from (...)
    Direct download (8 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  40.  56
    Is It Possible to Be Communist Without Marx?Antonio Negri - 2011 - Critical Horizons 12 (1):5-14.
    This paper explores the question of whether it is possible to be communist without Marx. This entails encountering the ontological dimension of communism, that is, the material tenor of this ontology, its residual effectiveness, the desire of human beings to go beyond capital, and the reality of the episode of statism.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  41.  14
    Universal Functions in Partial Structures.Maurizio Negri - 1992 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 38 (1):253-268.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  42. On Rem Koolhaas.Antonio Negri - 2009 - Radical Philosophy 154:48-50.
    No categories
     
    Export citation  
     
    My bibliography  
  43.  10
    À la Recherche du Commonwealth.Antonio Negri - 2010 - Rue Descartes 67 (1):6.
  44.  2
    Proof-Theoretical Analysis of Order Relations.Sara Negri, Jan von Plato & Thierry Coquand - 2004 - Archive for Mathematical Logic 43 (3):297-309.
    A proof-theoretical analysis of elementary theories of order relations is effected through the formulation of order axioms as mathematical rules added to contraction-free sequent calculus. Among the results obtained are proof-theoretical formulations of conservativity theorems corresponding to Szpilrajn’s theorem on the extension of a partial order into a linear one. Decidability of the theories of partial and linear order for quantifier-free sequents is shown by giving terminating methods of proof-search.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  45. Between Infinity and Community: Notes on Materialism in Spinoza and Leopardi.Antonio Negri - 1989 - Studia Spinozana: An International and Interdisciplinary Series 5:151-176.
  46.  1
    L'Europe, une plaisanterie pour les sujets de l'Empire.Antonio Negri - 2000 - Multitudes 3 (3):64-72.
    No categories
    Translate
      Direct download (5 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  47.  7
    La Philosophie de l'Old Europe.Antonio Negri - 2004 - Rue Descartes 45 (3):230.
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  48.  3
    Wege eines Textes. Die Summa quaestionum ordinariarum des Heinrich von Gent von Paris nach Rom.Silvia Negri - 2015 - Bulletin de Philosophie Medievale 57:117-169.
    This article investigates three major contexts in which Henry of Ghent’s Summa quaestionum ordinariarum was received from the thirteenth to the fifteenth century. The study takes into account the material features of a group of relevant manuscripts of the Summa: Paris, where the Summa was copied and annotated by Godfrey of Fontaines and his socii; the Dominican convent in Bologna at the beginning of the fourteenth century, to which Aimericus de Placentia gave a copy of the Summa corrected against the (...)
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  49.  35
    Postmodern Law and the Withering of Civil Society.Michael Hardt & Antonio Negri - 1996 - Angelaki 1 (3):57 – 72.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  50.  11
    Ainsi commença la chute de l'Empire.Antonio Negri - 2001 - Multitudes 4 (4):17-26.
    No categories
    Translate
      Direct download (6 more)  
     
    Export citation  
     
    My bibliography  
1 — 50 / 579