METAJĘZYK

Wpisy terminu w różnych słownikach wraz z komentarzami.

Słownik Wikipedii - zawartość - opis hasła METAJĘZYK

Metajęzyk – dowolny język służący do opisu innego języka. W skład metajęzyka wchodzą nazwy wyrażeń języka opisywanego, zazwyczaj tworzone jako nazwy cudzysłowowe, predykaty opisujące relacje sematyczne między wyrażeniami języka opisywanego a tym, do czego wyrażenia te się odnoszą (np. "oznacza", "denotuje"), pewne reguły znaczeniowe, reguły składniowe itp. W szczególności językiem badanym może być ten sam język, w którym przeprowadza się badania.

Język opisywany za pomocą danego metajęzyka nazywa się językiem przedmiotowym. Podobnie język, w którym bada się dany język przedmiotowy nazywa się językiem podmiotowym, jako język, którym posługuje się badający podmiot. Metajęzyki mogą tworzyć hierarchię: dany metajęzyk może być opisywany przez metajęzyk wyższego stopnia itd.

Najistotniejsze analizy pojęcia metajęzyka przedstawił Alfred Tarski, np. w pracy Pojęcie prawdy w językach nauk dedukcyjnych. Pojęcie metajęzyka ma kluczowe znaczenie dla badań metamatematycznych, zwłaszcza przy definiowaniu pojęć spełniania, prawdy czy modelu.  więcej

Źródło definicji (elektroniczne): hasło "Metajęzyk" w Wikipedii
Podobne terminy (linki wewnętrzne):
Hasło wprowadził(a): Katarzyna Michalak