Concepción Semantica de La Verdad

8/16/2019 Concepción Semantica de La Verdad

1/22

INSTITUTO UNIVERSITARIO SALESIANO

PADRE OJEDA

TEORÍA DEL CONOCIMIENTO II

Trabajo para la asignatura de Teoría del ono!i"iento II de la !arrera de Edu!a!i#n "en!i#n

$iloso%ía& presentada al pro%esor JOR'E arlos

Por los estudiantes LEON Jos( ) $I'UEIRA *a!+eline

Los Te,ues& -. de "a)o de /-01


2/22

Resumen

El problema central – una definición satisfactoria de la verdad.

La dis!usi#n se !entrara en la no!i#n de 2erdad3 El proble"a prin!ipal es en!ontrar una

de%ini!i#n satis%a!toria de esta no!i#n3 La de%ini!i#n ,ue bus!a"os no pretende espe!i%i!ar el

signi%i!ado de una palabra %a"iliar ,ue se utili4a a5ora para denotar una no!i#n nue2a3 Lo ,ue

se pretende es dar !on el signi%i!ado a!tual de una 2ieja no!i#n3

En segundo lugar& tene"os ,ue deter"inar de ,u( depende la !orre!!i#n %or"al de la

de%ini!i#n3 Tene"os ,ue des!ribir la estru!tura %or"al del lenguaje en el ,ue dare"os la

de%ini!i#n3

La extensión del término “verdadero”.

El predi!ado 62erdadero7 se utili4a a 2e!es para re%erirse a %en#"enos psi!ol#gi!os

ling8ísti!os ) ora!iones& ) a 2e!es a !iertas entidades deno"inadas 6preposi!iones73 Al 5ablar

de ora!iones& nos re%eri"os a una 6ora!i#n de!larati2a73

Por supuesto& el 5e!5o de ,ue nos !entre"os a,uí prin!ipal"ente en la no!i#n de

2erdad para las ora!iones no e9!lu)e la posibilidad de una e9tensi#n posterior de esta no!i#n a

otros tipos de objeto3

El signi%i!ado del ter"ino 62erdadero7

Son "u!5o ":s serias las di%i!ultades rela!ionadas !on el proble"a del signi%i!ado ;o

la intensi#n< del !on!epto de 2erdad3

La Palabra 62erdadero7& no es en absoluto ine,uí2o!a3 En las obras ) las dis!usiones de

los %il#so%os en!ontra"os ,ue se "anejan di%erentes !on!ep!iones de la 2erdad ) la %alsedad& )

tene"os ,ue indi!ar ,u( !on!ep!i#n nos ser2ir: de base en esta dis!usi#n3

Nos gustaría ,ue nuestra de%ini!i#n 5i!iera justi!ia a las intui!iones ,ue se desprenden

de la !on!ep!i#n aristot(li!a !l:si!a de 2erdad=

6 Decir de lo que es que no es, o de lo que no es que es, es falso y decir de lo que es

que es, o de lo que no es que no es, es verdadero.”


3/22

Metafísica

Si nos adapta"os a la ter"inología %ilos#%i!a "oderna& podría"os e9presar esta

!on!ep!i#n "ediante la !ono!ida %#r"ula=

6 La verdad de una oración consiste en su adecuación (o correspondencia) con la

realidad”.

Podría"os utili4ar posible"ente para el "is"o prop#sito la siguiente %rase= “Una

oración es verdadera si designa un estado de eco e!istente”.

Sin e"bargo& todas estas %or"ula!iones pueden dar lugar a "alentendidos& ) ninguna

de ellas es su%i!iente"ente !lara ) pre!isa3 Tene"os& por lo tanto& ,ue bus!ar una e9presi#n

":s pre!isa de nuestras intui!iones3

Un Criterio para la educación material de la definición

En pri"er lugar& desde el punto de 2ista de la gra":ti!a de nuestro lenguaje una

e9presi#n de la %or"a >? es 2erdadera> no llega a ser una ora!i#n !on signi%i!ado si no

sustitui"os la >?> por una ora!i#n o !on !ual,uier otra !osa ,ue no sea un no"bre& puesto ,ue

el sujeto de una ora!i#n puede ser @ni!a"ente un no"bre o una e9presi#n ,ue %un!ione !o"o

un no"bre3

En segundo lugar& las !on2en!iones %unda"entales !on respe!to al uso de un

lenguaje e9igen ,ue sie"pre ,ue se no"bre un objeto& tene"os ,ue utili4ar el no"bre de

di!5o objeto& ) no el objeto3 Por lo tanto& si ,uere"os de!ir algo de una ora!i#n tene"os ,ue

utili4ar el no"bre de esta ora!i#n ) no la ora!i#n "is"a3

a) ,ue aBadir ,ue el poner una ora!i#n entre !o"illas no es la @ni!a %or"a de

!on2ertirla en un no"bre3


4/22

Tene"os ,ue generali4ar a5ora el pro!edi"iento3 T#"ese una ora!i#n !ual,uiera& ,ue

sustituire"os por la letra >p>3 $or"e"os el no"bre de esta ora!i#n ) sustitu):"oslo por otra

letra& a saber >?>3 Nos pregunta"os a5ora !u:l es la rela!i#n l#gi!a entre las dos ora!iones >?

es 2erdadera> ) >p>3 Est: !laro ,ue seg@n la !on!ep!i#n b:si!a de la 2erdad estas ora!iones

son e,ui2alentes3 En otras palabras& se produ!e la siguiente e,ui2alen!ia= ;T< ? es 2erdadera

si& ) s#lo si& p3

Lla"are"os a !ual,uiera de estas e,ui2alen!ias >una e,ui2alen!ia de la %or"a ;T

A5ora si pode"os de%inir !on pre!isi#n las !ondi!iones bajo las ,ue !onsidera"os el

uso ) la de%ini!i#n del t(r"ino 62erdadero7 respe!to a la ade!ua!i#n "aterialC ,uere"os

