Logica universale
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.
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, ii: un approccio topologico/categorico basato su schizzi (a volte chiamato teoria del modello categoriale), iii: un approccio categorico originario dell'Informatica basato sulla nozione di istituzione di Goguen e Burstall.
Note
- 1 2 Arnold Koslow and Arthur Buchsbaum "The Road to Universal Logic" Birkhäuser 2014 ISBN 978-3319101927 pp 2-10
- ↑ Jon Barwise. Axioms for abstract model theory. Annals of Mathematical Logic,7:221–265, 1974
- ↑ Steffen Lewitzka "A Topological Approach to Universal Logic" Logica Universalis 2007 Birkhauser pp 35-61
- ↑ 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
Bibliografia
- Jean-Yves Béziau "Logica universalis: towards a general theory of logic" Springer 2007 ISBN 978-3-7643-8353-4.
