Universal logic

Last updated

Universal Logic is an emerging interdisciplinary field involving logic, non-classical logic, categorical logic, set theory, foundation of logic, and the philosophy and history of logic. The goal of the field is to develop an understanding of the nature of different types of logic. The expression Universal logic was coined by analogy with the expression Universal algebra by Jean-Yves Béziau. The aim was to develop Universal logic as a field of logic that studies the features common to all logical systems, aiming to be to logic what Universal algebra is to algebra, and guided by the features of "unity, generality, abstraction, and undetermination" [1] . A number of approaches to universal logic in this sense have been proposed since the twentieth century, using model theoretic and categorical approaches.

Contents

History and Development

The roots of universal logic as general theory of logical systems may go as far back as some work of Alfred Tarski in the early twentieth century and Paul Herz in 1922, but the modern notion was first presented in the 1990s by Swiss logician Jean-Yves Béziau. [2] [3] The term 'universal logic' has also been separately used by logicians such as Richard Sylvan and Ross Brady to refer to a new type of (weak) relevant logic. [4]

In the context defined by Béziau, three main approaches to universal logic have been explored in depth: [5]

While logic has been studied for centuries, Mossakowski et al commented in 2007 that "it is embarrassing that there is no widely acceptable formal definition of "a logic". [9] These approaches to universal logic thus aim to address and formalize the nature of what may be called 'logic' as a form of "sound reasoning". [9]

Community

Since 2005, Béziau has been organizing world congresses and schools on universal logic.

Publications in the field

A journal dedicated to the field, Logica Universalis , with Béziau as editor-in-chief started to be published by Birkhäuser Basel (an imprint of Springer) in 2007. [10] Springer also started to publish a book series on the topic, Studies in Universal Logic, with Béziau as series editor. [11]

An anthology titled Universal Logic was published in 2012, giving a new light on the subject. [12]

See also

Related Research Articles

In logic, the semantic principleof bivalence states that every declarative sentence expressing a proposition has exactly one truth value, either true or false. A logic satisfying this principle is called a two-valued logic or bivalent logic.

The history of logic deals with the study of the development of the science of valid inference (logic). Formal logics developed in ancient times in India, China, and Greece. Greek methods, particularly Aristotelian logic as found in the Organon, found wide application and acceptance in Western science and mathematics for millennia. The Stoics, especially Chrysippus, began the development of predicate logic.

In programming language theory, semantics is the rigorous mathematical study of the meaning of programming languages. Semantics assigns computational meaning to valid strings in a programming language syntax. It is closely related to, and often crosses over with, the semantics of mathematical proofs.

<span class="mw-page-title-main">Adolf Lindenbaum</span> Polish-Jewish mathematician and logician

Adolf Lindenbaum was a Polish-Jewish logician and mathematician best known for Lindenbaum's lemma and Lindenbaum–Tarski algebras.

Categorical logic is the branch of mathematics in which tools and concepts from category theory are applied to the study of mathematical logic. It is also notable for its connections to theoretical computer science. In broad terms, categorical logic represents both syntax and semantics by a category, and an interpretation by a functor. The categorical framework provides a rich conceptual background for logical and type-theoretic constructions. The subject has been recognisable in these terms since around 1970.

<span class="mw-page-title-main">Joseph Goguen</span> American computer scientist

Joseph Amadee Goguen was an American computer scientist. He was professor of Computer Science at the University of California and University of Oxford, and held research positions at IBM and SRI International.

The notion of institution was created by Joseph Goguen and Rod Burstall in the late 1970s, in order to deal with the "population explosion among the logical systems used in computer science". The notion attempts to "formalize the informal" concept of logical system.

The Latin term characteristica universalis, commonly interpreted as universal characteristic, or universal character in English, is a universal and formal language imagined by Gottfried Leibniz able to express mathematical, scientific, and metaphysical concepts. Leibniz thus hoped to create a language usable within the framework of a universal logical calculation or calculus ratiocinator.

<span class="mw-page-title-main">Jean-Yves Béziau</span> Logician