utili4ar el t(r"ino >2erdadero> de tal "anera ,ue se puedan estable!er todas las e,ui2alen!ias

de la %or"a ;Tp> por una ora!i#n parti!ular& ) >?> por el

no"bre de di!5a ora!i#n& se podría !onsiderar !o"o una de%ini!i#n par!ial de la 2erdad& ,ue

da !uenta de la 2erdad de una ora!i#n indi2idual3

La verdad como concepto semántico.

La se":nti!a es una dis!iplina ,ue& 5ablando en t(r"inos generales& se o!upa de

!iertas rela!iones entre las e9presiones de un lenguaje ) los objetos >a los ,ue se re%ieren>

di!5as e9presiones3 o"o eje"plos típi!os de !on!eptos se":nti!os podría"os "en!ionar los

!on!eptos de designa!i#n& satis%a!!i#n ) de%ini!i#n

ientras ,ue las palabras >designar>& >!u"plir> ) >de%inir> e9presan rela!iones& la

palabra >2erdadero> tiene una naturale4a l#gi!a di%erente3 E9presa una propiedad de !iertas

e9presiones& esto es& de ora!iones3 No obstante& es %:!il !o"probar ,ue todas las


5/22

%or"ula!iones o%re!idas anterior"ente ) destinadas a e9pli!ar el signi%i!ado de esta palabra se

re%erían no s#lo a las ora!iones "is"as& sino ta"bi(n a los objetos a los ,ue >aludían> di!5as

ora!iones& o tal 2e4 a >los estados de 5e!5o> ,ue des!ribían3 Es ":s& la %or"a ":s natural )

":s sen!illa de dar !on una de%ini!i#n e9a!ta de la 2erdad i"pli!a el uso de otras no!iones

se":nti!as tales !o"o la de satis%a!!i#n3 Es por ello por lo ,ue !onsidera"os ,ue el !on!epto

de 2erdad del ,ue esta"os tratando es un !on!epto se":nti!o& ) el proble"a de de%inir la

2erdad apare!e ínti"a"ente rela!ionado al proble"a ":s general de estable!er los

%unda"entos de la se":nti!a te#ri!a3

a) ,ue de!ir ,ue la se":nti!a tal ) !o"o se la !on!ibe en este es!rito es una

dis!iplina sobria ) "odesta ,ue no tiene pretensiones de ser una "edi!ina de patente uni2ersal

para todos los "ales de la 5u"anidad& bien sean reales o i"aginarios3

Lenua!e con una estructura especificada.

E9isten !iertas !ondi!iones generales bajo las ,ue la estru!tura de un lenguaje se

!onsidera per%e!ta"ente espe!i%i!ada3 Para espe!i%i!ar la estru!tura de un lenguaje& tene"os

,ue !ara!teri4ar de %or"a ine,uí2o!a la !lase de palabras ) e9presiones ,ue 2an a ser

signi%i!ati2as3 En !on!reto& tene"os ,ue indi!ar todas las palabras ,ue 5a)a"os de!idido

utili4ar sin de%inirlas pre2ia"ente& a las ,ue se deno"ina >t(r"inos nos de%inidos ;o

pri"iti2osC ade":s tene"os ,ue estable!er reglas de de%ini!i#n para introdu!ir t(r"inos

de%inidos o nue2os3

a) ,ue estable!er los !riterios ,ue per"itan distinguir dentro de una !lase de

e9presiones a,uellas a las ,ue deno"inados >ora!iones>3 * 5a) ,ue %or"ular las !ondi!iones

bajo las ,ue una ora!i#n del lenguaje puede ase2erarse3

Si al espe!i%i!ar la estru!tura de un lenguaje& nos re%eri"os @ni!a"ente a la %or"a de

las e9presiones i"pli!adas& se di!e del lenguaje ,ue es un lenguaje %or"ali4ado3 En un


6/22

lenguaje de este tipo las @ni!as ora!iones ,ue se pueden ad"itir !o"o 2:lidos son los

teore"as3

Por otro lado& pode"os i"aginar la !onstru!!i#n de lenguajes ,ue tengan una

estru!tura espe!i%i!ada !on toda e9a!titud sin ser lenguajes %or"ali4ados3 En un lenguaje de

este tipo la aser!i#n de las ora!iones& por eje"plo& podría depender no sie"pre de su %or"a&

sino a 2e!es de %a!tores no ling8ísti!os3 En realidad& sería interesante e i"portante !onstruir un

lenguaje de este tipo& ) en !on!reto& un lenguaje ,ue %uera !apa4 de per"itir el desarrollo de

una ra"a e9tensa de la !ien!ia e"píri!a& puesto ,ue justi%i!aría la esperan4a de ,ue los

lenguajes !on una estru!tura espe!i%i!ada puedan %inal"ente ree"pla4ar al lenguaje !otidiano

en el dis!urso !ientí%i!o3

El proble"a de la de%ini!i#n de la 2erdad !obra un signi%i!ado esen!ial ) se puede

solu!ionar de %or"a rigurosa s#lo para a,uellos lenguajes ,ue tengan una estru!tura

e9a!ta"ente espe!i%i!ada3

La antinomia del mentiroso.

Para des!ubrir algunas de las !ondi!iones ":s espe!í%i!as ,ue deben !u"plir los

lenguajes en los ,ue 2a"os a dar una de%ini!i#n de 2erdad& es a!onsejable e"pe4ar

o!up:ndonos de la antino"ia ,ue dire!ta"ente i"pli!a la no!i#n de 2erdad& a saber& la

antino"ia del "entiroso3

Se debería subra)ar ,ue las antino"ias 5an dese"peBado un papel de!isi2o a la 5ora

de estable!er el %unda"ento de las !ien!ias "odernas dedu!ti2as3 * tanto las antino"ias de

tipo te#ri!o& ) en !on!reto la antino"ia de Russell ;de la !lase de todas las !lases ,ue nos son

"ie"bros de ellas "is"os


7/22

La inconsistencia de los lenua!es semánticamente cerrados

". e"os asu"ido de %or"a i"plí!ita ,ue el lenguaje en el ,ue se !onstru)e la

antino"ia !ontiene& ade":s de sus e9presiones& los no"bres de di!5as e9presiones&

