Diferència entre les revisions de "Llògica lliure"

De L'Enciclopèdia, la wikipedia en valencià
Anar a la navegació Anar a la busca
m
Llínea 1: Llínea 1:
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 [[Domini de discurs|dominis]], incloent-hi el domini buit.
+
La ''' llògica lliure ''' (de l'anglés ''Free logic'') és un [[sistema llògic]] sense presuposts existencials. És dir, els seus teoremes són vàlits en tots els [[Domini de discurs|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».
 
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».

Revisió de 16:49 13 jul 2015

La llògica lliure (de l'anglés Free logic) és un sistema llògic sense presuposts existencials. És 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».

Vínculs externs