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 la possibilità per il dominio di quantificazione di essere vuoto, si parla di logica inclusiva.
Bibliografia
- Priest, Graham. 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
- Lambert, Karel, Free logic: Selected essays. Cambridge Univ. Press, 2003.
Collegamenti esterni
- Stanford Encyclopedia of Philosophy:, "[1]" di John Nolt (in inglese).