así !o"o los t(r"inos se":nti!os !o"o el t(r"ino >2erdadero> para re%erirse a las

ora!iones de este lenguajeC 5e"os asu"ido igual"ente ,ue todas las ora!iones ,ue

deter"inan el uso ade!uado de este t(r"ino se pueden enun!iar en este lenguaje3

Un lenguaje ,ue tenga todas estas !ara!terísti!as es un lenguaje >se":nti!a"ente

!errado>#. e"os supuesto ,ue en este lenguaje rijan las le)es 5abituales de la l#gi!a3

$. e"os supuesto ,ue se pueda %or"ular ) a%ir"ar en nuestro lenguaje una pre"isa

e"píri!a del tipo de la a%ir"a!i#n ;/< ,ue 5a apare!ido en esta argu"enta!i#n3

abe seBalar ,ue el ter!er presupuesto no es esen!ial )a ,ue es posible re!onstruirla

antino"ia del "entiroso sin su a)uda los presupuestos ;0< ) ;/< sí son esen!iales3 Dado ,ue

!ual,uier lenguaje ,ue !u"pla estos dos presupuestos es in!onsistente& tene"os ,ue re!5a4ar

uno de ellos3

No "ere!e la pena 5a!er 5in!api( en las !onse!uen!ias ,ue tendría el re!5a4ar el

segundo presupuesto& esto es& el tener ,ue !a"biar la l#gi!a3

Va"os a !onsiderar s#lo la posibilidad de re!5a4ar el pri"er presupuesto3 Tene"os la

inten!i#n de no utili4ar ning@n lenguaje ,ue sea se":nti!a"ente !errado en el sentido dado3

Esta restri!!i#n es natural"ente ina!eptable para a,uellos ,ue !reen ,ue e9iste

@ni!a"ente un lenguaje >genuino> ;o& al "enos& ,ue todos los lenguajes >genuinos> son

tradu!ibles entre sí


8/22

!on!reto& las no!iones se":nti!as no sean el objeto de una !ien!iaC en tal !aso el lenguaje de

di!5a !ien!ia no tiene ,ue !ontener ning@n t(r"ino se":nti!o3

Al !onsidera el !aso del lenguaje !otidiano& a pri"era 2ista& pare!ería ,ue este lenguaje

satis%a!e los dos pri"eros presupuestos& ) ,ue& por lo tanto& debe ser in!onsistente3 Pero el

!aso& es ,ue& nuestro lenguaje !otidiano !are!e !ierta"ente de una estru!tura per%e!ta"ente

de%inida3 No sabe"os a !ien!ia !ierta ,u( e9presiones son ora!iones& ) es di%í!il saber !u:les

son las ora!iones ,ue pode"os a!ertar3 Por ello& el proble"a de la !onsisten!ia no tiene un

signi%i!ado pre!iso !on respe!to a este lenguaje3

Lenua!e%ob!eto & metalenua!e.

El pri"ero de estos lenguajes es el lenguaje >del ,ue se 5abla> ) ,ue es el objeto de

esta dis!usi#nC El segundo es el lenguaje >!on el ,ue 5abla"os> del pri"er lenguaje& en

!on!reto& !onstruir la de%ini!i#n de 2erdad para el pri"er lenguaje3 Deno"inare"os al pri"er

lenguaje >lenguaje objeto> ) al segundo >"etalenguaje>3

Los t(r"inos >lenguaje objeto> ) >"etalenguaje> tienen @ni!a"ente un sentido

relati2o3

El 2o!abulario del "etalenguaje 2iene deter"inado en gran "edida por las !ondi!iones

pre2ia"ente estable!idas bajo las ,ue una de%ini!i#n de 2erdad se !onsiderara "aterial"ente

ade!uada3 Esta de%ini!i#n& tal ) !o"o re!orda"os& tiene ,ue i"pli!ar todas las e,ui2alen!ias

de la %or"a ;T


9/22


10/22

!ondi!i#n de la >ri,ue4a esen!ial> del "etalenguaje tiene ,ue ser& no s#lo ne!esaria& sino

ta"bi(n su%i!iente para la !onstru!!i#n de una de%ini!i#n satis%a!toria de la 2erdad3

'Un esbo(o) de la construcción de la definición

Una de%ini!i#n de 2erdad se puede obtener partiendo de otra no!i#n se":nti!a& a saber&

la no!i#n de satis%a!!i#n3

La satis%a!!i#n es una rela!i#n entre objetos arbitrarios ) !iertas e9presiones

deno"inadas >%un!iones predi!ati2as>3 Se trata de e9presiones tales !o"o >9 es blan!a>& >9 es

"a)or ,ue )>& et!3 Su estru!tura %or"al es pare!ida a la de las ora!ionesC sin e"bargo& pueden

!ontener las lla"adas 2ariables libres ;!o"o la >9> ) la >)> en >9 es "a)or ,ue )>< ,ue no

apare!en en las ora!iones3

Por lo ,ue respe!ta a la no!i#n de satis%a!!i#n& 2a"os a intentar de%inirla di!iendo ,ue

algunos objetos dados satis%a!en una %un!i#n dada si esta @lti"a se !on2ierte en una ora!i#n

2erdadera al sustituir la 2ariable libre ,ue apare!e en ella por el no"bre de un objeto dado3

Para obtener una de%ini!i#n de satis%a!!i#n es a!onsejable apli!ar de nue2o un

pro!edi"iento re!ursi2o3 Indi!a"os los objetos ,ue satis%a!en las %un!iones predi!ati2as ":s

si"plesC despu(s pasa"os a enun!iar las !ondi!iones en las ,ue los objetos dados satis%a!en

una %un!i#n !o"pleja suponiendo ,ue sabe"os ,u( objeto satis%a!e las %un!iones ":s

si"ples a partir de las ,ue se 5an !reado las ":s !o"plejas3

Es apli!able auto":ti!a"ente ta"bi(n a las %un!iones predi!ati2as espe!iales ,ue no

!ontienen 2ariables libres& por eje"plo& a las ora!iones3 Para una ora!i#n s#lo son posibles dos

