Results for 'Jean-Yves B��ziau'

1000+ found
Order:
  1.  30
    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   5 citations  
  2.  11
    Recherches sur les amphores crétoises II : les centres de fabrication d'amphores en Crète centrale.Jean-Yves Empereur, Antigone Marangou A. & Charalambos B. Kritzas - 1991 - Bulletin de Correspondance Hellénique 115 (1):481-523.
    No categories
    Direct download (4 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  3. 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  
  4.  12
    Improving Argumentative Writing Skills: Effect of Two Types of Aids. [REVIEW]Jean-Yves Roussey & Anne Gombert - 1996 - Argumentation 10 (2):283-300.
    Young children have difficulties writing argumentative texts which contain well-linked arguments and counterarguments even though they are capable of arguing by oral. Two main explanations have been provided to account for those difficulties: a) The writer has to manage alone two different points of view, whereas each of the two (or more) speakers can take charge of one of the points of view. b) The inability of young children to attribute an argumentative valence to statements.In order to improve the ability (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  5.  52
    A New Commentary on the Ethics René Antoine Gauthier, Jean Yves Jolif: L'Éthique À Nicomaque. Introduction, Traduction Et Commentaire. Tome I, Introduction Et Traduction: Pp. 94*+325. Tome Ii, Commentaire: Pp. 990. Louvain: Nauwelaerts, 1958, 1959. Paper, 240, 900 B.Fr. [REVIEW]D. J. Allan - 1962 - The Classical Review 12 (2):135-139.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  6.  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, & it will (...)
    Direct download  
     
    Export citation  
     
    Bookmark   45 citations  
  7.  24
    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  
  8.  10
    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  
  9.  13
    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  
  10. 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   27 citations  
  11.  25
    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   8 citations  
  12.  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  
  13. 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  
  14.  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  
  15.  45
    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  
  16.  30
    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   2 citations  
  17.  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  
  18.  18
    Π12-Logic, Part 1: Dilators.Jean-Yves Girard - 1981 - Annals of Mathematical Logic 21 (2-3):75-219.
  19.  24
    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  
     
    Export citation  
     
    Bookmark   3 citations  
  20.  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  
  21. Jean-Yves Mercury, Chemins Avec et Autour de Merleau-Ponty.Fabrice Colonna - 2020 - Kairos 23 (1):104-108.
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  22. 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  
  23.  15
    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  
  24.  15
    Paraconsistent Logic From a Modal Viewpoint.Jean-Yves Béziau - 2005 - Journal of Applied Logic 3 (1):7-14.
  25.  20
    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  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  26.  50
    A New Four-Valued Approach to Modal Logic.Jean-Yves Béziau - 2011 - Logique Et Analyse 54 (213):109.
  27.  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 et (...)
    No categories
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   2 citations  
  28.  23
    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  
  29.  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  
  30. Note de Lecture.Jean-Yves Barreyre - forthcoming - Alter: revue de phénoménologie.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  31.  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  
  32.  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  
  33. 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  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  34.  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   1 citation  
  35.  43
    Coherent Bets Under Partially Resolving Uncertainty and Belief Functions.Jean-Yves Jaffray - 1989 - Theory and Decision 26 (2):99-105.
  36.  36
    Preface.Jean-Yves Beziau & Gillman Payette - 2008 - Logica Universalis 2 (1):1-1.
  37.  14
    Preface: Scope of Logic Theorems In Memoriam Adolf Lindenbaum.Jean-Yves Beziau - 2014 - Logica Universalis 8 (3-4):283-284.
  38.  55
    Jean-Yves Lacoste: A Phenomenology of Liturgy.Joeri Schrijvers - 2005 - Heythrop Journal 46 (3):314–333.
  39.  48
    Idempotent Full Paraconsistent Negations Are Not Algebraizable.Jean-Yves Béziau - 1998 - Notre Dame Journal of Formal Logic 39 (1):135-139.
  40. New Dimensions of the Square of Opposition.Jean-Yves Beziau & Stamatios Gerogiorgakis (eds.) - 2017 - Munich: Philosophia.
    The square of opposition is a diagram related to a theory of oppositions that goes back to Aristotle. Both the diagram and the theory have been discussed throughout the history of logic. Initially, the diagram was employed to present the Aristotelian theory of quantification, but extensions and criticisms of this theory have resulted in various other diagrams. The strength of the theory is that it is at the same time fairly simple and quite rich. The theory of oppositions has recently (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  41.  25
    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 (3 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  42.  1
    Being Aware of Rational Animals.Jean-Yves Beziau - 2017 - In Gordana Dodig-Crnkovic & Raffaela Giovagnoli (eds.), Representation of Reality: Humans, Other Living Organism and Intelligent Machines. Springer.
    Modern science has qualified human beings as homo sapiens. Is there a serious scientific theory backing this nomenclature? And can we proclaim ourselves as wise? The classical rational animals characterization has apparently the same syntactic form but it is not working exactly in the same way. Moreover the semantics behind is more appropriate, encompassing a pivotal ambiguity. In the second part of the paper, we further delve into this ambiguity, relating rationality with three fundamental features of these creatures: ability to (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  43.  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 at (...)
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  44.  30
    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.
  45.  46
    Constrained Egalitarianism in a Simple Redistributive Model.Jean-Yves Jaffray & Philippe Mongin - 2003 - Theory and Decision 54 (1):33-56.
    The paper extends a result in Dutta and Ray's (1989) theory of constrained egalitarianism initiated by relying on the concept of proportionate rather than absolute equality. We apply this framework to redistributive systems in which what the individuals get depends on what they receive or pay qua members of generally overlapping groups. We solve the constrained equalization problem for this class of models. The paper ends up comparing our solution with the alternative solution based on the Shapley value, which has (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  46.  79
    Non Truth-Functional Many-Valuedness.Jean-Yves Beziau - manuscript
    Many-valued logics are standardly defined by logical matrices. They are truth-functional. In this paper non truth-functional many-valued semantics are presented, in a philosophical and mathematical perspective.
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  47.  28
    How to Deal with Partially Analyzable Acts?Jean-Yves Jaffray & Meglena Jeleva - 2011 - Theory and Decision 71 (1):129-149.
    In some situations, a decision is best represented by an incompletely analyzed act: conditionally on a given event A, the consequences of the decision on sub-events are perfectly known and uncertainty becomes probabilizable, whereas the plausibility of this event itself remains vague and the decision outcome on the complementary event ${\bar{A}}$ is imprecisely known. In this framework, we study an axiomatic decision model and prove a representation theorem. Resulting decision criteria aggregate partial evaluations consisting of (i) the conditional expected utility (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  48.  21
    L'autorité Contre les Lumières: La Philosophie de Joseph de Maistre.Jean-Yves Pranchère - 2004 - Libr. Droz.
    Le comte Joseph de Maistre fut un ennemi radical des Lumières.
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark   2 citations  
  49.  24
    The New Rising of the Square of Opposition.Jean-Yves Béziau - 2012 - In J.-Y. Beziau & Dale Jacquette (eds.), Around and Beyond the Square of Opposition. Birkhäuser. pp. 3--19.
  50.  9
    Response to Gschwandtner, Hart, Schrijvers and Hackett.Jean-Yves Lacoste - 2015 - Modern Theology 31 (4):676-683.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
1 — 50 / 1000