Room P3.10, Mathematics Building

J.-Y. Béziau, University of Brazil, Brazil and University of California, USA
Universal Logic: Past, Present and Future

In this talk I will recall how the project of universal logic has emerged and developed: by analogy to univeral algabra, inspired by Tarski's consequence operator and Bourbaki's structural approach. I will outline the future of this project, the idea being not only to develop tools and frameworks for a general theory of logical systems but also to promote logic in all its aspects: philosophical, computational, mathematical, linguistical, a general perspective for rationality and scientific research.