Results for 'R��jean Girard'

1000+ found
Order:
  1. Des Choses Cachées Depuis la Fondation du Monde: Recherches Avec Jean-Michel Oughourlian Et Guy Lefort.R. GIRARD - 1978
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark   24 citations  
  2. Anorexia and Mimetic Desire.René Girard - 2013 - Michigan State University Press.
    René Girard shows that all desires are contagious—and the desire to be thin is no exception. In this compelling new book, Girard ties the anorexia epidemic to what he calls mimetic desire: a desire imitated from a model. Girard has long argued that, far from being spontaneous, our most intimate desires are copied from what we see around us. In a culture obsessed with thinness, the rise of eating disorders should be no surprise. When everyone is trying (...)
     
    Export citation  
     
    Bookmark  
  3.  1
    Proofs and Types.Jean-Yves Girard - 1989 - Cambridge University Press.
    This text is an outgrowth of notes prepared by J. Y. Girard for a course at the University of Paris VII. It deals with the mathematical background of the application to computer science of aspects of logic (namely the correspondence between proposition & types). Combined with the conceptual perspectives of Girard's ideas, this sheds light on both the traditional logic material & its prospective applications to computer science. The book covers a very active & exciting research area, & (...)
    Direct download  
     
    Export citation  
     
    Bookmark   45 citations  
  4.  8
    A Belmont Reboot: Building a Normative Foundation for Human Research in the 21st Century.Kyle B. Brothers, Suzanne M. Rivera, R. Jean Cadigan, Richard R. Sharp & Aaron J. Goldenberg - 2019 - Journal of Law, Medicine and Ethics 47 (1):165-172.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  5.  24
    Modernizing Research Regulations Is Not Enough: It's Time to Think Outside the Regulatory Box.Suzanne M. Rivera, Kyle B. Brothers, R. Jean Cadigan, Heather L. Harrell, Mark A. Rothstein, Richard R. Sharp & Aaron J. Goldenberg - 2017 - American Journal of Bioethics 17 (7):1-3.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  6.  22
    A Trade Secret Model for Genomic Biobanking.John M. Conley, Robert Mitchell, R. Jean Cadigan, Arlene M. Davis, Allison W. Dobson & Ryan Q. Gladden - 2012 - Journal of Law, Medicine and Ethics 40 (3):612-629.
    The current ethical norms of genomic biobanking creating and maintaining large repositories of human DNA and/or associated data for biomedical research have generated criticism from every angle, at both the practical and theoretical levels. The traditional research model has involved investigators seeking biospecimens for specific purposes that they can describe and disclose to prospective subjects, from whom they can then seek informed consent. In the case of many biobanks, however, the institution that collects and maintains the biospecimens may not itself (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  7.  15
    [Product]¹2-Logic, Part 1: Dilators.Jean-Yves Girard - 1981 - Annals of Mathematical Logic 21 (2):75.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   43 citations  
  8.  18
    Π12-Logic, Part 1: Dilators.Jean-Yves Girard - 1981 - Annals of Mathematical Logic 21 (2-3):75-219.
  9. Linear Logic: Its Syntax and Semantics.Jean-Yves Girard - 1995 - In Jean-Yves Girard, Yves Lafont & Laurent Regnier (eds.), Advances in Linear Logic. Cambridge University Press. pp. 222--1.
     
    Export citation  
     
    Bookmark   27 citations  
  10.  25
    On the Unity of Logic.Jean-Yves Girard - 1993 - Annals of Pure and Applied Logic 59 (3):201-217.
    We present a single sequent calculus common to classical, intuitionistic and linear logics. The main novelty is that classical, intuitionistic and linear logics appear as fragments, i.e. as particular classes of formulas and sequents. For instance, a proof of an intuitionistic formula A may use classical or linear lemmas without any restriction: but after cut-elimination the proof of A is wholly intuitionistic, what is superficially achieved by the subformula property and more deeply by a very careful treatment of structural rules. (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   21 citations  
  11.  37
    Proof Theory and Logical Complexity.Helmut Pfeifer & Jean-Yves Girard - 1989 - Journal of Symbolic Logic 54 (4):1493.
  12.  6
    Exploring the Emotional Labor of Medical Trainees in the Setting of Ethics Education.Margaret Waltz, R. Jean Cadigan & Arlene M. Davis - 2019 - American Journal of Bioethics 19 (12):65-66.
    Volume 19, Issue 12, December 2019, Page 65-66.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  13.  7
    Le diamètre et la traversale: dans l’atelier de Girard Desargues.Jean-Yves Briend & Marie Anglade - 2019 - Archive for History of Exact Sciences 73 (4):385-426.
    Le Brouillon Project de Girard Desargues sur les coniques développe, dans sa partie centrale, la notion de traversale, notion qui généralise celle de diamètre d’Apollonius et permet d’unifier le traitement des diverses espèces de coniques. Il est souvent écrit qu’il s’agit là d’un équivalent de la polaire, concept émergeant au début du $$\hbox {XIX}{}^{\mathrm{e}}$$ XIX e siècle. Nous allons dans cet article explorer en détail les passages du texte de Desargues qui traitent de la traversale et de ses propriétés (...)
    No categories
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   2 citations  
  14.  14
    Homère. Hymnes. By Jean Humbert, Pp. 254. 1936. - Xénophon. Helléniques, I–III. By J. Hatzfeld. Pp. 159. 1936. - Héliodore. Les Éthiopiques. Vols. I and II. Text by R. M. Rattenbury and T. W. Lumb. Translation by J. Maillon. Vol. I, Pp. Ci + 124, 1935. Vol. II, Pp. Iii + 164, 1938. Paris. Association G. Budé. - Plutarque. Sur les Oracles de la Pythie. By R. Flacelière. Pp. 175. Paris, Société d' Édition Les Belles Lettres. [REVIEW]E. D. Phillips, Jean Humbert, J. Hatzfeld, R. M. Rattenbury, T. W. Lumb, J. Maillon & R. Flaceliere - 1938 - Journal of Hellenic Studies 58 (2):284-285.
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  15.  7
    Simple Minds.Jean R. Kazez & Dan Lloyd - 1994 - Philosophical Review 103 (4):718.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   144 citations  
  16.  26
    Set Recursion and Πhalf-Logic.Jean-Yves Girard & Dag Normann - 1985 - Annals of Pure and Applied Logic 28 (3):255-286.
  17.  34
    Introduction To?2 1 -Logic.Jean-Yves Girard - 1985 - Synthese 62 (2):191-216.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  18.  22
    Introduction to ?2 1 -Logic.Jean-Yves Girard - 1985 - Synthese 62 (2):191-216.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  19.  33
    Advances in Linear Logic.Jean-Yves Girard, Yves Lafont & Laurent Regnier (eds.) - 1995 - 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 (...)
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  20.  26
    From Foundations to Ludics.Jean-Yves Girard - 2003 - Bulletin of Symbolic Logic 9 (2):131-168.
    Direct download (10 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  21.  12
    La notion d’involution dans le Brouillon Project de Girard Desargues.Jean-Yves Briend & Marie Anglade - 2017 - Archive for History of Exact Sciences 71 (6):543-588.
    Nous tentons dans cet article de proposer une thèse cohérente concernant la formation de la notion d’involution dans le Brouillon Project de Desargues. Pour cela, nous donnons une analyse détaillée des dix premières pages dudit Brouillon, comprenant les développements de cas particuliers qui aident à comprendre l’intention de Desargues. Nous mettons cette analyse en regard de la lecture qu’en fait Jean de Beaugrand et que l’on trouve dans les Advis Charitables.
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark   2 citations  
  22.  23
    Normal Functors, Power Series and Lambda-Calculus.Jean-Yves Girard - 1988 - Annals of Pure and Applied Logic 37 (2):129.
  23.  12
    Growing Up with Asperger’s Syndrome: Developmental Trajectory of Autobiographical Memory.Laetitia Bon, Jean-Marc Baleyte, Pascale Piolino, Béatrice Desgranges, Francis Eustache & Bérengère Guillery-Girard - 2012 - Frontiers in Psychology 3.
  24.  32
    Between Logic and Quantic: A Tract.Jean-Yves Girard - 2004 - In Thomas Ehrhard (ed.), Linear Logic in Computer Science. Cambridge University Press. pp. 316--346.
  25. The Transcendence of the Ego an Existentialist Theory of Consciousness.Jean Paul Sartre, R. George Kirkpatrick & Forrest Williams - 1957 - Noonday Press.
  26.  27
    Functors and Ordinal Notations. I: A Functorial Construction of the Veblen Hierarchy.Jean-Yves Girard & Jacqueline Vauzeilles - 1984 - Journal of Symbolic Logic 49 (3):713-729.
  27.  27
    Toward a Critique of the Political Economy of the Sign.Jean Baudrillard, Carl R. Lovitt & Denise Klopsch - 1976 - Substance 5 (15):111.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   22 citations  
  28.  29
    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  
  29.  23
    Review: Jean-Yves Girard, Paul Taylor, Yves Lafont, Proofs and Types. [REVIEW]W. A. Howard - 1991 - Journal of Symbolic Logic 56 (2):760-761.
  30. Special Issue: Ethical, Cultural, and Spiritual Dimensions of Healthcare Practice Guest Editor: Jean V McHale.Jean V. McHale, Robin Narruhn, Ingra R. Schellenberg, Jo Samanta, Rodrigo Gs Almeida, Edson Z. Martinez, Alessandra Mazzo, Maria A. Trevizan, Isabel Ac Mendes & Kwisoon Choe - 2013 - Nursing Ethics 20 (4).
  31.  7
    Eating Disorders and Mimetic Desire.R. Girard - 1996 - Contagion: Journal of Violence, Mimesis, and Culture 3.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  32.  15
    Fragments d'un discours amoureux.Jean Louis Bachellier & R. Barthes - 1977 - Substance 6 (17):169.
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   9 citations  
  33.  9
    Functors and Ordinal Notations. II: A Functorial Construction of the Bachmann Hierarchy.Jean-Yves Girard & Jacqueline Vauzeilles - 1984 - Journal of Symbolic Logic 49 (4):1079 - 1114.
  34.  79
    Computationalism and the Causal Role of Content.Jean R. Kazez - 1994 - Philosophical Studies 75 (3):231-60.
  35.  49
    Sublexical Modality and the Structure of Lexical Semantic Representations.Jean-Pierre Koenig & Anthony R. Davis - 2001 - Linguistics and Philosophy 24 (1):71-124.
    This paper argues for a largely unnoted distinction between relational and modal components in the lexical semantics of verbs. Wehypothesize that many verbs encode two kinds of semantic information:a relationship among participants in a situation and a subset ofcircumstances or time indices at which this relationship isevaluated. The latter we term sublexical modality.We show that linking regularities between semantic arguments andsyntactic functions provide corroborating evidence in favor of thissemantic distinction, noting cases in which the semantic groundingof linking through participant-role properties (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  36.  8
    Jean-Yves Girard. Linear Logic. Theoretical Computer Science, Vol. 50 , Pp. 1–101. - A. S. Troelstra. Lectures on Linear Logic. CSLI Lecture Notes, No. 29. Center for the Study of Language and Information, Stanford 1992, Also Distributed by Cambridge University Press, New York, Ix + 200 Pp. [REVIEW]Herman Ruge Jervell - 1996 - Journal of Symbolic Logic 61 (1):336-338.
  37. Review: Jean-Yves Girard, Linear Logic; A. S. Troelstra, Lectures on Linear Logic. [REVIEW]Herman Ruge Jervell - 1996 - Journal of Symbolic Logic 61 (1):336-338.
  38.  4
    Automatic Placement of Genomic Research Results in Medical Records: Do Researchers Have a Duty? Should Participants Have a Choice?Anya E. R. Prince, John M. Conley, Arlene M. Davis, Gabriel Lázaro-Muñoz & R. Jean Cadigan - 2015 - Journal of Law, Medicine and Ethics 43 (4):827-842.
    The growing practice of returning individual results to research participants has revealed a variety of interpretations of the multiple and sometimes conflicting duties that researchers may owe to participants. One particularly difficult question is the nature and extent of a researcher’s duty to facilitate a participant’s follow-up clinical care by placing research results in the participant’s medical record. The question is especially difficult in the context of genomic research. Some recent genomic research studies — enrolling patients as participants — boldly (...)
    No categories
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  39.  24
    CAZAYUS, P., CHÂTEAU, Jean, DORON, R., GRATIOT-ALPHANDÉRY, H., Les Grandes Psychologies Modernes. Du Temps des Philosophes au Temps des Scientifiques. [REVIEW]Jean-Dominique Robert - 1979 - Laval Théologique et Philosophique 35 (3):323-323.
    Direct download (4 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  40.  53
    Can Counterfactuals Save Mental Causation?Jean R. Kazez - 1995 - Australasian Journal of Philosophy 73 (1):71-90.
  41.  18
    Jean-Yves Girard. Proof Theory and Logical Complexity. Volume I. Studies in Proof Theory, No. 1. Bibliopolis, Naples 1987, Also Distributed by Humanities Press, Atlantic Highlands, N.J., 503 Pp. [REVIEW]Helmut Pfeiffer - 1989 - Journal of Symbolic Logic 54 (4):1493-1494.
  42.  12
    Scientific Social Responsibility: Lessons From the Corporate Social Responsibility Movement.John M. Conley, Gabriel Lázaro-Muñoz, Anya E. R. Prince, Arlene M. Davis & R. Jean Cadigan - 2015 - American Journal of Bioethics 15 (12):64-66.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  43.  11
    Automatic Placement of Genomic Research Results in Medical Records: Do Researchers Have a Duty? Should Participants Have a Choice?Anya E. R. Prince, John M. Conley, Arlene M. Davis, Gabriel Lázaro-Muñoz & R. Jean Cadigan - 2015 - Journal of Law, Medicine and Ethics 43 (4):827-842.
    The growing practice of returning individual results to research participants has revealed a variety of interpretations of the multiple and sometimes conflicting duties that researchers may owe to participants. One particularly difficult question is the nature and extent of a researcher’s duty to facilitate a participant’s follow-up clinical care by placing research results in the participant’s medical record. The question is especially difficult in the context of genomic research. Some recent genomic research studies — enrolling patients as participants — boldly (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark  
  44.  12
    Girard and the "Sacrifice of the Mass": Mimetic Theory and Eucharistic Theology.S. J. Anthony R. Lusvardi - 2017 - Contagion: Journal of Violence, Mimesis, and Culture 24:159-190.
    It is obvious that bringing to light the founding murder completely rules out any compromise with the principle of sacrifice, or indeed with any conception of the death of Jesus as sacrifice.If anyone says that a true and proper sacrifice is not offered to God in the Mass … let him be anathema.René Girard's thought has produced both admiration and unease among Catholic sacramental theologians struggling to come to grips with what his theory of scapegoating and sacrifice implies for (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  45.  11
    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.
  46.  34
    2001 Annual Meeting of the Association for Symbolic Logic.Joan Feigenbaum, Haim Gaifman, Jean-Yves Girard, C. Ward Henson, Denis Hirschfeldt, Carl G. Jockusch Jr, Saul Kripke, Salma Kuhlmann, John C. Mitchell & Ernest Schimmerling - 2001 - Bulletin of Symbolic Logic 7 (3):420-435.
  47.  11
    R. Girard, Verità o Fede Debole?Erik Meganck - 2009 - Tijdschrift Voor Filosofie 71 (4):807-809.
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  48.  26
    Opera. [REVIEW]Jean Trouillard, Plotinus, P. Henry & H. -R. Schwyzer - 1966 - Journal of Hellenic Studies 86:206-207.
  49.  1
    James Beattie, Jean-Jacques Rousseau and the Character of Common Sense Philosophy.R. J. W. Mills - 2020 - History of European Ideas 46 (6):793-810.
    ABSTRACT Professor of Moral Philosophy at Marischal College, Aberdeen, James Beattie was one of the most prominent literary figures of late eighteenth-century Britain. His major works, An Essay on the Nature and Immutability of Truth and the two-canto poem The Minstrel, were two of the best-sellers of the Scottish Enlightenment and were key to Beattie’s role in the emergence of both the ‘Scottish School’ of Common Sense Philosophy and British Romanticism. Intellectual history scholarship on the Scottish Enlightenment has tended to (...)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  50.  14
    Psychotic Structure and Girard's Doubles.Jean-Michel Oughourlian & Guy Lefort - 1978 - Diacritics 8 (1):72.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
1 — 50 / 1000