58 found
Sort by:
  1. Arthur Buchsbaum & Jean-Yves Beziau, Introduction of Implication and Generalization in Axiomatic Calculi.
    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.
    No categories
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  2. Jean-Yves Beziau, Combining Conjunction with Disjunction.
    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  
     
    My bibliography  
     
    Export citation  
  3. Jean-Yves Beziau, Introduction of Implication and Generalization in Axiomatic Calculi.
    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.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  4. Jean-Yves Beziau, Non Truth-Functional Many-Valuedness.
    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  
     
    My bibliography  
     
    Export citation  
  5. Jean-Yves Beziau, Relativizations of the Principle of Identity.
    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 (the transgression of the principle of identity by quantum objects) and logic (some logics in which the principle of replacement is not (...)
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  6. Jean-Yves Beziau, The Logic of Confusion.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  7. Jean-Yves Beziau (forthcoming). The Relativity and Universality of Logic. Synthese.
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  8. Jean-Yves Beziau & Stephen Read (forthcoming). EditorialSquare of Opposition: A Diagram and a Theory in Historical Perspective. History and Philosophy of Logic:1-2.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  9. Jean-Yves Beziau (2014). Preface: Scope of Logic Theorems In Memoriam Adolf Lindenbaum. Logica Universalis 8 (3-4):283-284.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  10. Jean-Yves Beziau (2014). Yaroslav Shramko and Heinrich Wansing, Truth and Falsehood - An Inquiry Into Generalized Logical Values. Studia Logica 102 (5):1079-1085.
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  11. Buchsbaum Arthur & Jean-Yves Béziau, Introduction of Implication and Generalization in Axiomatic Calculi.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  12. Buchsbaum Arthur & Jean-Yves Béziau, Non Truth-Functional Many-Valuedness.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  13. Jean-Yves Béziau, Alexandre Costa Leite & A. Facchini, Aspects of Universal Logic.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  14. Paulo A. S. Veloso, Jean-Yves Béziau & Alexandre Costa Leite, On Reasoning About 'Generally' and 'Rarely' with Filter-Like Family of Sets.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  15. Jean-Yves Beziau (2012). BookReview. Studia Logica 100 (3):653-657.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  16. Jean-Yves Béziau (2012). The New Rising of the Square of Opposition. In J.-Y. Beziau & Dale Jacquette (eds.), Around and Beyond the Square of Opposition. Birkhäuser. 3--19.
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  17. Jean-Yves Béziau (2012). The Power of the Hexagon. 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)  
     
    My bibliography  
     
    Export citation  
  18. Jean-Yves Béziau & Alexandre Costa-Leite (2012). Foreword. 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)  
     
    My bibliography  
     
    Export citation  
  19. Jean-Yves Béziau & Dale Jacquette (eds.) (2012). Around and Beyond the Square of Opposition. Springer Science & Business Media.
    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.
    No categories
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  20. Jean-Yves Béziau (2011). A New Four-Valued Approach to Modal Logic. Logique Et Analyse 54 (213):109.
    Direct download  
     
    My bibliography  
     
    Export citation  
  21. Jean-Yves Béziau (2011). Truth as a Mathematical Object. 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)  
     
    My bibliography  
     
    Export citation  
  22. Jean-Yves Beziau (2010). Preface: Is Logic Universal? [REVIEW] Logica Universalis 4 (2):161-162.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  23. Jean-Yves Beziau (2008). What is “Formal Logic”? 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 (6 more)  
     
    My bibliography  
     
    Export citation  
  24. Jean-Yves Beziau & Gillman Payette (2008). Preface. Logica Universalis 2 (1):1-1.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  25. Jean-Yves Béziau (2007). Preface. Logica Universalis 1 (1):1-2.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  26. Jean-Yves Béziau (2007). Sentence, Proposition and Identity. 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)  
     
    My bibliography  
     
    Export citation  
  27. Jean-Yves Béziau & Alexandre Costa-Leite (eds.) (2007). Perspectives on Universal Logic.
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  28. Jean-Yves Béziau & Décio Krause (2007). New Trends in the Foundations of Science. Synthese 154 (3):345 - 347.
  29. Jean-Yves Béziau (2006). Many-Valued and Kripke Semantics. In Johan van Benthem, Gerhard Heinzman, M. Rebushi & H. Visser (eds.), The Age of Alternative Logics. Springer. 89--101.
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  30. Jean-Yves Béziau (2006). 13 Questions About Universal Logic. Bulletin of the Section of Logic 35 (2/3):133-150.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  31. Jean-Yves Béziau (2006). The Paraconsistent Logic Z. A Possible Solution to Jaśkowski's Problem. 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)  
     
    My bibliography  
     
    Export citation  
  32. Jean-Yves Beziau (2005). From Consequence Operator to Universal Logic: A Survey of General Abstract Logic. In J. Y. Beziau (ed.), Logica Universalis. Birkhäuser Verlog. 3--17.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  33. Jean-Yves Béziau (ed.) (2005). Logica Universalis: Towards a General Theory of Logic. Birkhäuser.
    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 (...)
     
    My bibliography  
     
    Export citation  
  34. Jean-Yves Béziau (2003). Logic May Be Simple. Logic, Congruence and Algebra. 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)  
     
    My bibliography  
     
    Export citation  
  35. Jean-Yves Béziau (2003). Quine on Identity. Principia 7 (1-2):1-15.
    In a first section, we discuss Quine’s claim according to which identity\nis a logical notion. We point out that Quine mixes up various types\nof identities: trivial (or diagonal) identity, Leibniz identity,\netc.; and this leads him to commit several mistakes. In a second\nsection, we review Quine’s criticisms to various philosophers (Wittgenstein,\nWhitehead, Leibniz, etc.), who ac-cording to him made confusion between\nnames and objects in defining iden-tity. We show that in fact only\nKorzybski can be accused of such confusion. In a third section, we\nanalyze (...)
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  36. Jean-Yves Béziau (2001). Sequents and Bivaluations. Logique Et Analyse 44 (176):373-394.
    Direct download  
     
    My bibliography  
     
    Export citation  
  37. Jean-Yves Beziau (1999). Classical Negation Can Be Expressed by One of its Halves. Logic Journal of the Igpl 7 (2):145-151.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  38. Jean-Yves Béziau (1999). A Sequent Calculus for Lukasiewicz's Three-Valued Logic Based on Suszko's Bivalent Semantics. Bulletin of the Section of Logic 28 (2):89-97.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  39. Jean-Yves Béziau (1999). La Véritable Portée du Théoreme de Lindenbaum-Asser. Logique Et Analyse 167 (168):341-359.
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  40. Jean-Yves Béziau (1999). Ruth Barcan Marcus Est-Elle la Mère du Fils de Wittgenstein?(Considerations Existencialistes Sur la Formule de Barcan). Manuscrito: Revista Internacional de Filosofía 22 (2):11-27.
    No categories
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  41. Newton C. A. da Costa, Jean-Yves Béziau & Otávio Bueno (1999). Professor Newton CA da Costa Awarded Nicholas Copernicus University Medal of Merit. Logic and Logical Philosophy 7:7-10.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  42. Jean-Yves Béziau (1998). Idempotent Full Paraconsistent Negations Are Not Algebraizable. Notre Dame Journal of Formal Logic 39 (1):135-139.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  43. Newton C. A. Costdaa & Jean-Yves Béziau (1998). Définition, Théorie Des Objets Et Paraconsistance (Definition, Objects' Theory and Paraconsistance). 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 (...)
    No categories
     
    My bibliography  
     
    Export citation  
  44. Newton C. A. da Costa & Jean-Yves Béziau (1998). Définition, Théorie des Objets et Paraconsistance (Definition, Objects' Theory and Paraconsistance). 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 to English
    | Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  45. Jean-Yves Béziau (1997). O Suicídio segundo Arthur Schopenhauer. Discurso 28:127-144.
    Neste artigo examinamos a concepção filosófica do suicídio em Schopenhauer. Mostramos que a razão fundamental pela qual Schopenhauer rejeita o suicídio está intimamente ligada ao fundamento da sua metafísica. Explicamos suas diferenças face às rejeições tradicionais do suicídio, visto que Schopenhauer considera o suicídio um erro mas não um crime, e quais são os casos nos quais o suicídio pode ser aceito.
    No categories
    Translate to English
    | Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  46. Arthur Buchsbaum, Tarcisio Pequeno, A. General, Newton Ca da Costa & Jean-Yves Beziau (1997). Contemporary Brazilian Research in Logic Part II. Logique Et Analyse 40:3.
     
    My bibliography  
     
    Export citation  
  47. Arthur Buchsbaum, Tarcisio Pequeno, A. General, Newton Ca da Costa & Jean-Yves Beziau (1997). Table Des Matteres Contemporary Brazilian Research in Logic Parte. Logique Et Analyse 40:6.
     
    My bibliography  
     
    Export citation  
  48. Newton Ca da Costa & Jean-Yves Béziau (1997). Overclassical logic. Logique Et Analyse 157:31-44.
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  49. Jean-Yves Beziau (1996). Identity, Structure and Logic. Bulletin of the Section of Logic 25:89-9.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  50. Newton Ca da Costa & Jean-Yves Béziau (1996). Théories paraconsistantes des ensembles. Logique Et Analyse 39:51-67.
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
1 — 50 / 58