Edició de «Llògica lliure»
Anar a la navegació
Anar a la busca
Advertencia: No has iniciat sessió. La teua direcció IP serà visible públicament si realises qualsevol edició. Si inicies sessió o crees un conte, les teues edicions s'atribuiran al teu nom d'usuari, junt en atres beneficis.
Pot desfer-se la modificació. Per favor, revisa la comparació més avall per a assegurar-te que es lo que vols fer; llavors deixa els canvis per a la finalisació de la desfeta de l'edició.
Revisió actual | El teu text | ||
Llínea 1: | Llínea 1: | ||
− | La ''' llògica lliure ''' (de l' | + | 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 térmens, 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 térmens, generals o singulars». |