Results for 'Yves Lafont'

1000+ found
Order:
  1.  47
    Advances in linear logic.Jean-Yves Girard, Yves Lafont & Laurent Regnier (eds.) - 1995 - New York, NY, USA: Cambridge University Press.
    Linear logic, introduced in 1986 by J.-Y. Girard, is based upon a fine grain analysis of the main proof-theoretical notions of logic. The subject develops along the lines of denotational semantics, proof nets and the geometry of interaction. Its basic dynamical nature has attracted computer scientists, and various promising connections have been made in the areas of optimal program execution, interaction nets and knowledge representation. This book is the refereed proceedings of the first international meeting on linear logic held at (...)
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  2.  46
    The finite model property for various fragments of linear logic.Yves Lafont - 1997 - Journal of Symbolic Logic 62 (4):1202-1208.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  3. The undecidability of second order linear logic without exponentials.Yves Lafont - 1996 - Journal of Symbolic Logic 61 (2):541-548.
    Recently, Lincoln, Scedrov and Shankar showed that the multiplicative fragment of second order intuitionistic linear logic is undecidable, using an encoding of second order intuitionistic logic. Their argument applies to the multiplicative-additive fragment, but it does not work in the classical case, because second order classical logic is decidable. Here we show that the multiplicative-additive fragment of second order classical linear logic is also undecidable, using an encoding of two-counter machines originally due to Kanovich. The faithfulness of this encoding is (...)
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark  
  4.  16
    Le phisosophe et la promesse. Sur «Le Sens et le Mal», d'Yves Labbé.Ghislain Lafont - 1983 - Revue Théologique de Louvain 14 (3):356-371.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  5.  19
    Review: Jean-Yves Girard, Yves Lafont, Laurent Regnier, Advances in Linear Logic. [REVIEW]C. Dimitracopoulos & Dale Miller - 1997 - Journal of Symbolic Logic 62 (2):678-680.
  6.  32
    Jean-Yves Girard, Paul Taylor, and Yves LaFont. Proofs and types. Cambridge tracts in theoretical computer science, no. 7. Cambridge University Press, Cambridge etc. 1989, xi + 176 pp. [REVIEW]W. A. Howard - 1991 - Journal of Symbolic Logic 56 (2):760-761.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  7.  26
    Review: Jean-Yves Girard, Paul Taylor, Yves Lafont, Proofs and Types. [REVIEW]W. A. Howard - 1991 - Journal of Symbolic Logic 56 (2):760-761.
  8.  30
    Advances in linear logic, edited by Jean-Yves Girard, Yves Lafont, and Laurent Regnier, London Mathematical Society lecture note series, no. 222, Cambridge University Press, Cambridge, New York, and Oakleigh, Victoria, 1995, vii + 389 pp. [REVIEW]Dale Miller - 1997 - Journal of Symbolic Logic 62 (2):678-680.
  9. Is Objectivity Perspectival? Reflexions on Brandom's and Habermas's Pragmatist Conceptions of Objectivity.Cristina Lafont - 2002 - In Mitchell Aboulafia, Myra Orbach Bookman & Cathy Kemp (eds.), Habermas and Pragmatism. Routledge. pp. 185--209.
  10. Correctness and legitimacy in the discourse theory of law.Cristina Lafont - 2012 - In Matthias Klatt (ed.), Institutionalized reason: the jurisprudence of Robert Alexy. New York: Oxford University Press.
  11.  71
    Universalization or Threat Advantage? The Difficult Dialogue between Discourse Ethics and the Theory of Rational Choice.Cristina Lafont - 2005 - Dialogue 44 (2):373-382.
    InA Theory of Justice, Rawls claims that “to each according to his threat advantage is not a conception of justice.” Although it may indeed seem intuitively plausible that a principle based on “threat advantage” cannot count as a principle of justice, it is an altogether different matter to explain why this is so. The question is especially pressing if one bears in mind that such a principle of bargaining in fact underlies many institutionally regulated interactions. Moreover, to the extent that (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  12.  27
    Universalization or Threat Advantage? The Difficult Dialogue between Discourse Ethics and the Theory of Rational Choice.Cristina Lafont - 2005 - Dialogue 44 (2):373-382.
    InA Theory of Justice, Rawls claims that “to each according to his threat advantage is not a conception of justice.” Although it may indeed seem intuitively plausible that a principle based on “threat advantage” cannot count as a principle of justice, it is an altogether different matter to explain why this is so. The question is especially pressing if one bears in mind that such a principle of bargaining in fact underlies many institutionally regulated interactions. Moreover, to the extent that (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  13.  74
    Accountability and global governance: challenging the state-centric conception of human rights.Cristina Lafont - 2010 - Ethics and Global Politics 3 (3):193-215.
    In this essay I analyze some conceptual difficulties associated with the demand that global institutions be made more democratically accountable. In the absence of a world state, it may seem inconsistent to insist that global institutions be accountable to all those subject to their decisions while also insisting that the members of these institutions, as representatives of states, simultaneously remain accountable to the citizens of their own countries for the special responsibilities they have towards them. This difficulty seems insurmountable in (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  14.  61
    Alternative visions of a new global order: what should cosmopolitans hope for?Cristina Lafont - 2008 - Ethics and Global Politics 1 (1-2).
    In this essay, I analyze the cosmopolitan project for a new international order that Habermas has articulated in recent publications. I argue that his presentation of the project oscillates between two models. The first is a very ambitious model for a future international order geared to fulfill the peace and human rights goals of the UN Charter. The second is a minimalist model, in which the obligation to protect human rights by the international community is circumscribed to the negative duty (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  15.  16
    You Have to Show Strength: An Exploration of Gender, Race, and Depression.Tamara Beauboeuf-Lafontant - 2007 - Gender and Society 21 (1):28-51.
    Investigating the possible overlap between depressed and presumably strong Black women, this article maintains that women's experiences of depression are both gendered and raced. A review of clinical and popular literatures examining Black women's experiences of depression as well as findings from an interview study with a nonclinical sample of 44 Black women suggest that the discourse of being strong may normalize a distressinducing level of selflessness and powerlessness among such women. Implications of this study include the need to consider (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  16.  53
    Can democracy go global?Cristina Lafont - 2010 - Ethics and Global Politics 3 (1):13-19.
    In his Democracy across borders, Bohman articulates an ambitious political proposal for a future international order. Perhaps its most salient feature is the promise of global democracy without a world government. Global democracy is usually associated with the ideal of a world community unified under a set of global democratic institutions. Fear of the totalitarian consequences that such a concentration of power would generate often leads even the staunchest cosmopolitans to limit their democratic aspirations to the national level and merely (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  17.  4
    Strong And Large Black Women?: Exploring Relationships between Deviant Womanhood and Weight.Tamara Beauboeuf-Lafontant - 2003 - Gender and Society 17 (1):111-121.
    This article questions the societal and cultural image of Black women as strong and suggests that this seemingly affirming portrayal is derived from a discourse of enslaved women’s deviance. In highlighting connections between perceived strength and physical size among Black women, the analysis extends current feminist theory by considering the ways in which the weight many strong African American women carry is reflective of the deviant and devalued womanhood that they are expected to embody both within and outside their culture.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  18.  12
    Mystique chrétienne médiévale : la voie de Maître Eckhart.Yves Meessen - 2024 - Laval Théologique et Philosophique 80 (1):77.
    Présenter un aperçu de la « mystique chrétienne médiévale » n’est possible qu’en la situant brièvement dans l’histoire de la « mystique » en Occident. Le terme n’est pas dénué d’ambiguïté. Apparaissant dans le contexte des religions à mystères, la mystique évolue vers une expérience silencieuse que les mots ne peuvent capter, avant de désigner des phénomènes anormaux décrits dans une rhétorique de l’étrange. Par rapport à la littérature moderne, les textes médiévaux sont très sobres. Faisant à écho à la (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  19.  20
    Ästhetik nach Wittgenstein: Eine systematische Rekonstruktion.Yves Bossart - 2013 - De Gruyter.
    Why does something please us? Is there right and wrong in aesthetics? What is the value of art? What do philosophical and aesthetic problems have in common? Wittgenstein worked intensively on these and other questions and wrote of the strange resemblance between aesthetics and philosophy. This study shows how Wittgenstein s arguments have substantially contributed to explaining systematic questions in aesthetics.".
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  20.  5
    Humanisme et théologie: pour un préambule de la foi.Yves Labbé - 1975 - Paris: Cerf.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  21. L'autre, l'un, le même.Yves Labbé - 1983 - In François Bousquet (ed.), La Vérité. Paris: Beauchesne.
     
    Export citation  
     
    Bookmark  
  22.  7
    Les valeurs morales dans les écrits de Vauvenargues: essai.Yves Lainey - 1975 - Paris: SEDES.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  23. Croyance philosophique et foi religieuse.Yves Ledure - 1982 - In François Bousquet & Jean Greisch (eds.), La Croyance. Paris: Beauchesne.
     
    Export citation  
     
    Bookmark  
  24.  60
    Hobbes and Modern Political Thought.Yves Charles Zarka - 2016 - Edinburgh: Edinburgh University Press. Edited by James Griffith.
  25.  8
    Éditorial.Yves Charles Zarka - 2024 - Cités 97 (1):3-10.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  26.  3
    Contre la bienveillance.Yves Michaud - 2016 - Paris: Stock.
    Le constat est maintenant partout: la puissance du fondamentalisme religieux, la montee des populismes de droite comme de gauche, le discredit de la classe politique, le rejet de la construction europeenne, rendent caducs les schemas anciens. En particulier l'idee que la democratie, a force de bienveillance, peut tolerer toutes les differences, toutes les croyances. Oui! Il y a des croyances insupportables et intolerables. Non! Le populisme n'est pas une illusion qui se dissipera d'elle-meme avec un peu de pedagogie et de (...)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  27.  15
    The Habermas handbook.Hauke Brunkhorst, Regina Kreide & Cristina Lafont (eds.) - 2018 - New York: Columbia University Press.
    Jürgen Habermas is one of the most influential philosophers of our time. The Habermas Handbook offers a comprehensive overview and an in-depth analysis of Habermas's work. Habermas scholars elucidate his thought, providing essential insight into his key concepts and his influence across politics, law, the social sciences, and public life.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  28.  5
    L'animal est-il un philosophe: poussins kantiens et bonobos aristotéliciens.Yves Christen - 2013 - Paris: Odile Jacob.
    « Déconstruire l’idée que l’animal serait sans intelligence, sans conscience, sans langage, etc., n’est qu’une étape vers une entreprise plus essentielle : la reconnaissance de la richesse des mondes animaux, dans leur diversité, sans céder à la tentation de les hiérarchiser. Tel est l’esprit qui m’anime dans cet ouvrage. Parce que les animaux, humains ou non humains, ne sont pas les jouets passifs du monde qui les entoure et qu’ils en sont au contraire les créateurs actifs, parce qu’ils sont porteurs (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  29.  4
    Weber et le charisme en politique. Modernité d’un idéal-type.Yves Mény - 2024 - Cités 97 (1):155-173.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  30.  5
    Le moment idéologique: littérature et sciences de l'homme.Yves Citton, Lise Dumasy & Claire Barel-Moisan (eds.) - 2013 - Lyon: ENS éditions.
    Que peut nous apporter aujourd’hui la lecture des Idéologues, ces penseurs qui ont reconfiguré le champ des savoirs au début du XIXe siècle? La mise au jour d’un moment idéologique. Ce moment est celui qui voit une radicalité des Lumières se scinder entre divers branchements disciplinaires, entre diverses conceptions de la subjectivité et de l’émancipation. Le moment idéologique est un moment de passage, mais surtout de décantation. On y voit émerger, quoiqu’encore entremêlés et solidaires, ce que nous sommes habitués à (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  31.  6
    Technologie et génétique de l'objet industriel.Yves Deforge - 1985 - Paris: Maloine.
    Direct download  
     
    Export citation  
     
    Bookmark  
  32.  2
    Pour une philosophie chrétienne: éléments d'un débat fondamental.Yves Floucat - 1983 - Paris: Téqui.
  33.  10
    Lectures "chrétiennes" de Nietzsche: Maurras, Papini, Scheler, de Lubac, Marcel, Mounier.Yves Ledure - 1984 - [Paris]: Cerf.
  34.  4
    La vie du R. P. Malebranche.Yves Marie André - 1886 - Genève,: Slatkine Reprints. Edited by A. M. P. Ingold.
    Direct download  
     
    Export citation  
     
    Bookmark  
  35.  6
    Trois présocratiques, Héraclite, Parménide, Empédocle.Yves Battistini - 1968 - [Paris,]: Gallimard.
    Direct download  
     
    Export citation  
     
    Bookmark  
  36.  6
    Solidarité animale: défaire la société spéciste.Yves Bonnardel - 2020 - Paris: La Découverte. Edited by Axelle Playoust-Braure.
    Direct download  
     
    Export citation  
     
    Bookmark  
  37. La matrice philosophique de Foucault face aux Anciens.Yves Couture - 2020 - In Jean-Marc Narbonne, Hans-Jürgen Lüsebrink & Heinrich Schlange-Schöningen (eds.), Foucault: repenser les rapports entre les Grecs et les Modernes. Québec: Presses de l'Université Laval.
    No categories
     
    Export citation  
     
    Bookmark  
  38.  3
    L'objet de l'esthétique.Yves Eyot - 1972 - Paris: (64, Bd Blanqui, 75013), Centre d'études et de recherches marxistes.
    Direct download  
     
    Export citation  
     
    Bookmark  
  39. La métaphysique de Jacques Maritain dans la sagesse chrétienne.Yves Floucat - 2022 - In Hubert Borde & Bernard Hubert (eds.), Actualité de Jacques Maritain. Paris: Pierre Téqui éditeur.
    No categories
     
    Export citation  
     
    Bookmark  
  40.  8
    "L'apocalypse déçoit": Blanchot, Derrida, Levinas: penser le désastre à l'ère atomique.Yves Gilonne - 2020 - Paris: L'Harmattan.
    Cette étude se place à la croisée de trois auteurs qui laissent entrevoir, à l'horizon du nucléaire, la persistance d'un même questionnement autour du concept inattendu de "déception". Le nucléaire, qui semble accompagné par une multiplication sans retour des discours sur la fin, emporte jusqu'à l'idée même de fondement, exposant la raison à l'effondrement de son "principe" et entraînant le "désappointement" du programme rationnel de la modernité. La raison semble alors incapable de se soustraire au règne du simulacre qui "instrumentalise (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  41.  4
    Perspectives russes sur l'Église.Yves Noël Lelouvier - 1968 - Paris,: Éditions du Centurion.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  42. La philosophie des Ihwân aṣ-Ṣafâ: l'imâm et la société.Yves Marquet - 1973 - [Dakar]: Universite de Dakar, Département d'arabe.
  43.  7
    De la beauté: vingt-six ariettes.Yves Quéré - 2021 - Paris: Odile Jacob.
    Direct download  
     
    Export citation  
     
    Bookmark  
  44.  10
    La profondeur de Dieu.Yves Raguin - 1973 - [Paris]: Desclée, De Brouwer.
    Partir vers Dieu est une chose. Se reposer en Dieu et par là en soi-même en est une autre, une expérience plus pleine encore. En toute technique d'homme, en toute activité de création, une initiation s'avère nécessaire et bienheureuse; c'est le temps des fiançailles où l'initié progresse de découvertes en illuminations. Tels étaient les Chemins de la Contemplation. Mais dans La profondeur de Dieu, nous apprenons à nous reposer dans l'extraordinaire intimité à nous-mêmes de notre SOURCE la plus profonde, plus (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  45. Choose Your Own Nationality.Yves Plasseraud - 2015 - In Aviezer Tucker & Gian Piero De Bellis (eds.), Panarchy: Political Theories of Non-Territorial States. New York: Routledge.
     
    Export citation  
     
    Bookmark  
  46.  1
    Critique de la connaissance morale.Yves Simon - 1934 - Paris,: Desclée, de Brouwer et cie.
    Direct download  
     
    Export citation  
     
    Bookmark  
  47.  2
    Introduction à l'ontologie du connaître.Yves Simon - 1934 - Paris,: Desclée, de Brouwer et cie.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  48.  18
    Machiavelli and the Orders of Violence.Yves Winter - 2018 - New York: Cambridge University Press.
    Niccolò Machiavelli is the most prominent and notorious theorist of violence in the history of European political thought - prominent, because he is the first to candidly discuss the role of violence in politics; and notorious, because he treats violence as virtue rather than as vice. In this original interpretation, Yves Winter reconstructs Machiavelli's theory of violence and shows how it challenges moral and metaphysical ideas. Winter attributes two central theses to Machiavelli: first, violence is not a generic technology (...)
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  49.  3
    "L'art, c'est bien fini": essai sur l'hyper-esthétique et les atmosphères.Yves Michaud - 2021 - [Paris]: Gallimard.
    Direct download  
     
    Export citation  
     
    Bookmark  
  50.  61
    Introduction.Yves Coppens - 1991 - Diogenes 39 (155):3-4.
    For many years, M. Jean d'Ormesson has been doing me the honor of asking me to write for Diogenes. More recently, he suggested that I should coordinate an issue of this review that would be devoted to my extended discipline, History, but history in the way in which I understand it. It was certainly not for lack of interest that I did not reply to the first request but, no doubt, because of the sense of a chronic lack of time (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
1 — 50 / 1000