Não autenticado |

Jean Yves Beziau

    • Franco-suíço, é mestre em filosofia (Alegoria da caverna - Sorbonne 1988 - orientadora: Sarah Kofman) e doutor em filosofia (A verdade lógica - USP 1996 - orientador: Newton da Costa). Também é mestre e doutor em lógica matemática e fundamentos da informática da Universidade de Paris 7 sob a orientação de Daniel Andler . Foi pesquisador na Polônia (1992-93), na Califórnia (UCLA 1994, Stanford 2000, UCSD 2014) e no Brasil (LNCC 1995-99). Fez parte do programa de elite do Centro de Pesquisas Suíço (SNF) durante 6 anos (2002-2008). Voltou no Brasil como pesquisador DCR-CNPq/FUNCAP, nível A, no departamento de filosofia da UFC em Fortaleza. Desde 2010 tem a posição de professor de lógica no departamento de filosofia da UFRJ. Foi professor convidado na Universidade de Munique (LMU) na Alemanha, diretor de projetos na India, Russia e China e lecionou nas universidades mais importantes do mundo. Para os 50 anos dele foi publicado pela Springer um Festschrift de 2 volumes com mais de 50 contibuições de pesquisadores do mundo inteiro. Desenvolveu a Lógica Universal, uma teoria geral das lógicas, organizando congressos internacionais sobre o assunto (Montreux 2005, Xi'an 2007, Lisboa 2010, Rio de Janeiro 2013, Istanbul 2015, Vichy 2018). É fundador e editor-chefe da revista Logica Universalis e da coleção de livros Studies in Universal Logic - ambas com a Birkhäuser/Springer. Também é fundador e editor-chefe do South American Journal of Logic, das coleções de livros Logic PhDs (publicação dos doutorados de lógicos famosos com apresentaçâo e comentários) e Cadernos de Lógica e Filosofia (publicaçôes e traduções em português de obras de lógica importantes) - ambas com a College Publications de Londres. Além disso é editor da área de lógica da Internet Encyclopedia of Philosophy. Relançou a teoria do quadrado das oposições de Aristóteles organizando sobre o assunto congressos internacionais (Montreux 2007, Córsega 2010, Libano 2012, Vaticano 2014, Ilha de Páscoa 2016, Crete 2018) interdisciplinares (filosofia, matemática, linguística, computação, psicologia, teologia, música) e publicações relacionadas Lançou uma terceira série de eventos em lógica: o workshop Logic in Question / La Logique en Question que acontece tudo ano na Sorbonne em Paris desde 2011. Lançou uma quarta série de eventos, junto com o Ricardo Silvestre: The Wolrd Congress on Logic and Religion, a primeira edição aconteceu em João Pessoa em 2015, a segunda em Varsovia na Polônia em 2017 e a terceira edição é prevista em Varanasi na India em 2020. Em 2014 criou o Prêmio Newton da Costa de Lógica, e a seguir outros prêmios de lógica em cerca de 15 países. Lançou o dia mundial da lógica que foi comemorado pela primeira vez o dia 14 de janeiro de 2019 em mais de 60 localidades do mundo inteiro. Desenvolve também pesquisas sobre imaginação, conceptualização e simbolização. Organizou a 37.a edição do congresso mundial da ASPLF (Association des Sociétés de Philosophie de Langue Française) no Rio de Janeiro em 2018, escolhendo a imaginação como assunto do evento. É o atual presidente da Academia Brasileira de Filosofia e o coordenador do programa de Pos-Graduação em Filosofia da Universidade Federal do Rio de Janeiro.

       

      Links:    

    • Lógica polivalente
    • Lógica abstrata
    • Lógica Universal
    • História da Lógica
    • Filosofia da Lógica
  • Livros publicados: 21
    • Béziau JY ; GEROGIORGAKIS, S. . New dimensions of the square of opposition. Muncih : Philosophia Verlag, 2017 . 414p. ISBN: 9783884051122.
    • Beziau, J.-Y. ; BASTI, G. . The Square of Opposition: A Cornerstone of Thought. Basel : Birkhäuser - Springer, 2017 . 380p. ISBN: 9783319450612.
    • Béziau, Jean-Yves ; KRAUSE, D. ; ARENHART, J. R. B. . Conceptual Clarifications Tributes to Patrick Suppes (1922-2014). Londres : College Publication, 2015 . 241p. ISBN: 9781848901889.
    • Béziau JY ; CHAKRABORTY, M. ; DUTTA, S. . New Directions in Paraconsistent Logic. New Dehli : Springer, 2015 . 552p. ISBN: 9788132227199.
    • Béziau JY ; READ, S. . Histoty and philosophy of logic - special issue on the square of opposition. London : Taylor & Francis, 2014 . 103p. ISBN: 0144-5340.
    • Béziau JY . La pointure du symbole. Paris : Petra, 2014 . p. ISBN: 9782847430486.
    • Béziau, Jean-Yves . Universal Logic: An Anthology - From Paul Hertz to Gov Gabbay. Basel : Springer, 2012 . 410p. ISBN: 978303460144.
    • Béziau JY ; Costa-Leite, A. . Journal of Applied Non Classical Logics - Uses of Non-Classical Logic: Foundational Issues. Londres : Taylor & Francis Group, 2012 . 148p. ISBN: 11663081.
    • Béziau, Jean-Yves ; Coniglio, M. E. . Logic without frontiers. Londres : College Publication, 2011 . 459p. ISBN: 9781848900554.
    • Béziau JY ; JACQUETTE, D. . Around and Beyond the Square of Opposition. Basel : Springer, 2012 . 379p. ISBN: 9783034803786.
    • Beziau, J.-Y. ; PAYETTE, G. . The Square of Opposition - A general framework for cognition. Berna : Peter Lang, 2012 . 504p. ISBN: 978-3-0343-05.
    • Béziau, Jean-Yves ; KRAUSE, D. . New trends in the foundations of science. Dordrecht : Springer, The Netherlands, 2007 . p. ISBN: 0039-7857.
    • Béziau, Jean-Yves ; M.Tsuji . Contemporary Brazilian Research in Logic - Part I I. Ghent : Centre National Belge de Recherches de Logique, 1997 . 172p. ISBN: 0024-5836.
    • Béziau, Jean-Yves ; F.A.Doria . Contemporary Brazilian Research in Logic - Part I. Ghent : Centre National Belge de Recherches de Logique, 1996 . 192p. ISBN: 0024-5836.
    • Béziau, Jean-Yves . The Challenge of Combining Logics. Oxford : Oxford University Press, 2011 . 78p. ISBN: 1367-0751.
    • Béziau, Jean-Yves ; Costa-Leite, A. . Dimensions of logical concepts. Campinas : CLE-UNICAMP, 2009 . 335p. ISBN: 9788586497056.
    • Béziau, Jean-Yves ; Costa-Leite, A. . Perspective on universal logic. Monza : Polimetrica, 2007 . 434p. ISBN: .
    • Béziau, Jean-Yves ; Costa-Leite, A. ; Facchini, A. . Aspects of universal logic. Neuchâtel : Université de Neuchâtel, 2004 . 252p. ISBN: .
    • Béziau, Jean-Yves . Logica Universalis - Towards a general theory of logic. Basel : Birkhauser, 2005 . 246p. ISBN: .
    • Béziau, Jean-Yves ; Carnielli, W. A. ; Gabbay, D. M. . Handbook of paraonsistency. Londres : King's College, 2007 . 512p. ISBN: .
    • COSTA, N. C. A. ; Béziau, Jean-Yves ; BUENO, O. . Elementos de teoria paraconsistente de conjuntos. Campinas : Centro de Lógica, Epistemologia e História da Ciência, 1998 . 188p. ISBN: 0103-3147.
    • BEZIAU, JEAN-YVES . 1st World Logic Day: 14 January 2019 Logica Universalis (Print) , v. 13 , p. 1 - 20 , 2019. ISSN: 16618297.
    • BEZIAU, JEAN-YVES . Logic Prizes et Cætera Logica Universalis (Print) , v. 12 , p. 271 - 296 , 2018. ISSN: 16618297.
    • BEZIAU, JEAN-YVES . Identification of identity THE IFCOLOG JOURNAL OF LOGICS AND THEIR APPLICATIONS , v. 4 , p. 3571-3581 - 3581 , 2017. ISSN: 20553714.
    • BEZIAU, JEAN-YVES . Is the Principle of Contradiction a Consequence of $$x^{2}=x$$x2=x? Logica Universalis (Print) , v. 12 , p. 55 - 81 , 2018. ISSN: 16618297.
    • BEZIAU, JEAN-YVES . An analogical hexagon INTERNATIONAL JOURNAL OF APPROXIMATE REASONING , v. 94 , p. 1 - 17 , 2018. ISSN: 0888613X.
    • SILVESTRE, RICARDO SOUSA ; BÉZIAU, JEAN-YVEZ . Logic and Philosophy of Religion Sophia , v. 56 , p. 139 - 145 , 2017. ISSN: 00381527.
    • BEZIAU, JEAN-YVES . Universal Logic: Evolution of a Project Logica Universalis (Print) , v. 12 , p. 1 - 8 , 2018. ISSN: 16618297.
    • BEZIAU, JEAN-YVES ; SILVESTRE, RICARDO . Logic and Religion Logica Universalis (Print) , v. 11 , p. 1 - 12 , 2017. ISSN: 16618297.
    • AVRON, ARNON ; BEZIAU, JEAN-YVES . Self-extensional three-valued paraconsistent logics have no implication LOGIC JOURNAL OF THE IGPL , v. 25 , p. jzw059 - 194 , 2016. ISSN: 13670751.
    • BEZIAU, JEAN-YVES . MANY 1 Journal of Indian Council of Philosophical Research , v. 34 , p. 259 - 287 , 2017. ISSN: 09707794.
    • Béziau JY . Hartley Slater and False Contradictions South American Journal of Logic , v. 2 , p. 101 - 107 , 2016. ISSN: 24466719.
    • Béziau JY . THE CONTINGENCY OF POSSIBILITY Principia , v. 20 , p. 99 - 115 , 2016. ISSN: 14144217.
    • BEZIAU, JEAN-YVES ; GIOVAGNOLI, RAFFAELA . The Vatican Square Logica Universalis (Print) , v. 10 , p. 135 - 141 , 2016. ISSN: 16618297.
    • BEZIAU, JEAN-YVES . Disentangling Contradiction from Contrariety via Incompatibility Logica Universalis (Print) , v. 10 , p. 157 - 170 , 2016. ISSN: 16618297.
    • Béziau JY . Possibility, Imagination and Conception Princípios (UFRN. Impresso) , v. 23 , p. 59 - , 2016. ISSN: 01048693.
    • Béziau JY . Is logical relativity irrrational? Studia Metodologizne , v. 35 , p. 1-13 - 13 , 2016. ISSN: 0039324X.
    • Béziau JY . Panorame de l'identité AL-MUKHATABAT , v. 14 , p. 205-219 - , 2015. ISSN: 17376432.
    • BEZIAU, JEAN-YVES . Trivial Dialetheism and the Logic of Paradox Logic and Logical Philosophy , v. 25 , p. 51 - 56 , 2014. ISSN: 23009802.
    • Béziau JY ; READ, S. . A Diagram and a Theory in Historical Perspective History and Philosophy of Logic , v. 35 , p. 1 - 3 , 2014. ISSN: 14645149.
    • Béziau JY . The Relativity and Universality of Logic Synthese (Dordrecht) , v. 2014 , p. 1 - 15 , 2014. ISSN: 00397857.
    • Béziau JY . The metalogical hexagon of opposition Argumentos: Revista de Filosofia (Impresso) , v. 10 , p. 111 - 122 , 2013. ISSN: 19844247.
    • Béziau JY ; Kritz, M. V. . Théorie et Modèle II Cadernos UFS. Filosofia , v. 10 , p. 8 - 16 , 2011. ISSN: 18073972.
    • Beziau, J.-Y. . Pure Alethic Modal Logic Cognitio (PUCSP) , v. 13 , p. 25 - 36 , 2012. ISSN: 15187187.
    • Béziau, Jean-Yves . The Power of the Hexagon Logica Universalis (Print) , v. 6 , p. 1 - 43 , 2012. ISSN: 16618297.
    • Béziau, Jean-Yves . LES MODELES SELON ALAIN BADIOU AL-MUKHATABAT , v. 3 , p. 251 - 305 , 2012. ISSN: 17376432.
    • Béziau, Jean-Yves . La véritable portée du théroème de Lindenbaum-Asser Logique et Analyse , v. 167 , p. 341 - 359 , 1999. ISSN: 00245836.
    • Béziau, Jean-Yves . Logic is not logic Abstracta : linguagem, mente e ação (Niterói) , v. 6 , p. 73 - 102 , 2010. ISSN: 18079792.
    • Beziau, J.-Y. ; M. Kritz . Théorie et Modèle I: Point de vue général et abstrait Cadernos UFS. Filosofia , v. 8 , p. 9 - 17 , 2010. ISSN: 18073972.
    • Béziau, Jean-Yves . La logique paraconsistante, science et philosophie Natures Sciences Sociétés , v. 14 , p. 54 - 68 , 2006. ISSN: 12401307.
    • Béziau, Jean-Yves ; Coniglio, M. E. . To distribute or not to distribute? Logic Journal of the IGPL (Print) , v. 19 , p. 566 - 583 , 2011. ISSN: 13670751.
    • Béziau JY . Truth as a mathematical object Principia (UFSC) , v. 14 , p. 31 - 46 , 2010. ISSN: 14144247.
    • Béziau JY . A new four-valued approach to modal logic Logique et Analyse , v. 54 , p. 18 - 33 , 2011. ISSN: 00245836.
    • Béziau, Jean-Yves . Biconditional drive to paradox Revista Brasileira de Filosofia , v. 232 , p. 197 - 208 , 2009. ISSN: 00347205.
    • Béziau, Jean-Yves . What is a logic? Towards axiomatic emptiness Logical Investigations , v. 16 , p. 272 - 279 , 2010. ISSN: 20741472.
    • Béziau, Jean-Yves . What is formal logic? Revista Brasileira de Filosofia , v. 232 , p. 197 - 208 , 2009. ISSN: 00347205.
    • Béziau, Jean-Yves . Sentence, Proposition and Identity Synthese (Dordrecht) , v. 154 , p. 371 - 382 , 2007. ISSN: 00397857.
    • Béziau, Jean-Yves . Universal Logic in 13 questions Bulletin of the Section of Logic , v. 25 , p. 133 - 150 , 2006. ISSN: 01380680.
    • Béziau, Jean-Yves . The paraconsistent logic Z ? A possible solution to Jaskowski?s problem Logic and Logical Philosophy , v. 15 , p. 199 - 211 , 2006. ISSN: 14253305.
    • Béziau, Jean-Yves . Paraconsistent logic from a modal viewpoint Journal of Applied Logic , v. 3 , p. 7 - 14 , 2005. ISSN: 15708683.
    • Béziau, Jean-Yves . Semantic computation of truth based on associations already learned Journal of Applied Logic , v. 2 , p. 457 - 467 , 2004. ISSN: 15708683.
    • Béziau, Jean-Yves . New light on the square of oppositions and its nameless corner Logical Investigations , v. 10 , p. 218 - 232 , 2003. ISSN: 20741472.
    • Béziau, Jean-Yves . La théorie des ensembles et la théorie des catégories: présentation de deux soeurs ennemies du point de vue de leurs relations avec les fondements des mathématiques Asociacion Matematica Venezolana. Boletin , v. 9 , p. 45 - 53 , 2002. ISSN: 13154125.
    • Béziau, Jean-Yves . S5 is a paraconsistent logic and so is first-order classical logic Logical Investigations , v. 9 , p. 301 - 309 , 2002. ISSN: 20741472.
    • Béziau, Jean-Yves . Sequents and bivaluations Logique et Analyse , v. 44 , p. 373 - 394 , 2001. ISSN: 00245836.
    • Béziau, Jean-Yves ; de Freitas, R. P. ; VIANA, J. P. . What is classical propositional logic? (A study in universal logic) Logical Investigations , v. 7 , p. 10 - 25 , 2001. ISSN: 20741472.
    • Béziau, Jean-Yves . From paraconsistent logic to universal logic Sorites (Madrid) , v. 12 , p. 5 - 32 , 2001. ISSN: 11351349.
    • COSTA, N. C. A. ; Béziau, Jean-Yves . Définitions, théories des objets et paraconsistance Theoria (Lund) , v. 32 , p. 367 - 379 , 1998. ISSN: 00405825.
    • KRAUSE, D. ; Béziau, Jean-Yves . Relativizations of the principle of identity Logic Journal of the IGPL , v. 5 , p. 327 - 338 , 1997. ISSN: 13670751.
    • COSTA, N. C. A. ; Béziau, Jean-Yves . Théorie paraconsistante des ensembles Logique et Analyse , v. 39 , p. 153 - 154 , 1996. ISSN: 00245836.
    • COSTA, N. C. A. ; Béziau, Jean-Yves ; BUENO, O. . Malinowski and Suszko on many-valued logics: On the reduction of many-valuedness to two-valuedness Modern Logic , v. 6 , p. 272 - 299 , 1996. ISSN: 10475982.
    • Béziau, Jean-Yves . Théorie législative de la négation pure Logique et Analyse , v. 146 , p. 147 - 148 , 1994. ISSN: 00245836.
    • COSTA, N. C. A. ; Béziau, Jean-Yves . Théorie de la valuation Logique et Analyse , v. 146 , p. 95 - 117 , 1994. ISSN: 00245836.
    • COSTA, N. C. A. ; Béziau, Jean-Yves . Carnot?s logic Bulletin of the Section of Logic , v. 22 , p. 98 - 105 , 1993. ISSN: 01380680.
    • Béziau, Jean-Yves . La logique abstraite au sein de la mathématique moderne Ruch Filozoficzny , v. 50 , p. 289 - 293 , 1993. ISSN: 00359599.
    • Béziau, Jean-Yves . Nouveaux résultats et nouveau regard sur la logique paraconsistante C1 Logique et Analyse , v. 36 , p. 141 - 142 , 1993. ISSN: 00245836.
    • Béziau, Jean-Yves . Logiques construites suivant les méthodes de da Costa Logique et Analyse , v. 33 , p. 259 - 272 , 1990. ISSN: 00245836.
    • Béziau, Jean-Yves . Calcul des séquents pour logique non-alèthique Logique et Analyse , v. 32 , p. 125 - 126 , 1989. ISSN: 00245836.
    • Béziau, Jean-Yves . Quine on identity Principia (UFSC) , v. 7 , p. 1 - 15 , 2003. ISSN: 14144247.
    • Béziau, Jean-Yves . Ruth Barcan Marcus est-elle la mère du fils de Wittgenstein ? (Considérations existentialistes sur la formule de Barcan) Manuscrito (UNICAMP) , v. 22 , p. 11 - 27 , 1999. ISSN: 01006045.
    • Béziau, Jean-Yves . De Morgan lattices, paraconsistency and the excluded middle Boletim da Sociedade Paranaense de Matemática , v. 18 , p. 169 - 172 , 1998. ISSN: 00378712.
    • KRAUSE, D. ; Béziau, Jean-Yves ; BUENO, O. . Estruturas em ciência Boletim da Sociedade Paranaense de Matemática , v. 17 , p. 91 - 111 , 1997. ISSN: 00378712.
    • Béziau, Jean-Yves . Negation : what it is and what it is not Boletim da Sociedade Paranaense de Matemática , v. 15 , p. 37 - 43 , 1995. ISSN: 00378712.
    • Béziau, Jean-Yves . De la logique formelle à la logique abstraite Boletim da Sociedade Paranaense de Matemática , v. 14 , p. 41 - 50 , 1994. ISSN: 00378712.
    • Béziau, Jean-Yves . La critique Schopenhauerienne de l?usage de la logique en mathématiques O Que nos Faz Pensar , v. 7 , p. 81 - 88 , 1993. ISSN: 01046675.
    • Béziau, Jean-Yves . A sequent calculus for Lukasiewicz three valued logic based on Suszko's bivalent semantics Bulletin of the Section of Logic , v. 28 , p. 89 - 97 , 1999. ISSN: 01380680.
    • Béziau, Jean-Yves . A logical analysis of singular terms Sorites , v. 10 , p. 6 - 14 , 1999. ISSN: 1135349.
    • Béziau, Jean-Yves . Classical negation can be expressed by one of its halves Logic Journal Of The Interested Group In Pure And Applied Logics , v. 7 , p. 145 - 151 , 1999. ISSN: .
    • Béziau, Jean-Yves . Idempotent full paraconsistent negations are not algebrizable Notre Dame Journal of Formal Logic , v. 39 , p. 135 - 139 , 1998. ISSN: 00294527.
    • Béziau, Jean-Yves . Recherches sur la logique abstraite Logika , v. 18 , p. 105 - 114 , 1998. ISSN: .
    • Béziau, Jean-Yves . Logic may be simple Logic And Logical Philosophy , v. 5 , p. 129 - 147 , 1997. ISSN: .
    • COSTA, N. C. A. ; Béziau, Jean-Yves . Overclassical logic Logique et Analyse , v. 157 , p. 31 - 44 , 1997. ISSN: 00245836.
    • Béziau, Jean-Yves . Identity, logic and strucuture Bulletin of the Section of Logic , v. 25 , p. 89 - 94 , 1996. ISSN: 01380680.
    • Béziau, Jean-Yves . The future of paraconsistent logic Logical Studies , v. 2 , p. 1 - 28 , 1999. ISSN: .
    • Béziau, Jean-Yves ; BUENO, O. ; COSTA, N. C. A. . Aspects of paraconsistent logic Bulletin Of The Interested Group In Pure And Applied Logic , v. 3 , p. 597 - 14 , 1995. ISSN: .
    • Béziau, Jean-Yves ; BUENO, O. ; COSTA, N. C. A. . What is semantics - a brief note on a huge question Sorites , v. 3 , p. 43 - 47 , 1995. ISSN: .
    • Béziau, Jean-Yves ; BUENO, O. ; COSTA, N. C. A. . Parconsistent logic in a historical perspective Logique et Analyse , v. 150 , p. 111 - 125 , 1995. ISSN: 00245836.
    • BEZIAU, JEAN-YVES . Is Modern Logic Non-Aristotelian?. The Logical Legacy of Nikolai Vasiliev and Modern Logic, v. , p. 19 - 41, 2017.
    • BEZIAU, JEAN-YVES . A Chromatic Hexagon of Psychic Dispositions. How Colours Matter to Philosophy, v. , p. 273 - 288, 2017.
    • BEZIAU, JEAN-YVES . Being Aware of Rational Animals. Studies in Applied Philosophy, Epistemology and Rational Ethics, v. , p. 319 - 331, 2017.
    • Béziau JY . Opposition and Order. New Dimensions of the Square of Opposition, v. 1, p. 321 - 336, 2017.
    • Béziau, Jean-Yves ; Basti, Gianfranco . The Square of Opposition: A Cornerstone of Thought. Studies in Universal Logic, v. 1, p. 3 - 12, 2017.
    • Béziau, Jean-Yves . There Is No Cube of Opposition. Studies in Universal Logic, v. 1, p. 179 - 193, 2017.
    • Béziau JY . Monosequent proof systems. Logic and Computation - Essays in Honour of Amilcar Sernadas, v. 1, p. 143 - 170, 2017.
    • Beziau, J.-Y. . Application of Paraconsistent Logic to Technology. Proceedings of the Twenty-Ninth International Florida Artificial Intelligence Research Society Conference, v. 1, p. 703 - 703, 2016.
    • Béziau JY ; Arthur Ronald de Vallauris Buchsbaum . Let us be Antilogical: Anti-Classical Logic as a Logic. Soyons Logiques / Let's be Logical, v. 1, p. 1 - 10, 2016.
    • BEZIAU, JEAN-YVES . Two Genuine 3-Valued Paraconsistent Logics. Intelligent Systems Reference Library, v. , p. 35 - 47, 2016.
    • BEZIAU, JEAN-YVES ; Franceschetto, Anna . Strong Three-Valued Paraconsistent Logics. Springer Proceedings in Mathematics & Statistics, v. , p. 131 - 145, 2015.
    • BEZIAU, JEAN-YVES . Round Squares Are No Contradictions (Tutorial on Negation Contradiction and Opposition). Springer Proceedings in Mathematics & Statistics, v. , p. 39 - 55, 2015.
    • Béziau, Jean-Yves . Logical Autobiography 50. Studies in Universal Logic, v. , p. 19 - 104, 2015.
    • Béziau JY . Three Sisters : Philosophy, Mathematics and Logic. O lugar da Filosofia da Ciência na nova Universidade de Lisboa, v. 1, p. 171 - 191, 2014.
    • Béziau JY . L'arbitraire du signe face à la puissance du symbole. La pointure du symbole, v. 1, p. 9 - 34, 2014.
    • Béziau JY . Paralogics and the theory of valuation. Universal Logic : an Anthology, v. , p. 361 - 372, 2012.
    • Béziau, Jean-Yves . The New Rising of the Square of Opposition. Around and Beyond the Square of Opposition, v. , p. 3 - 19, 2012.
    • Béziau JY . History of Truth-Values. Logic: A History of its Central Concepts, Vol. 11 (Handbook of the History of Logic), v. 11, p. 233 - 305, 2012.
    • Béziau JY . What is a possible world. Possible worlds - Logic, Semantics and Ontology, v. , p. - , 2010.
    • Beziau, J.-Y. . Bivalent semantics for De Morgan logic (the uselessness of four-valuednees). The many sides of logic, v. , p. 391 - 402, 2009.
    • Béziau, Jean-Yves . Mystérieuse identité. Le même et l'aure - Identité et différence, v. , p. 159 - 162, 2009.
    • Béziau, Jean-Yves . Les universités face à la globalisation: vers une université mondiale?. UNESCO Philosophical Day 2004, v. , p. - , 2006.
    • Béziau, Jean-Yves . Transitivity and paradoxes. The Baltic International Yearbook of Cognition, Logic and Communication, v. , p. 207 - 211, 2006.
    • Béziau, Jean-Yves . Les axiomes de Tarski. La philosophie en Pologne 1918-1939, v. , p. 135 - 149, 2006.
    • Béziau, Jean-Yves . Many-valued and Kripke semantics. The age of alternative logics, v. , p. 89 - 101, 2006.
    • COSTA, N. C. A. ; Béziau, Jean-Yves ; BUENO, O. . On the usefulness of paraconsistent logic. Logic, Thought and Action, v. , p. 465 - 478, 2005.
    • Béziau, Jean-Yves . Le château de la quantification et ses fantômes démasqués. La quantification dans la logique moderne, v. , p. 211 - 232, 2005.
    • Béziau, Jean-Yves . A paradox in the combination of logics. Workshop on Combination of Logics: Theory and Applications, v. , p. 75 - 78, 2004.
    • Béziau, Jean-Yves . Bivalence, excluded middle and non contradiction. The Logica Yearbook 2003, v. , p. 73 - 84, 2003.
    • Béziau, Jean-Yves . The philosophical import of Polish Logic. Logic, methodology and philosophy of science at Warsaw University, v. , p. 1 - 19, 2002.
    • Béziau, Jean-Yves . Are paraconsistent negations negations?. Paraconsistency: the logical way to inconsistency, v. , p. 465 - 486, 2002.
    • Béziau, Jean-Yves . What is paraconsistent logic?. Frontiers of paraconsistent logic, v. , p. 95 - 111, 2000.
    • Béziau, Jean-Yves . Y a-t-il des principes logiques. Princípios: seu papel na filosofia e nas ciências, v. , p. 47 - 54, 2000.
    • Béziau, Jean-Yves . Rules, derived rules, permissible rules and the various types of systems of deduction. Proof, types and categories, v. , p. 159 - 184, 1999.
    • Béziau, Jean-Yves . Apresentação de Newton da Costa. Pensamento original made in Brazil, v. , p. 11 - 17, 1999.
    • Béziau, Jean-Yves . O princípio de razão suficiente e a lógica segundo Arthur Schopenhauer. Século XIX : O Nascimento da Ciência Contemporânea, v. , p. 35 - 39, 1992.
    • Béziau, Jean-Yves . The mathematical structure of logical syntax. Advances in contemporary logic and computer science, v. , p. 1 - 17, 1999.
    • Béziau, Jean-Yves ; COSTA, N. C. A. . La logique paraconsistante. La preuve à la lumière de l'intelligence artificielle, v. , p. 107 - 115, 1999.
    • Béziau, Jean-Yves . Rougier: logique et métaphyisque. In: 4th World Conference on Metaphysics , 2010 , Roma. Proceedings Metaphysics 2009 ? 4th World Conference. Madrid : Fundación José Ortega y Gasset, 2009. p. 464 - 472.
    • Béziau, Jean-Yves . The logic of confusion. In: International Conference of Artificial Intelligence - IC-AI?2001 , 2001 , Las Vegas. Proceedings of the International Conference of Artificial Intelligence - IC-AI?2001. : CSREA Press, 2001. p. 821 - 826.
    • Béziau, Jean-Yves . What is many-valued logic?. In: 27th International Symposium on Multiple-Valued Logic , 1997 , Los Alamitos. Proceedings of the 27th International Symposium on Multiple-Valued Logic. Washington : IEEE Computer Society, 1997. p. 117 - 121.
    • Béziau, Jean-Yves . Universal logic. In: Logica?94 , 1994 , Praga, República Tcheca. Logica?94 - Proceedings of the 8th International Symposium. Praga, República Tcheca : , 1994. p. 73 - 93.
    • Béziau, Jean-Yves . Du Pont?s paradox and the problem of intensional logic. In: Logica , 1994 , Praga. Logica?93 - Proceedings of the 8th International Symposium. Praga, República Tcheca : , 1993. p. 62 - 65.
    • COSTA, N. C. A. ; Béziau, Jean-Yves . La théorie de la valuation en question. In: Ninth Latin American Symposium on Mathematical Logic , 1993 , Bahia Blanca. Proceedings of the Ninth Latin American Symposium on Mathematical Logic. Bahia Blanca : Universidad del Sur, 1993. p. 95 - 104.
    • Béziau, Jean-Yves . Applications de la logique paraconsistante à la justice et au droit. In: V Congresso Brasileiro de Filosofia , 1998 , São Paulo. Anais do V Congresso Brasileiro de Filosofia. São Paulo : Instituto Brasileiro de Filosofia, 1998. p. 1119 - 1128.
    • Béziau, Jean-Yves . Do sentences have identity?. In: 20th World Congress of Philosophy , 1998 , Boston. . : , 1998.
    • Béziau, Jean-Yves . "From Peirce to Skolem ? A neglected chapter in the history of logic", de G. Brady. : , 2000 (resenha em The Review of Modern Logic, 11 (2007), pp. 155-161.)
    • Béziau, Jean-Yves . "The search for mathematical roots", de I. Grattan-Guinness. : , 2001 (resenha em The Review of Modern Logic, 10 (2005), pp.135-138.)
    • Béziau, Jean-Yves . "Chance, Love and Logic", de C. S. Peirce. : Bison Books , 1998 (resenha em Metaphysics, epistemology and technology, C. Mitcham (ed), Elsevier, 2000, pp. 395-397.)
    • Béziau, Jean-Yves . "Logic and its history in the work and writings of Jean van Heijenoort", de I. H. Anellis. Ames : Modern Logic Publishing , 1994 (resenha científica em Modern Logic, 8 (2000), pp.105-117.)
    • Béziau, Jean-Yves . "L?éclectisme", de J. Billard. Paris : Presses Universitaires de France , 1997 (resenha científica em Science et Esprit, 51 (1999), pp. 231-233.)
    • Béziau, Jean-Yves . O conhecimento científico. São Paulo : Discurso , 1997 (Prefácio, Pósfacio/Prefacio)
    • Béziau, Jean-Yves . Logiques classiques et non classiques. Paris : Masson , 1997 (Tradução)
    • BEZIAU, JEAN-YVES . MANY 1 - A Transversal Imaginative Journey across the Realm of Mathematics. 2018 (Seminário)
    • BEZIAU, JEAN-YVES . La Logique Colorée des Emotions. 2017 (Seminário)
    • BEZIAU, JEAN-YVES . Is the Principle of Contradiction a consequence of xx = x ?. 2017 (Seminário)
    • BEZIAU, JEAN-YVES . The Pyramid of Meaning. 2017 (Seminário)
    • BEZIAU, JEAN-YVES . The Hexagon of Opposition. 2017 (Seminário)
    • BEZIAU, JEAN-YVES . Possibility, Imagination and Conceptualization. 2017 (Seminário)
    • BEZIAU, JEAN-YVES . What is a substructural logic ?. 2017 (Seminário)
    • BEZIAU, JEAN-YVES . Possibilité, Imagination et Conception. 2017 (Seminário)
    • BEZIAU, JEAN-YVES . Universal Logic, A New Perspcetive for Logical Research. 2017 (Seminário)
    • Beziau, J.-Y. . A general completeness theorem relating sequents and bivaluations. 2015 (Seminário)
    • Beziau, J.-Y. . Round Squares are no contradictions. 2015 (Seminário)
    • Beziau, J.-Y. . Logic - Past, Present and Future. 2015 (Seminário)
    • Beziau, J.-Y. . Squaring Complexity. 2015 (Seminário)
    • Beziau, J.-Y. . Lindenbaum Maximalization Theorem. 2015 (Seminário)
    • Beziau, J.-Y. . Round Squares are no contradictions. 2015 (Seminário)
    • Beziau, J.-Y. . Colours and Emotions. 2017 (Seminário)
    • Beziau, J.-Y. . Possibility, Imagination and Conception. 2016 (Conferência)
    • Béziau JY . Is thought computable?. 2015 (Seminário)
    • Béziau JY . Truth Functional Bivalent Logics. 2014 (Conferência)
    • Béziau JY . Universal Logic: New perspectives for Logical Research. 2014 (Conferência)
    • Beziau, J.-Y. . Théories et Modèles. 2012 (Conferência)
    • Beziau, J.-Y. . Imagination, Conception and Possibility. 2012 (Conferência)
    • Beziau, J.-Y. . Natural Paraconsistent Negations. 2012 (Congresso)
    • Beziau, J.-Y. . The Relativity and Universality of Logic. 2012 (Congresso)
    • Beziau, J.-Y. . The Square of Oppostion and Imaginary Logic. 2012 (Congresso)
    • Beziau, J.-Y. . Linking Proof and Truth through Abstract Logic. 2012 (Congresso)
    • Béziau, Jean-Yves . Colloquia on High Performance Scientific Computing - C3AD?98. 1998 (Laboratório Nacional de Computação Científica)
    • Béziau, Jean-Yves . Encontro dos Lógicos do Rio de Janeiro. 2000 (Universidade Federal Fluminense)
    • Béziau, Jean-Yves . 2nd World Congress on Paraconsistency. 2000 (Unicamp)
    • Béziau, Jean-Yves . International Conference on Artificial Intelligence (IC?AI 2001). 2001 ()
    • Béziau, Jean-Yves . 3rd World Congress on Paraconsistency. 2003 ()
    • Béziau, Jean-Yves . International Workshop on Universal Logic. 2003 (Universidade de Neuchâtel)
    • Béziau, Jean-Yves . 1st World Congress and School on Universal Logic. 2005 ()
    • Béziau, Jean-Yves . Le langage symbolique, Congrès Interdisciplinaire. 2005 ()
    • Béziau, Jean-Yves . 1st World Congress on the Square of Opposition, Montreux, Suiça. 2005 (Swiss National Science Foundation)
    • Béziau, Jean-Yves . CombLog?07 ? International Workshop on Combination of Logics. 2007 ()
    • Béziau, Jean-Yves . 2ndt World Congress and School on Universal Logic, Xi'an, China. 2007 ()
    • Béziau, Jean-Yves . Imagination, Congrès Interdisciplinaire. 2007 ()
    • Beziau, J.-Y. . 3rd World Congress and School on Universal Logic, Lisboa. Portugal. 2010 (Instituto Superior Tecnico, Lisboa)
    • Béziau, Jean-Yves . 2nd World Congress on the Square of Opposition, Corte, Corsica. 2010 ()
    • Beziau, J.-Y. . Possible worlds - Workshop with Saul Kripke, Neuchâtel, Suiça. 2008 (Université de Neuchâtel)
    • Beziau, J.-Y. . CMSRA IV - International Workshop on Computational Models of Scientific Reasoning and Applications. 2005 (Universidade nova de Lisboa)
    • Beziau, J.-Y. . CMSRA III - International Workshop on Computational Models of Scientific Reasoning and Applications. 2003 (Univerridad de Buenos Aires)
    • Beziau, J.-Y. . FLoC 2002 Federated Logic Conference. 2002 (University of Copenhaguen)
    • Béziau, Jean-Yves . 3rd World Congress on the Square of Opposition, American University of Beirut. 2012 (American University of Beirut)
    • Béziau, Jean-Yves . Logic in Question II, Paris Sorbonne, França. 2012 (Srobonne)
    • Béziau JY ; DOTTAVIANO, I. ; Costa-Leite, A. . 4th World Congress and School on Universal Logic, Rio, Brasil. 2013 (ufrj)
    • Beziau, J.-Y. . Logic in Question III, Paris Sorbonne, França. 2013 (Sorbonne)
    • Béziau JY . 4th World Congress on the Square of Opposition, Vaticano. 2014 (Pontifícia Universidade Lateranense)
    • Béziau JY . Logic in Question IV, Paris, Sorbonne, França. 2014 (Universidade Paris Sorbonne)
    • Béziau JY . 5th World Congress on Paraconsistency, Kolkata, India. 2014 (Indian Statistical Institute)
    • Béziau JY . 5th World Congress and School on Universal Logic. 2015 (University of Istanbul)
    • Beziau, J.-Y. . Logic in Question VI. 2016 (Université Sorbonne Nouvelle Paris 3)
    • Beziau, J.-Y. ; CORREIA, M. . 5th World Congress on the Square of Opposition,. 2016 (PUC - Santiago do Chile)
    • Beziau, J.-Y. ; SILVESTRE, R. S. . 1sdt World Congress on Logic and Religion. 2015 (CAPES)
    • Beziau, J.-Y. ; SILVESTRE, R. S. . 2nd World Congress on Logic and Religion. 2017 (Universidade de Varsovia)
    • Beziau, J.-Y. ; DESCLES, J. . Logic in Question VII. 2017 (Sorbonne)
    • Beziau, J.-Y. . A R B I T R A R I N E S S OF THE S I G N. 2017 (Universidade de Genebra)
    • BEZIAU, JEAN-YVES . 6th World Congress and School on Universal Logic. 2018 (Université Clermont Auvergne UCA - França)
    • BEZIAU, JEAN-YVES . Logic in Question VIII. 2018 (Ecole Normale Supérieure, Paris)
    • BEZIAU, JEAN-YVES . Logic in Question V. 2015 (Université Paris Sorbonne)
    • BEZIAU, JEAN-YVES . L'IMAGINATION - 37ème congrès de l'Association des Sociétés de Philosophie de Langue Française (ASPLF). 2018 (Universidade Federal do Rio de Janeiro)
    • Beziau, J.-Y. . XV EBL -15th Brazilian Logic Conference and XIV SLALM ? 14th Latin-American Symposium on Mathematical Logic - Member of the Scientific Committe. 2008 (UNICAMP)
    • Béziau, Jean-Yves . Méthodes de Gentzen. 1994 (Departamento de Filosofia, Universidade de São Paulo)
    • Béziau, Jean-Yves . Aspectos da Lógica Universal. 1995 (Departamentos de Filosofia e de Informática, Pontifícia Universidade Católica do Rio de Janeiro)
    • Béziau, Jean-Yves . Introdução à Lógica. 1996 (Departamento de Matemática, Universidade Federal do Pará)
    • Béziau, Jean-Yves . Introdução à Teoria da Prova. 1997 (Departamento de Análise, Universidade Federal Fluminense)
    • Béziau, Jean-Yves . Introduction à la Logique Paraconsistante. 2001 (École Normale Supérieure)
    • Béziau, Jean-Yves . Introdução à Lógica Paraconsistente. 2001 (Sociedade Brasileira de Computação)
    • Béziau, Jean-Yves . Nouvelles perspectives sur la quantification. 2003 (3e cycle romand de logique - La quantification interprétée)
    • Béziau, Jean-Yves . Introduction to Universal Logic. 2005 (1st World Congress and School on Universal Logic)
    • Béziau, Jean-Yves . Introduction to Universal Logic. 2008 (Second Indian Winter School on Logic)
    • Béziau, Jean-Yves . Introduction to Paraconsistent Logic. 2000 (12th European Summer School in Logic, Language and Information ? ESSLI)
    • Nome do projeto: Locia (1996 - 1998
      Natureza: Pesquisa
      Integrantes: Béziau, Jean-Yves , PEQUENO, T. H. C. , Ana Teresa de Castro Martins , VELOSO, S. R. M. , Arthur Ronald de Vallauris Buchsbaum , Paulo Augusto Silva Veloso , ZAVERUCHA, G. .
      Descrição: Métodos Formais para o Raciocínio e a Representação do Conhecimento CNPq
    • Nome do projeto: Lógica em Computação Universal 14 2008 Processo: 478364/2008-3 (2008 - 2010
      Natureza: Pesquisa
      Integrantes: Béziau, Jean-Yves , R.P. de Freitas , VIANA, J. P. , MARCOS, J. , PEQUENO, T. H. C. , Ana Teresa de Castro Martins , VELOSO, S. R. M. , Arthur Ronald de Vallauris Buchsbaum , Marcelino Cavalcante Pequeno , Paulo Augusto Silva Veloso .
      Descrição: O propósito deste projeto é contribuir para o avanço da lógica matemática como ferramenta para resolver problemas em Ciência da Computação. No âmbito do projeto a lógica matemática será estudada sob uma diversidade de aspectos do ponto de vista semântico (conteúdo), do ponto de vista sintático (forma), como linguagem de representação, como ferramenta inferencial tendo sempre em vista sua aplicabilidade em ciência da computação: Este é o motivo condutor do projeto, o uso da lógica como estratégia de desenvolvimento da ciência computação. Algumas contribuições do projeto serão dentro da própria lógica, novos resultados teóricos ampliando os recursos da lógica de modo a expandir as possibilidades de uso na computação; outras serão diretamente em aplicações computacionais, mostrando uma abordagem lógica para alguns problemas em computação.
    • Nome do projeto: Negação e Verdade Projeto 20469 (2011 Atual)
      Natureza: Pesquisa
      Integrantes: Béziau, Jean-Yves .
      Descrição: O objetivo dessa pesquisa é entender melhor a ideia de negação numa perspectiva filosófica e lógica, relacionando o conceito de negação com a noções de verdade, valor de verdade, verdade lógica.
    • Nome do projeto: Logical Consequence and Combinations of Logics - Fundaments and Efficient Applications (ConsRel 2004\14107-2) (2005 - 2009
      Natureza: Pesquisa
      Integrantes: Béziau, Jean-Yves , Carnielli, W. A. , Gabbay, D. M. , MARCOS, J. , Coniglio, M. E. .
      Descrição: A noção de inferência lógica é de fundamental importância não somente em todas as formas de argumentação (sejam formais ou informais) mas também em diferentes aspectos da computação. O estudo de inferências lógicas para aplicações requer a compreensão da combinação de mecanismos lógicos de diferentes características. Este projeto está focalizado em métodos específicos para combinar lógicas, assim como nos aspectos semãnticos, algébricos e computacionais dos sistemas resultantes. Do ponto de vista das aplicações eficientes, os métodos de aproximação para as inferências proposicionais e quantificacionais oferecem uma perspectiva promissória no estudo das complexidades intrínsecas envolvidas. Este projeto envolve 22 pesquisadores com diferentes formações acadêmicas provenientes da USP, da UNESP e da UNICAMP, com o suporte de 8 pesquisadores provenientes de 3 instituições internacionais de pesquisa. Integrantes: Itala Maria Loffredo D'Ottaviano - Integrante / Walter Alexandre Carnielli - Coordenador / Marcelo Esteban Coniglio - Integrante / Carlos Caleiro - Integrante / Hércules de Araújo Feitosa - Integrante / Cristina Sernadas - Integrante / João Rasga - Integrante / Paulo Mateus - Integrante / Amilcar Sernadas - Integrante / Luís Augusto Sbardellini - Integrante / Juliana Bueno - Integrante / Hugo Mariano - Integrante / Odilon Otávio Luciano - Integrante / Renata Wassermann - Integrante / Marcelo Finger - Integrante / Jean Yves Béziau - Integrante / Dov Gabbay - Integrante / Angela Weiss - Integrante / Flávio Correia da Silva - Integrante / Milton Augustinis de Castro - Integrante / Carlos Hifume - Integrante / Eudenia Xavier Meneses - Integrante / Joselyto Riani - Integrante / Juan Carlos Agudelo Agudelo - Integrante / Rodrigo de Alvarenga Freire - Integrante / Paulo Petrillo - Integrante / Adolfo Gustavo Serra Seca Neto - Integrante / Guilherme Rabello - Integrante / Joao Marcos de Almeida - Integrante. Financiador(es): Fundação de Amparo à Pesquisa do Estado de
    • Nome do projeto: Academos - Philosophies et Sciences : la Question des Frontières (2004 - 2007
      Natureza: Pesquisa
      Integrantes: Béziau, Jean-Yves , Anne.Fraçoise Schmid , F.Varennes , J.-C. Dumoncel , G.Heizmann .
      Descrição: Les relations entre sciences et philosophies sont à un tournant. La « philosophie des sciences » classique ne suffit plus. On ne peut plus admettre qu?une philosophie puisse prendre naïvement pour objet les sciences. Aucune philosophie ne peut à elle seule survoler les sciences. On ne peut plus admettre pour naturelle la distinction entre science et philosophie. De même que les points, les droites et les plans de la géométrie classique sont passés du statut d?objets donnés à celui de systèmes d?opérations, puis de systèmes d?axiomes, l?identification des sciences et des philosophies exige l?élaboration d?hypothèses. C?est dans ce contexte théorique que le dossier d?Academos trouve sa place. Il est un dossier sur le paradigme classique et les changements contemporains dans les relations entre philosophies et sciences.
    • Nome do projeto: Brain project (2000 - 2002
      Natureza: Pesquisa
      Integrantes: Béziau, Jean-Yves , P.Suppes .
    • Nome do projeto: GeTFun: Generalizing Truth-Functionality (2013 Atual)
      Natureza: Pesquisa
      Integrantes: Béziau, Jean-Yves , MARCOS, J. , CALEIRO, C. .
      Descrição: Marie Curie project PIRSES-GA-2012-318986 funded by EU-FP7 (January 1, 2013 - December 31, 2016) The scientific guideline of the GeTFun project is to study and relate various well-motivated ways in which the attractive properties and meta-properties of truth-functionality may be generalized to cover more extensive logical grounds. Besides the abstract, model- and proof-theoretical aspects, the project will keep a strong focus in meaningful application areas where the complexity of the phenomena involved goes beyond the scope of standard approaches. The impact and relevance of the proposed line of work should accordingly be measured directly by its foundational character with respect to a better and deeper understanding of meaning in logics modeling complex phenomena and, of necessity, suitable general forms of compositional reasoning. Carlos Caleiro & Joao Marcos de Almeida - Coordenadores / Regivan Hugo Nunes Santiago - Integrante / Luiz Carlos Pereira - Integrante / Ofer Arieli - Integrante / Arnon Avron - Integrante / Jean-Yves Béziau - Integrante / Carolina Blasio - Integrante / Carlos Caleiro - Integrante / Agata Ciabattoni - Integrante / Valeria de Paiva - Integrante / Razvan Diaconescu - Integrante / Edward Hermann Haeusler - Integrante / Beata Konikowska - Integrante / Ori Lahav - Integrante / Manuel Martins - Integrante / Alexandre Rademaker - Integrante / Jaime Ramos - Integrante / Yaroslav Shramko - Integrante / Luca Viganò - Integrante / Anna Zamansky - Integrante. Instituto de Telecomunicações, Portugal (coordination); Institute of Mathematics Simion Stoilov, Romania; Institute of Computer Science of the Polish Academy of Sciences, Poland Tel-Aviv University, Israel; Technische Universitaet Wien, Austria; Academic College of Tel-Aviv-Yafo, Israel; Universidade de Aveiro, Portugal; Università degli Studi di Verona, Italy; Fundação Getúlio Vargas, Brazil; Kryvyi Rih National University, Ukraine; Pontifícia;Universidade Católica do Rio de Janeiro, Brazil; Universidade Federal do Rio de Janeiro, Brazil; Universidade Federal do Rio Grande do Norte, Brazil; Universidade Estadual de Campinas, Brazil
    • Nome do projeto: Métodos Formais em Filosofia: Aplicações da Lógica à Filosofia da Religião (2013 Atual)
      Natureza: Pesquisa
      Integrantes: Béziau, Jean-Yves , PEQUENO, T. H. C. , SILVESTRE, R. S. .
      Descrição: Projeto CNPq - Universal
    • Kritz, M. V. ; Béziau, Jean-Yves . Epistemologia das Ciências Pós-Biológicas. 1997 - Organização de seminário semanal
    • Béziau, Jean-Yves ; Rios, I. L. ; VIANA, J. P. . Matemática em Perspectiva. 1997 - Organização de seminário mensal
    • Béziau, Jean-Yves ; VIANA, J. P. . Seminário de Lógica Matemática e Filosofia da Matemática. 1997 - Organização de seminário semanal
    • Béziau, Jean-Yves ; Joray, P. . Seminário de Lógica. 2002 - Organização de seminário mensal
    • Mathieu, N. ; Schmidt, A.-F. ; Béziau, Jean-Yves ; Varenne, F. . Petit Collège ? Seminário interdisciplinar sobre modelagem. 2006 - Organização de seminário trimestral
    • Béziau, Jean-Yves . Recherches sur la Logique Abstraite: les Logiques Normales. 1992 - Palestra
    • Béziau, Jean-Yves . La Critique Schopenhauerienne de l?Usage de la Logique en Mathématiques. 1992 - Palestra
    • Béziau, Jean-Yves . Recherches sur la Logique Abstraite: les Logiques Normales. 1992 - Palestra
    • Béziau, Jean-Yves . La Logique selon Schopenhauer. 1992 - Palestra
    • Béziau, Jean-Yves . Les Fondements de la logique: Principes et Structures. 1992 - Palestra
    • Béziau, Jean-Yves . La Logique Abstraite. 1992 - Palestra
    • Béziau, Jean-Yves . La Logique selon Schopenhauer. 1992 - Palestra
    • Béziau, Jean-Yves . Logique Abstraite et Théorie de la Valuation. 1992 - Palestra
    • Béziau, Jean-Yves . Os Fundamentos da Lógica. 1992 - Palestra
    • Béziau, Jean-Yves . La Logique Universelle. 1994 - Palestra
    • Béziau, Jean-Yves . Séquents, Valuation, Algèbre. 1994 - Palestra
    • Béziau, Jean-Yves . Les Logiques Polyvalentes. 1995 - Palestra
    • Béziau, Jean-Yves . Lógica e Matemática. 1995 - Palestra
    • Béziau, Jean-Yves . Teoria das Valorações. 1995 - Palestra
    • Béziau, Jean-Yves . La Notion de Structure. 1995 - Palestra
    • Béziau, Jean-Yves . A Lógica Universal. 1995 - Palestra
    • Béziau, Jean-Yves . Polymorphisme I. 1996 - Palestra
    • Béziau, Jean-Yves . A Lógica Universal. 1996 - Palestra
    • Béziau, Jean-Yves . Polymorphisme II. 1996 - Palestra
    • Béziau, Jean-Yves . Polymorphisme III. 1996 - Palestra
    • Béziau, Jean-Yves . Introdução à Obra do Prof. Newton C.A. da Costa. 1998 - Palestra
    • Béziau, Jean-Yves . O Paradoxo da Tradução Lógica. 1998 - Palestra
    • Béziau, Jean-Yves . A Negação e o Principio de Contradição. 1998 - Palestra
    • Béziau, Jean-Yves . Tendências Atuais da Filosofia. 1998 - Palestra
    • Béziau, Jean-Yves . A Lógica Universal. 1998 - Palestra
    • Béziau, Jean-Yves . Sobre algumas Relações entre as Lógicas Modal e Paraconsistente. 1999 - Palestra
    • Béziau, Jean-Yves . A Alegoria da Caverna Revisitada. 1999 - Palestra
    • Béziau, Jean-Yves . O Cálculo Proposicional Clássico sob o ponto de vista da Lógica Universal. 2001 - Palestra
    • Béziau, Jean-Yves . Mundos possíveis: uma impostura intelectual?. 2002 - Palestra
    • Béziau, Jean-Yves . O Poliedro das Oposições. 2003 - Palestra
    • Béziau, Jean-Yves . O quadrado das oposições em perspectiva. 2003 - Palestra
    • Béziau, Jean-Yves . Le Concept d?Ensemble et sa Représentation Intuitive. 1990 - Palestra
    • Béziau, Jean-Yves . La Logique Paraconsistante C1 de Newton C. A. da Costa. 1991 - Palestra
    • Béziau, Jean-Yves . La Logique Paraconsistante. 1991 - Palestra
    • Béziau, Jean-Yves . Sémantique Bivalente. 1991 - Palestra
    • Béziau, Jean-Yves . Abstract Logic. 1992 - Palestra
    • Béziau, Jean-Yves . Abstract Logic. 1992 - Palestra
    • Béziau, Jean-Yves . From Paraconsistent Logic to Abstract Logic. 1992 - Palestra
    • Béziau, Jean-Yves . Abstract Semantics. 1992 - Palestra
    • Béziau, Jean-Yves . Universal Logic. 1992 - Palestra
    • Béziau, Jean-Yves . Abstract Logic and Modern Matematics. 1993 - Palestra
    • Béziau, Jean-Yves . Rules, Derived Rules, Permissible Rules and the Various Types of Systems of Deduction. 1993 - Palestra
    • Béziau, Jean-Yves . Critical Remarks about Tarksi?s Interpretation of the Liar. 1993 - Palestra
    • Béziau, Jean-Yves . What is Negation?. 1993 - Palestra
    • Béziau, Jean-Yves . On Logical Truth. 1993 - Palestra
    • Béziau, Jean-Yves . Le Monde des Logiques Possibles. 1994 - Palestra
    • Béziau, Jean-Yves . Universal Logic: Some Results in Abstract Completeness. 1995 - Palestra
    • Béziau, Jean-Yves . What is Many-Valued Logic?. 1997 - Palestra
    • Béziau, Jean-Yves . Was Frege Wrong when Identifying Reference with Truth-Value?. 1997 - Palestra
    • Béziau, Jean-Yves . Is a Logic of Contradiction Possible?. 2001 - Palestra
    • Béziau, Jean-Yves . Some Connections between Paraconsistent and Modal Logic. 2001 - Palestra
    • Béziau, Jean-Yves . Some Connections between Paraconsistent and Modal Logic. 2001 - Palestra
    • Béziau, Jean-Yves . Paraconsistent Logic and Modal Logic. 2001 - Palestra
    • Béziau, Jean-Yves . Modality, Negation and the Square of Opposition. 2001 - Palestra
    • Béziau, Jean-Yves . What is Classical Propositional Logic?. 2001 - Palestra
    • Béziau, Jean-Yves . Possible Worlds: a Fashionable Nonsense?. 2001 - Palestra
    • Béziau, Jean-Yves . Is Modal Logic Possible?. 2002 - Palestra
    • Béziau, Jean-Yves . Modality, Negation and the Square of Opposition. 2002 - Palestra
    • Béziau, Jean-Yves . On some Connections between Paraconsistent and Modal Logic. 2002 - Palestra
    • Béziau, Jean-Yves . La logique universelle. 2002 - Palestra
    • Béziau, Jean-Yves . The square of oppositions, modal logic and paraconsistent logic. 2002 - Palestra
    • Béziau, Jean-Yves . Theory of valuation. 2002 - Palestra
    • Béziau, Jean-Yves . The square of oppositions, modal logic and paraconsistent logic. 2002 - Palestra
    • Béziau, Jean-Yves . The square of oppositions, modal logic and paraconsistent logic. 2002 - Palestra
    • Béziau, Jean-Yves . Le principe d?identité. 2002 - Palestra
    • Béziau, Jean-Yves . Le carré des oppositions en perspective. 2003 - Palestra
    • Béziau, Jean-Yves . Le carré des oppositions en perspective. 2003 - Palestra
    • Béziau, Jean-Yves . Le principe de contradiction en perspective. 2003 - Palestra
    • Béziau, Jean-Yves . La notion de contradiction en philosophie et en logique. 2003 - Palestra
    • Béziau, Jean-Yves . The intuitive semantical background of the sequent calculus. 2003 - Palestra
    • Béziau, Jean-Yves . New Light at the Square of Opposition and its Nameless Corner. 2003 - Palestra
    • Béziau, Jean-Yves . Le Carré des Oppositions en Perspective. 2003 - Palestra
    • Béziau, Jean-Yves . Negation and Modality. 2003 - Palestra
    • Béziau, Jean-Yves . Variable et Constante. 2003 - Palestra
    • Béziau, Jean-Yves . Semantic Computation based on Associations already Learned. 2003 - Palestra
    • Béziau, Jean-Yves . Les mondes possibles inutiles?. 2003 - Palestra
    • Béziau, Jean-Yves . Universal Logic. 2004 - Palestra
    • Béziau, Jean-Yves . La Logique Paraconsistante et ses Applications. 2004 - Palestra
    • Béziau, Jean-Yves . Mystérieuse Identité. 2004 - Palestra
    • Béziau, Jean-Yves . Cerveau, Vérité, Association. 2004 - Palestra
    • Béziau, Jean-Yves . Sequents and Bivaluation ? a General Completeness Theorem. 2004 - Palestra
    • Béziau, Jean-Yves . Sequents and Bivaluation ? a General Completeness Theorem. 2005 - Palestra
    • Béziau, Jean-Yves . La Logique Universelle. 2005 - Palestra
    • Béziau, Jean-Yves . La Caverne de Platon Revisitée. 2005 - Palestra
    • Béziau, Jean-Yves . Some fundamental problems in the combination of logics. 2005 - Palestra
    • Béziau, Jean-Yves . Universal Logic: Towards a general theory of logic. 2005 - Palestra
    • Béziau, Jean-Yves . Universal Logic: Towards a general theory of logic. 2005 - Palestra
    • Béziau, Jean-Yves . Les règles du jeu. 2006 - Palestra
    • Béziau, Jean-Yves . Universal Logic: Towards a general theory of logic. 2006 - Palestra
    • Béziau, Jean-Yves . Universal Logic: Towards a general theory of logic. 2006 - Palestra
    • Béziau, Jean-Yves . Universal Logic: Towards a general theory of logic. 2006 - Palestra
    • Béziau, Jean-Yves . Absolute maximality. 2006 - Palestra
    • Béziau, Jean-Yves . Universal Kripke Structures. 2007 - Palestra
    • Béziau, Jean-Yves . Universal Logic: Towards a general theory of logics. 2008 - Palestra
    • Béziau, Jean-Yves . Universal Logic: Towards a general theory of logics. 2008 - Palestra
    • Béziau, Jean-Yves . Universal Logic and the Foundations of Science. 2008 - Palestra
    • Béziau, Jean-Yves . Universal Logic and Modern Logic. 2008 - Palestra
    • Béziau, Jean-Yves . Universal Logic and Modern Logic. 2008 - Palestra
    • Béziau, Jean-Yves . Universal Logic: Towards a general theory of logics. 2008 - Palestra
    • Béziau, Jean-Yves . A Visão Bourbachique da Matemática. 1997 - Palestra
    • Mestrado:
      • Nome da Instituição: Université Paris Diderot
        Ano de conclusão: 1990
      • Nome da Instituição: Universidade de Paris I, Panthéon-Sorbonne
        Ano de conclusão: 1988
      • Nome da Instituição: Universidade de Paris I, Panthéon-Sorbonne
        Ano de conclusão: 1987
    • Doutorado:
      • Curso: Filosofia
        Nome da Instituição: Universidade de São Paulo
        Título: Sobre a verdade lógica
        Ano de conclusão: 1996
      • Curso: Lógica Matemática e Fundamentos da Informática
        Nome da Instituição: Université Paris Diderot
        Título: Recherches sur la logique universelle
        Ano de conclusão: 1995
    • Pos-doutorado:
      • Nome da Instituição: Ecole Normale Supérieure Paris
        Ano de conclusão: 2018
      • Nome da Instituição: University of California, San Diego
        Ano de conclusão: 2015
      • Nome da Instituição: Stanford University
        Ano de conclusão: 2001
      • Nome da Instituição: University of California, Los Angeles
        Ano de conclusão: 1995
    • Department of Logic - University of Wroclaw:
      • Tipo de vínculo: Colaborador (1992 - 1993 ).
        Outras informações: Convidado por Jan Zygmunt
        Outras informações: Colaborador
    • Universidade de São Paulo:
      • Tipo de vínculo: Livre (1991 - 1992 ).
        Outras informações: Convidado por Newton C. A. da Costa
        Outras informações: Bolsista
    • Instituto de Estudos Avançados - Universidade de São Paulo:
      • Tipo de vínculo: Livre (1994 - 1995 ).
        Outras informações: Convidado por Newton C. A. da Costa
        Outras informações: Bolsista da Suíça
    • Laboratório Nacional de Computação Científica:
      • Tipo de vínculo: Colaborador (1996 - 1999 ).
        Outras informações: Convidado por Maurício V. Kritz.
        Outras informações: Colaborador
    • Universidade Federal Fluminense:
      • Tipo de vínculo: Livre (1999 - 2000 ).
        Outras informações: Professor Convidado
    • Université de Neuchâtel:
      • Tipo de vínculo: Livre (2002 - 2008 ).
        Outras informações: Swiss National Science Foundation
    • Universidade Federal do Ceará:
      • Tipo de vínculo: Livre (2008 - 2010 ).
        Outras informações: bolsista CNPq - DCR - Nível A
    • Journal of Logic and Computation:
      • Tipo de vínculo: Livre (2007 - Atual ).
    • Logica universalis:
      • Tipo de vínculo: Livre (2005 - Atual ).
        Outras informações: Editor-chefe e Fundador
    • International Journal of Philosophical Practice:
      • Tipo de vínculo: Livre (2000 - Atual ).
    • Universidade Federal do Rio de Janeiro:
      • Tipo de vínculo: Servidor_publico (2010 - Atual ).
        Outras informações: Professor adjunto
    • Universidade Estadual de Campinas:
      • Tipo de vínculo: Colaborador (2005 - 2009 ).
        Outras informações: pesquisador
    • Centre National de la Recherche Scientifique:
      • Tipo de vínculo: Colaborador (2004 - 2007 ).
        Outras informações: pesquisador
    • Stanford University:
      • Tipo de vínculo: Colaborador (2000 - 2002 ).
        Outras informações: pesquisador
    • Logica Universalis - Birkhauser/Springer, Basel:
      • Tipo de vínculo: Livre (2005 - Atual ).
        Outras informações: Editor
    • Studies in Universal Logic - Book Series - Birkhauser/Springer, Basel:
      • Tipo de vínculo: Livre (2005 - Atual ).
        Outras informações: Editor
    • Ecole Polytechnique Fédérale de Lausanne:
      • Tipo de vínculo: Colaborador (2008 - 2008 ).
        Outras informações: Visita e palestras no centros de pesquisas mais importantes da India: Kanpur, Mumbai, Chennai
        Outras informações: INDO SWISS BILATERAL RESEARCH INITIATIVE
    • Universidade de Lisboa:
      • Tipo de vínculo: Colaborador (2013 - 2017 ).
        Outras informações: Participação do projeto GeTFun MarieCurie FP7
    • Universidade Federal de Campina Grande:
      • Tipo de vínculo: Colaborador (2013 - 2015 ).
        Outras informações: Participação de projeto CNPq Universal
    • Logique et Analyse:
      • Tipo de vínculo: Livre (1992 - Atual ).
    • Synthese (Dordrecht):
      • Tipo de vínculo: Livre (2013 - Atual ).
    • Logic and Logical Philosophy:
      • Tipo de vínculo: Livre (2003 - Atual ).
    • Revista Brasileira de Filosofia:
      • Tipo de vínculo: Livre (2010 - Atual ).
    • University of Lodz. Department of Logic. Bulletin of the Section of Logic:
      • Tipo de vínculo: Livre (1999 - Atual ).
    • History and Philosophy of Logic:
      • Tipo de vínculo: Livre (2012 - Atual ).
    • Journal of Applied Logic:
      • Tipo de vínculo: Livre (2004 - Atual ).
    • Logic Journal of the IGPL (Print):
      • Tipo de vínculo: Livre (2000 - Atual ).
    • Conselho Nacional de Desenvolvimento Científico e Tecnológico:
      • Tipo de vínculo: Livre ( - Atual ).
      • Tipo de vínculo: Livre ( - Atual ).
    • European Research Council:
      • Tipo de vínculo: Livre (2012 - Atual ).
    • Internet Encyclopedia of Philosophy:
      • Tipo de vínculo: Livre (2013 - Atual ).
        Outras informações: Editor
    • Ludwig-Maximilians-Universität München:
      • Tipo de vínculo: Professor_visitante (2011 - 2012 ).
        Outras informações: DAAD
    • Swiss National Science Foundation:
      • Tipo de vínculo: Servidor_publico (2002 - 2008 ).
        Outras informações: pesquisador
    • South American Journal of Logic:
      • Tipo de vínculo: Livre (2014 - Atual ).
        Outras informações: http://www.sa-logic.org/
    • College Publications - Londres:
      • Tipo de vínculo: Livre ( - Atual ).
      • Tipo de vínculo: Livre ( - Atual ).
      • Tipo de vínculo: Livre ( - Atual ).
    • Theoria (Madrid):
      • Tipo de vínculo: Livre (1995 - Atual ).
    • philosophies:
      • Tipo de vínculo: Livre (2015 - Atual ).
        Outras informações: http://www.mdpi.com/journal/philosophies/editors Philosophies (ISSN 2409-9287, http://www.mdpi.com/journal/philosophies) is an international, peer-reviewed, open access journal dedicated to scientific research and philosophical reflection concerning themes at the intersection of philosophical, scientific, technological, and cultural studies. Although the philosophy of science, with its foundations in epistemology, scientific methodology, and the history of science, is at the core of the scope of Philosophies, the journal seeks much broader perspectives that integrate the diverse intellectual tools developed in a large variety of scientific disciplines and philosophical systems. The ultimate goal of the journal is to reach for a synthesis of knowledge using the collective wisdom of diverse methodologies.
    • American Mathematical Society:
      • Tipo de vínculo: Livre (1994 - Atual ).
        Outras informações: Revisor
    • FAPERJ:
      • Tipo de vínculo: Livre (1999 - 2000 ).
        Outras informações: pesquisador
    • University of California, Los Angeles:
      • Tipo de vínculo: Livre (1994 - 1994 ).
        Outras informações: Fulbright Fellow
    • University of California, San Diego:
      • Tipo de vínculo: Professor_visitante (2014 - 2014 ).
        Outras informações: Professor Visitante
    • Tel-Aviv University:
      • Tipo de vínculo: Professor_visitante (2015 - 2015 ).
        Outras informações: Professor /Pesquisador convidado
    • Sociedade Brasileira de Lógica:
      • Tipo de vínculo: Livre ( - Atual ).
      • Tipo de vínculo: Livre ( - ).
    • Academia Brasileira de Filosofia:
      • Tipo de vínculo: Livre (2013 - Atual ).
        Outras informações: Diretor de Relações Internacionais
    • Foundations of Science:
      • Tipo de vínculo: Livre (2016 - Atual ).
    • Paraconsistent Newsletter:
      • Tipo de vínculo: Livre (2005 - Atual ).
        Outras informações: http://www.paraconsistency.org/2016f
        Outras informações: Fundador e Editor