!asos= o bien todos los objetos satis%a!en una ora!i#n& o bien ning@n objeto satis%a!e di!5a

ora!i#n3 Llega"os a la de%ini!i#n de 2erdad ) %alsedad di!iendo ,ue una ora!i#n es 2erdadera

si todos los objetos la satis%a!en ) es %alsa si ning@n objeto la satis%a!e3


11/22

on este so"ero esbo4o no ,ueda !laro d#nde ) !#"o apare!e el presupuesto de

>ri,ue4a esen!ial> del "etalenguaje en esta dis!usi#nC la situa!i#n ,ueda !lara @ni!a"ente si la

!onstru!!i#n se lle2a a !abo de "odo %or"al ) detallado3

Consecuencia de la definición.

Se 5a de"ostrado ,ue la de%ini!i#n no es sola"ente %or"al"ente !orre!ta& sino

ta"bi(n "aterial"ente ade!uada3 Es i"portante seBalar ,ue las !ondi!iones ne!esarias para

,ue se d( la ade!ua!i#n "aterial de la de%ini!i#n deter"inan @ni!a"ente la e9tensi#n del

t(r"ino >2erdadero>3 La !on!ep!i#n se":nti!a de la 2erdad no nos o%re!e la posibilidad de

elegir entre distintas de%ini!iones de esta no!i#n ,ue no sean e,ui2alentes entre sí3

Ade":s pode"os probar !on su a)uda la le) de la !ontradi!!i#n ) la del ter!io e9!luso&

,ue son tan !ara!terísti!as de la !on!ep!i#n aristot(li!a de la 2erdad3

Se pueden obtener resultados ":s i"portantes apli!ando la teoría de la 2erdad a los

lenguajes %or"ali4ados de una !lase "u) e9tensa de dis!iplinas "ate":ti!asC s#lo ,uedan

e9!luidas de esta !lase las dis!iplinas de !ar:!ter ele"ental ) ,ue tienen una estru!tura l#gi!a

"u) ele"ental3 Resulta ,ue para una dis!iplina de esta !lase la no!i#n de 2erdad nun!a

!oin!ide !on la de de"ostrabilidadC puesto ,ue todas las ora!iones ,ue pueden dedu!irse son

2erdaderas& pero 5a) ora!iones 2erdaderas ,ue no son dedu!ibles3

Extensión de estos resultados a otras nociones semánticas.

ada una de las no!iones antes "en!ionadas se puede anali4ar siguiendo las pautas

"ar!adas al anali4ar la no!i#n de 2erdad3 Se puede "ostrar ,ue !ada una de di!5as no!iones&

!uando se utili4a en un lenguaje se":nti!a"ente !errado& seg@n esos !riterios& lle2a

ne!esaria"ente a una !ontradi!!i#nC los resultados obtenidos al o!uparnos de una no!i#n

se":nti!a en !on!reto son apli!ables al proble"a general de los %unda"entos de la se":nti!a

te#ri!a3


12/22

Nos 5e"os !entrado a,uí en la teoría de las no!iones se":nti!as rela!ionadas !on un

lenguaje objeto indi2idual3 Sin e"bargo& podría"os plantearnos ta"bi(n el desarrollo de una

se":nti!a general apli!able a una !lase e9tensa de lenguajes objetosC no obstante se plantean

nue2as di%i!ultades a este respe!to& ,ue no 2a"os a tratar a,uí3 SeBalar( si"ple"ente ,ue el

"(todo a9io":ti!o puede ser el ":s apropiado para el trata"iento de este proble"a3

*Es la concepción semántica de la verdad la correcta+

Debería"os re!on!iliarnos !on el 5e!5o de ,ue nos en%renta"os& no !on un !on!epto&

sino !on 2arios !on!eptos di%erentes denotados por una sola palabraC debería"os intentar

a!larar estos !on!eptos lo "ejor posible ;"ediante de%ini!iones& un pro!edi"iento a9io":ti!o&

o de !ual,uier otra %or"asi333 enton!es>& >o>& et!3

Apare!en en el de%iniensC ) uno de ellos& a saber& la %rase >si& ) s#lo si>& se utili4a general"ente

para rela!ionar el de%iniendu" !on el de%iniens3 No obstante& est: !laro ,ue el signi%i!ado de


13/22

los !one!tores proposi!ionales se e9pli!a en l#gi!a !on a)uda de las palabras >2erdadero> )

>%also>C por eje"plo& de!i"os ,ue una e,ui2alen!ia& esto es& una ora!i#n de la %or"a >p si& )

s#lo si& ,>& es 2erdadera si uno o los dos "ie"bros& es de!ir& las ora!iones representadas por

>p3

Si esta obje!i#n %uera 2:lida& no sería posible dar ninguna de%ini!i#n !orre!ta de la

2erdad& )a ,ue no se puede %or"ular ninguna ora!i#n !o"puesta sin 5a!er uso de los

!one!tores proposi!ionales& o de otros t(r"inos l#gi!os de%inidos !on su a)uda3

A%ortunada"ente& la situa!i#n no es tan gra2e3

Estas a%ir"a!iones !aen %uera del siste"a de la l#gi!a& ) no se deberían !onsiderar

de%ini!iones de los t(r"inos i"pli!ados3 No se %or"ulan en el lenguaje del siste"a& pero

apare!en !o"o !onse!uen!ias espe!í%i!as de la de%ini!i#n de 2erdad dada en el "etalenguaje3

Ade":s& estas a%ir"a!iones no in%lu)en en el desarrollo dedu!ti2o de la l#gi!a en ning@n

sentido& puesto ,ue en tal desarrollo no se dis!ute si una ora!i#n dada es 2erdadera& lo @ni!o

,ue interesa es si di!5a ora!i#n es de"ostrable3

E2idente"ente esta de%ini!i#n no !ontiene t(r"inos se":nti!os3 Sin e"bargo& el

!ír!ulo 2i!ioso surge en la de%ini!i#n @ni!a"ente !uando los de%iniens !ontienen o bien el

t(r"ino "is"o ,ue se 2a a de%inir& u otros t(r"inos de%inidos !on su a)uda3

Ta"bi(n puedo de!ir ,ue "e in!lino a pensar ,ue los es,ue"as ;TG< ) ;TGG< son

>inad"isible"ente largos>3 * !reo poder probar esta a%ir"a!i#n !on todo rigor !on la siguiente

de%ini!i#n= se di!e ,ue una e9presi#n es >inad"isible"ente larga> !uando ;0< !are!e de

sentido& ) ;/< !uando se 5a obtenido a partir de una e9presi#n signi%i!ati2a aBadi(ndole

