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) |valor]] determinat, o bé la capacitat o eficàcia per a realitzar el valor que se suposa ha de tenir. El coneixement en general adquireix un "valor de veritat" especial quan és reconegut com a veritable per una comunitat. S'entén per validesa d'un coneixement el fet de ser reconegut com a veritable per una comunitat determinada. La validesa del coneixement admet diverses formes i requisits segons els camps o àmbits en què manifesta la seva validesa: podríem parlar aleshores de validesa sociològica, ètnic-cultural, religiosa, màgica, etc. cadascuna amb els seus criteris i formes d'acceptació i reconeixement.<ref>Una comunitat religiosa reconeix com a vàlida, i per tant com a coneixement veritable, els miracles d'un sant. Però, fora d'aquest context, aquesta afirmació o creença perd la seva condició de validesa amb caràcter general, com a reconeixement social, o reconeixement científic. Els criteris de validesa per a una confessió religiosa són completament diferents dels criteris científics</ref>
 
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> Una lucinació sens dubte és una experiència. Però el contingut cognoscitiu d'aquesta experiència no té més sentit de veritat que com a experiència subjectiva, mai un contingut de veritat objectiva i per tant no pot ser considerada com a vàlida per la comunitat </ref> El mateix que un coneixement pot ser reconegut com a veritable en el context de la vida ordinària, no sent-ho en un sentit científic. Com per exemple afirmar que la poma "és" vermella .<ref> Avui dia després de les múltiples experiències científiques sobre el que és la visió i els colors no ofereix cap problema acceptar que "dir que la poma és vermella" no vol dir que "l 'illa sigui vermella" </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> Per això les creences religioses d'una comunitat es prenen fàcilment com veritats vàlidament acceptades científicament; confonent el pla de l'acceptació dins d'una comunitat religiosa amb una veritat lògica o científicament vàlida </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.
 
* 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) |tautolò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 de d'esquema de [[inferència]], on es dóna el cas que el valor de veritat lògica del antecedent V, com a producte (conjunció) de totes les premisses, implica que la conclusió també té valor de veritat lògica V.
 
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> Aplicant la regla de separació. Vegeu [[Càlcul lògic]] </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, s'usaes fa servir per a la prova de validesa que veurem més endavant, és a dir que no és possible que si la conclusió és falsa, puguin ser totes les premisses alhora veritables, que és el que passa a la línia 2.
 
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}} <!--ORDENA generat per bot-->
[[Categoria:Lògica]]