Logica libera: differenze tra le versioni

Versione delle 13:54, 19 apr 2017

Versione delle 09:20, 20 apr 2017

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