Metaspråk
I logikk og språkfilosofi er et metaspråk et språk som brukes til å snakke om et annet språk. [ 1 ] Språket det snakkes om kalles objektspråket . [ 1 ] Metaspråket kan være identisk med målspråket, for eksempel når man snakker om spansk som bruker spansk selv. [ 2 ] Ett metaspråk om gangen kan være objektspråket til et annet høyere-ordens metaspråk, og så videre. Ulike metaspråk kan snakke om ulike aspekter ved samme målspråk.
Formelle modeller for syntaks for grammatikkbeskrivelse, for eksempel generativ grammatikk , er typer metaspråk.
I en mer generell forstand kan det referere til enhver terminologi eller språk som brukes til å snakke med referanse til det samme språket. For eksempel en tekst om grammatikk eller en diskusjon om språkbruk.
Metavariabler
Metavariabler er symboler eller strenger av symboler i et metaspråk som representerer elementer i et objektspråk . For eksempel i setningen
- La A og B være to setninger av proposisjonslogikkens språk.
Symbolene A og B er metavariabler av et metaspråk (spansk) som representerer setninger i et objektspråk (språket for proposisjonell logikk ). Konvensjonen er at innenfor samme kontekst representerer den samme metavariabelen alltid det samme elementet i målspråket, men forskjellige metavariabler representerer ikke nødvendigvis forskjellige elementer.
Bruken av metaspråk
Ved mange anledninger bruker vi denne ressursen som, hvis du ikke er klar over det, kan gjøre tolkningsfeil .
Allerede i grammatikken skilles det mellom bruk og omtale .
Bisyllable er ethvert ord som har to stavelser. Men 'disylable' [ 3 ] er ikke bistavelse. I dette tilfellet refererer 'tostavelse' til selve ordet, ikke til dets objektbetydning, det vil si til et tostavelsesord.
Hvert språk har et objekt som det adresserer eller refererer til. Det er "objektspråket".
Ethvert språk som har et språk som objekt er et "metaspråk", som igjen kan være objektspråket til et annet høyere ordens metaspråk, og så videre.
La oss vurdere de forskjellige referansene til følgende setning: "Antonio sier at Luis sa at María Luisa sa at ..."
"Antonio sa at i går dro han på kino." Merk at en slik uttalelse ikke gir oss informasjon om hvorvidt Antonio gikk på kino i går.
Å ikke ta i betraktning den distinksjonen som snakker om virkeligheten av det faktum: "Antonio sa" og språket (metaspråket) om det Antonio sa: "at han gikk på kino i går" gir seg selv til tolkningsforvirring.
Metaspråk og vitenskap
I vitenskapelig språk er dette skillet av stor betydning.
Teorien om språknivåer ble etablert av Bertrand Russell i sin introduksjon til Wittgensteins Tractatus Logico - Philosophicus .
Russell, som hadde utarbeidet teorien om typer for å løse noen logiske paradokser , uttaler at "hvert språk har en egen struktur som ingenting kan sies om i selve språket; men det kan være et annet språk som omhandler strukturen til førstespråket, det er ingen grenser for dette hierarkiet av språk".
Skillet mellom objektspråk og metaspråk ble introdusert av Alfred Tarski som en løsning på semantiske paradokser som løgnerparadokset . [ 1 ] Ifølge Tarski kan intet språk inneholde sitt eget sannhetspredikat og forbli konsistent. [ 1 ] For å snakke om sannheten i et språk, og ikke generere motsetninger, er det nødvendig å gjøre det fra et annet språk, med større uttrykkskraft: metaspråket. [ 1 ]
Dermed er det klassiske løgnerparadokset løst . Det grammatisk korrekte uttrykket: «Epimenides the Cretan say that all cretans are liars», kan ikke og har ikke sannhetens verdi. Men dens følelse av sannhet kommer tydelig frem når vi skiller to språknivåer. "Kretenseren Epimenides sier: 'Alle kretensere er løgnere'".
Formaliserte språk og modellbygging
Men studiet av metaspråk ut fra dets "formelle struktur" eller "syntaks" er av spesiell relevans, noe som gir opphav til logisk-matematiske formspråk.
Når vi bygger et formelt språk , med symboler og syntaktiske strukturer perfekt bestemt av formelkonstruksjonsreglene, kan vi også bruke høyere ordensvariabler for å referere til det etablerte formspråket.
En slik prosedyre forekommer i substitusjonsregelen for kalkulus , når vi erstatter et uttrykk med en metavariabel.
Slik uttrykkes for eksempel regnereglene med metavariabler som kan erstattes av et hvilket som helst velformet uttrykk for språket.
For eksempel uttrykket
[(A → B) /\ A] → B kan betraktes som et metaspråk med hensyn til uttrykket
[[(p/\q) → (r\/s)] /\ (p/\q)] → (r\/s) , hvor A=(p/\q) og B=(r\/s ).
På sin side kan p, q, r og s symbolisere enhver proposisjon av vanlig språk. Når vi gir disse variablene et semantisk innhold, bygger vi en modell på grunnlag av en logisk-matematisk beregning.
På samme måte i aritmetikk bruker vi symboler, 0,1,2,3,4,5,6,7,8,9 som hver kan representere "en mengde objekter, eller mål". I sin tur symboliserer vi disse tallene i algebra ved hjelp av bokstaver, variabler eller konstanter, som kan erstatte "mengder av objekter, eller mål", så lenge reglene for å danne uttrykk gjennom syntaktiske relasjoner, +, - , x, / , etc. er perfekt definert.
Når det i en beregning C etableres en "korrespondanse" av hvert symbol med individuelle bestemte elementer som kan skilles fra hverandre, av et virkelig univers L (slikt univers L er ikke et tomt sett, etter de samme forholdene som vi har etablert), SÅ sies at L er en MODELL av C.
Konstruksjon av modeller er et grunnleggende instrument i vitenskapelig forskning. Men sannhetene innhentet om modellen trenger ikke alltid svare på virkeligheten. Sannhetene oppnådd i henhold til modellen forveksles ofte med sannheten om virkeligheten.
Men sannhetene hentet fra modellen har som "objektreferanse" det formelle språket som brukes, (som vanligvis representerer en formalisering med hensyn til en teori), og derfor er disse sannhetene et metaspråk som snakker om teorien (konsekvensene av den) ikke om virkeligheten. Virkeligheten vil bare snakke gjennom eksperimentering. [ 4 ]
Å ikke ta hensyn til denne detalj fører noen ganger til å bekrefte som virkelige sannheter hva som bare er sannheter oppnådd "i henhold til modellen" ; hva mange medier, og ikke alltid uinteressert eller ved en feiltakelse, avslører dem som om de allerede var konsoliderte vitenskapelige sannheter. [ 5 ]
Se også
Referanser
- ↑ a b c d e Simon Blackburn (red.). "metaspråk" . Oxford Dictionary of Philosophy . Oxford University Press . Hentet 6. oktober 2009 .
- ↑ Gupta, Anil. "metaspråk" . The Oxford Companion to Philosophy . Oxford University Press . Hentet 6. oktober 2009 .
- ↑ Det er akseptert norm at når et ord nevnes , skrives det mellom enkle anførselstegn.
- ↑ Se empirisk logikk
- ↑ Visse kontroverser de siste årene om klimaendringer er basert på konklusjoner hentet fra ulike modeller og fører til ulike tolkninger. Og konstruksjonen og utformingen av disse modellene har også ulike teorier som referanser. Litt etter litt raffinerer vitenskapen modellene så vel som teoriene, og mer perfekte modeller blir konsolidert (og derfor mindre "interessert") hvis konklusjoner ender opp med å bli mer vanlige og akseptert av det vitenskapelige samfunnet".
Bibliografi
- HONDERICH, T. (Redaktør) (2001). Oxford Encyclopedia of Philosophy. Trd. Carmen Garcia Trevijano . Madrid. Tecnos utgiver. 84-309-3699-2001 .
- Ferrater Mora, J. (1984). Dictionary of Philosophy (4 bind) . Barcelona. Alliansens ordbøker. ISBN 84-206-5299-7 .
