Una logica libera è una logica non classica, che ha un minor importo esistenziale della logica del primo ordine. Una logica libera permette ai termini di non denotare alcun membro del dominio di quantificazione; quando, oltre a questa possibilità, si aggiunge quella per il dominio di quantificazione di essere vuoto, si parla di logica inclusiva.
Bibliografia Ermanno Bencivenga, Le logiche libere, Bollati Boringhieri, 1976. Ermanno Bencivenga‚ Free Logic. In: D. Gabbay e F. Guenther (a cura di), Handbook of Philosophical Logic, Volume 5, 147-196. Kluwer Academic Publishers, Dordrecht, 2002. Scott Lehmann, More Free Logic. In: D. Gabbay e F. Guenther (a cura di), Handbook of Philosophical Logic, Volume 5, 197-259. Kluwer Academic Publishers, Dordrecht, 2002. Karel Lambert, Free Logics: Their Foundations, Character, and some Applications Thereof. Sankt Augustin, Academia Verlag, 1997. Karel Lambert, Free Logic: Selected Essays, Cambridge University Press, 2003. Karel Lambert (ed.), Philosophical Applications of Free Logic, New York, Oxrford University Press, 1991. Graham Priest, Introduction to Non-Classical Logic, Cambridge University Press, 2001. 2nd edition : Introduction to Non-Classical Logic: From If to Is, Cambridge University Press, 2008. ISBN 978-0-521-67026-5
Collegamenti esterni
Categoria:Logica matematica Categoria:Logica Categoria:Logica non classica