Universal logic

Last updated

Originally the expression Universal logic was coined by analogy with the expression Universal algebra. The first idea 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. A number of approaches to universal logic in this sense have been proposed since the twentieth century, using model theoretic, and categorical approaches. But then the Univeral Logic Project developed as a general universal logic project including this mathematical project but also many other logical activities (Congresses, Journals, Books Series, Encyclopedia, Logic Prizes, Webinar, YouTube Channel). [1]

Contents


Development of Universal Logic as a General Theory of Logical Systems

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, 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]

World Congresses and Schools on Universal Logic

Since 2005, Béziau has been organizing world congresses and schools on universal logic. These events bring together hundreds of researchers and students in the field and offer tutorials and research talks on a wide range of subjects.

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.

In programming language theory, semantics is the field concerned with the rigorous mathematical study of the meaning of programming languages. It does so by evaluating the meaning of syntactically valid strings defined by a specific programming language, showing the computation involved. In such a case that the evaluation would be of syntactically invalid strings, the result would be non-computation. Semantics describes the processes a computer follows when executing a program in that specific language. This can be shown by describing the relationship between the input and output of a program, or an explanation of how the program will be executed on a certain platform, hence creating a model of computation.

In logic, a logical framework provides a means to define a logic as a signature in a higher-order type theory in such a way that provability of a formula in the original logic reduces to a type inhabitation problem in the framework type theory. This approach has been used successfully for (interactive) automated theorem proving. The first logical framework was Automath; however, the name of the idea comes from the more widely known Edinburgh Logical Framework, LF. Several more recent proof tools like Isabelle are based on this idea. Unlike a direct embedding, the logical framework approach allows many logics to be embedded in the same type system.

Adolf Lindenbaum

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.

Joseph Goguen 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.

In universal algebra and mathematical logic, a term algebra is a freely generated algebraic structure over a given signature. For example, in a signature consisting of a single binary operation, the term algebra over a set X of variables is exactly the free magma generated by X. Other synonyms for the notion include absolutely free algebra and anarchic algebra.

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.

Jean-Yves Béziau

Jean-Yves Béziau is a professor and researcher of the Brazilian Research Council (CNPq) at the University of Brazil in Rio de Janeiro.

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 is a structure A = (A, ∨, ∧, 0, 1, ¬) such that:

Walter Carnielli

Walter Alexandre Carnielli is a Brazilian mathematician, logician, and philosopher, full professor of Logic at the State University of Campinas (UNICAMP). With Bachelor and Ms.C. degrees in mathematics at the State University of Campinas in Campinas he obtained his Ph.D. in 1984 from the same university under the supervision of Newton da Costa and subsequently worked as a PostDoc at the University of California at Berkeley as a Research Fellow, following an invitation by Leon Henkin.

Logical hexagon

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.

World Logic Day is an international day proclaimed by UNESCO in association with the International Council for Philosophy and Human Sciences (CIPSH) in November 2019 to be celebrated on 14 January every year. It was first celebrated on 14 January 2019, before the UNESCO declaration. World Logic Day intends to bring the intellectual history, conceptual significance and practical implications of logic to the attention of interdisciplinary science communities and the broader public.

References

  1. ↑ "UNILOG".
  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.