This proceedings volume stems from the 7th World Congress on the Square of Opposition, which took place in Leuven, Belgium, in September 2022, after the previous editions in Montreux, Switzerland in 2007, Corté, Corsica, in 2010, Beirut, Lebanon in 2012, Vatican City in 2014, Easter Island in 2016, and Crete in 2018. This interdisciplinary event gathered logicians, philosophers, mathematicians, semioticians, theologians, cognitivists, artists, and computer scientists. The theory of the square of opposition was developed based on a logical structure coming from Aristotelian logic, a square, which was expanded into more complex geometrical objects: hexagons, octagons, polyhedra, and even four-dimensional objects. It has been continuously studied for two thousand years and it can also be found in works by Gottlob Frege. Such a logical construction can be applied to many fields, ranging from metalogic to highway code, through economics, music, physics, color theory, and theology. This volume contains new advances on the different aspects of this theory: its history, philosophy, application, and mathematical shapes. The articles in this volume will be of interest to researchers and students in logic, mathematics, and philosophy alike.

Includes the papers presented at the 7th World Congress on the Square of Opposition in Leuven, in September 2022 Ranges over an array of topics, like logic, mathematics, philosophy, theology, and art Explores different applications of the square of opposition

Autorentext

Jean-Yves Beziau is a Swiss logician, philosopher and mathematician and has a PhD in mathematics and a PhD in philosophy. He has been living and working in different places: France, Brazil, Poland, Corsica, California (UCLA, Stanford, UCSD), and Switzerland. He is currently a professor at the University of Brazil in Rio de Janeiro, the former Director of Graduate Studies in Philosophy and the former President of the Brazilian Academy of Philosophy. He is the creator of the World Logic Day, yearly celebrated on January 14 (UNESCO international days), the World Logic Prizes Contest, the founder and Editor-in-Chief of the journal Logica Universalis and South American Journal of Logic, the book series Logic PhDs, Studies in Universal Logic and area logic editor of the Internet Encyclopedia of Philosophy. He has published about 200 research papers and 30 edited books and Special Issues of Journals.   Julio Michael Stern received his B.Sc. (1981) and M.Sc. (1983) in physics from the University of São Paulo (USP), followed by an M.Eng. (1990) and Ph.D. (1991) in operations research from Cornell University, and a Livre-Docência (2002) in computer science from USP. He is currently a full professor of applied mathematics at USP (since 2010). Stern has served as a research fellow at CNPq (2006–2025), the President of the Brazilian Chapter of the International Society for Bayesian Analysis (2010–2011), and the President of the IME-USP Research Council (2017–2020). He is a member of the Advisory Committee of the Brazilian Jurimetrics Association (since 2017) and of the Brazilian Academy of Philosophy (since 2019).  

Inhalt

Chapter 1. Multidimensional oppositions in Flatland.- Chapter 2. Nelson's Logical Diagrams.- Chapter 3. Internal Logics of Logical Hexagons in 3-Oppositional Quadrisimplexes.- Chapter 4. A hexagon of opposition to clarify Kant's two dichotomies: Analytic/synthetic a priori/a posteriori.- Chapter 5. On the Uniqueness of the Contrary.- Chapter 6. Logic meets Semiotics: From Greimas' square to the structure of semantic universes.- Chapter 7. Theories of opposites before Aristotle.- Chapter 8. Defining Universal logic as composed by a logical structure of two kinds of square of opposition and their mutual translations.- Chapter 9. Two Octagons of Opposition for a Variety of Theisms and Atheisms.- Chapter 10. Tetrahedron of Oppositions: A study in non-classical logics.- Chapter 11. Three Notions of Contingency Some Historical Considerations.- Chapter 12. Squares, Octagons, Hexadecagons, and Beyond: The Intuitionistic Case.- Chapter 13. Approximating to Universal Logic: Combining Different Kinds of Modalities in One Formal Axiomatic Theory Modeled Graphically by the Opposition-Square-and-Hexagon.- Chapter 14. Ontological Neutrality: The Square of Opposition and Abstract Model Theory.- Chapter 15. Intensional and extensional semantics for apodeictic syllogistics.