palabras inne!esarias3

Las reducciones de los términos semánticos – su posible eliminación.

Se 5a 2isto ,ue esta !on!ep!i#n !onsiste %unda"ental"ente en !onsiderar a la ora!i#n

6? es 2erdadera7 e,ui2alente a la ora!i#n denotada por 6?73 Por lo tanto el t(r"ino


14/22

62erdadero7& !uando apare!e en una ora!i#n si"ple de la %or"a >? es 2erdadero>& se puede

eli"inar %:!il"ente& ) la ora!i#n "is"a& ,ue pertene!e al "etalenguaje& puede ser

ree"pla4ada por una ora!i#n e,ui2alente del lenguaje objeto3 Lo "is"o se puede de!ir de las

ora!iones !o"puestas sie"pre ,ue el t(r"ino >2erdadero> apare4!a en ellas @ni!a"ente !o"o

parte de la e9presi#n de la %or"a >? es 2erdadero>3

Por esta ra4#n& algunos !reen ,ue el t(r"ino >2erdadero> en el sentido se":nti!o se

puede eli"inar sie"pre& ) por ello la !on!ep!i#n se":nti!a de la 2erdad es est(ril e in@til3

El tipo de eli"ina!i#n ,ue a,uí se dis!ute no sie"pre se puede 5a!er3 No se puede

5a!er !on las a%ir"a!iones uni2ersales ,ue e9presan el 5e!5o de ,ue todas las ora!iones de un

!ierto tipo son 2erdaderas o ,ue todas las ora!iones 2erdaderas tienen una propiedad3

Por supuesto& dado ,ue tene"os una de%ini!i#n de la 2erdad& ) puesto ,ue toda

de%ini!i#n nos per"ite sustituir el de%iniendu" por su de%iniens& la eli"ina!i#n del t(r"ino

>2erdadero> en el sentido se":nti!o es sie"pre te#ri!a"ente posible3 Pero di!5a eli"ina!i#n

no ser: el tipo de eli"ina!i#n sen!illa ,ue se 5a dis!utido ":s arriba ) no !onsistir: en

sustituir una ora!i#n en el "etalenguaje por una ora!i#n en el lenguaje objeto3

La conformidad de la concepción semántica de la verdad con el uso del sentido

com,n & el uso filosófico.

La !uesti#n ,ue se plantea es si la !on!ep!i#n se":nti!a de la 2erdad se puede

!onsiderar en realidad una %or"a pre!isa de la 2ieja !on!ep!i#n !l:si!a de esta no!i#n3

Se 5a !uestionado si la !on!ep!i#n se":nti!a re%leja la no!i#n de la 2erdad en su

sentido !o"@n ) en su uso !otidiano3 Esto) absoluta"ente !on2en!ido de ,ue el signi%i!ado

!o"@n de la palabra >2erdadero> es en !ierta "edida i"pre!isa& ) de ,ue su uso %lu!t@a de

alguna "anera3 El proble"a de asignar a esa palabra un signi%i!ado %ijo ) e9a!to est:

relati2a"ente sin espe!i%i!ar& ade":s de ,ue !ual,uier intento por resol2er este proble"a

i"pli!a ne!esaria"ente una !ierta des2ia!i#n respe!to a la pr:!ti!a del lenguaje !otidiano3


15/22

Di!5as in2estiga!iones se deberían lle2ar a !abo !on un !uidado e9,uisito3 Puesto ,ue&

si pregunta"os a un estudiante de enseBan4a "edia& o in!luso a un 5o"bre adulto inteligente

,ue !are4!a de !ono!i"ientos de %iloso%ía& si una ora!i#n es 2erdadera si se ajusta a la

realidad& o si designa un estado e9istente de !osas& puede ser ,ue si"ple"ente no entiendan la

pregunta3

La definición en relación con el problema filosófico de la verdad & sus distintas

tendencias epistemolóicas.

Se 5a objetado ,ue& la de%ini!i#n %or"al de la 2erdad no tiene nada ,ue 2er !on el

>proble"a %ilos#%i!o de la 2erdad3

No !reo ,ue e9ista >el proble"a %ilos#%i!o de la 2erdad>3 reo ,ue e9isten 2arios

proble"as interesantes e inteligibles ,ue a%e!tan a la no!i#n de 2erdad& pero ,ue se pueden

%or"ular !on total pre!isi#n ) posible"ente se pueden resol2er !ontando !on una !on!ep!i#n

e9a!ta de di!5a no!i#n3

Se le 5a !ulpado a la de%ini!i#n de 2erdad de no ser lo su%i!iente"ente %ilos#%i!a& otras

de las obje!iones ,ue se le 5an planteado la 5an a!usado de tener serias i"pli!a!iones

%ilos#%i!as& sie"pre de naturale4a indeseable3

En realidad& la de%ini!i#n se":nti!a de la 2erdad no i"pli!a nada respe!to a las

!ondi!iones en la ,ue se puede a%ir"ar una %rase3 I"pli!a @ni!a"ente ,ue& sie"pre ,ue

a%ir"e"os o negue"os esta ora!i#n& tene"os ,ue estar dispuestos a a%ir"ar o negar la

siguiente %rase3 Por lo tanto& pode"os a!eptar la !on!ep!i#n se":nti!a de la 2erdad sin tener

,ue renun!iar a !ual,uier a!titud episte"ol#gi!a ,ue tu2i(ra"os pre2ia"ente3