Jean-Yves Beziau (French:[bezjo]; born January 15, 1965, in Orléans, France is a Swiss Professor in logic at the University of Brazil, Rio de Janeiro, and Researcher of the Brazilian Research Council. He is permanent member and former president of the Brazilian Academy of Philosophy. Before going to Brazil, he was Professor of the Swiss National Science Foundation at the University of Neuchâtel in Switzerland and researcher at Stanford University working with Patrick Suppes.

In mathematical logic, abstract algebraic logic is the study of the algebraization of deductive systems arising as an abstraction of the well-known Lindenbaum–Tarski algebra, and how the resulting algebras are related to logical systems.

In mathematical logic, Lindström's theorem states that first-order logic is the strongest logic having both the (countable) compactness property and the (downward) Löwenheim–Skolem property.

In mathematical logic, institutional model theory generalizes a large portion of first-order model theory to an arbitrary logical system.

In mathematical logic, algebraic logic is the reasoning obtained by manipulating equations with free variables.

In mathematics, a De Morgan algebra (named after Augustus De Morgan, a British mathematician and logician) is a structure A = (A, ∨, ∧, 0, 1, ¬) such that:

<span class="mw-page-title-main">Walter Carnielli</span> Brazilian logician

Walter Alexandre Carnielli is a Brazilian mathematician, logician, and philosopher, who works as a full professor of Logic at the State University of Campinas. After obtaining his Bachelor and M.Sc. degrees in mathematics at the State University of Campinas, he also obtained his Ph.D. in 1984 there under the supervision of Newton da Costa; subsequently, he worked as a post-doc at the University of California at Berkeley, following an invitation by Leon Henkin.

<span class="mw-page-title-main">Logical hexagon</span>

In philosophical logic, the logical hexagon is a conceptual model of the relationships between the truth values of six statements. It is an extension of Aristotle's square of opposition. It was discovered independently by both Augustin Sesmat and Robert Blanché.

In mathematical logic, abstract model theory is a generalization of model theory that studies the general properties of extensions of first-order logic and their models.

<span class="mw-page-title-main">Jouko Väänänen</span>

Jouko Antero Väänänen is a Finnish mathematical logician known for his contributions to set theory, model theory, logic and foundations of mathematics. He served as the vice-rector at the University of Helsinki, and a professor of mathematics at the University of Helsinki, as well as a professor of mathematical logic and foundations of mathematics at the University of Amsterdam. He completed his PhD at the University of Manchester under the supervision of Peter Aczel in 1977 with the PhD thesis entitled "Applications of set theory to generalized quantifiers". He was elected to the Finnish Academy of Science and Letters in 2002. He served as a member of the Senate of the University of Helsinki from 2004 to 2006 and the Treasurer of the European Mathematical Society from 2007 to 2014, as well as the Treasurer of the European Set Theory Society since 2012. Jouko Väänänen received the Magnus Ehrnrooth Foundation Prize in mathematics on April 29, 2024.

<span class="mw-page-title-main">Jerzy Słupecki</span>

Jerzy Słupecki (1904–1987) was a Polish mathematician and logician.

The Gödel Lecture is an honor in mathematical logic given by the Association for Symbolic Logic, associated with an annual lecture at the association's general meeting. The award is named after Kurt Gödel and has been given annually since 1990.

References

  1. ↑ Beziau, Jean-Yves. ""Universal Logic"" (PDF).
  2. ↑ The Road to Universal Logic: Festschrift for 50th Birthday of Jean-Yves Béziau Volume I, edited by Arnold Koslow and Arthur Buchsbaum 2014 Birkhäuser ISBN   978-3319101927 pp 2–10
  3. ↑ Jean-Yves Béziau, ed. (2007). Logica universalis: towards a general theory of logic (2nd ed.). Springer. ISBN   978-3-7643-8353-4.
  4. ↑ Brady, R. 2006. Universal Logic. Stanford: CSLI Publications. ISBN   1-57586-255-7.
  5. ↑ Răzvan Diaconescu (2008). Institution-independent model theory. Birkhäuser. pp. 2–3. ISBN   978-3-7643-8707-5.
  6. ↑ Jon Barwise. Axioms for abstract model theory. Annals of Mathematical Logic,7:221–265, 1974
  7. ↑ Steffen Lewitzka "A Topological Approach to Universal Logic" Logica Universalis 2007 Birkhauser pp 35–61
  8. ↑ Razvan Diaconescu, "Three decades of institution theory" in Universal Logic: An Anthology edited by Jean-Yves Béziau 2012 Springer ISBN   978-3-0346-0144-3 pp 309–322
  9. 1 2 T. Mossakowski, J. A. Goguen, R. Diaconescu, A. Tarlecki, "What is a Logic?", Logica Universalis 2007 Birkhauser, pp. 113–133.
  10. ↑ "Logica Universalis".
  11. ↑ "Studies in Universal Logic".
  12. ↑ Jean-Yves Béziau, ed. (2012). Universal Logic: an Anthology - From Paul Hertz to Dov Gabbay. Springer. ISBN   978-3-0346-0144-3.
This page is based on this Wikipedia article
Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.