profile picture

Jean-Yves Beziau

Federal University of Rio de Janeiro
 More details
  • La Critique Schopenhaurienne de l’Usage de la Logique en Mathématiques
    O Que Nos Faz Pensar 7 81-88. 1993.
  •  105
    Around and Beyond the Square of Opposition (edited book)
    with Dale Jacquette
    Springer Verlag. 2012.
    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.
    Areas of Mathematics
  •  119
    Définition, Théorie des Objets et Paraconsistance (Definition, Objects' Theory and Paraconsistance)
    with Newton C. A. da Costa
    Theoria 13 (2): 367-379. 1998.
    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 di…Read more
    Science, Logic, and Mathematics
  •  152
    Relativizations of the Principle of Identity
    with Décio Krause
    Logic Journal of the IGPL 5 (3): 17-29. 1997.
    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 a formulation…Read more
    Identity
  •  103
    The New Rising of the Square of Opposition
    In Jean-Yves Béziau & Dale Jacquette (eds.), Around and Beyond the Square of Opposition, Springer Verlag. pp. 3--19. 2012.
    Areas of Mathematics
  •  199
    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.
    Areas of Mathematics
  •  99
    13 Questions about universal logic
    Bulletin of the Section of Logic 35 (2/3): 133-150. 2006.
    Areas of Mathematics
  •  179
    New trends in the foundations of science
    with Décio Krause
    Synthese 154 (3): 345-347. 2007.
    Logic and Philosophy of Logic, General Works
  • Calcul des séquents pour logique non-alethique
    Logique Et Analyse 125 (25): 143-155. 1989.
    Logic and Philosophy of Logic
  • Théories paraconsistantes des ensembles
    with Newton Ca da Costa
    Logique Et Analyse 39 51-67. 1996.
  •  113
    Yaroslav Shramko and Heinrich Wansing, Truth and Falsehood - An Inquiry into Generalized Logical Values
    Studia Logica 102 (5): 1079-1085. 2014.
    Truth-Values
  • Définition, théorie Des objets et paraconsistance (definition, objects' theory and paraconsistance)
    with Newton C. A. Costa
    Theoria 13 (2): 367-379. 1998.
    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 di…Read more