e 5e e9tendido un po!o en esta !uesti#n no por,ue la obje!i#n ,ue se "e 5a

planteado "e pare4!a "u) signi%i!ati2a& sino por,ue a,uellos ,ue& por distintas ra4ones

episte"ol#gi!as se sientan in!linados a re!5a4ar la !on!ep!i#n se":nti!a de la 2erdad& tengan

en !uenta algunos puntos ,ue 5an salido a relu!ir a lo largo de la dis!usi#n3


16/22

Los elementos metaf-sicos incluidos en la semántica.

A 2e!es se 5a a!usado a la !on!ep!i#n se":nti!a de la 2erdad de lle2ar i"plí!itos

!iertos ele"entos "eta%ísi!os3 E2idente"ente todo este proble"a depende de lo ,ue uno

entienda por >"eta%ísi!a>3

Para algunos& la "eta%ísi!a es una teoría general de los objetos& una dis!iplina ,ue tiene

,ue desarrollarse en un sentido pura"ente e"píri!o& ) ,ue se di%eren!ia de otras !ien!ias

e"píri!as e9!lusi2a"ente por su generalidad3

Para la "a)oría& no obstante& el t(r"ino >"eta%ísi!o> se utili4a dire!ta"ente en

oposi!i#n al t(r"ino >e"píri!o>C de !ual,uier %or"a& 5a) ,ue desta!ar ,ue lo utili4an en este

sentido todos a,uellos a los ,ue les perturba el ,ue alg@n ele"ento "eta%ísi!o logre in%iltrarse

en la !ien!ia3 Esta !on!ep!i#n general de la "eta%ísi!a adopta otras %or"as ":s espe!í%i!as3

Algunos dete!tan ele"entos "eta%ísi!os en la !ien!ia sie"pre ,ue se utili!en "(todos

de in2estiga!i#n ,ue no sean ni dedu!ti2os ni e"píri!os3

Para otros& el !ar:!ter "eta%ísi!o de una !ien!ia depende prin!ipal"ente de su

2o!abulario )& ":s !on!reta"ente& de sus t(r"inos pri"iti2os3 Por ello& se di!e ,ue un t(r"ino

es "eta%ísi!o sie"pre ,ue no sea un t(r"ino l#gi!o o "ate":ti!o& o si no est: aso!iado a un

pro!edi"iento e"píri!o ,ue nos per"ita de!idir si di!5o t(r"ino denota una !osa o no3

No obstante& 5a) ,uien !ree& a pesar de ,ue no 5a)a t(r"inos "eta%ísi!os entre los

t(r"inos pri"iti2os de un lenguaje& ,ue pueden ser introdu!idos "ediante de%ini!iones3

En general& se puede a%ir"ar ,ue el t(r"ino >"eta%ísi!o> se utili4a en un sentido tan

a"plio ,ue abar!a !iertas no!iones ;o "(todos< de la l#gi!a& las "ate":ti!as& o las !ien!ias

e"píri!as& ) ,ue ter"inar:n apli!:ndose a %ortiori a las no!iones se":nti!as3 En realidad& tal )

!o"o se 5a di!5o en la pri"era parte de este es!rito& en el desarrollo de la se":nti!a de un


17/22

lenguaje utili4a"os todas las no!iones de este lenguaje& ) se apli!a un aparato l#gi!o in!luso

":s potente del ,ue se utili4a en el lenguaje "is"o3

La aplicabilidad de la semántica a las ciencias emp-ricas especiales.

Se 5an e9presado %uertes dudas sobre si las no!iones se":nti!as pueden o no tener

i"pli!a!iones en distintos do"inios de la a!ti2idad intele!tual3 En gran parte di!5as dudas se

re%erían a la apli!abilidad de la se":nti!a al !a"po de las !ien!ias e"píri!as3

Pri"ero& el desarrollo de una teoría ,ue %or"ula una de%ini!i#n pre!isa de una no!i#n )

estable!e sus propiedades generales propor!iona e ipso una base %ir"e para todas las

dis!usiones en las ,ue esta no!i#n est( i"pli!ada& )& por lo tanto& no puede ser irrele2ante para

nadie ,ue utili!e esta no!i#n ) ,ue desee 5a!erlo de %or"a !ons!iente ) !onsistente3 En

segundo lugar& las no!iones se":nti!as est:n en realidad i"pli!adas en 2arias ra"as de la

!ien!ia& ) en !on!reto de las !ien!ias e"píri!as3

Las no!iones se":nti!as est:n sin duda presentes& en "a)or o "enor grado& en la

psi!ología& la so!iología& ) pr:!ti!a"ente en todas las 5u"anidades3 Por ello& un psi!#logo

de%ine el deno"inado !oe%i!iente de inteligen!ia en t(r"inos del n@"ero de respuestas

2erdaderas ;!orre!tas< ) %alsas ;in!orre!tas< dadas por un indi2iduo a un !uestionarioC para un

5istoriador de la !ultura el rango de objetos para los ,ue una ra4a 5u"ana en estadios

su!esi2os de su desarrollo posee designa!iones ade!uadas puede ser un t#pi!o de gran

signi%i!adoC un estudiante de literatura podría estar "u) interesado en si un autor utili4a

sie"pre dos palabras dadas !on el "is"o signi%i!ado3

El do"inio ":s natural ) pro"etedor para las apli!a!iones de la se":nti!a te#ri!a es

!lara"ente la ling8ísti!a3 Algunas partes de esta !ien!ia in!luso se deno"inan >se":nti!a> a2e!es !on una !ali%i!a!i#n adi!ional3 Se apli!a este no"bre a la parte de la gra":ti!a ,ue

intenta !lasi%i!ar todas las palabras de una lengua en partes del dis!urso& teniendo en !uenta lo

,ue las palabras signi%i,uen o designen3


18/22

No es ne!esario "en!ionar ,ue la se":nti!a no puede en!ontrar ninguna apli!a!i#n

dire!ta en las !ien!ias naturales& tales !o"o la %ísi!a& la biología& et!3C puesto ,ue ninguna de

estas !ien!ias se o!upa de los %en#"enos ling8ísti!os& ) "u!5o "enos de las rela!iones

