Il concetto di logica universale si è formato come analogia con l'algebra universale per sviluppare un campo che studia le caratteristiche comuni a tutti i sistemi logici, con l'obiettivo di essere per la logica ciò che l'algebra universale è per l'algebra.Arnold Koslow and Arthur Buchsbaum "The Road to Universal Logic" Birkhäuser 2014 ISBN 978-3319101927 pp 2-10
Le radici della logica universale come teoria generale dei sistemi logici possono risalire ad alcune opere di Alfred Tarski all'inizio del XX secolo, ma la nozione moderna è stata presentata per la prima volta negli anni '90 dal logico svizzero Jean-Yves Béziau. Nel contesto definito da Béziau, tre principali approcci alla logica universale sono stati esplorati in profondità: i: un sistema astratto di teoria dei modelli assiomatizzato da Jon Barwise,Jon Barwise. Axioms for abstract model theory. Annals of Mathematical Logic,7:221–265, 1974 ii: un approccio topologico/categorico basato su schizzi (a volte chiamato teoria del modello categoriale),Steffen Lewitzka "A Topological Approach to Universal Logic" Logica Universalis 2007 Birkhauser pp 35-61 iii: un approccio categorico originario dell'Informatica basato sulla nozione di istituzione di Goguen e Burstall.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
Note
Bibliografia Jean-Yves Béziau "Logica universalis: towards a general theory of logic" Springer 2007 ISBN 978-3-7643-8353-4.
Voci correlate Logica categorica Teoria dei modelli
Collegamenti esterni Logica Universalis
Categoria:Logica