Metallenguatge: diferència entre les revisions
Contingut suprimit Contingut afegit
m #QQ17 Enllaços incorrectes a pàgines de desambiguació |
Cap resum de modificació |
||
Línia 1:
Dins l'entorn de la [[lògica]] i [[filosofia del llenguatge]], un '''
La distinció entre llenguatge objecte i metallenguatge va ser introduïda per [[Alfred Tarski]] com una solució a les paradoxes semàntiques com la [[paradoxa del mentider]].<ref Name=Dictionary/> Segons Tarski, cap llenguatge pot contenir el seu propi predicat de veritat i romandre consistent.<ref name=Dictionary/> Per parlar sobre la veritat en un llenguatge, i no generar contradiccions, cal fer-ho des d'un llenguatge diferent, amb més poder expressiu: el metallenguatge.<ref name = Dictionary/>
Línia 8:
== L'ús de metallenguatges ==
En multitud d'ocasions utilitzem aquest recurs amb el qual, si no se n'és conscient, es poden cometre errors d'interpretació.
Linha 28 ⟶ 27:
== Els metallenguatges i la ciència ==
En el llenguatge científic aquesta distinció és de molta importància.
La teoria dels nivells de llenguatge va ser establerta per [[Bertrand Russell]] en la seva introducció al ''
La distinció formal entre llenguatge objecte i metallenguatge va ser introduïda per [[Alfred Tarski]] com una solució a les paradoxes semàntiques com la [[paradoxa del mentider]]. Segons Tarski, cap llenguatge pot contenir el seu propi predicat de veritat i romandre consistent. Per parlar sobre la veritat en un llenguatge, i no generar contradiccions, cal fer-ho des d'un llenguatge diferent, amb més poder expressiu: el metallenguatge.<ref> Diccionari Oxford de Filosofia </ref>
Així es resol la clàssica [[paradoxa del mentider]]. L'expressió gramaticalment correcta: "Epimènides el cretenc diu que tots els cretencs són mentiders", no pot tenir, ni té valor de veritat. Però el seu sentit de veritat apareix clarament quan distingim dos nivells de llenguatge.
=== Els llenguatges formalitzats i la construcció de models ===
Però és d'especial rellevància l'estudi del metallenguatge des del punt de vista de la seva "estructura formal" o "sintàctica", cosa que dóna lloc als llenguatges formals lògic-matemàtics.
Linha 77 ⟶ 72:
== Vegeu també ==
* [[Distinció entre ús i menció]]
Linha 84 ⟶ 78:
== Bibliografia ==
* {{ref-llibre
|autor = HONDERICH, T. (Editor)
Linha 90 ⟶ 83:
|any = 2001
|editorial = Madrid. Editorial Tecnos
|
}}
*{{ref-llibre
|autor = Ferrater Mora, J.
|títol = Diccionari de Filosofia (4 toms)
|any = 1984
|
|editorial = Barcelona. Aliança Diccionaris
}}
|