se":nti!as entre e9presiones ling8ísti!as ) los objetos a los ,ue di!5as e9presiones se re%ieren3

La aplicabilidad de la semántica a la metodolo-a de las ciencias emp-ricas.

A parte de la ling8ísti!a& otro !a"po i"portante de posible apli!a!i#n de la se":nti!a

es la "etodología de la !ien!iaC este t(r"ino se e"plea a,uí en un sentido e9tenso ,ue abar!a

la teoría de la !ien!ia en general3 El estudio de un lenguaje !ientí%i!o !onstitu)e una parte

esen!ial de la dis!usi#n "etodol#gi!a de una !ien!ia3

La !uesti#n ,ue nos plantea"os es si la se":nti!a puede ser @til a la 5ora de resol2er

proble"as generales )& por así de!irlo& !l:si!os de la "etodología3 e gustaría detener"e a,uí

en un aspe!to de esta !uesti#n ,ue !onsidero de su"a i"portan!ia3

Uno de los proble"as prin!ipales de la "etodología de las !ien!ias e"píri!as !onsiste

en estable!er las !ondi!iones en las ,ue una teoría e"píri!a o una 5ip#tesis deberían ser

a!eptables3 Esta no!i#n de a!eptabilidad debe relati2i4arse teniendo en !uenta el grado de

desarrollo de una !ien!ia3 Podría"os !onsiderarlo !o"o algo ,ue no es dado "ediante un

"ar!ador te"poralC puesto ,ue una teoría ,ue es a!eptable 5o) puede 2ol2erse insostenible

"aBana a la 2ista de los nue2os des!ubri"ientos !ientí%i!os3

E9isten distintos "(todos ,ue nos per"iten !o"probar si una teoría dada !ontiene o no

proposi!iones %alsas3 Alguno de estos "(todos se basa pura"ente en las propiedades l#gi!as

de la teoría en !uesti#n3 on la a)uda de algunos presupuestos !on respe!to a la 2erdad de las

proposi!iones e"píri!as& pode"os obtener "(todos ,ue tengan los "is"os e%e!tos ) ,ue nosean e9!lusi2a"ente de naturale4a l#gi!a3 Si de!idi"os a!eptar el postulado general propuesto

":s arriba la apli!a!i#n e9itosa de un "(todo de este tipo 5ar: ,ue la teoría sea insostenible3


19/22

plicaciones de la semántica a la ciencia deductiva.

Por lo ,ue se re%iere a la apli!abilidad de la se":nti!a a la "ate":ti!a ) a su

"etodología& esto es& a la "eta"ate":ti!a& nos en!ontra"os en una posi!i#n ":s %a2orable

,ue en el !aso de las !ien!ias e"píri!as3 Por,ue& en 2e4 de proponer ra4ones ,ue justi%i,uen

las esperan4as ,ue se albergan para el %uturo pode"os "ostrar )a los resultados !on!retos ,ue

se 5an logrado3

Toda2ía siguen plante:ndose dudas sobre si la no!i#n de una ora!i#n 2erdadera puede

tener alg@n signi%i!ado para las dis!iplinas "ate":ti!as ) dese"peBar alg@n papel en la

dis!usi#n "etodol#gi!a de las "ate":ti!as3 onta"os )a !on toda una serie de resultados

"eta"ate":ti!os interesantes obtenidos !on la a)uda de la teoría de la 2erdad3 Estos

resultados se re%ieren a las rela!iones "utuas entre la no!i#n de 2erdad ) la de

de"ostrabilidadC estable!en nue2as propiedades sobre esta @lti"a no!i#nC ) arroja algo de lu4

sobre los proble"as %unda"entales de la !onsisten!ia ) la !o"pletud3

Al apli!ar el "(todo de la se":nti!a pode"os de%inir de %or"a ade!uada 2arias

no!iones "eta"ate":ti!as i"portantes ,ue se 5an utili4ado 5asta a5ora s#lo de %or"a

intuiti2a3

e"os dis!utido las apli!a!iones de la se":nti!a @ni!a"ente a la "eta"ate":ti!a& )

no a las "ate":ti!as propia"ente di!5as3 Pero& esta distin!i#n entre la "ate":ti!a ) la

"eta"ate":ti!a !are!e de i"portan!ia )a ,ue la "eta"ate":ti!a es una dis!iplina dedu!ti2a

) por lo tanto& desde un !ierto punto de 2ista& parte de la "ate":ti!aC ) !o"o es bien sabido

dado el !ar:!ter %or"al del "(todo dedu!ti2o los resultados obtenidos en una dis!iplina

dedu!ti2a se pueden e9tender auto":ti!a"ente a !ual,uier otra dis!iplina en la ,ue di!5os

resultados puedan ser interpretados3


20/22

Conclusiones

La !on!ep!i#n se":nti!a de la 2erdad es un do!u"ento real"ente pre!ioso ) !on una

gran ri,ue4a3 *a ,ue trata por todos los "edios de bus!ar una de%ini!i#n satis%a!toria de la

2erdad3 Una ,ue ro"piera !on todos los paradig"as ) ,ue en si nos diera la respuesta ,ue

todos est:ba"os bus!ando3

Al%red Tars+i %ue un l#gi!o& "ate":ti!o ) %il#so%o pola!o se dio la tarea de reali4ar este

"agní%i!o do!u"ento3 El trato de "ostrar la preser2a!i#n de un !on!epto !l:si!o ,ue re,uería

no de%inirlo para !ual,uier lenguaje& sino para un lenguaje %or"al interpretable en do"inios

restringidos3

Puedo de!ir ,ue Tars+i "ostr# !o"o la !on!ep!i#n !l:si!a sir2e para a2an4ar desde los

%or"alis"os& ) !o"o los %or"alis"os sir2e para a2an4ar desde la !on!ep!i#n !l:si!a&

5a!i(ndola ":s pre!isa ) !ientí%i!a3

Es in!reíble !o"o para este autor la 2erdad se entiende !o"o !orresponden!ia entre las

ora!iones ) los re%erentes de estas en un "odelo en el ,ue se interpretan3

