Logica libera: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
←Nuova pagina: 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 den... |
m →Bibliografia: |date ----> |data |
||
(22 versioni intermedie di 8 utenti non mostrate) | |||
Riga 1:
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
== Bibliografia ==
* [[Ermanno Bencivenga]], ''Le logiche libere'', Bollati Boringhieri, 1976.
* Priest, Graham. ''Introduction to Non-Classical Logic'', Cambridge University Press, 2001. [http://www.cambridge.org/uk/catalogue/catalogue.asp?isbn=9780521670265 2nd edition]: [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▼
* 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.
* Lambert, Karel, ''Free logic: Selected essays.'' Cambridge Univ. Press, 2003.▼
* 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
* Karel Lambert (ed.), ''Philosophical Applications of Free Logic'', New York, Oxrford University Press, 1991.
▲* [[Graham Priest]],
== Collegamenti esterni ==
*
{{portale|filosofia|matematica}}▼
▲{{portale|matematica}}
[[Categoria:Logica matematica]]
[[Categoria:Logica
[[Categoria:Logica non classica]]
|