Universal Logic: Evolution of a Project

Béziau, Jean-Yves

doi:10.1007/s11787-018-0194-7

Cited by 8 publications

(4 citation statements)

References 16 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…• Many-valuedness, including in particular many-valued logical matrices, is a tool for developing universal logic. But, as we have pointed out in previous papers (see [Béziau, 2006b] and [Béziau, 2018b]), universal logic is not restricted to a mathematical metatheory, it encompasses also philosophical and methodological questions. Manyvaluedness with its twofold relation with universal logic is a good opportunity to discuss the many virtues of both many-valuedness and universal logic.…”

Section: Many-valuedness and Universal Logicmentioning

confidence: 86%

Many-valuedness from a universal logic perspective

Béziau

2020

View full text Add to dashboard Cite

We start by presenting various ways to define and to talk about many-valued logic(s). We make the distinction between on the one hand the class of many-valued logics and on the other hand what we call “many-valuedness”: the meta-theory of many-valued logics and the related meta-theoretical framework that is useful for the study of any logical systems. We point out that universal logic, considered as a general theory of logical systems, can be seen as an extension of many-valuedness. After a short story of many-valuedness, stressing that it is present since the beginning of the history of logic in Ancient Greece, we discuss the distinction between dichotomy and polytomy and the possible reduction to bivalence. We then examine the relations between singularity and universality and the connection of many-valuedness with the universe of logical systems. In particular, we have a look at the interrelationship between modal logic, 3-valued logic and paraconsistent logic. We go on by dealing with philosophical aspects and discussing the applications of many-valuedness. We end with some personal recollections regarding Alexander Karpenko, from our first meeting in Ghent, Belgium in 1997, up to our last meeting in Saint Petersburg, Russia in 2016.

show abstract

Section: Many-valuedness and Universal Logicmentioning

confidence: 86%

Many-valuedness from a universal logic perspective

Béziau

2020

View full text Add to dashboard Cite

show abstract

“…A general theory of logic systems has been developed, particularly to better understand strange phenomena and paradoxes mentioned in the previous section. Its given name is "universal logic" (1993) [35][36][37], but this theory goes back to the work of Paul Hertz (1881-1940) and Alfred Tarski in the 1920s [38,39]. Universal logic is not itself a system of logic; it is a general study of the various systems of logic, considered as logical structures, in the same way that universal algebra is a general study of algebras considered as algebraic structures [40].…”

Section: From the Universe Of Logic Systems To Universal Logicmentioning

confidence: 99%

“…In the sixth edition (Vichy, 2018), the universal logic contest took the shape of a World Logic Prizes Contest, in which winners of contests from different countries competed, universality being then about the unification of logic research worldwide [46,47]. In this same spirit, the Logica Universalis Association (LUA) launched on 14 January 2019 the first World Logic Day [48], which was recognized the same year unanimously by the general UNESCO assembly [49] and which since 2020 has been part of the calendar of international days of UNESCO (Figure 3).…”

mentioning

confidence: 99%

Why Logics?

Béziau

2023

Logics

Self Cite

View full text Add to dashboard Cite

In this paper we explain the different meanings of the word “logic” and the circumstances in which it makes sense to use its singular or plural form. We discuss the multiplicity of logical systems and the possibility of developing a unifying theory about them, not itself a logical system. We undertake some comparisons with other sciences, such as biology, physics, mathematics, and linguistics. We conclude by delineating the origin, scope, and future of the journal Logics.

show abstract

“…• 1992, Development of a general theory of logical structures • 1993, The name "Universal Logic" is coined for this theory • 1994, Publication of the paper "Universal Logic" [2] • 1995, PhD Recherches sur la logique universelle [ The Universal Logic Project is promoting the unification of logic through a general theory of logical systems, but also gathering the diversity of all logicians and promoting the many applications of logic and its transdisciplinary character (see [9,11]). The Logica Universalis Association (Fig.…”

Section: Background and Surrounding Of The World Logic Prizes Contestmentioning

confidence: 99%

The 2nd World Logic Prizes Contest, 7th UNILOG, Crete 2022

Béziau¹

2022

Log. Univers.

Self Cite

View full text Add to dashboard Cite

We discuss the evolution of the World Logic Prizes Contest. In a first section, we describe how this contest developed, on the on hand by the creation of the Universal Logic Prize starting in 2005 at the 1st World Congress and School on Universal Logic in Montreux, Switzerland, on the other hand by the creation of the Newton da Costa Logic Prize in Brazil in 2014. These two projects joined in 2018 by the organization of the 1st World Logic Prizes Contest at the 6th World Congress and School on Universal Logic in Vichy, France. In a second section, we talk about the organization of the 2nd World Logic Prizes Contest to take place in April 2022 at the 6th World Congress and School on Universal Logic in Crete, Greece. We explain that there will be 15 contestants from 15 different countries with a good geographic distribution. In a third section, we discuss how this project can develop in the future with the creation of more logic prizes, the creation of similar prizes in other fields and the organization of a World Scientific Prizes Contest.

show abstract

Universal Logic: Evolution of a Project

Cited by 8 publications

References 16 publications

Many-valuedness from a universal logic perspective

Many-valuedness from a universal logic perspective

Why Logics?

The 2nd World Logic Prizes Contest, 7th UNILOG, Crete 2022

Contact Info

Product

Resources

About