Tars+i to!a "u!5os puntos ) uno de ellos %ue la 2erdad !o"o !on!epto se":nti!o3

El t(r"ino se":nti!a se re%iere a los aspe!tos del signi%i!ado& sentido o interpreta!i#n

de signos ling8ísti!os !o"o sí"bolos& palabras& e9presiones o representa!iones %or"ales3 En

prin!ipio !ual,uier "edio de e9presi#n ;lenguaje %or"al o natural< ad"ite una

!orresponden!ia entre e9presiones de sí"bolos o palabras ) situa!iones o !onjuntos de !osas

,ue se en!uentran en el "undo %ísi!o o abstra!to ,ue puede ser des!rito por di!5o "edio de

e9presi#n3

En el do!u"ento Tars+i lo e9pli!a ":s sen!illo& (l di!e ,ue la se":nti!a es la !ien!ia

,ue se o!upa de las rela!iones entre las e9presiones de un lenguaje dado ) los objetos a los ,ue

http://es.wikipedia.org/wiki/Significadohttp://es.wikipedia.org/wiki/Significadohttp://es.wikipedia.org/wiki/Interpretaci%C3%B3nhttp://es.wikipedia.org/wiki/Interpretaci%C3%B3nhttp://es.wikipedia.org/wiki/Interpretaci%C3%B3nhttp://es.wikipedia.org/wiki/Significado


21/22

se re%ieren di!5as e9presiones3 Es de!ir ,ue la se":nti!a lo ,ue 5a!es es estable!er esa

rela!i#n ,ue tiene la ora!i#n en si !on el objeto de !ual se 5abla& de "anera ,ue !uando se

a%ir"e o se niegue algo en esa ora!i#n se estar: a%ir"ando o negando el objeto& )a ,ue est:n

pro%unda"ente rela!ionados por la se":nti!a3

Tal !o"o Tars+i propone la de%ini!i#n de la 2erdad& no se desliga de la tarea de de%inir

,ue es un objeto o un estado de !osas& sino ,ue sola"ente se desprende de la realidad e9terna

,ue todos los tratados sobre la 2erdad anteriores to"aron !o"o parte "aterial sobre la ,ue se

apli!aba su se":nti!a3 En rigor& Tars+i& respeta todos los prin!ipios de la l#gi!a propuesta por

Arist#teles& s#lo ,ue a estos prin!ipios& al e9i"irlos de una >realidad e"píri!a>& los libera de

!uestiones ontol#gi!o"eta%ísi!as3

Todo este do!u"ento 5a logrado in%luir "u!5o en la %iloso%ía& debido a su gran ri,ue4a

intele!tual3 a dado pies a grandes re%le9iones %ilos#%i!as3 laro ,ue esta teoría no se trata

!o"o la teoría dire!ta de la 2erdad sino !o"o parte de una teoría de la interpreta!i#n de esos

lenguajes por sus 5ablantes ) en la "edida en ,ue son %or"ali4ables de !ierta "anera3 * !on

todo esto se puede llegar a !on!luir ,ue su teoría supone una %unda"enta!i#n en el realis"o3

La !on!ep!i#n se":nti!a de la 2erdad es a "í pare!er una obra para el deleite de una

e9pli!a!i#n ling8ísti!a per%e!ta"ente adaptada al lenguaje l#gi!o& ) tiene ,ue ser así dada la

i"pli!a!i#n ,ue poseen a"bas ra"as del saber3

e lla"# poderosa"ente la aten!i#n el (n%asis ,ue el autor 5a!e para des!onte9tuali4ar

la se":nti!a del estudio ling8ísti!o ) los traspasa al !a"po de la l#gi!a& en donde

%ilos#%i!a"ente se puede dedu!ir la i"pli!a!i#n ,ue posee un ra4ona"iento3

Figueira


22/22

Es "u) probable ,ue su !on!epto de ne!esidad sea algo ":s ,ue un si"ple argot

propio del desarrollo de la obra del autor& por,ue e9plí!ita"ente 5a!e re%eren!ia al 5e!5o de

,ue no puede e9istir una rela!i#n del signi%i!ante ) signi%i!ado& por así lla"arle& es de!ir&

lenguaje objeto ) al "etalenguaje ,ue no 5aga re%eren!ia al 5e!5o de ,ue son total"ente

inseparables3

De a5í radi!a ,ue la ne!esidad en el estable!i"iento de un siste"a de lenguaje propio

para el estudio de !ada !ien!ia tenga ,ue !ontener su propia !odi%i!a!i#n& lo ,ue per"itir:

pues& a!!eder al uni2erso propio de ese !a"po de estudio3

A5ora bien& la obra de Tars+i& al igual ,ue la de oore& 5a!en uso de la l#gi!a no !on

la inten!i#n de estable!er un dog"a de la realidad en su sentido se":nti!o& sino pre!isa"ente

para destruir lo ,ue )a ,ue !ono!e al respe!to& para así re%or"ular ) abrir una nue2a 2entana

para las %uturas in2estiga!iones en di!5o !a"po3

* el !ul"en de di!5a obra& se puede redu!ir a la !lari%i!a!i#n del t(r"ino verdad )

verdadero& sus i"pli!a!iones ) !u:les deberían ser las !onsidera!iones !on respe!to al debido

uso de tal !on!ep!i#n para sí e2itar en el %uturo los errores i"plí!itos en el de2enir de los

apli!a!iones ,ue poseen las palabras )a "en!ionadas3

Por lo ,ue no "e !abe la "enor duda& ,ue al "o"ento de e"plear tales t(r"inos

tendr( ,ue re"itir"e a Tars+i& para no !aer en una !ontradi!!i#n se":nti!al#gi!a& ,ue no

!on2enga a la e9pli!a!i#n ,ue te#ri!a"ente sea !o"probable& pero ,ue en la pr:!ti!a no lo sea

dada la 2aria!i#n ,ue i"pli!a tal realidad3

León

Concepción Semantica de La Verdad

Documents

Transcript of Concepción Semantica de La Verdad