World Library  
Flag as Inappropriate
Email this Article

Universal logic

Article Id: WHEBN0003659669
Reproduction Date:

Title: Universal logic  
Author: World Heritage Encyclopedia
Language: English
Subject: Logica Universalis, Jean-Yves Béziau, Institution (computer science), Abstract logic, Knowledge retrieval
Collection: Logic
Publisher: World Heritage Encyclopedia

Universal logic

Universal logic is the field of logic that is concerned with giving an account of what features are common to all logical structures. Universal logic aims to be to logic what universal algebra is to algebra; currently there is no universally accepted notion of logic (or logical system). Several frameworks have been proposed.

The term 'universal logic' was introduced in the 1990s by Swiss logician Jean-Yves Béziau, but the field has arguably existed for many decades.[1] Some of the works of Alfred Tarski in the early twentieth century, for example, can be regarded as fundamental contributions to universal logic.

Three model-theoretic directions for universal logic have been explored to some depth: abstract model theory axiomatized by Jon Barwise, a topological / categorical approach based on sketches (sometimes called categorical model theory), and yet another categorical approach based on Goguen and Burstall's notion of institution.[2]

The First World Congress and School on Universal Logic took place in Montreux, Switzerland in early 2005. Participants included Béziau, Dov Gabbay, Saul Kripke, and David Makinson.[3] 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.[4] Springer also started to publish a book series on the topic, Studies in Universal Logic, with Béziau as series editor.[5]

The term 'universal logic' has also been used by some logicians (e.g. Richard Sylvan and Ross Brady) to refer to a new type of (weak) relevant logic.[6]

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

See also


  1. ^ Jean-Yves Béziau, ed. (2007). Logica universalis: towards a general theory of logic (2nd ed.). Springer.  
  2. ^ Răzvan Diaconescu (2008). Institution-independent model theory. Birkhäuser. pp. 2–3.  
  3. ^ UNILOG '05: First World Congress and School on Universal Logic
  4. ^
  5. ^
  6. ^ Brady, R. 2006. Universal Logic. Stanford: CSLI Publications. ISBN 1-57586-255-7.
  7. ^ Jean-Yves Béziau, ed. (2012). Universal Logic: an Anthology - Form Paul Hertz to Dov Gabbay. Springer.  

External links

  • World Congress and School on Universal Logic, Montreux 2005, Xi'an 2007, Lisbon 2010, Rio de Janeiro 2013
  • Logica Universalis
This article was sourced from Creative Commons Attribution-ShareAlike License; additional terms may apply. World Heritage Encyclopedia content is assembled from numerous content providers, Open Access Publishing, and in compliance with The Fair Access to Science and Technology Research Act (FASTR), Wikimedia Foundation, Inc., Public Library of Science, The Encyclopedia of Life, Open Book Publishers (OBP), PubMed, U.S. National Library of Medicine, National Center for Biotechnology Information, U.S. National Library of Medicine, National Institutes of Health (NIH), U.S. Department of Health & Human Services, and, which sources content from all federal, state, local, tribal, and territorial government publication portals (.gov, .mil, .edu). Funding for and content contributors is made possible from the U.S. Congress, E-Government Act of 2002.
Crowd sourced content that is contributed to World Heritage Encyclopedia is peer reviewed and edited by our editorial staff to ensure quality scholarly research articles.
By using this site, you agree to the Terms of Use and Privacy Policy. World Heritage Encyclopedia™ is a registered trademark of the World Public Library Association, a non-profit organization.

Copyright © World Library Foundation. All rights reserved. eBooks from World Library are sponsored by the World Library Foundation,
a 501c(4) Member's Support Non-Profit Organization, and is NOT affiliated with any governmental agency or department.