Univerzální logika - Universal logic
Univerzální logika je obor logika který studuje společné rysy všech logických systémů a snaží se logicky co univerzální algebra je algebra. Od dvacátého století byla navržena řada přístupů k univerzální logice s využitím teoretický model, a kategorický přístupy.
Rozvoj
Kořeny univerzální logiky mohou sahat až do minulosti Alfred Tarski na počátku dvacátého století, ale moderní představu poprvé představil v 90. letech švýcarský logik Jean-Yves Béziau.[1][2] Pojem „univerzální logika“ také samostatně používali logici, jako např Richard Sylvan a Ross Brady odkazovat na nový typ (slabý) příslušná logika.[3]
V kontextu definovaném Béziauem byly do hloubky prozkoumány tři hlavní přístupy k univerzální logice:[4]
- An teorie abstraktního modelu systém axiomatizován Jon Barwise,[5]
- A topologické / kategorický přístup založený na náčrtky (někdy nazývaná teorie kategorických modelů),[6]
- A kategorický přístup pocházející z informatiky založený na Goguen a Burstall je pojem instituce.[7]
Zatímco logika byla studována po celá staletí, Mossakowski a kol. V roce 2007 uvedli, že „je trapné, že neexistuje široce přijatelná formální definice„ logiky “.[8] Tyto přístupy k univerzální logice se proto zaměřují na řešení a formování podstaty toho, co lze nazvat „logikou“ jako forma „zdravého uvažování“.[8]
Světové kongresy a školy o univerzální logice
Od roku 2005 Béziau organizuje světové kongresy a školy o univerzální logice. Tyto události spojují stovky vědců a studentů v oboru a nabízejí návody a výzkumné přednášky na širokou škálu témat.
- První světový kongres a škola o univerzální logice, 26. března - 3. dubna 2005, Montreux, Švýcarsko. Účastníci v ceně Béziau, Dov Gabbay, a David Makinson. (Tajný mluvčí: Saul Kripke.)
- Druhý světový kongres a škola o univerzální logice, 16. – 22. Srpna 2007, Xi'an, Čína.
- Kongres třetího světa a škola o univerzální logice, 18. – 25. Dubna 2010, Lisabon, Portugalsko. (Tajný mluvčí: Jaakko Hintikka.)
- Čtvrtý světový kongres a škola Universal Logic, 29. března - 7. dubna 2013, Rio de Janeiro, Brazílie.
- Pátý světový kongres a škola o univerzální logice, 20. – 30. Června 2015, Istanbul, Turecko.
- Šestý světový kongres a škola Universal Logic, 16. – 26. Června 2018, Vichy, Francie.
Publikace v oboru
Časopis věnovaný této oblasti, Logica Universalis, s Béziau as šéfredaktor začal být publikován Birkhäuser Basilej (otisk Springer ) v roce 2007.[9] Springer také začal vydávat knižní série Na téma, Studie v Universal Logic, s Béziau jako editor série.[10]
V roce 2012 byla vydána antologie s názvem Universal Logic, která dala tomuto tématu nový pohled.[11]
Viz také
Reference
- ^ 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 str. 2-10
- ^ Jean-Yves Béziau, ed. (2007). Logica universalis: k obecné teorii logiky (2. vyd.). Springer. ISBN 978-3-7643-8353-4.
- ^ Brady, R. 2006. Universal Logic. Stanford: Publikace CSLI. ISBN 1-57586-255-7.
- ^ Răzvan Diaconescu (2008). Teorie modelu nezávislá na institucích. Birkhäuser. s. 2–3. ISBN 978-3-7643-8707-5.
- ^ Jon Barwise. Axiomy pro teorii abstraktních modelů. Annals of Mathematical Logic, 7: 221–265, 1974
- ^ Steffen Lewitzka „Topologický přístup k univerzální logice“ Logica Universalis 2007 Birkhauser pp 35-61
- ^ Razvan Diaconescu, „Tři desetiletí teorie institucí“ v Universal Logic: An Anlogy, editoval Jean-Yves Béziau 2012 SpringerISBN 978-3-0346-0144-3 str. 309-322
- ^ A b T. Mossakowski, J. A. Goguen, R. Diaconescu, A. Tarlecki, „Co je to logika?“, Logica Universalis 2007 Birkhauser, s. 113–133.
- ^ https://www.springer.com/birkhauser/mathematics/journal/11787
- ^ https://www.springer.com/series/7391
- ^ Jean-Yves Béziau, ed. (2012). Universal Logic: an Anthology - Od Paula Hertze po Dov Gabbaye. Springer. ISBN 978-3-0346-0144-3.