79 found
Order:
See also
Profile: Jean-Yves Beziau (Universidade Federal do Rio de Janeiro)
  1. Professor Newton CA da Costa Awarded Nicholas Copernicus University Medal of Merit.Newton C. A. da Costa, Jean-Yves Béziau & Otávio Bueno - 1999 - Logic and Logical Philosophy 7:7-10.
    Direct download  
     
    Export citation  
     
    My bibliography  
  2.  8
    Logic and Religion.Jean-Yves Beziau & Ricardo Silvestre - 2017 - Logica Universalis 11 (1):1-12.
    We first start by describing the happening of the 1st World Congress on Logic and Religion. We then explain the motivation for developing the interaction between logic and religion. In a third part we discuss some papers presented at this event published in the present special issue.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  3.  35
    A New Four-Valued Approach to Modal Logic.Jean-Yves Béziau - 2011 - Logique Et Analyse 54 (213):109.
  4.  16
    Définition, Théorie des Objets et Paraconsistance.Newton C. A. Da Costa & Jean-Yves Béziau - 1998 - Theoria: Revista de Teoría, Historia y Fundamentos de la Ciencia 13 (2):367-379.
    Trois sortes de définitions sont présentées et discutées: les définitions nominales, les définitions contextuelles et les définitions amplificatrices. On insiste sur le fait que I’elimination des definitions n’est pas forcement un procede automatique en particulier dans le cas de la logique paraconsistante. Finalement on s’int’resse à la théorie des objets de Meinong et l’on montre comment elle peut êrre considéréecomme une théorie des descripteurs.Three kinds of definitions are presented and discussed: nominal definitions, contextual definitions, amplifying definitions. It is emphasized that (...)
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  5.  66
    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  
     
    My bibliography   1 citation  
  6. The Relativity and Universality of Logic.Jean-Yves Beziau - 2015 - Synthese 192 (7):1939-1954.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  7.  17
    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.
    Translate
      Direct download  
     
    Export citation  
     
    My bibliography   1 citation  
  8.  58
    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  
     
    My bibliography   2 citations  
  9. What is “Formal Logic”?Jean-Yves Beziau - 2008 - Proceedings of the Xxii World Congress of Philosophy 13:9-22.
    “Formal logic”, an expression created by Kant to characterize Aristotelian logic, has also been used as a name for modern logic, originated by Boole and Frege, which in many aspects differs radically from traditional logic. We shed light on this paradox by distinguishing in this paper five different meanings of the expression “formal logic”: (1) Formal reasoning according to the Aristotelian dichotomy of form and content, (2) Formal logic as a formal science by opposition to an empirical science, (3) Formal (...)
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  10.  56
    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  
     
    My bibliography   4 citations  
  11. Malinowski and Suszko on Many-Valued Logics: On the Reduction of Many-Valuedness to Two-Valuedness.Newton da Costa, Jean-Yves Béziau & Otávio Bueno - 1996 - Modern Logic 6 (1):272--299.
  12. Théorie de la Valuation.Newton Ca da Costa & Jean-Yves Béziau - 1994 - Logique Et Analyse 146 (146):95-117.
     
    Export citation  
     
    My bibliography   6 citations  
  13.  37
    Introduction of Implication and Generalization in Axiomatic Calculi.Arthur Buchsbaum & Jean-Yves Beziau - unknown
    of implication and generalization rules have a close relationship, for which there is a key idea for clarifying how they are connected: varying objects. Varying objects trace how generalization rules are used along a demonstration in an axiomatic calculus. Some ways for introducing implication and for generalization are presented here, taking into account some basic properties that calculi can have.
    Translate
      Direct download  
     
    Export citation  
     
    My bibliography   1 citation  
  14.  15
    Paraconsistent Logic in a Historical Perspective.Newton Ca da Costa, Jean-Yves Beziau & Otavio Bueno - 1995 - Logique Et Analyse 38:111-125.
    Direct download  
     
    Export citation  
     
    My bibliography   3 citations  
  15.  25
    13 Questions About Universal Logic.Jean-Yves Béziau - 2006 - Bulletin of the Section of Logic 35 (2/3):133-150.
    Direct download  
     
    Export citation  
     
    My bibliography   1 citation  
  16.  11
    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  
     
    My bibliography  
  17.  15
    Sequents and Bivaluations.Jean-Yves Béziau - 2001 - Logique Et Analyse 44 (176):373-394.
  18.  2
    Preface of This Special Issue: The Challenge of Combining Logics.Jean-Yves Béziau - 2011 - Logic Journal of the IGPL 19 (4):543-543.
  19.  13
    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 (7 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  20.  93
    Identity, Structure and Logic.Jean-Yves Beziau - 1996 - Bulletin of the Section of Logic 25:89-9.
  21.  12
    A Sequent Calculus for Lukasiewicz's Three-Valued Logic Based on Suszko's Bivalent Semantics.Jean-Yves Béziau - 1999 - Bulletin of the Section of Logic 28 (2):89-97.
  22.  90
    Sentence, Proposition and Identity.Jean-Yves Béziau - 2007 - Synthese 154 (3):371 - 382.
    In this paper we discuss the distinction between sentence and proposition from the perspective of identity. After criticizing Quine, we discuss how objects of logical languages are constructed, explaining what is Kleene’s congruence—used by Bourbaki with his square—and Paul Halmos’s view about the difference between formulas and objects of the factor structure, the corresponding boolean algebra, in case of classical logic. Finally we present Patrick Suppes’s congruence approach to the notion of proposition, according to which a whole hierarchy of congruences (...)
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography  
  23.  7
    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  
     
    My bibliography  
  24. What is Semantics? A Brief Note on a Huge Question.Newton da Costa, Otávio Bueno & Jean-Yves Béziau - 1995 - Sorites 3:43-47.
    After mentioning the cogent connection between pure semantics and the particular set theoretical framework in which it is formulated, some issues regarding the conceptual status of semantics itself, as well as its relationship to logic, are concisely raised.
     
    Export citation  
     
    My bibliography   1 citation  
  25.  3
    Aspects of Paraconsistent Logic.Newton A. da Costa, Jean-Yves Beziau & Otavio S. Bueno - 1995 - Logic Journal of the IGPL 3 (4):597-614.
  26.  12
    Logic May Be Simple. Logic, Congruence and Algebra.Jean-Yves Béziau - 1997 - Logic and Logical Philosophy 5:129-147.
    This paper is an attempt to clear some philosophical questions about the nature of logic by setting up a mathematical framework. The notion of congruence in logic is defined. A logical structure in which there is no non-trivial congruence relation, like some paraconsistent logics, is called simple. The relations between simplicity, the replacement theorem and algebraization of logic are studied (including MacLane-Curry’s theorem and a discussion about Curry’s algebras). We also examine how these concepts are related to such notions as (...)
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  27.  45
    Définition, Théorie des Objets et Paraconsistance (Definition, Objects' Theory and Paraconsistance).Newton C. A. da Costa & Jean-Yves Béziau - 1998 - Theoria 13 (2):367-379.
    Trois sortes de définitions sont présentées et discutées: les définitions nominales, les définitions contextuelles et les définitions amplificatrices. On insiste sur le fait que I’elimination des definitions n’est pas forcement un procede automatique en particulier dans le cas de la logique paraconsistante. Finalement on s’int’resse à la théorie des objets de Meinong et l’on montre comment elle peut êrre considéréecomme une théorie des descripteurs.Three kinds of definitions are presented and discussed: nominal definitions, contextual definitions, amplifying definitions. It is emphasized that (...)
    Translate
      Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  28.  13
    Théorie Legislative de la Négation Pure.Jean-Yves Béziau - 1994 - Logique Et Analyse 147 (148):209-225.
    Translate
      Direct download  
     
    Export citation  
     
    My bibliography   1 citation  
  29.  24
    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.
  30.  63
    New Trends in the Foundations of Science.Jean-Yves Béziau & Décio Krause - 2007 - Synthese 154 (3):345 - 347.
  31.  26
    Aspects of Universal Logic.Jean-Yves Béziau, Alexandre Costa Leite & A. Facchini - unknown
    Direct download  
     
    Export citation  
     
    My bibliography  
  32.  18
    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.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  33.  42
    Many-Valued and Kripke Semantics.Jean-Yves Béziau - 2006 - In Johan van Benthem, Gerhard Heinzman, M. Rebushi & H. Visser (eds.), The Age of Alternative Logics. Springer. pp. 89--101.
  34.  53
    Relativizations of the Principle of Identity.Décio Krause & Jean-Yves Béziau - 1997 - Logic Journal of the IGPL 5 (3):17-29.
    We discuss some logico-mathematical systems which deviate from classical logic and mathematics with respect to the concept of identity. In the first part of the paper we present very general formulations of the principle of identity and show how they can be ‘relativized’ to objects and to properties. Then, as an application, we study the particular cases of physics and logic . In the last part of the paper, we discuss the alphabar logics, that is, those logical systems which violate (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  35.  40
    Preface: Is Logic Universal? [REVIEW]Jean-Yves Beziau - 2010 - Logica Universalis 4 (2):161-162.
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  36.  43
    Combining Conjunction with Disjunction.Jean-Yves Beziau - manuscript
    In this paper we address some central problems of combination of logics through the study of a very simple but highly informative case, the combination of the logics of disjunction and conjunction. At first it seems that it would be very easy to combine such logics, but the following problem arises: if we combine these logics in a straightforward way, distributivity holds. On the other hand, distributivity does not arise if we use the usual notion of extension between consequence relations. (...)
    Direct download  
     
    Export citation  
     
    My bibliography  
  37.  28
    BookReview.Jean-Yves Beziau - 2012 - Studia Logica 100 (3):653-657.
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  38. From Paraconsistent Logic to Universal Logic.Jean-Yves Béziau - 2001 - Sorites 12:5-32.
    For several years I have been developing a general theory of logics that I have called Universal Logic. In this article I will try to describe how I was led to this theory and how I have progressively conceived it, starting my researches about ten years ago in Paris in paraconsistent logic and the broadening my horizons, pursuing my researches in Brazil, Poland and the USA.
     
    Export citation  
     
    My bibliography   1 citation  
  39.  11
    Carnot's Logic.Newton Ca da Costa & Jean-Yves Béziau - 1993 - Bulletin of the Section of Logic 22 (3):98-105.
    Direct download  
     
    Export citation  
     
    My bibliography  
  40.  11
    Non Truth-Functional Many-Valuedness.Buchsbaum Arthur & Jean-Yves Béziau - unknown
    Direct download  
     
    Export citation  
     
    My bibliography  
  41.  18
    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  
     
    My bibliography  
  42.  14
    Yaroslav Shramko and Heinrich Wansing, Truth and Falsehood - An Inquiry Into Generalized Logical Values.Jean-Yves Beziau - 2014 - Studia Logica 102 (5):1079-1085.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  43.  9
    To Distribute or Not to Distribute?Jean-Yves Béziau & Marcelo E. Coniglio - 2011 - Logic Journal of the IGPL 19 (4):466-583.
    In this paper we address some central problems of combination of logics through the study of a very simple but highly informative case, the combination of the logics of disjunction and conjunction. At first it seems that it would be very easy to combine such logics, but the following problem arises: if we combine these logics in a straightforward way, distributivity holds. On the other hand, distributivity does not arise if we use the usual notion of extension between consequence relations. (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  44.  32
    The Logic of Confusion.Jean-Yves Beziau - manuscript
    No categories
    Direct download  
     
    Export citation  
     
    My bibliography  
  45.  29
    Idempotent Full Paraconsistent Negations Are Not Algebraizable.Jean-Yves Béziau - 1998 - Notre Dame Journal of Formal Logic 39 (1):135-139.
    Using methods of abstract logic and the theory of valuation, we prove that there is no paraconsistent negation obeying the law of double negation and such that $\neg$ is a theorem which can be algebraized by a technique similar to the Tarski-Lindenbaum technique.
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography  
  46.  32
    Introduction of Implication and Generalization in Axiomatic Calculi.Jean-Yves Beziau - manuscript
    of implication and generalization rules have a close relationship, for which there is a key idea for clarifying how they are connected: varying objects. Varying objects trace how generalization rules are used along a demonstration in an axiomatic calculus. Some ways for introducing implication and for generalization are presented here, taking into account some basic properties that calculi can have.
    Direct download  
     
    Export citation  
     
    My bibliography  
  47.  17
    Truth as a Mathematical Object.Jean-Yves Béziau - 2011 - Principia 14 (1):31-46.
    Neste artigo, discutimos em que sentido a verdade é considerada como um objeto matemático na lógica proposicional. Depois de esclarecer como este conceito é usado na lógica clássica, através das noções de tabela de verdade, de função de verdade, de bivaloração, examinamos algumas generalizações desse conceito nas lógicas não clássicas: semânticas matriciais multi-valoradas com três ou quatro valores, semântica bivalente não veritativa, semânticas dos mundos possiveis de Kripke. DOI:10.5007/1808-1711.2010v14n1p31.
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  48.  15
    Introduction of Implication and Generalization in Axiomatic Calculi.Buchsbaum Arthur & Jean-Yves Béziau - unknown
    Direct download  
     
    Export citation  
     
    My bibliography  
  49.  10
    Preface: Scope of Logic Theorems In Memoriam Adolf Lindenbaum.Jean-Yves Beziau - 2014 - Logica Universalis 8 (3-4):283-284.
  50.  11
    Foreword.Jean-Yves Béziau & Alexandre Costa-Leite - 2012 - Journal of Applied Non-Classical Logics 22 (1-2):1-1.
    (2012). Foreword. Journal of Applied Non-Classical Logics: Vol. 22, SPECIAL ISSUE 1: Uses of Non-Classical Logic: Foundational Issues; SPECIAL ISSUE 2: Formal Models of Norm Change, pp. 1-1. doi: 10.1080/11663081.2012.682433.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
1 — 50 / 79