Login
Login

Universal logic

{{Short description|Subfield of logic that studies the features common to all logical systems}}

{{about|the abstract study of logics|the digital circuits notion|Universal logic gate}}

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".{{cite web |last1=Beziau |first1=Jean-Yves |title="Universal Logic" |url=https://www.jyb-logic.org/papers/LogicaYB94%20-%20Beziau.pdf}} A number of approaches to universal logic in this sense have been proposed since the twentieth century, using model theoretic and categorical approaches.

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.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{{cite book|editor=Jean-Yves Béziau|title=Logica universalis: towards a general theory of logic|year=2007|publisher=Springer|isbn=978-3-7643-8353-4|edition=2nd

|url=https://www.springer.com/birkhauser/mathematics/book/978-3-7643-8353-4

}} 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.Brady, R. 2006. Universal Logic. Stanford: CSLI Publications. {{ISBN|1-57586-255-7}}.

In the context defined by Béziau, three main approaches to universal logic have been explored in depth:{{cite book|author=Răzvan Diaconescu|title=Institution-independent model theory|year=2008|publisher=Birkhäuser|isbn=978-3-7643-8707-5|pages=2–3|url=https://books.google.com/books?id=aEpn60-EDXwC&pg=PA2}}

in Universal Logic: An Anthology edited by Jean-Yves Béziau 2012 Springer

{{ISBN|978-3-0346-0144-3}} pp 309–322

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".T. Mossakowski, J. A. Goguen, R. Diaconescu, A. Tarlecki, "What is a Logic?", Logica Universalis 2007 Birkhauser, pp. 113–133. 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".

Community

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

  • [http://www.uni-log.org/one1.html First World Congress and School on Universal Logic], 26 March–3 April 2005, Montreux, Switzerland. Participants included Béziau, Dov Gabbay, and David Makinson. (Secret Speaker: Saul Kripke.)
  • [http://www.uni-log.org/enter2.html Second World Congress and School on Universal Logic], 16–22 August 2007, Xi'an, China.
  • [http://www.uni-log.org/enter-lisbon Third World Congress and School on Universal Logic], 18–25 April 2010, Lisbon, Portugal. (Secret Speaker: Jaakko Hintikka.)
  • [http://www.uni-log.org/enter-rio Fourth World Congress and School on Universal Logic], 29 March–7 April 2013, Rio de Janeiro, Brazil.
  • [http://www.uni-log.org/enter-istanbul Fifth World Congress and School on Universal Logic], 20–30 June 2015, Istanbul, Turkey.
  • [http://www.uni-log.org/vichy2018 Sixth World Congress and School on Universal Logic], 16–26 June 2018, Vichy, France.
  • [http://sites.google.com/view/unilog-2022 Seventh World Congress and School on Universal Logic], 1–11 April 2022, Crete.

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.{{Cite web|url=https://www.springer.com/birkhauser/mathematics/journal/11787|title = Logica Universalis}} Springer also started to publish a book series on the topic, Studies in Universal Logic, with Béziau as series editor.{{Cite web|url=https://www.springer.com/series/7391|title=Studies in Universal Logic}}

An anthology titled Universal Logic was published in 2012, giving a new light on the subject.{{cite book|editor=Jean-Yves Béziau|title=Universal Logic: an Anthology - From Paul Hertz to Dov Gabbay|year=2012|publisher=Springer|isbn=978-3-0346-0144-3|url=https://www.springer.com/mathematics/book/978-3-0346-0144-3}}

See also

References

{{reflist}}

External links

  • [https://www.springer.com/birkhauser/mathematics/journal/11787 Logica Universalis]

Category:Logic