Logica libera: differenze tra le versioni

Versione delle 13:54, 19 apr 2017

Versione attuale delle 18:36, 28 dic 2020

(5 versioni intermedie di 4 utenti non mostrate)

Riga 1:

{{O|filosofia|aprile 2017}}

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'''.

Riga 6 ⟶ 5:

* 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.

* KasrelKarel 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. [http://www.cambridge.org/uk/catalogue/catalogue.asp?isbn=9780521670265 2nd edition] {{Webarchive|url=https://web.archive.org/web/20150923232146/http://www.cambridge.org/uk/catalogue/catalogue.asp?isbn=9780521670265 |data=23 settembre 2015 }}: [http://books.google.com.au/books?id=rMXVbmAw3YwC ''Introduction to Non-Classical Logic: From If to Is''], Cambridge University Press, 2008. ISBN 978-0-521-67026-5

== Collegamenti esterni ==

Riga 18 ⟶ 17:

[[Categoria:Logica matematica]]

[[Categoria:Logica]]

[[Categoria:Logica non classica]]