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.