Diferència entre les revisions de "Llògica lliure"
Anar a la navegació
Anar a la busca
(Pàgina nova, en el contingut: «La ''' llògica lliure ''' (de l'angléès ''Free logic'') és un sistema llògic sense presuposts existencials. És a dir, els seus teoremes són vàlits e...») |
(Sense diferències)
|
Revisió de 11:00 12 jul 2015
La llògica lliure (de l'angléès Free logic) és un sistema llògic sense presuposts existencials. És a dir, els seus teoremes són vàlits en tots els dominis, incloent-hi el domini buit.
Va ser proposta per primera vegada en la década dels anys cinquanta. Karel Lambert, un dels seus fundadors, va ser qui va acunyar-ne el terme. D'acort en Lambert, l'expressió «llògica lliure» és una abreviació de «lliure de suposicions d'existència respecte als seus termes, generals o singulars».