Validesa lògica

De Viquipèdia
Dreceres ràpides: navegació, cerca

De manera general es diu que alguna cosa té validesa perquè té, i se li reconeix, la qualitat de posseir un 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.[1]

La ciència i la filosofia, com a coneixement, tenen essencialment com a valor únic de referència la veritat objectiva : Coneixement sotmès únicament als continguts assequibles i conforme a les regles de la raó.

Aquesta condició, la racionalitat, fa possible la participació en comú d'aquests coneixements, condició essencial de la ciència. Aquesta condició els grecs la van identificar amb un mateix terme λογοσ, que té referència tant a la "paraula" o al "discurs" com a la "formalitat lògica del mateix", com raonament o argument.

La validesa del coneixement científic i filosòfic, el seu validesa lògica adquireix doncs dos sentits:

  • epistemològic. Com a "logos", paraula o discurs reconegut com a veritable per la comunitat científica. No és casual que tantes ciències acabin així «- gia» i els seus coneixements siguin qualificats d'«--- lògics ».
  • Lògica formal Amb referència al discurs, entès com a argument en el seu coherència amb un sistema formalment establert.

Sentit epistemològic[modifica | modifica el codi]

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.[2] 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 .[3]

De vegades la validesa adquireix un valor gairebé 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.[4]

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.

El coneixement adquireix la seva validesa «episteme-lògica», com ciència (episteme = ciència) per referir-se a un objecte formal i prèviament determinat, sotmès a determinades regles de mètode d'investigació, coherent amb una determinada teoria i publicat i reconegut per la comunitat científica competent.

El concepte original de "greu" (gravetat) i "lleu", feien referència a la teoria aristotèlica segons la qual els "greus" cauen a la terra, les pedres, mentre els "lleus" ascendeixen cap al cel, el fum. Avui tal teoria ha desaparegut però el significat manté d'alguna manera el seu sentit vàlid original en contextos no científics. El greu és una cosa de molt pes, material o moral, el lleu té poc pes material o poca importància moral.

El coneixement lògicament vàlid en el camp de la ciència suposa l'acceptació del mateix per la comunitat científica dins l'àmbit de què es tracti, com coherent amb una teoria, o dins d'un ús tècnic.

En canvi el reconeixement com a vàlid dins d'un àmbit cultural ve a significar la coherència amb els postulats o les normes de la tradició cultural, tant com el seu sentit de veritat en si.

Sentit lògic-formal[modifica | modifica el codi]

En sentit lògic, "vàlid" es refereix a una veritat formal. S'aplica als arguments quan compleixen amb una forma lògica. Quan el producte de les premisses i la seva implicació amb la conclusió mostren en el seu taula de veritat que és una Tautologia (lògica).

La lògica és una ciència formal, sense contingut material. La veritat formal no depèn del coneixement veritable en el seu sentit epistemològic, sinó que manifesta la seva validesa per la forma, no per la seva matèria.

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è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.

