Logica libera: differenze tra le versioni

Versione delle 00:31, 12 gen 2016

Versione delle 00:31, 12 gen 2016

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 la possibilitàquella per il dominio di quantificazione di essere vuoto, si parla di '''logica inclusiva'''.

== Bibliografia ==