Validesa lògica: diferència entre les revisions
Contingut suprimit Contingut afegit
m Correcció tipogràfica: espais sobrants |
m Canvis menors, neteja, replaced: s'usa → es fa servir , de e → d'e AWB |
||
Línia 1:
{{MT|data=febrer de 2013}}
De manera general es diu que alguna cosa té '''validesa''' perquè té, i se li reconeix, la qualitat de posseir un [[Valor (axiologia)
La ciència i la filosofia, com a coneixement, tenen essencialment com a valor únic de referència la [[veritat]] [[objecte|objectiva]] : Coneixement sotmès únicament als continguts assequibles i conforme a les regles de la [[raó]].
Línia 13:
En sentit epistemològic, "vàlid" és el coneixement expressat en una proposició que és acceptada i reconeguda com a veritable. Suposa distingir el fet en si del coneixement i la seva acceptació com a veritable.
Així, per exemple, Kant distingeix entre la validesa i l'origen del coneixement. Que l'origen de tot coneixement sigui l'experiència no implica que tot coneixement pel fet de tenir el seu origen en l'experiència sigui veritable.<ref>
De vegades la validesa adquireix un valor gairebé [[Metafísica|metafísic]] quan el seu contingut de veritat apunta no només al fet de ser acceptat com a [[veritat]] sinó al fonament que ho justifica com a vàlid en funció de tot el [[Ser]] en el seu conjunt com a realitat total. Així, per exemple, l'acceptació com a veritat de l'existència de l'ànima humana apunta al sentit d'una vida fonamentada en una vida més enllà de la mort.<ref>
En altres casos, la validesa adquireix el seu valor mitjançant les seves relacions amb altres éssers o conceptes en un àmbit determinat del coneixement, com pot ser una teoria científica, o una creença social.
Línia 36:
Un [[argument]] vàlid, "lògicament veritable", pot ser fals en el seu sentit epistemològic. De la mateixa manera que un argument veritable en sentit epistemològic pot ser formalment vàlid.
La Lògica tracta de fonamentar les [[Inferència|inferències]] vàlides sense coneixement material. Sol definir per això com la ciència que estudia les formes vàlides d'inferència, o bé, subratllant un sentit d'utilitat, la ciència que estudia les les formes vàlides de [[raonament]].
Les formes vàlides d'inferència, lleis lògiques o tautologies, aplicades com raonaments lògicament vàlids, garanteixen la veritat de la conclusió quan el contingut de coneixement material de les premisses sigui epistemològicament vàlid.
▲* Exemple de raonament lògicament veritable, vàlid, però fals en el seu contingut material.
Si tots els mamífers tenen ales, i els éssers alats volen, llavors si els gossos són mamífers, els gossos volen.
* Exemple de raonament lògicament invàlid, que pot ser veritable en el seu contingut material.
Si només els que mesuren més de 1,80 juguen al bàsquet, i Antonio mesura més de 1.80, llavors Antonio juga al bàsquet.
Linha 59 ⟶ 58:
Atès el caràcter formal de la Lògica com a ciència sol identificar l'expressió "validesa lògica" amb aquest aspecte lògic-formal.
Es diu que un [[raonament]] és lògicament vàlid quan té la forma d'una llei lògica, la qual cosa equival a dir que la relació entre les premisses i la conclusió és [[Tautologia (lògica)
Expressat en [[llenguatge formalitzat]]: Donades les proposicions A, B, i C ... .. N, un argument vàlid és aquell que té la forma:
Linha 65 ⟶ 64:
(A/\B/\C ... ... ../\N) → Z
que rep el nom
Per si les premisses són vertaderes en sentit epistemològic, llavors la conclusió també ho és, en sentit epistemològic. El que permet considerar Z com a veritat pròpia, independent i deslligada, és a dir una [[conclusió]] obtinguda a partir de les veritats afirmades en les premisses com veritables.<ref>
Pel que definim la validesa com: No pot ser el cas que sent les premisses vertaderes la conclusió sigui falsa. Línia 1 de la taula, és el cas de la [[Tautologia (lògica)]]. La línia 2 de la taula demostraria que l'argument no és vàlid. Les altres línies no fan al cas per anar en contra del supòsit de la veritat del producte de les premisses, el que constituiria un argument [[Consistència|inconsistent]], ja que no es donaria el cas que totes les premisses fossin vertaderes a la vegada. Aquest és l'argument que, a sensu contrari,
Veure [[taula de valors de veritat]]
{|Border = "1" cellpadding = "2"
Linha 98 ⟶ 96:
|8||F||F||F||V
|}
Nota : La proposició [[metallenguatge|metalingüística]] (A/\B) representa el conjunt, producte lògic, de totes les premisses de l'argument; C, representa el possible valor de veritat de la conclusió.
Linha 157 ⟶ 154:
|títol = De l'estímul a la ciència
|data = 1998
| editorial = Ariel Filosofia
| isbn = 84-344-8747-0}}
* {{ref-llibre
Linha 163 ⟶ 160:
|títol = Diccionari de filosofia (4 toms)
|any = 1984
| editorial = Alianza Editorial
|isbn = 84-206-5299-7
}}
Linha 170 ⟶ 167:
|títol = Lògica simbòlica
|data = 1974
| editorial = Tecnos
|isbn = 84-309-0537-5}}
* {{ref-llibre
Linha 176 ⟶ 173:
|títol = L'estructura de les revolucions científiques
|any = 1981
| editorial = Fondo de Cultura Económica
}}
* {{ref-llibre
Linha 182 ⟶ 179:
|títol = Lògica simbòlica
| data = 1982
| editorial = Continental
|isbn = 968-26-0134-7}}
* {{ref-llibre
Linha 191 ⟶ 188:
}}
* {{ref-llibre
|autor = [[Alfredo Deano|Dean, A.]] |títol = Introducció a la lògica formal
|data = 1974
| editorial = Alianza Editorial
|isbn = 84-206-2064-5
}}
<!--ORDENA generat per bot-->
{{ORDENA:Validesa Logica}}
[[Categoria:Lògica]]
|