Jean-Yves Béziau
Encyclopedia
Jean-Yves Béziau is a professor and researcher of the Brazilian Research Council - CNPq - at the Federal University of Ceara, Brazil
. Béziau is a dual citizen
of France
and Switzerland
. He is a fluent speaker of English
and Portuguese
as well as his native French
, and has published works in all three of these languages.
A former student of (and frequent collaborator with) Newton da Costa
, he works in the field of logic
—in particular, paraconsistent logic
and universal logic
. He holds a PhD
in Philosophy
from the University of São Paulo
and a PhD in Logic and Foundations of Computer Science
from the University of Paris 7.
He is the Editor-in-Chief and founder of the journal Logica Universalis
and the Springer
book series Studies in Universal Logic.
Brazil
Brazil , officially the Federative Republic of Brazil , is the largest country in South America. It is the world's fifth largest country, both by geographical area and by population with over 192 million people...
. Béziau is a dual citizen
Multiple citizenship
Multiple citizenship is a status in which a person is concurrently regarded as a citizen under the laws of more than one state. Multiple citizenships exist because different countries use different, and not necessarily mutually exclusive, citizenship requirements...
of France
France
The French Republic , The French Republic , The French Republic , (commonly known as France , is a unitary semi-presidential republic in Western Europe with several overseas territories and islands located on other continents and in the Indian, Pacific, and Atlantic oceans. Metropolitan France...
and Switzerland
Switzerland
Switzerland name of one of the Swiss cantons. ; ; ; or ), in its full name the Swiss Confederation , is a federal republic consisting of 26 cantons, with Bern as the seat of the federal authorities. The country is situated in Western Europe,Or Central Europe depending on the definition....
. He is a fluent speaker of English
English language
English is a West Germanic language that arose in the Anglo-Saxon kingdoms of England and spread into what was to become south-east Scotland under the influence of the Anglian medieval kingdom of Northumbria...
and Portuguese
Portuguese language
Portuguese is a Romance language that arose in the medieval Kingdom of Galicia, nowadays Galicia and Northern Portugal. The southern part of the Kingdom of Galicia became independent as the County of Portugal in 1095...
as well as his native French
French language
French is a Romance language spoken as a first language in France, the Romandy region in Switzerland, Wallonia and Brussels in Belgium, Monaco, the regions of Quebec and Acadia in Canada, and by various communities elsewhere. Second-language speakers of French are distributed throughout many parts...
, and has published works in all three of these languages.
A former student of (and frequent collaborator with) Newton da Costa
Newton da Costa
Newton Carneiro Affonso da Costa is a Brazilian mathematician, logician, and philosopher. He studied engineering and mathematics at the Federal University of Paraná in Curitiba and the title of his 1961 Ph.D...
, he works in the field of logic
Logic
In philosophy, Logic is the formal systematic study of the principles of valid inference and correct reasoning. Logic is used in most intellectual activities, but is studied primarily in the disciplines of philosophy, mathematics, semantics, and computer science...
—in particular, paraconsistent logic
Paraconsistent logic
A paraconsistent logic is a logical system that attempts to deal with contradictions in a discriminating way. Alternatively, paraconsistent logic is the subfield of logic that is concerned with studying and developing paraconsistent systems of logic.Inconsistency-tolerant logics have been...
and universal logic
Universal logic
Universal logic is the field of logic that is concerned with giving an account of what features are common to all logical structures. Universal logic aims to be to logic what universal algebra is to algebra; currently there is no universally accepted notion of logic...
. He holds a PhD
PHD
PHD may refer to:*Ph.D., a doctorate of philosophy*Ph.D. , a 1980s British group*PHD finger, a protein sequence*PHD Mountain Software, an outdoor clothing and equipment company*PhD Docbook renderer, an XML renderer...
in Philosophy
Philosophy
Philosophy is the study of general and fundamental problems, such as those connected with existence, knowledge, values, reason, mind, and language. Philosophy is distinguished from other ways of addressing such problems by its critical, generally systematic approach and its reliance on rational...
from the University of São Paulo
University of São Paulo
Universidade de São Paulo is a public university in the Brazilian state of São Paulo. It is the largest Brazilian university and one of the country's most prestigious...
and a PhD in Logic and Foundations of Computer Science
Computer science
Computer science or computing science is the study of the theoretical foundations of information and computation and of practical techniques for their implementation and application in computer systems...
from the University of Paris 7.
He is the Editor-in-Chief and founder of the journal Logica Universalis
Logica Universalis
Logica Universalis is a peer-reviewed academic journal which covers research related to universal features of logic. Topics covered include tools and techniques for studying existing systems of logic and constructing new ones, the study of the various classes of logical systems, the scope of...
and the Springer
Springer Science+Business Media
- Selected publications :* Encyclopaedia of Mathematics* Ergebnisse der Mathematik und ihrer Grenzgebiete * Graduate Texts in Mathematics * Grothendieck's Séminaire de géométrie algébrique...
book series Studies in Universal Logic.
Selected publications
- Logica Universalis: Towards a General Theory of Logic (ed.). Basel: Birkhäuser Verlag, 2005, Second Edition 2007. ISBN 3764372591
- Handbook of Paraconsistency (ed. with Walter CarnielliWalter CarnielliWalter Alexandre Carnielli is a Brazilian mathematician, logician, and philosopher, full professor of Logic at the . With a Bachelor and a Ms.C. degree in mathematics at the in Campinas he obtained his Ph.D. in 1984 in the same university under the supervision of Newton C...
and Dov GabbayDov GabbayDov M. Gabbay is Augustus De Morgan Professor of Logic at the Group of Logic, Language and Computation, Department of Computer Science, King's College London . He has authored over four hundred and fifty research papers and over thirty research monographs...
). London: King's College, 2007. ISBN 9781904987734 - Semantic computation of truth based on associations already learned (with Patrick SuppesPatrick SuppesPatrick Colonel Suppes is an American philosopher who has made significant contributions to philosophy of science, the theory of measurement, the foundations of quantum mechanics, decision theory, psychology, and educational technology...
), Journal of Applied Logic, 2 (2004), pp. 457–467. - "What is paraconsistent logic?" In D. Batens et al. (eds.), Frontiers of Paraconsistent Logic, Research Studies Press, Baldock, 2000, pp. 95–111. ISBN 0863802532