Metasprog
Den aktuelle version af siden er endnu ikke blevet gennemgået af erfarne bidragydere og kan afvige væsentligt fra den
version , der blev gennemgået den 27. september 2020; checks kræver
6 redigeringer .
Et metasprog er et sprog designet til at beskrive et andet sprog, kaldet et objektsprog .
Metasprog er sprogvidenskabens sprog, ordforråd, på grundlag af hvilket ordbøger dannes. Bygningsteoriens sprog, ord, sætninger inden for grammatisk lingvistik.
Begrebet metasprog bruges:
- i lingvistik , i beskrivelsen af naturlige sprog - metasprog som et sprog til at beskrive et sprog. Et naturligt sprog kan være sit eget metasprog ( det samme russiske sprog kan f.eks. bruges til at beskrive det russiske sprog), eller kun afvige delvist, f.eks. i speciel terminologi (russisk lingvistisk terminologi er et element i metasproget til at beskrive Russisk sprog);
- i klassisk filosofi - som et begreb, der fikserer de logiske redskaber til refleksion over den semiotiske series fænomener;
- i postmodernismens filosofi , når man udtrykker den proceduremæssige karakter af det verbale produkt af refleksion over sprogets proceduremæssige karakter. Den postmoderne fortolkning af metasprog går tilbage til R. Barths arbejde "Literature and Metalanguage" (1957).
- i studiet af sprog med forskellige logisk-matematiske beregninger ( f.eks . Backus-Naur-formen );
- i datalogi - yderligere data ( metadata ), som tjener til at beskrive de eksisterende.
- i matematik , et formelt logisk-matematisk sprog til at formulere en metateori eller i udvidet forstand et uformaliseret sprog til at repræsentere udsagn om metamatematik [1] .
Matematisk logik
Begrebet "metalsprog" blev introduceret af den polske matematiker Alfred Tarski [2] . Med det kan du slippe af med sådanne logiske paradokser som løgnerparadokset og selvrefererende paradokser .
Det første niveau (almindeligt sprog) er udsagn om objekter, for eksempel: "Jorden har en satellit." I sproget på det laveste niveau er der ingen begreber om " falsk " og " sandhed ". Begreber som at vurdere sandheden af udsagn om objekter er metasprogets privilegium, det næste trin på stigen. Således giver sætningen "sætningen 'sneen er hvid' er sand" mening i metasprog. Imidlertid kan man kun tale om dens sandhed i den næste overbygning - meta-sproget. I dette tilfælde er metasproget objektsproget for dette næste trin. Det er muligt at konstruere et metasprog, for hvilket metasproget vil være objekt, og så videre.
Et andet eksempel på en stige af udsagn og metasprog:
- Summen af de indre vinkler i enhver trekant er 180°
- Udsagn 1 er sandt.
- Udsagn 2 er sandt.
- Udsagn 3 er sandt.
Her er det første udsagn skrevet i sproget på det første niveau, hvilket giver mulighed for at formulere planimetriens sætninger. Sproget på andet niveau (sætning nr. 2) bruges til at bevise teoremer. Metasproget for det tredje udsagn er det sprog, som bevisteoribøger er skrevet på .
Bertrand Russells
teori om typer er tæt forbundet med Tarskis stige af metasprog .
Se også
Noter
- ↑ Metasprog // Mathematical Encyclopedia / I. M. Vinogradov . - Moskva: Soviet Encyclopedia, 1982. - T. 3. - Stb. 653.
- ↑ Gardner M. Kom nu, gæt!: Per. fra engelsk. = Ah! gotcha. Paradokser til puslespil og glæde. - M .: Mir , 1984. - S. 28-30. — 213 s.
Litteratur
Postmodernismens filosofi:
- R. Bart. Litteratur og metasprog, 1957
Matematik, logik:
- Tarsky A., Introduktion til deduktive videnskabers logik og metodologi, trans. fra engelsk, Metayazyk, 1948;
- Kleene S. K., Introduktion til metamathematics, overs. fra engelsk, Metallanguage, 1957, kap. en;
- Kirke A., Introduktion til matematisk logik, trans. fra engelsk, bind 1, Metallanguage, 1960 (introduktion);
- Curry H. B., Foundations of Mathematical Logic, overs. fra engelsk, Metallanguage, 1969, kap. 1-3.
NF :
- Metasproget i et bestemt "Spil" er et af nøgleelementerne i plottet af "The Power of the Strong" af D. Bilenkin .
Positivisme |
---|
Basale koncepter |
|
---|
Tekster |
|
---|
strømme |
|
---|
Mennesker |
|
---|
antiteser |
|
---|