Order:
Disambiguations
René Girard [48]Jean-Yves Girard [25]Patrick Girard [21]Charles Girard [21]
Louis Girard [18]Paul Frédéric Girard [10]Pierre Girard [9]J. Y. Girard [7]

Not all matches are shown. Search with initial or firstname to single out others.

See also
Charles Girard
Jean Moulin Lyon 3 University
Charles Girard
Université de Genève
Patrick Girard
University of Auckland
1 more
  1.  3
    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, & it will (...)
    Direct download  
     
    Export citation  
     
    Bookmark   50 citations  
  2.  78
    What Is an Inconsistent Truth Table?Zach Weber, Guillermo Badia & Patrick Girard - 2016 - Australasian Journal of Philosophy 94 (3):533-548.
    ABSTRACTDo truth tables—the ordinary sort that we use in teaching and explaining basic propositional logic—require an assumption of consistency for their construction? In this essay we show that truth tables can be built in a consistency-independent paraconsistent setting, without any appeal to classical logic. This is evidence for a more general claim—that when we write down the orthodox semantic clauses for a logic, whatever logic we presuppose in the background will be the logic that appears in the foreground. Rather than (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   18 citations  
  3.  40
    Classical Counterpossibles.Rohan French, Patrick Girard & David Ripley - 2022 - Review of Symbolic Logic 15 (1):259-275.
    We present four classical theories of counterpossibles that combine modalities and counterfactuals. Two theories are anti-vacuist and forbid vacuously true counterfactuals, two are quasi-vacuist and allow counterfactuals to be vacuously true when their antecedent is not only impossible, but also inconceivable. The theories vary on how they restrict the interaction of modalities and counterfactuals. We provide a logical cartography with precise acceptable boundaries, illustrating to what extent nonvacuism about counterpossibles can be reconciled with classical logic.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  4. Paraconsistent Dynamics.Patrick Girard & Koji Tanaka - 2016 - Synthese 193 (1):1-14.
    It has been an open question whether or not we can define a belief revision operation that is distinct from simple belief expansion using paraconsistent logic. In this paper, we investigate the possibility of meeting the challenge of defining a belief revision operation using the resources made available by the study of dynamic epistemic logic in the presence of paraconsistent logic. We will show that it is possible to define dynamic operations of belief revision in a paraconsistent setting.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  5.  76
    Everything Else Being Equal: A Modal Logic for Ceteris Paribus Preferences.Johan Van Benthem, Patrick Girard & Olivier Roy - 2009 - Journal of Philosophical Logic 38 (1):83 - 125.
    This paper presents a new modal logic for ceteris paribus preferences understood in the sense of "all other things being equal". This reading goes back to the seminal work of Von Wright in the early 1960's and has returned in computer science in the 1990' s and in more abstract "dependency logics" today. We show how it differs from ceteris paribus as "all other things being normal", which is used in contexts with preference defeaters. We provide a semantic analysis and (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   27 citations  
  6.  86
    Logical Dynamics of Belief Change in the Community.Fenrong Liu, Jeremy Seligman & Patrick Girard - 2014 - Synthese 191 (11):2403-2431.
    In this paper we explore the relationship between norms of belief revision that may be adopted by members of a community and the resulting dynamic properties of the distribution of beliefs across that community. We show that at a qualitative level many aspects of social belief change can be obtained from a very simple model, which we call ‘threshold influence’. In particular, we focus on the question of what makes the beliefs of a community stable under various dynamical situations. We (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   15 citations  
  7.  1
    Battling to the End: Conversations with Benoit Chantre.Rene Girard - 2009 - Michigan State University Press.
    In _Battling to the End _René Girard engages Carl von Clausewitz, the Prussian military theoretician who wrote _On War_. Clausewitz, who has been critiqued by military strategists, political scientists, and philosophers, famously postulated that "War is the continuation of politics by other means." He also seemed to believe that governments could constrain war. Clausewitz, a firsthand witness to the Napoleonic Wars, understood the nature of modern warfare. Far from controlling violence, politics follows in war's wake: the means of war have (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   14 citations  
  8.  38
    Proof Theory and Logical Complexity.Helmut Pfeifer & Jean-Yves Girard - 1989 - Journal of Symbolic Logic 54 (4):1493.
  9.  24
    [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  
  10.  26
    Π12-Logic, Part 1: Dilators.Jean-Yves Girard - 1981 - Annals of Mathematical Logic 21 (2-3):75-219.
  11. La Sagesse de la Multitude.Charles Girard - 2019 - Journal of Ancient Philosophy (1):348-369.
    L’objection la plus ancienne et la plus redoutable à la démocratie fait valoir que le gouvernement par le peuple dessert le gouvernement pour le peuple. Les citoyens manquant pour la plupart de sagesse ou de compétence, le bien commun serait mieux assuré en confiant le pouvoir à un individu éclairé ou à une élite experte. Une réponse commune à cette objection concède la prémisse mais affirme la priorité au gouvernement par le peuple sur le gouvernement pour le peuple : le (...)
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   3 citations  
  12.  41
    Modal Logic Without Contraction in a Metatheory Without Contraction.Patrick Girard & Zach Weber - 2019 - Review of Symbolic Logic 12 (4):685-701.
    Standard reasoning about Kripke semantics for modal logic is almost always based on a background framework of classical logic. Can proofs for familiar definability theorems be carried out using a nonclassical substructural logic as the metatheory? This article presents a semantics for positive substructural modal logic and studies the connection between frame conditions and formulas, via definability theorems. The novelty is that all the proofs are carried out with a noncontractive logic in the background. This sheds light on which modal (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  13. 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   31 citations  
  14.  65
    Generic Generalizations in Science: A Bridge to Everyday Language.François Claveau & Jordan Girard - 2019 - Erkenntnis 84 (4):839-859.
    This article maintains that an important class of scientific generalizations should be reinterpreted: they have typically been understood as ceteris paribus laws, but are, in fact, generics. Four arguments are presented to support this thesis. One argument is that the interpretation in terms of ceteris paribus laws is a historical accident. The other three arguments draw on similarities between these generalizations and archetypal generics: they come with similar inferential commitments, they share a syntactic form, and the existing theories to make (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  15.  3
    The Girard Reader.René Girard & James G. Williams - 1996 - Crossroad Publishing Company.
    In one volume, an anthology of seminal work of one of the twentieth century's most original thinkers.
    Direct download  
     
    Export citation  
     
    Bookmark   14 citations  
  16. 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   25 citations  
  17.  78
    Bad Worlds.Patrick Girard & Zach Weber - 2015 - Thought: A Journal of Philosophy 4 (2):93-101.
    The idea of relevant logic—that irrelevant inferences are invalid—is appealing. But the standard semantics for relevant logics involve baroque metaphysics: a three-place accessibility relation, a star operator, and ‘bad’ worlds. In this article we propose that these oddities express a mismatch between non-classical object theory and classical metatheory. A uniformly relevant semantics for relevant logic is a better fit.
    Direct download  
     
    Export citation  
     
    Bookmark   7 citations  
  18.  37
    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   22 citations  
  19. Three-Valued Logic and Cut-Elimination: The Actual Meaning of Takeuti's Conjecture.J. Y. Girard - 1976 - Państwowe Wydawn. Naukowe.
  20.  3
    The Blind Spot: Lectures on Logic.Jean-Yves Girard - 2011 - Zurich, Switzerland: European Mathematical Society.
    These lectures on logic, more specifically proof theory, are basically intended for postgraduate students and researchers in logic. The question at stake is the nature of mathematical knowledge and the difference between a question and an answer, i.e., the implicit and the explicit. The problem is delicate mathematically and philosophically as well: the relation between a question and its answer is a sort of equality where one side is ``more equal than the other'': one thus discovers essentialist blind spots. Starting (...)
    Direct download  
     
    Export citation  
     
    Bookmark   5 citations  
  21.  22
    Prioritised Ceteris Paribus Logic for Counterfactual Reasoning.Patrick Girard & Marcus A. Triplett - 2018 - Synthese 195 (4):1681-1703.
    The semantics for counterfactuals due to David Lewis has been challenged by appealing to miracles. Miracles may skew a given similarity order in favour of those possible worlds which exhibit them. Lewis responded with a system of priorities that mitigates the significance of miracles when constructing similarity relations. We propose a prioritised ceteris paribus analysis of counterfactuals inspired by Lewis’ system of priorities. By analysing the couterfactuals with a ceteris paribus clause one forces out, in a natural manner, those possible (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  22.  12
    Pourquoi Confronter les Raisons? Sur les Justifications de la Délibération Démocratique.Charles Girard - 2019 - Philosophiques 46 (1):67-93.
    Maintes philosophies contemporaines de la démocratie s’accordent pour donner à la délibération publique une place centrale dans la prise de décisions politiques légitimes. Cet accord masque toutefois un désaccord récurrent sur la source de sa valeur : elle est liée, selon les théories, à son effet sur les participants, à sa valeur expressive, à son équité ou encore à la qualité des décisions qu’elle produit. Ces visions concurrentes de la délibération démocratique ont des implications différentes et parfois contradictoires pour les (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  23.  13
    General Dynamic Dynamic Logic.Patrick Girard, Jeremy Seligman & Fenrong Liu - 2012 - In Thomas Bolander, Torben Braüner, Silvio Ghilardi & Lawrence Moss (eds.), Advances in Modal Logic, Volume 9. CSLI Publications. pp. 239-260.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   7 citations  
  24.  35
    Paranoid Delusions and Threatening Hallucinations: A Prospective Study of Sleep Paralysis Experiences☆.J. Allan Cheyne & Todd A. Girard - 2007 - Consciousness and Cognition 16 (4):959-974.
    Previously we reported a three-factor structure for hallucinations accompanying sleep paralysis . These earlier analyses were, however, based on retrospective accounts. In a prospective study, 383 individuals reported individual episodes online providing further evidence for the three-factor structure as well as clearer conceptually meaningful relations among factors than retrospective studies. In addition, reports of individual episodes permitted a more fine-grained analysis of the internal structure of factors to assess predictions based on the hypothesis that a sensed or felt presence is (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  25. The Realm of Entia Rationis and its Boundaries: Hervaeus Natalis on Objective Being.Charles Girard - 2020 - Recherches de Théologie Et de Philosophie Médiévales 87 (2):349-369.
    Hervaeus Natalis distinguishes two types of items that can have esse obiective in the intellect: objects of acts of intellection (man, this cat, etc.) and properties unapprehended by these acts, or background properties (being a species, being a particular, etc.), that are beings of reason. Yet, his conception of the esse obiective of objects evolved. First, he had a neutral conception of esse obiective: items presenting themselves to the intellect are cognized, transparently, without being altered in the process. Later, he (...)
     
    Export citation  
     
    Bookmark   1 citation  
  26. Délibérer entre égaux. Enquête sur l'idéal démocratique.Charles Girard - 2019 - Paris: Vrin.
    L’idéal démocratique est accusé d’être irréaliste. Le gouvernement du peuple par le peuple et pour le peuple serait une chimère dans les sociétés contemporaines. Il faudrait lui préférer les visées plus modestes associées à l’élection : un droit de vote égal et la satisfaction du plus grand nombre. La démocratie ne se laisse pourtant pas réduire à la compétition électorale. Les acteurs et les institutions politiques qui s’en réclament invoquent non seulement un marché, où rivalisent des intérêts privés, mais un (...)
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  27. Apocalyptic Thinking After 9/11: An Interview with René Girard.Robert Doran & René Girard - 2008 - Substance 37 (1):20-32.
  28.  38
    Towards a Model of Corporate and Social Stakeholder Engagement: Analyzing the Relations Between a French Mutual Bank and Its Members. [REVIEW]Carine Girard & André Sobczak - 2012 - Journal of Business Ethics 107 (2):215-225.
    The aim of this article is to develop a new classification of stakeholders based on the concept of corporate and social engagement. Engagement is analyzed as an organizational learning process between the managers of an organization and its stakeholders. It is a necessary condition to improve the organization’s impact on its economic, social, and natural environment. Applied to the membership of a French mutual bank in order to identify the members’ varying levels of engagement, this new mapping technique may help (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  29.  26
    Set Recursion and Πhalf-Logic.Jean-Yves Girard & Dag Normann - 1985 - Annals of Pure and Applied Logic 28 (3):255-286.
  30.  10
    Paraconsistent Metatheory: New Proofs with Old Tools.Guillermo Badia, Zach Weber & Patrick Girard - forthcoming - Journal of Philosophical Logic:1-32.
    This paper is a step toward showing what is achievable using non-classical metatheory—particularly, a substructural paraconsistent framework. What standard results, or analogues thereof, from the classical metatheory of first order logic can be obtained? We reconstruct some of the originals proofs for Completeness, Löwenheim-Skolem and Compactness theorems in the context of a substructural logic with the naive comprehension schema. The main result is that paraconsistent metatheory can ‘re-capture’ versions of standard theorems, given suitable restrictions and background assumptions; but the shift (...)
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  31.  3
    General Dynamic Dynamic Logic.Patrick Girard, Jeremy Seligman & Fenrong Liu - 2012 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 239-260.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  32. Linear Logic : A Survey.J.-Y. Girard - 1995 - In Philippe De Groote (ed.), The Curry-Howard Isomorphism. Academia.
     
    Export citation  
     
    Bookmark   5 citations  
  33.  44
    Ketamine as a Primary Predictor of Out-of-Body Experiences Associated with Multiple Substance Use.Leanne K. Wilkins, Todd A. Girard & J. Allan Cheyne - 2011 - Consciousness and Cognition 20 (3):943-950.
    Investigation of “out-of-body experiences” has implications for understanding both normal bodily-self integration and its vulnerabilities. Beyond reported associations between OBEs and specific brain regions, however, there have been few investigations of neurochemical systems relevant to OBEs. Ketamine, a drug used recreationally to achieve dissociative experiences, provides a real-world paradigm for investigating neurochemical effects. We investigate the strength of the association of OBEs and ketamine use relative to other common drugs of abuse. Self-report data from an online survey indicate that both (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  34.  34
    Introduction To?2 1 -Logic.Jean-Yves Girard - 1985 - Synthese 62 (2):191-216.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  35. Hermeneutics, Authority, Tradition.Gianni Vattimo & René Girard - 2010 - In Christianity, Truth, and Weakening Faith: A Dialogue. Columbia University Press.
    No categories
     
    Export citation  
     
    Bookmark   3 citations  
  36.  30
    Critical Thinking, Bias and Feminist Philosophy: Building a Better Framework Through Collaboration.Adam Dalgleish, Patrick Girard & Maree Davies - 2017 - Informal Logic 37 (4):351-369.
    In the late 20th century theorists within the radical feminist tradition such as Haraway highlighted the impossibility of separating knowledge from knowers, grounding firmly the idea that embodied bias can and does make its way into argument. Along a similar vein, Moulton exposed a gendered theme within critical thinking that casts the feminine as toxic ‘unreason’ and the ideal knower as distinctly masculine; framing critical thinking as a method of masculine knowers fighting off feminine ‘unreason’. Theorists such as Burrow have (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  37.  23
    Introduction to ?2 1 -Logic.Jean-Yves Girard - 1985 - Synthese 62 (2):191-216.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  38.  50
    From Onions to Broccoli: Generalizing Lewis' Counterfactual Logic.Patrick Girard - 2007 - Journal of Applied Non-Classical Logics 17 (2):213-229.
    We present a generalization of Segerberg's onion semantics for belief revision, in which the linearity of the spheres need not occur. The resulting logic is called broccoli logic. We provide a minimal relational logic, with a bi-modal neighborhood semantics. We then show that broccoli logic is a well-known conditional logic, the Burgess-Veltman minimal conditional logic.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  39.  1
    La Co-Ingénierie de la Participation : Une Expérience Citoyenne Sur la Rivière Drôme.Émeline Hassenforder, Sabine Girard, Nils Ferrand, Claire Petitjean & Chrystel Fermond - 2021 - Natures Sciences Sociétés 29 (2):159-173.
    Cet article détaille un processus participatif mis en place sur le bassin versant de la Drôme pour préparer, avec les citoyens, la révision du Schéma d’Aménagement et de Gestion des Eaux. Spécifiquement, des citoyens ont été associés précocement pour choisir et organiser leur propre processus participatif. Cette co-ingénierie les a sensibilisés à l’importance de ces décisions, a initié des apprentissages sociaux et posé les conditions d’une régulation efficiente. Elle a clarifié les liens entre la participation et la gouvernance institutionnelle. Mais (...)
    No categories
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  40.  70
    Innovation and Repetition.Rene Girard - 1990 - Substance 19 (2/3):7.
  41.  28
    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  
  42.  6
    What Are Our Values Worth?René Girard, Laurent D’Ersu & Robert Migliorini - 2017 - Philosophical Journal of Conflict and Violence 1 (2).
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  43.  15
    La Route Antique des Hommes Pervers.Andrew J. McKenna & Rene Girard - 1987 - Substance 16 (2):82.
  44. Le Tragique Et la Pitié: Discours de Réception de René Girard à l'Académie Française Et Réponse de Michel Serres.René Girard - 2007 - Pommier.
    Le 15 décembre 2005, René Girard, lors de son entrée à l'Académie française, prononça l'éloge de son prédécesseur, le révérend père Carré. Michel Serres répondit à ce discours par un tableau de la vie et de l'oeuvre du récipiendaire dont, dit-il, la théorie compte parmi les plus fécondes du XXe siècle.
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark   2 citations  
  45.  31
    Normal Functors, Power Series and Lambda-Calculus.Jean-Yves Girard - 1988 - Annals of Pure and Applied Logic 37 (2):129.
  46.  9
    Set Recursion and [Product]¹2-Logic.J. Girard - 1985 - Annals of Pure and Applied Logic 28 (3):255.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  47. When These Things Begin: Conversations with Michel Treguer.René Girard - 2014 - Michigan State University Press.
    In this lively series of conversations with writer Michel Treguer, René Girard revisits the major concepts of mimetic theory and explores science, democracy, and the nature of God and freedom. Girard affirms that “our unprecedented present is incomprehensible without Christianity.” Globalization has unified the world, yet civil war and terrorism persist despite free trade and economic growth. Because of mimetic desire and the rivalry it generates, asserts Girard, “whether we’re talking about marriage, friendship, professional relationships, issues with neighbors or matters (...)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  48. Y. L and L. Regnier.J. Y. Girard - 1995 - In Jean-Yves Girard, Yves Lafont & Laurent Regnier (eds.), Advances in Linear Logic. Cambridge University Press.
    No categories
     
    Export citation  
     
    Bookmark   3 citations  
  49. Teaching Logic to Blind Students.Patrick Girard & Jonathan McKeown-Green -
    This paper is about teaching elementary logic to blind or visually impaired students. The targeted audience are teachers who all of sudden have a blind or visually impaired student in their introduction to logic class, find limited help from disability centers in their institution, and have no idea what to do. We provide simple techniques that allow direct communication between a teacher and a visually impaired student. We show how the use of what is known as Polish notation simplifies communication, (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  50. Antirealism and the Conditional Fallacy: The Semantic Approach.Patrick Girard & Luca Moretti - 2014 - Journal of Philosophical Logic 43 (4):761-783.
    The expression conditional fallacy identifies a family of arguments deemed to entail odd and false consequences for notions defined in terms of counterfactuals. The antirealist notion of truth is typically defined in terms of what a rational enquirer or a community of rational enquirers would believe if they were suitably informed. This notion is deemed to entail, via the conditional fallacy, odd and false propositions, for example that there necessarily exists a rational enquirer. If these consequences do indeed follow from (...)
    Direct download (10 more)  
     
    Export citation  
     
    Bookmark  
1 — 50 / 187