Logica libera: differenze tra le versioni

Versione delle 20:06, 2 lug 2016

Versione delle 12:52, 21 gen 2017

Riga 1:

{{O|filosofia|arg2=matematica|gennaio 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'''.