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
8/16/2019 Concepción Semantica de La Verdad
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.”
8/16/2019 Concepción Semantica de La Verdad
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
8/16/2019 Concepción Semantica de La Verdad
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
8/16/2019 Concepción Semantica de La Verdad
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
8/16/2019 Concepción Semantica de La Verdad
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
8/16/2019 Concepción Semantica de La Verdad
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/16/2019 Concepción Semantica de La Verdad
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
8/16/2019 Concepción Semantica de La Verdad
9/22
8/16/2019 Concepción Semantica de La Verdad
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
8/16/2019 Concepción Semantica de La Verdad
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
8/16/2019 Concepción Semantica de La Verdad
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
8/16/2019 Concepción Semantica de La Verdad
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
8/16/2019 Concepción Semantica de La Verdad
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
8/16/2019 Concepción Semantica de La Verdad
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
8/16/2019 Concepción Semantica de La Verdad
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
8/16/2019 Concepción Semantica de La Verdad
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
8/16/2019 Concepción Semantica de La Verdad
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
8/16/2019 Concepción Semantica de La Verdad
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
8/16/2019 Concepción Semantica de La Verdad
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
8/16/2019 Concepción Semantica de La Verdad
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
8/16/2019 Concepción Semantica de La Verdad
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