Results for 'Jean-Yves Rotg��'

1000+ found
Order:
  1.  27
    Determinants of Emotion Duration and Underlying Psychological and Neural Mechanisms.Philippe Verduyn, Pauline Delaveau, Jean-Yves Rotgé, Philippe Fossati & Iven Van Mechelen - 2015 - Emotion Review 7 (4):330-335.
    Emotions are traditionally considered to be brief states that last for seconds or a few minutes at most. However, due to pioneering theoretical work of Frijda and recent empirical studies, it has become clear that the duration of emotions is actually highly variable with durations ranging from a few seconds to several hours, or even longer. We review research on determinants of emotion duration. Three classes of determinants are identified: features related to the emotion-eliciting event, emotion itself, and emotion-experiencing person. (...)
    Direct download  
     
    Export citation  
     
    Bookmark   5 citations  
  2.  4
    Logic and Religion: Special Issue of Logica Universalis.Jean-Yves Beziau & Ricardo Silvestre (eds.) - 2017 - Londres, Reino Unido: Springer.
    This special issue of Logica Universalis (Springer) deals with the relations between logic and religion, broadly conceived. It contains the following articles: Logic and Religion, by Jean-Yves Beziau and Ricardo Silvestre; Thinking Negation in Early Hinduism and Classical Indian Philosophy, by Purushottama Bilimoria; Karma Theory, Determinism, Fatalism and Freedom of Will, by Ricardo Sousa Silvestre; From Logic in Islam to Islamic Logic, by Musa Akrami; Leibniz’s Ontological Proof of the Existence of God and the Problem of Impossible Objects, (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  3. The Power of the Hexagon.Jean-Yves Béziau - 2012 - Logica Universalis 6 (1-2):1-43.
    The hexagon of opposition is an improvement of the square of opposition due to Robert Blanché. After a short presentation of the square and its various interpretations, we discuss two important problems related with the square: the problem of the I-corner and the problem of the O-corner. The meaning of the notion described by the I-corner does not correspond to the name used for it. In the case of the O-corner, the problem is not a wrong-name problem but a no-name (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   29 citations  
  4.  4
    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  
  5.  35
    Logic and Religion.Jean-Yves Beziau & Ricardo Silvestre - 2017 - Logica Universalis 11 (1):1-12.
    This paper introduces the special issue on Logic and Religion of the journal Logica Universalis (Springer). The issue contains the following articles: Logic and Religion, by Jean-Yves Beziau and Ricardo Silvestre; Thinking Negation in Early Hinduism and Classical Indian Philosophy, by Purushottama Bilimoria; Karma Theory, Determinism, Fatalism and Freedom of Will, by Ricardo Sousa Silvestre; From Logic in Islam to Islamic Logic, by Musa Akrami; Leibniz’s Ontological Proof of the Existence of God and the Problem of Impossible Objects, (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  6.  11
    Jean-Jacques Rousseau Ou l'Anti-Économique.Jean-Yves Naudet - 2012 - Journal des Economistes Et des Etudes Humaines 18 (1).
    Jean-Jacques Rousseau est l'auteur de l'entrée "économie politique" dans l'Encyclopédie en 1755. A ce titre, il aurait pu être l'un des fondateurs de cette discipline. Pourtant, la définition qu'il en donne est à l'encontre de la pensée libérale des physiocrates, puis des classiques, et constitue une véritable "anti-économique". En hypertrophiant le rôle de l'Etat et en niant l'intérêt personnel, Rousseau est au contraire l'un des pères du socialsme. En niant la liberté humaine, il nie aussi l'existence de choix éthiques.
    Direct download  
     
    Export citation  
     
    Bookmark  
  7.  12
    Pierre Gisel, Jean-Marc Tétaz, dir., Revisiter la Réforme. Questions intempestives. Lyon, Éditions Olivétan, 2017, 200 p. [REVIEW]Jean-Yves Cossette - 2018 - Laval Théologique et Philosophique 74 (3):459.
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  8.  25
    [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  
  9.  27
    Π12-Logic, Part 1: Dilators.Jean-Yves Girard - 1981 - Annals of Mathematical Logic 21 (2-3):75-219.
  10.  51
    A New Four-Valued Approach to Modal Logic.Jean-Yves Béziau - 2011 - Logique Et Analyse 54 (213):109.
  11.  15
    Paraconsistent Logic From a Modal Viewpoint.Jean-Yves Béziau - 2005 - Journal of Applied Logic 3 (1):7-14.
  12. Handbook of the First World Congress on Logic and Religion.Ricardo Sousa Silvestre & Jean-Yves Beziau (eds.) - 2015 - Campina Grande, PB, Brasil: EDUFCG.
    This is the handbook of abstracts of the 1st World Congress on Logic and Religion, which took place in João Pessoa, Brazil, April 01-05, 2015. -/- .
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  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.  49
    Is the Principle of Contradiction a Consequence of $$X^{2}=X$$ X 2 = X?Jean-Yves Beziau - 2018 - Logica Universalis 12 (1-2):55-81.
    According to Boole it is possible to deduce the principle of contradiction from what he calls the fundamental law of thought and expresses as \. We examine in which framework this makes sense and up to which point it depends on notation. This leads us to make various comments on the history and philosophy of modern logic.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  15.  45
    Jean-Yves LE NAOUR, Catherine VALENTI, Histoire de l'Avortement , Paris, Le Seuil, Coll. « L'univers Historique »), 2003, 394 P. [REVIEW]Cyril Olivier - 2003 - Clio 18:297-301.
    Jean-Yves Le Naour et Catherine Valenti proposent un ouvrage ambitieux par son propos : faire une histoire de l'avortement depuis le milieu du XIXe jusqu'à la fin du XXe siècle. Entreprise ambitieuse mais nécessaire, une telle synthèse étant inédite en France. L'idée force du livre tient donc dans sa longue durée : un siècle et demi durant lequel la question de l'avortement fut au centre de débats tant politiques, que juridiques, économiques et sociaux. Le problème est pris à (...)
    No categories
    Direct download (6 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  16. La Pointure du Symbole.Jean-Yves Beziau (ed.) - 2014 - Petra.
    Dans un texte désormais célèbre, Ferdinand de Saussure insiste sur l’arbitraire du signe dont il vante les qualités. Toutefois il s’avère que le symbole, signe non arbitraire, dans la mesure où il existe un rapport entre ce qui représente et ce qui est représenté, joue un rôle fondamental dans la plupart des activités humaines, qu’elles soient scientifiques, artistiques ou religieuses. C’est cette dimension symbolique, sa portée, son fonctionnement et sa signification dans des domaines aussi variés que la chimie, la théologie, (...)
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   2 citations  
  17.  43
    Coherent Bets Under Partially Resolving Uncertainty and Belief Functions.Jean-Yves Jaffray - 1989 - Theory and Decision 26 (2):99-105.
  18.  35
    Universal Logic: Evolution of a Project.Jean-Yves Beziau - 2018 - Logica Universalis 12 (1-2):1-8.
    We discuss the origin and development of the universal logic project. We describe in particular the structure of UNILOG, a series of events created for promoting the universal logic project, with a school, a congress, a secret speaker and a contest. We explain how the contest has evolved into a session of logic prizes.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  19.  28
    The Square of Opposition: A Cornerstone of Thought.Jean-Yves Beziau & Gianfranco Basti (eds.) - 2016 - Basel, Switzerland: Birkhäuser.
    This is a collection of new investigations and discoveries on the theory of opposition (square, hexagon, octagon, polyhedra of opposition) by the best specialists from all over the world. The papers range from historical considerations to new mathematical developments of the theory of opposition including applications to theology, theory of argumentation and metalogic.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  20.  55
    Jean-Yves Lacoste: A Phenomenology of Liturgy.Joeri Schrijvers - 2005 - Heythrop Journal 46 (3):314–333.
  21. Is Modern Logic Non-Aristotelian?Jean-Yves Beziau - 2017 - In Dmitry Zaitsev & Vladimir Markin (eds.), The Logical Legacy of Nikolai Vasiliev and Modern Logic. Springer Verlag.
    No categories
     
    Export citation  
     
    Bookmark   4 citations  
  22. The Relativity and Universality of Logic.Jean-Yves Beziau - 2015 - Synthese 192 (7):1939-1954.
    After recalling the distinction between logic as reasoning and logic as theory of reasoning, we first examine the question of relativity of logic arguing that the theory of reasoning as any other science is relative. In a second part we discuss the emergence of universal logic as a general theory of logical systems, making comparison with universal algebra and the project of mathesis universalis. In a third part we critically present three lines of research connected to universal logic: logical pluralism, (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  23.  8
    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 et (...)
    No categories
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   4 citations  
  24.  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  
  25.  34
    The Paraconsistent Logic Z. A Possible Solution to Jaśkowski's Problem.Jean-Yves Béziau - 2006 - Logic and Logical Philosophy 15 (2):99-111.
    We present a paraconsistent logic, called Z, based on an intuitive possible worlds semantics, in which the replacement theorem holds. We show how to axiomatize this logic and prove the completeness theorem.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   12 citations  
  26.  17
    New Directions in Paraconsistent Logic.Jean-Yves Beziau (ed.) - 2015 - New Delhi, India: Springer, India.
    The present book discusses all aspects of paraconsistent logic, including the latest findings, and its various systems. It includes papers by leading international researchers, which address the subject in many different ways: development of abstract paraconsistent systems and new theorems about them; studies of the connections between these systems and other non-classical logics, such as non-monotonic, many-valued, relevant, paracomplete and fuzzy logics; philosophical interpretations of these constructions; and applications to other sciences, in particular quantum physics and mathematics. Reasoning with contradictions (...)
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  27.  25
    Disentangling Contradiction From Contrariety Via Incompatibility.Jean-Yves Beziau - 2016 - Logica Universalis 10 (2-3):157-170.
    Contradiction is often confused with contrariety. We propose to disentangle contrariety from contradiction using the hexagon of opposition, providing a clear and distinct characterization of three notions: contrariety, contradiction, incompatibility. At the same time, this hexagonal structure describes and explains the relations between them.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  28.  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   4 citations  
  29.  28
    From Consequence Operator to Universal Logic: A Survey of General Abstract Logic.Jean-Yves Beziau - 2005 - In J. Y. Beziau (ed.), Logica Universalis. Birkhäuser Verlog. pp. 3--17.
    Direct download  
     
    Export citation  
     
    Bookmark   10 citations  
  30.  11
    The Mystery of the Fifth Logical Notion.Jean-Yves Beziau - 2020 - Studia Humana 9 (3-4):19-36.
    We discuss a theory presented in a posthumous paper by Alfred Tarski entitled “What are logical notions?”. Although the theory of these logical notions is something outside of the main stream of logic, not presented in logic textbooks, it is a very interesting theory and can easily be understood by anybody, especially studying the simplest case of the four basic logical notions. This is what we are doing here, as well as introducing a challenging fifth logical notion. We first recall (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  31.  26
    Trivial Dialetheism and the Logic of Paradox.Jean-Yves Beziau - 2016 - Logic and Logical Philosophy 25 (1):51-56.
    In this paper we explain that the paraconsistent logic LP promoted by Graham Priest can only be supported by trivial dialetheists, i.e., those who believe that all sentences are dialetheias.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  32.  69
    Classical Negation Can Be Expressed by One of its Halves.Jean-Yves Beziau - 1999 - Logic Journal of the IGPL 7 (2):145-151.
    We present the logic K/2 which is a logic with classical implication and only the left part of classical negation.We show that it is possible to define a classical negation into K/2 and that the classical proposition logic K can be translated into this apparently weaker logic.We use concepts from model-theory in order to characterized rigorously this translation and to understand this paradox. Finally we point out that K/2 appears, following Haack's distinction, both as a deviation and an extension of (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  33.  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  
  34.  50
    Idempotent Full Paraconsistent Negations Are Not Algebraizable.Jean-Yves Béziau - 1998 - Notre Dame Journal of Formal Logic 39 (1):135-139.
  35.  8
    Possible Worlds: A Fashionable Nonsense?Jean-Yves Beziau - 2018 - Proceedings of the XXIII World Congress of Philosophy 55:5-9.
    In this paper we discuss the notion of “possible worlds” contrasting a philosophical idea due to Malebranche with a mathematical concept of modern logic due to Kripke from which many pseudo-philosophical discussions have arisen.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  36.  18
    Jean de Saint-Samson, Œuvres Mystiques. Texte Établi Et Présenté Par Hein Blommestijn Et Max Huot de Longchamp.Jean-Yves Lacoste - 1987 - Revue Philosophique De Louvain 85 (67):407-408.
  37.  26
    Jean-Yves Lacoste: een fenomenologie van de liturgie.Jeroen Schrijvers - 2003 - Bijdragen 64 (1):68-94.
    In this article Schrijvers elaborates on the work of Jean-Yves Lacoste. In Expérience et Absolu , this French phenomenologist and theologian coins the ‘liturgic experience’. Such an experience is conceived of as a correction to the Heideggerian picture of finitude. While for Heidegger Dasein is a being towards the future and, most importantly, towards his own death, Lacoste wants to warrant the present as an area of meaning and sense. One such example is the liturgic experience, in which (...)
    No categories
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  38.  22
    Around and Beyond the Square of Opposition.Jean-Yves Béziau & Dale Jacquette (eds.) - 2012 - Springer Verlag.
    Jean-Yves Béziau Abstract In this paper I relate the story about the new rising of the square of opposition: how I got in touch with it and started to develop new ideas and to organize world congresses on the topic with subsequent publications.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  39.  7
    Jean-Yves Lacoste’s thesis on truth.Joeri Schrijvers - 2020 - Continental Philosophy Review 53 (4):487-510.
    This essay offers a commentary of Jean-Yves Lacoste’s most recent book Théses sur le vrai. It does so through a close reading of the book’s main arguments and through relating this most recent work to Lacoste’s earlier thinking. Lacoste here offers a new introduction to his body of work by elaborating on the phenomenological experience of truth. Truth, Lacoste argues, is first and foremost experienced in experiences of newness and in experiences offered through poetry. These experiences show and (...)
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  40.  8
    Logic Prizes Et Cætera.Jean-Yves Beziau - 2018 - Logica Universalis 12 (3-4):271-296.
    I discuss the origin and development of logic prizes around the world. In a first section I describe how I started this project by creating the Newton da Costa Logic Prize in Brazil in 2014. In a second section I explain how this idea was extended into the world through the manifesto A Logic Prize in Every Country! and how was organized the Logic Prizes Contest at the 6th UNILOG in Vichy in June 2018 with the participation of 9 logic (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  41.  36
    Preface.Jean-Yves Beziau & Gillman Payette - 2008 - Logica Universalis 2 (1):1-1.
  42.  32
    Square of Opposition: A Diagram and a Theory in Historical Perspective.Jean-Yves Beziau & Stephen Read - 2014 - History and Philosophy of Logic 35 (4):315-316.
  43.  35
    The Vatican Square.Jean-Yves Beziau & Raffaela Giovagnoli - 2016 - Logica Universalis 10 (2-3):135-141.
    After explaining the interdisciplinary aspect of the series of events organized around the square of opposition since 2007, we discuss papers related to the 4th World Congress on the Square of Opposition which was organized in the Vatican at the Pontifical Lateran University in 2014. We distinguish three categories of work: those dealing with the evolution and development of the theory of opposition, those using the square as a metalogical tool to give a better understanding of various systems of logic (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  44.  17
    1st World Logic Day: 14 January 2019.Jean-Yves Beziau - 2019 - Logica Universalis 13 (1):1-20.
    We assess the celebration of the 1st World Logic Day which recently took place all over the world. We then answer the question Why a World Logic Day? in two steps. First we explain why promoting logic, emphasizing its fundamental importance and its relations with many other fields. Secondly we examine the sense of a one-day celebration: how this can help reinforcing logic day-to-day and why logic deserves it. We make a comparison with other existing one-day celebrations. We end by (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  45.  1
    Logica Universalis: Towards a General Theory of Logic.Jean-Yves Béziau (ed.) - 2005 - Birkhäuser Verlog.
    Universal Logic is not a new logic, but a general theory of logics, considered as mathematical structures. The name was introduced about ten years ago, but the subject is as old as the beginning of modern logic: Alfred Tarski and other Polish logicians such as Adolf Lindenbaum developed a general theory of logics at the end of the 1920s based on consequence operations and logical matrices. The subject was revived after the flowering of thousands of new logics during the last (...)
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  46. Nombrils, bruslans, autrement foyerz: la géométrie projective en action dans le Brouillon Project de Girard Desargues.Jean-Yves Briend & Marie Anglade - 2021 - Archive for History of Exact Sciences 76 (2):173-206.
    In the middle part of his Brouillon Project on conics, Girard Desargues develops the theory of the traversale, a notion that generalizes the Apollonian diameter and allows to give a unified treatment of the three kinds of conics. We showed elsewhere that it leads Desargues to a complete theory of projective polarity for conics. The present article, which shall close our study of the Brouillon Project, is devoted to the last part of the text, in which Desargues puts his theory (...)
    No categories
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  47. Linguistic Politics During the French Revolution.Jean-Yves Lartichaux - 1977 - Diogenes 25 (97):65-84.
  48.  28
    Sequents and Bivaluations.Jean-Yves Béziau - 2001 - Logique Et Analyse 44 (176):373-394.
  49.  85
    Book Review : The Giving and Taking of Life: Essays Ethical, by James Tunstead Burtchaell. Notre Dame, In., University of Notre Dame Press, 1989. Xi + 324 Pp. N.P. [REVIEW]Jean-Yves Lacoste - 1991 - Studies in Christian Ethics 4 (1):84-85.
    Direct download  
     
    Export citation  
     
    Bookmark  
  50.  38
    Proof Theory and Logical Complexity.Helmut Pfeifer & Jean-Yves Girard - 1989 - Journal of Symbolic Logic 54 (4):1493.
1 — 50 / 1000