| 词条 | Universal logic |
| 释义 |
Universal logic is the field of logic that studies the common features of 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 theoretic, and categorical approaches. DevelopmentThe roots of universal logic 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.[1][2] 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.[3] In the context defined by Béziau, three main approaches to universal logic have been explored in depth:[4]
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”.[8] 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".[8] World Congresses and Schools on Universal LogicSince 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 fieldA 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.[9] Springer also started to publish a book series on the topic, Studies in Universal Logic, with Béziau as series editor.[10] An anthology titled Universal Logic was published in 2012, giving a new light on the subject.[11] See also
References1. ^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 2. ^{{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}} 3. ^Brady, R. 2006. Universal Logic. Stanford: CSLI Publications. {{ISBN|1-57586-255-7}}. 4. ^{{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}} 5. ^Jon Barwise. Axioms for abstract model theory. Annals of Mathematical Logic,7:221–265, 1974 6. ^Steffen Lewitzka "A Topological Approach to Universal Logic" Logica Universalis 2007 Birkhauser pp 35-61 7. ^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 8. ^1 T. Mossakowski, J. A. Goguen, R. Diaconescu, A. Tarlecki, "What is a Logic?", Logica Universalis 2007 Birkhauser, pp. 113–133. 9. ^https://www.springer.com/birkhauser/mathematics/journal/11787 10. ^https://www.springer.com/series/7391 11. ^{{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}} External links
1 : Logic |
| 随便看 |
开放百科全书收录14589846条英语、德语、日语等多语种百科知识，基本涵盖了大多数领域的百科知识，是一部内容自由、开放的电子版国际百科全书。