Results for 'Garrel Pottinger'

29 found
Order:
  1.  25
    Normalization as a homomorphic image of cut-elimination.Garrel Pottinger - 1977 - Annals of Mathematical Logic 12 (3):323.
  2.  34
    A new way of normalizing intuitionist propositional logic.Garrel Pottinger - 1976 - Studia Logica 35 (4):387 - 408.
  3.  28
    On analysing relevance constructively.Garrel Pottinger - 1979 - Studia Logica 38 (2):171 - 185.
    This paper lays out a program for analysing relevance constructively. It begins with a summary of results concerning the system C of Pottinger [197a] which has entailment, relevant implication, S4 strict implication, and intuitionist implication among its connectives. A full working out of the motivation for C will require formal analysis of informal concepts derived from the usual explanation of the meanings of the constants of intuitionist propositional logic. Formal machinery which should be adequate for the proof theoretic side (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  4.  41
    A new classical relevance logic.Garrel Pottinger - 1979 - Journal of Philosophical Logic 8 (1):135 - 147.
  5.  11
    A tour of the multivariate lambda calculus.Garrel Pottinger - 1990 - In J. Dunn & A. Gupta (eds.), Truth or Consequences: Essays in Honor of Nuel Belnap. Boston, MA, USA: Kluwer Academic Publishers. pp. 209--229.
  6.  9
    Intension, designation, and extension.Garrel Pottinger - 1985 - Notre Dame Journal of Formal Logic 26 (4):309-340.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  7.  6
    Proofs of the normalization and Church-Rosser theorems for the typed $\lambda$-calculus.Garrel Pottinger - 1978 - Notre Dame Journal of Formal Logic 19 (3):445-451.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  8.  12
    The Church-Rosser theorem for the typed $\lambda$-calculus with surjective pairing.Garrel Pottinger - 1981 - Notre Dame Journal of Formal Logic 22 (3):264-268.
  9.  23
    A Formal Analysis of the Ontological Argument.Garrel Pottinger - 1983 - American Philosophical Quarterly 20 (1):37 - 46.
  10.  28
    Towards a better microeconomic theory.Richard M. Cyert & Garrel Pottinger - 1979 - Philosophy of Science 46 (2):204-222.
    We summarize the evidence and arguments usually employed against the use of the profit maximization assumption in microeconomic theory, and then pass directly to the methodological arguments. Two arguments are considered. The first summarizes positions which have been taken by various defenders of the "people who think a theory should be given up just because it is false are naive and confused" view. To rebut this view, we develop a scheme for classifying theoretical assumptions and show that the specious plausibility (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  11.  11
    Review: V. Devide, A Proof of the Well-Ordering Theorem; Vladimir Devide, A Proof of Zermelo's Theorem. [REVIEW]Garrel Pottinger - 1971 - Journal of Symbolic Logic 36 (4):681-681.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  12.  16
    V. Devidé. A proof of the well-ordering theorem. Colloquium mathematicum, vol. 11 no. 1 , pp. 53–54. - Vladimir Devidé. A proof of Zermelo's theorem. The journal of symbolic logic, vol. 32 , p. 366. [REVIEW]Garrel Pottinger - 1971 - Journal of Symbolic Logic 36 (4):681.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  13.  31
    Nuel Belnap: Doctoral students.Carlos Giannoni, Robert Meyer, J. Michael Dunn, Peter Woodruff, James Garson, Kent Wilson, Dorothy Grover, Ruth Manor, Alasdair Urquhart & Garrel Pottinger - 1990 - In J. Dunn & A. Gupta (eds.), Truth or Consequences: Essays in Honor of Nuel Belnap. Boston, MA, USA: Kluwer Academic Publishers.
  14.  1
    Destruktive Umformungen von Begehren.Lutz Garrels - 2020 - Psyche 74 (9-10):776-799.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  15.  8
    Imitation, Mirror Neurons, and Mimetic Desire: Convergence Between the Mimetic Theory of René Girard and Empirical Research on Imitation.Scott R. Garrels - 2005 - Contagion: Journal of Violence, Mimesis, and Culture 12 (1):47-86.
    In lieu of an abstract, here is a brief excerpt of the content:Imitation, Mirror Neurons, and Mimetic Desire:Convergence Between the Mimetic Theory of René Girard and Empirical Research on ImitationScott R. GarrelsIntroductionUntil recently, the pervasive and primordial role of imitation in human life was either largely ignored or misunderstood by empirical researchers. This is no longer the case. It is now clear that investigations on human imitation are among the most profound and revolutionary areas of research contributing to the future (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  16.  8
    The Self in Cultural Adaptation: Heinz Kohut's Psychoanalysis of Time and Change in East Africa.Richard Pottinger - 1987 - Ethos: Journal of the Society for Psychological Anthropology 15 (3):296-319.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  17.  12
    On the origin of domesticity: A test of Keeler’s “black-gene” hypothesis.Carroll W. Hughes, Hardy J. Pottinger & Joe Safron - 1981 - Bulletin of the Psychonomic Society 17 (6):289-292.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  18.  35
    Considering the boundaries of intellectual disability: Using philosophy of science to make sense of borderline cases.Veerle Garrels - 2022 - Philosophical Psychology 35 (1):6-21.
    Who should be diagnosed with intellectual disability and who should not? For borderline cases, the answer to this question may be as difficult to decide on as determining the borderline between being bald or not. While going bald may be upsetting to some, it is also an inevitable and relatively undramatic course of nature. In contrast, getting a diagnosis of intellectual disability is likely to have more far-reaching consequences. This makes the question of where the cutoff point for intellectual disability (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  19.  17
    From Mimetic Rivalry to Mutual Recognition: Girardian Theory and Contemporary Psychoanalysis.Scott R. Garrels & Joy M. Bustrum - 2019 - Contagion: Journal of Violence, Mimesis, and Culture 26 (1):9-46.
    Throughout his career, René Girard consistently positioned his mimetic theory as a far more cohesive account of the wide range of phenomena previously addressed by Sigmund Freud, from the nature of human desire all the way to the origin and structure of human culture and religion. Subsequent theories that took shape in psychoanalysis after Freud were not a part of Girard's ongoing discourse for at least two main reasons: Psycho-analysis was seen as a misguided endeavor with fundamentally incompatible concepts and (...)
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  20. Prawo musi być.Jean G. Garrell - 1998 - Sztuka I Filozofia (Art and Philosophy) 15.
    No categories
     
    Export citation  
     
    Bookmark  
  21.  1
    Symposium on Girard and Psychoanalysis.Scott Garrels, Kathy Frost & Martha Reineke - 2018 - The Bulletin of the Colloquium on Violence and Religion 55:10-12.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  22.  5
    The helix‐loop‐helix domain: A common motif for bristles, muscles and sex.Joan Garrell & Sonsoles Campuzano - 1991 - Bioessays 13 (10):493-498.
    Three apparently unrelated developmental processes – mammalian myogenesis, the choice of neural fate and sex determination in Drosophila – are controlled by a common mechanism. Most of the genes governing these processes encode transcriptional factors that contain the helix‐loop‐helix (HLH) motif. This domain mediates the formation of homo‐ or heterodimers that specifically bind to DNA through a conserved basic region adjacent to the HLH motif. Dimers differ in their affinity for DNA and in their ability to activate transcription from HLH (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  23.  2
    Species of spaces in the cinema of Philippe Garrel.Garin Dowd - unknown
    Paper presented at Philippe Garrel, le temps incorporé/Embodied Time Université Paris 8 Nanterre 29 & 30 novembre 2018 This paper proposes a loose typology of space and place in Garrel’s cinema. Its point of departure is the 1969 round table organised by Jacques Rivette which was a supplement to a series of film screenings chosen to illustrate the theme of space in cinema. Among the films chosen was Garrel’s Le lit de la vierge, which, for Rivette, is (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  24.  23
    Belief in the Body: Philippe Garrel's Le Révélateur and Deleuze.Patrick Ffrench - 2008 - Paragraph 31 (2):159-172.
    In Cinema II Deleuze proposes, via early film theorists, that cinema can realise the potential inherent in art to act directly on the nervous system. Cinema had the ‘sublime’ capacity to shock thought into activity, and awaken the ‘spiritual automaton’ in us through vibrations and affects, rather than representations. Deleuze finds a variant of this argument in the writings of Artaud on cinema, in which film forces the realisation of an impotence at the heart of thought. Deleuze then proposes that (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  25.  2
    Mimesis and Science: Empirical Research on Imitation and the Mimetic Theory of Culture and Religion, edited by Scott R. Garrels. [REVIEW]Brian Harding - 2016 - The Bulletin of the Colloquium on Violence and Religion 50:23-26.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  26.  12
    Psychedelic Aesthetics and the Body without Organs at the Limits of Perception.Patricia Pisters - 2023 - Deleuze and Guattari Studies 17 (4):583-603.
    This article focuses on the aesthetics of the psychedelic experience. Aldous Huxley’s Doors of Perception remains one of the few studies that investigates the aesthetic dimension of the psychedelic experience as profoundly meaningful as such, because it gives direct attention to the nonhuman otherness of the universe that is hard to describe in words, but that can be felt and sensed. Similarly, Deleuze and Guattari have investigated psychedelics as a perceptual, aesthetic, phenomenon. They argue that psychedelic aesthetics offers an experience (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  27.  31
    The Touching Test: AI and the Future of Human Intimacy.Martha J. Reineke - 2022 - Contagion: Journal of Violence, Mimesis, and Culture 29 (1):123-146.
    In lieu of an abstract, here is a brief excerpt of the content:The Touching TestAI and the Future of Human IntimacyMartha J. Reineke (bio)Each Friday, the New York Times publishes Love Letters, a compendium of articles on courtship. A recent story featured Melinda, a real estate agent, and Calvin, a human resources director.1 They had met at a market deli counter. On their first date, a lasagna dinner at Melinda's home, Calvin posed the question, "What are you looking for in (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  28.  5
    Typing untyped λ-terms, or reducibility strikes again!Jean Gallier - 1998 - Annals of Pure and Applied Logic 91 (2-3):231-270.
    It was observed by Curry that when λ-terms can be assigned types, for example, simple types, these terms have nice properties . Coppo, Dezani, and Veneri, introduced type systems using conjunctive types, and showed that several important classes of terms can be characterized according to the shape of the types that can be assigned to these terms. For example, the strongly normalizable terms, the normalizable terms, and the terms having head-normal forms, can be characterized in some systems and Ω. The (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  29. Entailment: The Logic of Relevance and Necessity. [REVIEW]F. K. C. - 1976 - Review of Metaphysics 30 (2):335-337.
    The title of this and proposed second volume presents the basic idea which unifies the wide variety of topics developed and investigated by the principal authors, major contributing authors, J. M. Dunn and Robert K. Meyer, and eleven other contributors. The other contributors are: J. R. Chidgey, J. A. Coffa, Dorthy L. Grover, Bas van Fraassen, H. Leblanc, Storrs McCall, A. Parks, G. Pottinger, R. Routley, A. Urquhart, and R. G. Wolf. From both the useful analytic table of contents (...)
     
    Export citation  
     
    Bookmark