Uniwersalna logika
Pierwotnie wyrażenie Uniwersalna logika zostało ukute przez analogię z wyrażeniem Uniwersalna algebra . Pierwszym pomysłem było rozwinięcie logiki uniwersalnej jako dziedziny logiki , która bada cechy wspólne dla wszystkich systemów logicznych, mając na celu być dla logiki tym, czym algebra uniwersalna jest dla algebry . Od XX wieku zaproponowano wiele podejść do logiki uniwersalnej w tym sensie, wykorzystując teorię modeli i kategoryczność podchodzi do. Ale potem Projekt Univeral Logic rozwinął się jako ogólny projekt logiki uniwersalnej, obejmujący ten projekt matematyczny, ale także wiele innych działań logicznych (kongresy, czasopisma, serie książek, encyklopedia, nagrody logiczne, seminarium internetowe, kanał na YouTube).
Rozwój logiki uniwersalnej jako ogólnej teorii systemów logicznych
Korzenie logiki uniwersalnej jako ogólnej teorii systemów logicznych mogą sięgać nawet niektórych prac Alfreda Tarskiego z początku XX wieku, ale współczesne pojęcie zostało po raz pierwszy przedstawione w latach 90. XX wieku przez szwajcarskiego logika Jean-Yves Béziau . Termin „logika uniwersalna” był również osobno używany przez logików, takich jak Richard Sylvan i Ross Brady, w odniesieniu do nowego typu (słabej) logiki relewantnej .
W kontekście określonym przez Béziau dogłębnie zbadano trzy główne podejścia do logiki uniwersalnej:
- Abstrakcyjny system teorii modeli aksjomatyzowany przez Jona Barwise'a ,
- podejście topologiczne /kategoryczne oparte na szkicach (czasami nazywane kategoryczną teorią modeli),
- kategoryczne podejście wywodzące się z informatyki, oparte na koncepcji instytucji Goguena i Burstalla .
Chociaż logikę badano od wieków, Mossakowski i wsp. Skomentowali w 2007 r., Że „to zawstydzające, że nie ma powszechnie akceptowanej formalnej definicji„ logiki ”. Te podejścia do logiki uniwersalnej mają zatem na celu zajęcie się i sformalizowanie natury tego, co może być zwany „logiką” jako forma „zdrowego rozumowania”.
Światowe Kongresy i Szkoły Logiki Uniwersalnej
Od 2005 roku Béziau organizuje światowe kongresy i szkoły poświęcone logice uniwersalnej. Wydarzenia te gromadzą setki naukowców i studentów w tej dziedzinie i oferują samouczki i rozmowy badawcze na szeroki zakres tematów.
- Pierwszy Światowy Kongres i Szkoła Logiki Uniwersalnej , 26 marca – 3 kwietnia 2005 r., Montreux, Szwajcaria . Wśród uczestników znaleźli się Béziau , Dov Gabbay i David Makinson . (Tajny mówca: Saul Kripke .)
- Drugi Światowy Kongres i Szkoła Logiki Uniwersalnej , 16–22 sierpnia 2007 r., Xi'an, Chiny .
- Trzeci Światowy Kongres i Szkoła Logiki Uniwersalnej , 18–25 kwietnia 2010 r., Lizbona, Portugalia . (Tajny mówca: Jaakko Hintikka .)
- Czwarty Światowy Kongres i Szkoła Logiki Uniwersalnej , 29 marca – 7 kwietnia 2013 r., Rio de Janeiro, Brazylia .
- Piąty Światowy Kongres i Szkoła Logiki Uniwersalnej , 20–30 czerwca 2015 r., Istambuł, Turcja .
- Szósty Światowy Kongres i Szkoła Logiki Uniwersalnej , 16–26 czerwca 2018 r., Vichy, Francja .
- Siódmy Światowy Kongres i Szkoła Logiki Uniwersalnej , 1–11 kwietnia 2022 r., Kreta .
Publikacje w tej dziedzinie
Czasopismo poświęcone tej dziedzinie, Logica Universalis , z Béziau jako redaktorem naczelnym, zaczęło być publikowane przez Birkhäuser Basel (wydawnictwo Springer ) w 2007 r. Springer zaczął również publikować serię książek na ten temat, Studies in Universal Logic , z Béziau jako redaktorem serii.
Antologia zatytułowana Universal Logic została opublikowana w 2012 roku, rzucając nowe światło na ten temat.