|
| |
| | Metalanguage Encyclopedia Article, Definition, History, Biography |
 | | Another common example of a metalanguage in computing is XML. | | | Metalanguage in linguistics is a language used to make statements about language (the object language). | | | Embedded metalanguages, as their name suggests, are metalanguages embedded in an object language. |
|
http://www.artisticnudity.com/encyclopedia/Metalanguage
(1203 words)
|
|
| |
| | Extended Propositional Logic Written In Itself |
| | So in the metalanguage a notation is needed for classes of interpretations of the object language and for formulas of the object language. | | | The atoms of the metalanguage are built from predicates that are unique to the metalanguage, together with expressions denoting formulas of the object language and other expressions denoting classes of interpretations of the object language. | | | In general, for simple object languages the metalanguage has to be more complex than the object language. |
|
http://www.latrobe.edu.au/philosophy/phimvt/misc/epl.html
(8618 words)
|
|
| |
| | Four Concepts in Programming Language Description: Syntax, Semantics, Pragmatics and Metalanguage |
| | Metalanguage, in general, refers to the language in which a subject language is being described. | | | Similarly, there are formal metalanguages for describing the semantics of programming languages, particularly associated with the approaches of axiomatic semantics and denotational semantics. | | | For example, BNF (Backus-Naur Form) is a metalanguage widely used to describe the syntax of programming languages. |
|
http://www.cs.sfu.ca/~cameron/Teaching/383/syn-sem-prag-meta.html
(504 words)
|
|
| |
| | UDI Core Specification 1.01 - Metalanguage-to-Environment Interface |
| | Metalanguage stubs are the pieces of code that implement metalanguage channel operations. | | | This routine is responsible for determining the "ranking" of this match as defined by the Metalanguage specification and returning that numeric ranking value to the Management Agent. | | | Illegal conditions that are detectable only by a portable metalanguage library (not by either the driver or the environment) should be checked for in untrusting metalanguage library implementations. |
|
http://docsrv.sco.com/UDI_spec/core_spec-29.html
(2760 words)
|
|
| |
| | M[UMPS] metalanguage terminology -E- |
| | The value represented by this metalanguage symbol is the "error string", a string that is used to indicate that the specified number cannot be formatted using the specified format mask. | | | This metalanguage symbol represents a reference to an extrinsic variable, an extrinsic function or a subroutine that is not necessarily part of the current M[UMPS] environment. | | | This metalanguage symbol occurs as an expression that evaluates to one of |
|
http://www.jacquardsystems.com/Examples/meta/e.htm
(2135 words)
|
|
| |
| | Metalanguage |
| | An example: algebraic notation is a metalanguage L' with respect to the language L of arithmetic. | | | We create a metalanguage and a metatheory in order to describe and examine some class of languages and theories. | | | Then on the level 2 we put group theory (which is a part of modern algebra) in its application to permutations on the level 1. |
|
http://pespmc1.vub.ac.be/METALARE.html
(603 words)
|
|
| |
| | Clothing Meaning in Syntax: Aspects and Applications of Multilingual Generation |
| | These are generated using the VINCI system, which is a set of linguist- friendly metalanguages for representing the semantics, syntax, lexicon and morphology of a language, together with a set of interpreters for generating output from these metalanguages. | | | One obvious solution would consist in providing a metalanguage close to the native language of the user, together with mappings from lexical items of the first language to those in each of the others. | | | In principle, the metalanguage itself should be insensitive to this variation, relying on the different linguistic representation filters to sort this out. |
|
http://www.ach.org/abstracts/1997/p052.html
(2465 words)
|
|
| |
| | Learning Pragmatics from ESL & EFL Textbooks: How Likely? |
| | Pronominal use in metalanguage is another source of input that warrants further analysis for its pragmatic consequences. | | | Examining metalanguage is important for two reasons: input and content. | | | Although previous analyses of metalanguage in textbooks have found that consistent pronominal use (or lack thereof) across the text affects learners (Berry, 2000), it remains a largely unexplored area of textbook analysis. |
|
http://www-writing.berkeley.edu/TESL-EJ/ej30/a3.html
(6797 words)
|
|
| |
| | Minding the Planet: Minding the Planet: From Semantic Web to Global Mind |
| | Metalanguage is language about language -- language that encodes knowledge about how to interpret and use information. | | | Metalanguages – particularly semantic metalanguages for encoding relationships between information and systems of concepts – enable a new layer of communication and processing. | | | By adding semantic metalanguage statements to information data becomes “smarter,” and programs can therefore become “thinner.” Once programs can speak this metalanguage they can easily import and use knowledge about any particular domain, if and when needed, so long as that knowledge is expressed in the metalanguage. |
|
http://novaspivack.typepad.com/nova_spivacks_weblog/2004/06/minding_the_pla.html
(7999 words)
|
|
| |
| | metalanguage - OneLook Dictionary Search |
| | metalanguage : Free On-line Dictionary of Computing [home, info] | | | Phrases that include metalanguage: metalanguage or meta-language, metalanguage or meta language, natural semantic metalanguage | | | metalanguage : WordNet 1.7 Vocabulary Helper [home, info] |
|
http://www.onelook.com/cgi-bin/cgiwrap/bware/dofind.cgi?word=metalanguage
(179 words)
|
|
| |
| | The Semantic Conception of Truth |
| | It is desirable for the metalanguage not to contain any undefined terms except such as are involved explicitly or implicitly in the remarks above, i.e.: terms of the object language; terms referring to the form of the expressions of the object language, and used in building names for these expressions; and terms of logic. | | | We have no further requirements as to the formal structure of the object language and the metalanguage; we assume that it is similar to that of other formalized languages known at the present time. | | | With respect to such a view of metaphysics it is sufficient to recall that a metalanguage includes only three kinds of undefined terms: (i) terms taken from logic, (ii) terms of the corresponding object language, and (iii) names of expressions in the object language. |
|
http://users.bestweb.net/~sowa/misc/tarski.htm
(14065 words)
|
|
| |
| | Syntax Metalanguage |
| | Clearly, the metalanguage grammar given here is intended to be suggestive of a numeric value in a particular character set (ASCII), but any single Lexeme indicator may be used, with an interpretation to be supplied externally. | | | The first non-terminal of the grammar is always taken to be the goal symbol of the language being defined. | | | These Alternatives are used to identify characters that serve to separate tokens but otherwise are ignored - for example, white space or comments. |
|
http://www.cs.caltech.edu/courses/cs134/b/syntax-metalanguage.html
(926 words)
|
|
| |
| | Truth [Internet Encyclopedia of Philosophy] |
| | The predicate "is true" is a predicate that occurs only in the metalanguage, i.e., in the language we use to describe the object language. | | | The quoted sentence is said to be an element of the object language, and the outer (or containing) sentence which uses the predicate "true" is in the metalanguage. | | | The idea is to define the predicate "is true" when it is applied to the simplest (i.e., the non-complex or atomic) sentences in the object language (a language, see above, which does not, itself, contain the truth-predicate "is true"). |
|
http://www.iep.utm.edu/t/truth.htm
(9250 words)
|
|
| |
| | 30-Metalanguage |
| | Metalanguage is the language used for the analysis of object language. | | | A metatext is a text in metalanguage about a text in object language. | | | Linguistics, semiotics and philosophy uses the concept of metalanguage. |
|
http://mfj-online.org/journalPages/MFJ34/30Metalanguage.html
(76 words)
|
|
| |
| | Tarski's Truth Definitions |
| | The main purpose of the metalanguage was to formalise what was being said about the object language, and so Tarski also required that the metalanguage should carry with it a set of axioms expressing everything that one needs to assume for purposes of defining and justifying the truth definition. | | | Also today it is usual to define syntax in set-theoretic terms, so that for example a string of letters becomes a sequence. | | | In fact Tarski escapes the paradox by using (in general) infinitely many sentences of M to express truth, namely all the sentences of the form |
|
http://plato.stanford.edu/entries/tarski-truth
(4236 words)
|
|
| |
| | [No title] |
| | A metalanguage for defining character sets would be a logical extension of the current proposal. | | | The justification for a higher level metalanguage Why syntax without semantics sometimes works When syntax without semantics does not work From syntactic modeling to conceptual modeling 2. | | | The committee thus con- cluded that we needed to begin by designing a metalanguage that would allow us to express the design of encoding schemes for text analysis. |
|
http://www.tei-c.org/Vault/AI/aiw12.txt
(5291 words)
|
|
| |
| | UDI Core Specification 1.01 - Management Metalanguage |
| | This section describes the system calls that are performed to register this module for communications with the Management Agent and the operations that are used on that channel to initialize the driver. | | | This chapter defines the channel operations and associated service calls of the Management Metalanguage, which is used by the environment's | | | The MA may also participate in cleanup operations by indicating that various channels are to be closed via indirect requests or direct operations. |
|
http://docsrv.sco.com/UDI_spec/core_spec-25.html
(8738 words)
|
|
| |
| | The Natural Semantic Metalanguage Homepage |
| | The syntax of natural semantic metalanguage expressions in Lao. | | | The same period also saw the development of some important new ideas about the syntax of the semantic metalanguage. | | | Exploring a formal grammar for Natural Semantic Metalanguage. |
|
http://www-personal.une.edu.au/~cgoddard
(6411 words)
|
|
| |
| | Peter Suber, "Sample Formal System S" |
| | In this case, it includes none of the standard logic symbols I said I'd need in the metalanguage; this is permissible because the formal language and the metalanguage may be very different. | | | They are syntactic string-transformation rules that take theorems as input and produce a theorem as output. | | | It need not share anything with your formal language. |
|
http://www.earlham.edu/~peters/courses/logsys/sys-xmpl.htm
(2131 words)
|
|
| |
| | The Metapragmatics of Bereavement: Reflexive Word Order in Hardy's Poems of 1912-1913 |
| | A second way of approaching 'Metalanguage' is to look at it as a dimension of language - to be found in all language use - rather than a collection of instances of Metalinguistic language use. | | | But in distinguishing 'metalanguage' from 'object language' by representing metalanguage in a different code, truth-conditional semanticists simultaneously obscure our understanding of the reflexive nature of ordinary language. | | | A similar omission occurs in the generative paradigm, where idealised utterances are stripped of familiar metalinguistic markers such as 'you know' and 'like', and where there is little or no attempt to represent reflexive language. |
|
http://www.shakespeare.uk.net/journal/jllit/2_1/grundy.html
(5392 words)
|
|
| |
| | On the types and frequency of metalanguage in conversation -- Home |
| | This project is part of a larger, ongoing effort to develop flexible, interactive, adaptable and error-tolerant natural language computer interfaces. | | | This straightforward project involves the annotation of dialog corpora for instances and kinds of metalanguage, and various studies to learn something about its frequency and context. | | | On the types and frequency of metalanguage in conversation -- Home |
|
http://www.cs.umd.edu/projects/metalanguage
(57 words)
|
|
| |
| | Grammatical Description of Syntax: The BNF Metalanguage |
| | The BNF (Backus Normal Form or Backus-Naur Form) metalanguage has been in widespread use for defining the syntax of programming languages and other computing notations since it was introduced in the late 1950s, during the development of Algol 60. | | | Technically, BNF is a notation for defining context-free grammars, formal sets of rules for defining and structuring the sets of strings and phrases that are associated with a language. | | | The first of these is the use of square brackets to denote a phrase which is optional. |
|
http://www.cs.sfu.ca/~cameron/Teaching/383/BNF.html
(665 words)
|
|
| |
| | EMail Msg <9201110027.AA23999@quark.isi.edu> |
| | I also think that the metalanguage approach gives you a way of handling nonmonotonic reasoning without changing your fundamental "logic". | | | I would say that those are abbreviated ways of saying that S is a function (its genus) and <=> is a Boolean operator (its genus). | | | In standard form, one could say: S is defined as /* Metalanguage */ a function with one argument x /* Genus */ where S(x) = member (x,x). |
|
http://www-ksl.stanford.edu/email-archives/interlingua.messages/170.html
(1034 words)
|
|
| |
| | Metalanguage |
| | Language about language: metalanguage is a system of notation, descriptive terms, and so on, for an 'object language'. | | | Metalanguage may be related to natural language - terms like 'passive', 'auxiliary' -or an abstract notation as in symbolic logic. |
|
http://www.philosophyprofessor.com/philosophies/metalanguage.php
(89 words)
|
|
| |
| | Natural semantic metalanguage - Wikipedia, the free encyclopedia |
| | The Natural Semantic Metalanguage (NSM) is an approach to semantic analysis based on reductive paraphrase (that is, breaking concepts/words down into combinations of simpler concepts/words) using a small collection of semantic primes. | | | The semantic primes (below) are believed to be atomic, primitive meanings present in all human languages. |
|
http://en.wikipedia.org/wiki/Natural_semantic_metalanguage
(448 words)
|
|
| |
| | A Linear Metalanguage for Concurrency |
| | Within it a range of process languages can be defined, including higher-order process languages where processes are passed and received as arguments. | | | The conclusion summarises open problems and lines of future work | | | A metalanguage for concurrent process languages is introduced. |
|
http://www.brics.dk/RS/98/31
(162 words)
|
|
| |
| | Emulator MetaLanguage |
| | We define the CPU using a meta-programming language, or meta-language. | | | The language in this instance is called EML - the Emulator MetaLanguage. | | | This language is then read by a compiler which can produce a variety of things based on the description in the EML file. |
|
http://www.tinyted.net/eddie/eml.html
(640 words)
|
|
| |
| | Maude as a Metalanguage |
| | There is by now very extensive evidence supporting the claim that rewriting logic is indeed a very flexible and simple logical and semantic framework. | | | From a language design point of view the obvious question to ask is: how can a rewriting logic language best support logical and semantic framework applications, so that it becomes a metalanguage in which a very wide variety of logics and languages can be both semantically defined, and implemented? | | | This paper discusses our latest language design and implementation work on Maude as a reflective metalanguage in which entire environments---including syntax definition, parsing, pretty printing, execution, and input/output---can be defined for a language or logic L of choice. |
|
http://maude.cs.uiuc.edu/papers/abstract/CDELMMQmetalanguage_1998.html
(171 words)
|
|
| |
| | 4.1 Metalanguage for Top-Down Parser Generation |
| | The BNF in Example 1 is more complicated than that shown in Chapter 1 because top-down parser generation places more restrictions on the grammar. | | | The metalanguage for a parser generator is a context-free grammar. | | | This context-free grammar is usually expressed in Backus-Naur form, BNF, or extended Backus-Naur form, EBNF, themselves metalanguages for context-free grammars. |
|
http://www.cs.wpi.edu/~kal/PLT/PLT4.1.html
(128 words)
|
|
| |
| | Search Results for metalanguage - Encyclopædia Britannica |
| | in semantics and logic, the ordinary language used to talk about things or objects in the world—as contrasted with metalanguage, an artificial language used by linguists and others to analyze or... | | | SGML (standard generalized markup language) is an international standard for the definition of markup languages; that is, it is a metalanguage. | | | Thus, a metalanguage may be thought of as a language about... |
|
http://www.britannica.com/search?query=metalanguage&submit=Find&source=MWTEXT
(308 words)
|
|
| |
| | A Metalanguage For the Ages Page 1 April 3, 2000 |
| | XML is not really a language, but a metalanguage: It defines and describes the language, much like a grammar (with terms such as subject, verb and object) describes the English language. | | | XML (Extensible Markup Language) is the key to creating markups that can be used by any number of applications beyond the Web browser. | | | This metalanguage is an offshoot of GML (Generalized Markup Language) and its standardized descendant, SGML, which was invented in the 1960s and let users--particularly large government agencies, including the IRS and Department of Defense--define their own markups. |
|
http://www.networkcomputing.com/1106/1106f2.html
(976 words)
|
|
| |
| | CES Part 2. Recommendations common to all documents |
| | For the purposes of encoding the complexity and wide range of texts treated by the TEI, the TEI has significantly extended its metalanguage level specification beyond what is offered by SGML. | | | Attributes are indicated within the start-tag, and take the form of an attribute name, an equal sign and the attribute value, which may be a number, a string literal or a quoted literal. |
|
http://www.cs.vassar.edu/CES/CES1-2.html
(1864 words)
|
|
| |
| | metalanguage - definition of metalanguage by the Free Online Dictionary, Thesaurus and Encyclopedia. |
| | metalanguage - a language that can be used to describe languages | | | This information should not be considered complete, up to date, and is not intended to be used in place of a visit, consultation, or advice of a legal, medical, or any other professional. | | | metalanguage - definition of metalanguage by the Free Online Dictionary, Thesaurus and Encyclopedia. |
|
http://www.thefreedictionary.com/metalanguage
(155 words)
|
|
| |
| | Natural Semantic Metalanguage |
| | The innovative tool of Natural Semantic Metalanguage (NSM) analysis, originated by Professor Anna Wierzbicka of the Australian National University, allows us to formulate statements of meaning in terms of semantic universals drawn from natural language, to pinpoint word meanings, grammatical meanings and discourse meanings expressed in any language and cultural setting. | | | This seminar gives practical demonstrations of NSM analysis in explaining the meanings of words, grammatical constructions, and discourse, and shows how the no-nonsense, plain-English output from this method can be useful in many intercultural applications. | | | This series of four hands-on workshops is designed to give participants an introduction to the use of Natural Semantic Metalanguage as a method of cognitive linguistic analysis, and an opportunity to explore its potential applications to their own research. |
|
http://www.ecu.edu.au/ses/research/CALLR/NSM.htm
(492 words)
|
|
| |
| | The four basic ontologies of semantic interpretation |
| | The [-constructive] interpretation establishes the relation between the language surfaces and the level of referents in terms of a metalanguage. | | | The special properties of absolute propositions are reflected in logical truth, formally expressed by the metalanguage words false and true referring to the abstract set-theoretic objects 0 und {0}, respectively, of the model structure. | | | Contingent propositions, on the other hand, are based on sentences with everyday contents such as |
|
http://www.linguistik.uni-erlangen.de/~rrh/papers/ontologies/dublin.html
(2274 words)
|
|
| |
| | Metalanguage |
| | High metalanguage instruction has high levels of talk about talk and writing, about how written and spoken texts work, about specific technical vocabulary and words (vocabulary), about how sentences work or don't work (syntax/grammar), about meaning structures and text structures (semantics/genre), about issues how discourses and ideologies work in speech and writing. | | | Low metalanguage instruction has little explicit talk about talk and writing, about how written and spoken texts work, about their features, characteristics, patterns, genres and discourses. | | | Teachers tend to do a good deal of pulling back from activities, assignments, readings, lessons, and foregrounding particular words, sentences, text features, discourses, etc. |
|
http://education.qld.gov.au/corporate/newbasics/html/pedagogies/intellect/int6a.html
(366 words)
|
|
| |
| | InformationWeek.com |
| | Because XML is a metalanguage, a language for describing other languages. | | | Number of businesses using or planning to use the metalanguage is soaring | | | InternetWeek: Don't Believe The Hype: EDI And XML Are Just Perfect Together |
|
http://www.informationweek.com/830/xml.htm
(1952 words)
|
|
| |
| | Metalanguage - Computer Books |
| | · Metasoft Primer: Towards a Metalanguage for Applied Denotational Semantics (Lecture Notes in Computer Science, Vol 288) | | | Click a book link to view all the available details: |
|
http://www.centrasoft.com/c2/catM_7874.htm
(27 words)
|
|
| |
| | The X-Bar |
| | I had hoped to take a semantics class to buff up my understanding of the metalanguage and formalisms, but I'll have to wait until Local U offers it again. | | | It's a syntax seminar, which will either help me to get over my fear of syntax or send me running. | | | When I visited the office, the lovely program assistant handed me a readmission form, which I am tempted to complete, but am holding until the spring. |
|
http://www.thex-bar.net
(1974 words)
|
|
| |
| | Karmadrive |
| | Metalanguage is a language with which we can talk about language it self. | | | Wierzbicka said this metalanguage would be a bridge to the reality behind languages (which languages only poorly mirror). | | | A professor of finnish language told us about a recearcher called Anna Wierzbicka and how she fabricated a thing called Natural Semantic Metalanguage. |
|
http://www.karmadrive.com
(939 words)
|
|
| |
| | ALGEBRA - Mathematical abstraction from concrete experience |
| | Such practice usually results in the student translating expressions from the second language into the first language for processing, rather than learning to think and speak fluently in the second language. | | | A similar practice, using English as a metalanguage in which to study the language of mathematics, is even more costly to the student.) | | | (It is generally poor practice to use a natural language, which the student has substantially mastered, as a metalanguage in which to study a second natural language. |
|
http://www.newbanner.com/CEL/Math/algebra2.htm
(1642 words)
|
|
| |
| | metalanguage from FOLDOC |
| | The "target" of the metalanguage is called the object language. | | | The first ML was the metalanguage for the Edinburgh LCF proof assistant. | | | Nearby terms: meta-data « metaethics « metaheuristic « metalanguage » metalogic » metanarrative » metaphilosophy |
|
http://lgxserver.uniba.it/lei/foldop/foldoc.cgi?metalanguage
(70 words)
|
|
| |
| | A Linear Metalanguage for Concurrency - Winskel (ResearchIndex) |
| | Abstract: A metalanguage for concurrent process languages is introduced. | | | Our contributions fall in two parts: First, we give an SOS style operational semantics to a first order fragment of the metalanguage... | | | @article{ winskel99linear, author = "Glynn Winskel", title = "A Linear Metalanguage for Concurrency", journal = "Lecture Notes in Computer Science", volume = "1548", pages = "42--58", year = "1999", url = "citeseer.ist.psu.edu/winskel98linear.html" } |
|
http://citeseer.ist.psu.edu/winskel98linear.html
(507 words)
|
|
| |
| | Charge for the TEI Council's Metalanguage Taskforce |
| | It also needs to be better integrated with the TEI core tagsets, to facilitate use of the TEI as a document authoring environment. | | | The task force will be lead by Sebastian Rahtz, and will conduct its business according to the Rules and Principles for TEI work groups, as documented in TEI ED W54, as far as these are applicable. | | | The TEI Council has therefore resolved (see the Conference Call on 21 Jan 2003) to set up a Metalanguage task force, charged with the objectives and deliverables described in the remainder of this document. |
|
http://www.tei-c.org/Council/tcw03.html
(216 words)
|
|
| |
| | Comp.compilers: Re: LISP Metalanguage |
| | >metalanguage used there for functions definition, which was known as | | | >they pretty much bagged any metalanguage beyond macros and backquote. | | | They unfortunately required the presence of the greek |
|
http://compilers.iecc.com/comparch/article/92-01-089
(318 words)
|
|
| |
| | Metalanguage |
| | A Year 11 Maths class was manipulating statistics to suit the needs of various stakeholders. | | | There was consistent use of metalanguage throughout as the teacher and students examined how discourses constitute texts, knowledge and power. | | | By reversing the speaker and the listener, students were able to consider alternative discourses and to examine how power relations can be disrupted. |
|
http://education.qld.gov.au/public_media/reports/curriculum-framework/productive-pedagogies/html/int-06.html
(371 words)
|
|
| |
| | Communicating with Cards: Metalanguage [English Online] |
| | 'Teachers can help students build up a vocabulary with which to describe and discuss written language by using the specific "language of language", or metalanguage, as a natural part of their teaching. | | | English Online > Classroom > English Units > Years 4-6 > Communicating with Cards > Metalanguage | | | Very young children can understand the terminology if they hear it and use it regularly, and it is explained frequently, in context. |
|
http://english.unitecnology.ac.nz/resources/units/mother/metalanguage.html
(114 words)
|
|
|
