Profesyonel çevirmenler, işletmeler, web sayfaları ve erişimin serbest olduğu çeviri havuzlarından.
een taal die wordt gebruikt om een formeel systeem te beschrijven heet een metataal.
any language that one uses to talk about a formal system is called a "metalanguage".
de zin die de waarheidsvoorwaarde van een zin van een object taal geeft, de semantisch onderzochte taal. deze is zelf ingelijst in een 'metataal', die meestal in beginsel onderscheiden is van de object taal om inconsistentie problemen te voorkomen. t-zinnen waren de spil van tarski's rudimentaire onderzoek naar hoe een theorie van de waarheid voor een formele taal te geven is. een t-zin heeft de vorm van een bi-implicatie: 's' is waar in l dan en slechts dan als p. hier is 's' de naam van een zin van de object taal l en p wordt vervangen door een zin in de metataal die het vertaalt. een dergelijke zin is extensioneel, in de zin dat het waar is, indien de ware zin s dezelfde waarheidswaarde heeft als de propositie p. maar de voorwaarden kunnen worden geplaatst op een manier waarop de t-zin is afgeleid in een formele semantische theorie, die iets doen om ervoor te zorgen dat de bi-implicatie in feite een bevredigende verklaring van de betekenis van s. geeft.
the sentence giving the truth condition of a sentence of an object language, the language under semantic investigation. it is itself framed in a ‘metalanguage’, which is usually in principle distinguished from the object language in order to avoid problems of inconsistency. t-sentences were the lynchpin of tarski's seminal investigation into how to give a theory of truth for a formal language. a t-sentence takes the form of a biconditional: ‘s’ is true in l if and only if p. here ‘s’ names a sentence of the object language l, and p is substituted by a sentence in the metalanguage which translates it. such a sentence is extensional, in the sense that it will be true provided the sentence s has the same truth value as the proposition p. but conditions may be placed on the way the t-sentence is derived in a formal semantic theory, that do something to ensure that the biconditional in fact gives a satisfactory account of the meaning of s.