Universell logik
myntades uttrycket universell logik i analogi med uttrycket universell algebra . Den första idén var att utveckla universell logik som ett logikfält som studerar de egenskaper som är gemensamma för alla logiska system, med syftet att vara logik vad Universal algebra är för algebra . Ett antal tillvägagångssätt för universell logik i denna mening har föreslagits sedan nittonhundratalet, med hjälp av modellteoretiska och kategoriska tillvägagångssätt. Men sedan utvecklades Univeral Logic Project som ett allmänt universellt logikprojekt inklusive detta matematiska projekt men också många andra logiska aktiviteter (kongresser, tidskrifter, bokserier, uppslagsverk, logikpriser, webbseminarium, YouTube-kanal).
Utveckling av universell logik som en allmän teori om logiska system
Rötterna till universell logik som allmän teori om logiska system kan gå så långt tillbaka som något arbete av Alfred Tarski i början av nittonhundratalet, men den moderna föreställningen presenterades först på 1990-talet av den schweiziske logikern Jean-Yves Béziau . Termen "universell logik" har också använts separat av logiker som Richard Sylvan och Ross Brady för att referera till en ny typ av (svag) relevant logik .
I det sammanhang som definieras av Béziau har tre huvudsakliga tillvägagångssätt för universell logik utforskats på djupet:
- Ett abstrakt modellteorisystem axiomatiserat av Jon Barwise ,
- en topologisk /kategorisk metod baserad på skisser (ibland kallad kategorisk modellteori),
- ett kategoriskt tillvägagångssätt med ursprung i datavetenskap baserad på Goguen och Burstalls föreställning om institution .
Medan logik har studerats i århundraden, kommenterade Mossakowski et al 2007 att "det är pinsamt att det inte finns någon allmänt godtagbar formell definition av "en logik". Dessa tillvägagångssätt till universell logik syftar alltså till att ta itu med och formalisera karaktären av vad som kan vara kallas 'logik' som en form av "sunda resonemang".
Världskongresser och skolor om universell logik
Sedan 2005 har Béziau organiserat världskongresser och skolor om universell logik. Dessa evenemang samlar hundratals forskare och studenter inom området och erbjuder handledning och forskningssamtal om ett brett spektrum av ämnen.
- Första världskongressen och skolan om universell logik , 26 mars–3 april 2005, Montreux, Schweiz . Deltagare inkluderade Béziau , Dov Gabbay och David Makinson . (Hemlig talare: Saul Kripke .)
- Andra världskongressen och skola om universell logik , 16–22 augusti 2007, Xi'an, Kina .
- Tredje världens kongress och skola om universell logik , 18–25 april 2010, Lissabon, Portugal . (Hemlig talare: Jaakko Hintikka .)
- Fjärde världskongressen och skolan om universell logik , 29 mars–7 april 2013, Rio de Janeiro, Brasilien .
- Femte världskongressen och skolan om universell logik , 20–30 juni 2015, Istanbul, Turkiet .
- Sjätte världskongressen och skolan om universell logik , 16–26 juni 2018, Vichy, Frankrike .
- Sjunde världskongressen och skolan om universell logik, 1–11 april 2022, Kreta .
Publikationer inom området
En tidskrift dedikerad till området, Logica Universalis , med Béziau som chefredaktör började publiceras av Birkhäuser Basel (ett avtryck av Springer ) 2007. Springer började också publicera en bokserie på ämnet, Studies in Universal Logic , med Béziau som serieredaktör.
En antologi med titeln Universal Logic publicerades 2012 och gav ett nytt ljus över ämnet.