Logica libera
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
modifica- 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 Archiviato il 23 settembre 2015 in Internet Archive.: Introduction to Non-Classical Logic: From If to Is, Cambridge University Press, 2008. ISBN 978-0-521-67026-5
Collegamenti esterni
modifica- Free Logic, su Stanford Encyclopedia of Philosophy. URL consultato il 19 aprile 2017.
