Diferència entre les revisions de "Llògica lliure"
Text reemplaça - 'termes' a 'térmens' |
Text reemplaça - 'Vínculs externs' a 'Enllaços externs' |
||
| Llínea 3: | Llínea 3: | ||
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». | ||
== | == Enllaços externs == | ||
* [http://gradstudies.ss.uci.edu/scholarship_opps_lambert Lloc ''web'' de Karel Lambert]. | * [http://gradstudies.ss.uci.edu/scholarship_opps_lambert Lloc ''web'' de Karel Lambert]. | ||
[[Categoria:Sistemes llògics]] | [[Categoria:Sistemes llògics]] | ||
Revisió de 16:29 28 jun 2022
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 térmens, generals o singulars».