Universal logic

Quality 0.50 · 2 views · Updated 2 months ago

Subfield of logic that studies the features common to all logical systems

title: "Universal logic" type: doc version: 1 created: 2026-02-28 author: "Wikipedia contributors" status: active scope: public tags: ["logic"] description: "Subfield of logic that studies the features common to all logical systems" topic_path: "philosophy" source: "https://en.wikipedia.org/wiki/Universal_logic" license: "CC BY-SA 4.0" wikipedia_page_id: 0 wikipedia_revision_id: 0

::summary Subfield of logic that studies the features common to all logical systems ::

Universal logic is the 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 have been proposed since the twentieth century, using model theoretical, 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 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

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

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". 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.

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. Springer also started to publish a book series on the topic, Studies in Universal Logic, with Béziau as series editor.

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

References

References

  1. Brady, R. 2006. ''Universal Logic''. Stanford: CSLI Publications. {{ISBN. 1-57586-255-7.
  2. Răzvan Diaconescu. (2008). "Institution-independent model theory". Birkhäuser.
  3. Jon Barwise. Axioms for abstract model theory. Annals of Mathematical Logic,7:221–265, 1974
  4. Steffen Lewitzka "A Topological Approach to Universal Logic" [[Logica Universalis]] 2007 Birkhauser pp 35–61
  5. T. Mossakowski, J. A. Goguen, R. Diaconescu, A. Tarlecki, "What is a Logic?", [[Logica Universalis]] 2007 Birkhauser, pp. 113–133.
  6. "Logica Universalis".
  7. "Studies in Universal Logic".
  8. (2012). "Universal Logic: an Anthology - From Paul Hertz to Dov Gabbay". Springer.

::callout[type=info title="Wikipedia Source"] This article was imported from Wikipedia and is available under the Creative Commons Attribution-ShareAlike 4.0 License. Content has been adapted to SurfDoc format. Original contributors can be found on the article history page. ::

logic