(Antonio pot o no jugar a bàsquet, perquè la seva veritat o falsedat depèn de l'experiència, no de la manera argumentativa, ja que és un argument invàlid).

  • Exemple de raonament lògicament vàlid, la validesa epistemològica depèn d'un context cultural determinat.

Entre totes les religions del món, una serà la veritable i totes les altres seran falses. És així que l'única religió veritable és ......" La nostra ". Després totes les altres són falses.

Validesa lògica[modifica | modifica el codi]

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 tautològica.

Expressat en llenguatge formalitzat: Donades les proposicions A, B, i C ... .. N, un argument vàlid és aquell que té la forma:

(A/\B/\C ... ... ../\N) → Z 

que rep el nom de 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.[5]

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 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'usa 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


A B C (A/\B) → C
1 V V V V
2 V V F F
3 V F V V
4 V F F V
5 F V V V
6 F V F V
7 F F V V
8 F F F V


Nota : La proposició 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ó.

Consideració important : Cal tenir en compte que la validesa resideix en l'esquema, no en la veritat de les proposicions. Les proposicions no són vàlides més que en el sentit epistemològic, com veritables, però formalment en sentit lògic poden ser tant veritables com falses. Pel que la validesa d'un raonament només es garanteix quan el conjunt de la proposició com esquema de inferència és una Tautologia (lògica), una veritat formal, la taula de valors de veritat és sempre V i mai F, evitant d'aquesta manera la línia 2 de la taula.

Si, es donés el cas que alguna premissa fos falsa, el valor de veritat del producte seria també fals. No obstant això l'argument seria vàlid, amb independència de la veritat o falsedat de la conclusió. (Línies 3-8).

Això resulta a primera vista xocant, però, segons la definició del functors com condicional quan el valor de l'antecedent és fals, la funció fa veritable a la proposició amb independència del valor de veritat del conseqüent, segons el seu taula de veritat que el defineix.

La paradoxa no és tal, ja que, quan argumentem, partim de la base de la consideració que totes les premisses són vàlides, epistemològicament veritables, en altre cas, l'argumentació no té sentit.

Això explica com, sovint, fem servir la segona línia de la taula de definició del functors implicat en expressions com:

"Si això que dius és veritat, jo sóc el Papa de Roma", on donem a entendre que, en no donar validesa a la premissa, la conclusió pot ser qualsevol com a argument vàlid, però epistemològicament fals.

En la lògica clàssica, es deia, ex contradictione quòdlibet, el que ve a dir, que partint d'una falsedat, qualsevol conclusió és possible. Alguns càlculs utilitzen aquesta inferència com a regla per demostrar alguna cosa conegut per endavant com fals. Per això en lògica es fa una distinció entre l'afirmació condicional o hipotètica i la implicació.

Prova de validesa d'un argument[modifica | modifica el codi]

Suposem el següent argument:

p → (q/\r); p; p → (s/\t)|- q/\s

El seu esquema d'inferència seria:

[P → (q/\r)/\p/\p → (s/\t)] → (q/\s)

Podríem comprovar si és o no vàlid de les tres formes següents:

Per taules de veritat[modifica | modifica el codi]

a) En fer la taula veuríem les condicions de veritat de cadascuna de les premisses i la seva possible o impossible conjunció, és a dir, el seu consistència.

b) Al mateix temps podem comprovar si es dóna el cas que sent l'antecedent veritable, totes i cadascuna de les premisses veritables, el conseqüent fora fals. Si no és així l'esquema donaria com a resultat una tautologia i mostraria que l'argument és vàlid.

L'inconvenient és que amb 5 variables hauríem de fer una taula bastant llarga i confusa. La taula tindria  2^5 = 32 línies.

Per demostració o derivació segons les regles d'un càlcul lògic[modifica | modifica el codi]

Aplicant les regles derivaria la conclusió a partir de les premisses. Si és possible, llavors comprovaríem la validesa de l'argument. Però no sempre és fàcil la derivació o, si l'argument és complicat, podria portar molt de temps el intentar-ho, per potser no arribar a una conclusió. No interessa en aquest cas embarcar-se en el càlcul sense garantia que es vagi a arribar a bon fi.

Per la prova de validesa[modifica | modifica el codi]

Sigui l'argument: p → (q/\r); p; p → (s/\t)|- (q/\s) Comprovem que no pot donar el cas que les premisses siguin vertaderes i la conclusió falsa. Per això suposem els valors de veritat de les premisses que facin que la conclusió sigui falsa, i substituïm aquests valors en els valors de les premisses. Haurà d'aparèixer una impossibilitat de que aquests valors facin veritables a totes les premisses. Haurà d'aparèixer una contradicció. Si aquesta contradicció apareix, vol dir que l'argument és vàlid.

p q /\ r /\ p /\ p es /\ t q /\ es
V v v v v v vf? V f v f f vf v f f
Vf ? ¿? f f ! vf v v v v v v v v f f v
Vf ¿? f f ! vf v vf? V f v f f vf f f f

Referències[modifica | modifica el codi]

  1. 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
  2. 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
  3. 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"
  4. 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
  5. Aplicant la regla de separació. Vegeu Càlcul lògic

Bibliografia[modifica | modifica el codi]

  • Quine, W.V.. De l'estímul a la ciència. Ariel Filosofia, 1998. ISBN 84-344-8747-0. 
  • Ferrater Mora, J.. Diccionari de filosofia (4 toms). Alianza Editorial, 1984. ISBN 84-206-5299-7. 
  • Garrido, M.. Lògica simbòlica. Tecnos, 1974. ISBN 84-309-0537-5. 
  • Kuhn, T.. L'estructura de les revolucions científiques. Fondo de Cultura Económica, 1981. 
  • Copi, Irving M.. Lògica simbòlica. Continental, 1982. ISBN 968-26-0134-7. 
  • Mitchell, D. Introducció a la lògica. Labor, 1968. 
  • Dean, A.. Introducció a la lògica formal. Alianza Editorial, 1974. ISBN 84-206-2064-5.