Searches , social queries for METALANGUAGE
Search references for METALANGUAGE. Phrases containing METALANGUAGE
See searches and references containing METALANGUAGE!
Search references for METALANGUAGE. Phrases containing METALANGUAGE
See searches and references containing METALANGUAGE!METALANGUAGE
Language used to describe another language
linguistics, a metalanguage is a language used to describe another language, often called the object language. Expressions in a metalanguage are often distinguished
Metalanguage
Topics referred to by the same term
Look up metalanguage in Wiktionary, the free dictionary. Metalanguage is a language used to describe another language, in logic and linguistics, as well
Metalanguage_(disambiguation)
Linguistic theory of semantic description
Natural semantic metalanguage (NSM) is a linguistic theory that reduces lexicons down to a set of semantic primitives. It is based on the conception of
Natural_semantic_metalanguage
American record label
Metalanguage Records was a record label in Berkeley, California, founded in 1978 by Henry Kaiser and Larry Ochs. It showcased Rova as well as many independent
Metalanguage_Records
Program that generates parsers or compilers
written in its own metalanguage or an existing computer programming language. The process of a metacompiler, written in its own metalanguage, compiling itself
Compiler-compiler
Philosophical school and tradition
traditional (first-order) language; in a metalanguage, symbols replace words and phrases. Insofar as one metalanguage is required for one explanation of the
Post-structuralism
American guitarist, film director, and scientific diver
Kondo (Metalanguage, 1979) With Friends Like These with Fred Frith (Metalanguage, 1979) Outside Pleasure (Metalanguage, 1980) Aloha (Metalanguage, 1981)
Henry_Kaiser_(musician)
Sequence of words formed by specific rules
a metalanguage, which is used to describe either a natural language or a computer programming language. Some of the widely used formal metalanguages for
Formal_language
Formalism to describe programming languages
when John Backus, a programming language designer at IBM, proposed a metalanguage of metalinguistic formulas to define the syntax of the new programming
Backus–Naur_form
Ancient Sanskrit grammarian
Sanskrit as a refined and standardized language, making use of a technical metalanguage consisting of a syntax, morphology, and lexicon, organised according
Pāṇini
∴\therefore therefore therefore metalanguage abbreviation for "therefore" ∵ U+2235 ∵ \because because because metalanguage abbreviation for "because". ≔
List_of_logic_symbols
Study of the properties of logical systems
language used to make statements about an object language is called a metalanguage. This distinction is a key difference between logic and metalogic. While
Metalogic
Polish linguist (born 1938)
and cross-cultural linguistics, especially for the natural semantic metalanguage and the concept of semantic primes. Her research agenda resembles Gottfried
Anna_Wierzbicka
Modern system for document annotation
DocBook, Open eBook, JATS, and many others, are based on the markup metalanguages XML and SGML. That is, SGML and XML allow designers to specify particular
Markup_language
Mathematical model for deduction or proof systems
language that one uses to talk about a formal system is called a metalanguage. The metalanguage may be a natural language, or it may be partially formalized
Formal_system
Prefix in English derived from Greek
level of abstraction. In linguistics, grammar is considered to be a metalanguage: a language operating on a higher level to describe properties of the
Meta_(prefix)
Theory of truth in the philosophy of language
talking (the metalanguage). In the following, quoted text is use of the object language, while unquoted text is use of the metalanguage; a quoted sentence
Semantic_theory_of_truth
General purpose functional programming language
ML (Meta Language) is the metalanguage developed for the Edinburgh LCF theorem prover in the 1970s. It is an early statically typed, functional language
ML_(programming_language)
Stylesheet language
sass or .scss file is saved. The indented syntax is a metalanguage. SCSS is a nested metalanguage and a superset of CSS, as valid CSS is valid SCSS with
Sass_(style_sheet_language)
Theory whose subject matter is itself a theory
various topics, including scientific linguistics and its concept of metalanguage. Metascience is the use of scientific method to study science itself
Metatheory
Programming language with English-like syntax
syntax is usually described with a unique metalanguage using braces, brackets, bars and underlining. The metalanguage was developed for the original COBOL
COBOL
Topics referred to by the same term
titles containing Meta Mata (disambiguation) Metta (disambiguation) Metalanguage (disambiguation) Hyper (disambiguation) Super (disambiguation) Metanoia
Meta
Theoretical framework of management cybernetics
5-4-3-2 metasystem enlarges and acquires more variety. This defines a metalanguage stack of increasing capability to resolve undecidability in the autonomous
Viable_system_model
Markup language
language; SGML with a DTD is a metalanguage. SGML with an SGML declaration is, perhaps, a meta-metalanguage, since it is a metalanguage whose declaration mechanism
Standard Generalized Markup Language
Standard_Generalized_Markup_Language
Metalanguage based on Backus–Naur Form (BNF)
In computer science, augmented Backus–Naur form (ABNF) is a metalanguage based on Backus–Naur form (BNF) but consisting of its own syntax and derivation
Augmented_Backus–Naur_form
Variable that stores data about other variables or program structure
syntactical variable) is a symbol or symbol string which belongs to a metalanguage and stands for elements of some object language. For instance, in the
Metavariable
King of Great Britain and Ireland from 1760 to 1820
doi:10.1353/eam.2007.0037. Percy, Carol (July 2012). "The king's speech: metalanguage of nation, man and class in anecdotes about George III". English Language
George_III
originally created for the World Wide Web, took inspiration from the metalanguage SGML, and inspired many other markup languages Keyhole Markup Language
List of document markup languages
List_of_document_markup_languages
Statement in a metalanguage
judgment (or judgement) or assertion is a statement or enunciation in a metalanguage. For example, typical judgments in first-order logic would be that a
Judgment_(mathematical_logic)
Country in South Asia
its ingenious methods of stratifying out use and mention, language and metalanguage, and theorem and metatheorem predate key discoveries in western philosophy
India
Allowable structure and composition of phrases and sentences of a metalanguage
a metalanguage, which is used to describe either a natural language or a computer programming language. Some of the widely used formal metalanguages for
Metasyntax
Overview of and topical guide to logic
Simplification Transposition (logic) Formal proof List of first-order theories Metalanguage Metalinguistic variable Deductive system Metatheorem Metatheory Interpretation
Outline_of_logic
Collection of sets in mathematics that can be defined based on a property of its members
a formula without an occurrence of a class.p. 339 Semantically, in a metalanguage, the classes can be described as equivalence classes of logical formulas:
Class_(set_theory)
Ancient Greek philosopher and polymath (384–322 BC)
Intension Language Linguistic relativity Logical form Mental representation Metalanguage Modality (semantics) Presupposition Principle of compositionality Property
Aristotle
Limitative results in mathematical logic
Grammar Formula atomic closed ground open Free/bound variable Language Metalanguage Logical connective ¬ ∨ ∧ → ↔ = Predicate functional variable propositional
Gödel's incompleteness theorems
Gödel's_incompleteness_theorems
Concept in programming language design
the form of, for example, generalized algebraic data types, or other metalanguage amenities enabling programs to implement extensions to their own implementation
First-class_citizen
American saxophone group founded 1977
Messiaen. Its debut album, Cinema Rovaté, was released by Metalanguage Records in 1978. Metalanguage was founded in 1978 by Henry Kaiser and Ochs. It showcased
Rova_Saxophone_Quartet
Logic statement about a formal system proven in a metalanguage
logic, a metatheorem is a statement about a formal system proven in a metalanguage. Unlike theorems proved within a given formal system, a metatheorem is
Metatheorem
Theorem that arithmetical truth cannot be defined in arithmetic
interpreted language can represent its own semantics. A corollary is that any metalanguage capable of expressing the semantics of some object language (e.g. a predicate
Tarski's undefinability theorem
Tarski's_undefinability_theorem
Christian philosopher and theologian (354–430)
ISBN 978-0-415-78294-4. Munteanu, E. (1996). "On the Object-Language / Metalanguage Distinction in Saint Augustine's Works. De Dialectica and de Magistro"
Augustine_of_Hippo
Programming paradigm
self-modifying code. The ability of a programming language to be its own metalanguage allows reflective programming, and is termed reflection. Reflection is
Metaprogramming
1984 album by avant-garde artist Diamanda Galás
avant-garde musician Diamanda Galás, released in 1984 by record label Metalanguage. The album's first track, "Panoptikon" (named after Panopticon, a type
Diamanda_Galas_(album)
American jazz saxophonist
American jazz saxophonist, co-founder of the Rova Saxophone Quartet and Metalanguage Records. Ochs studied trumpet briefly but concentrated on tenor and sopranino
Larry_Ochs_(musician)
Logical connective
the only if half of the definition is interpreted as a sentence in the metalanguage stating that the sentences in the definition of a predicate are the only
If_and_only_if
Mathematical study of the meaning of programming languages
mathematical notation, which can in turn be formalized as a denotational metalanguage. For example, the denotational semantics of functional languages often
Semantics (programming languages)
Semantics_(programming_languages)
Visual description of context-free grammar
EBNF, Augmented Backus–Naur form, and other text-based grammars as metalanguages. Early books using syntax diagrams include the "Pascal User Manual"
Syntax_diagram
Study of meaning in language
object language and Japanese is the metalanguage. The same language may occupy the role of object language and metalanguage at the same time. This is the case
Semantics
Grammatically correct sentence demonstrating lexical ambiguity
illustrate the different levels of language, namely object language and metalanguage. The intention was for the reader to add the needed punctuation for the
James while John had had had had had had had had had had had a better effect on the teacher
James_while_John_had_had_had_had_had_had_had_had_had_had_had_a_better_effect_on_the_teacher
American linguist (1909–1992)
metalanguage, noted above, is that any specification of semantics other than that which is immanent in language can only be stated in a metalanguage external
Zellig_Harris
Process of drawing out the meaning of something
so as to avoid causing unnecessary confusion. In the natural semantic metalanguage theory, explications are semantic representations of vocabulary. These
Explication
System of formal deduction in logic
Grammar Formula atomic closed ground open Free/bound variable Language Metalanguage Logical connective ¬ ∨ ∧ → ↔ = Predicate functional variable propositional
Hilbert_system
Structured system of communication
Intension Language Linguistic relativity Logical form Mental representation Metalanguage Modality (semantics) Presupposition Principle of compositionality Property
Language
Ancient Indo-Aryan language of South Asia
language. Pāṇini made use of a technical metalanguage consisting of a syntax, morphology and lexicon. This metalanguage is organised according to a series of
Sanskrit
Ontology Grounded Metalanguage (OGML) is a metalanguage like MOF. The goal of OGML is to tackle the difficulties of MOF: linear modeling architecture
OGML
Diagram that shows all possible logical relations between a collection of sets
Grammar Formula atomic closed ground open Free/bound variable Language Metalanguage Logical connective ¬ ∨ ∧ → ↔ = Predicate functional variable propositional
Venn_diagram
Concept in semantics
truth-conditional semantics, a T-sentence is a sentence formed from a metatheory or metalanguage of a specific language that entails certain truth conditions for certain
T-sentence
Explanatory matter inserted between a line of original text and its translation
aligning the same sort of word-by-word content in such a way that the metalanguage terms were placed vertically below the source language terms. In this
Interlinear_gloss
Variant of the liar paradox
paradox: The Pinocchio paradox raises a purely logical issue for any metalanguage–hierarchy solution, strict or liberal. The Pinocchio scenario is not
Pinocchio_paradox
Branch of mathematics that studies sets
Grammar Formula atomic closed ground open Free/bound variable Language Metalanguage Logical connective ¬ ∨ ∧ → ↔ = Predicate functional variable propositional
Set_theory
Index of articles associated with the same name
Grammar Formula atomic closed ground open Free/bound variable Language Metalanguage Logical connective ¬ ∨ ∧ → ↔ = Predicate functional variable propositional
Stratification_(mathematics)
French philosopher
is currently retired and works on developing the Information Economy MetaLanguage (IEML). Lévy was born in Tunisia, to a Sephardic Jewish family, before
Pierre_Lévy
Form of source code, without regard to meaning
regular expressions (for lexical structure) and Backus–Naur form (a metalanguage for grammatical structure) to inductively specify syntactic categories
Syntax (programming languages)
Syntax_(programming_languages)
Proof that only uses basic techniques
Grammar Formula atomic closed ground open Free/bound variable Language Metalanguage Logical connective ¬ ∨ ∧ → ↔ = Predicate functional variable propositional
Elementary_proof
languages originally developed in the 1960s. Parsing statements of the metalanguage resemble augmented Backus–Naur form with embedded tree-building directives
TREE-META
Rules used for constructing, or transforming the symbols and words of a language
is an idea, abstraction or concept, tokens of which may be marks or a metalanguage of marks which form a particular pattern. Symbols of a formal language
Syntax_(logic)
Set of elements common to all of some sets
Grammar Formula atomic closed ground open Free/bound variable Language Metalanguage Logical connective ¬ ∨ ∧ → ↔ = Predicate functional variable propositional
Intersection_(set_theory)
In logic, a statement which is always true
Grammar Formula atomic closed ground open Free/bound variable Language Metalanguage Logical connective ¬ ∨ ∧ → ↔ = Predicate functional variable propositional
Tautology_(logic)
Logical connective AND
Grammar Formula atomic closed ground open Free/bound variable Language Metalanguage Logical connective ¬ ∨ ∧ → ↔ = Predicate functional variable propositional
Logical_conjunction
Instructions a computer can execute
and itself has a syntax. This recursive definition is an example of a metalanguage. The syntax of BNF includes: ::= which translates to is made up of a[n]
Computer_program
Type of knowledge base
Kopstein, Felix F.; Seidel, Robert J. (December 1968). Graph Theory as a Metalanguage of Communicable Knowledge (PDF). Annual Meeting of the Society for General
Knowledge_graph
Logical incompatibility between two or more propositions
Grammar Formula atomic closed ground open Free/bound variable Language Metalanguage Logical connective ¬ ∨ ∧ → ↔ = Predicate functional variable propositional
Contradiction
Chinese philosopher (c. 551 – c. 479 BCE)
Intension Language Linguistic relativity Logical form Mental representation Metalanguage Modality (semantics) Presupposition Principle of compositionality Property
Confucius
Dynamic stylesheet language
and replaced by JavaScript. The indented syntax of Less is a nested metalanguage, as valid CSS is valid Less code with the same semantics. Less provides
Less_(style_sheet_language)
Standard system of axiomatic set theory
Grammar Formula atomic closed ground open Free/bound variable Language Metalanguage Logical connective ¬ ∨ ∧ → ↔ = Predicate functional variable propositional
Zermelo–Fraenkel_set_theory
Type of uncertainty of meaning where several interpretations are possible
Intension Language Linguistic relativity Logical form Mental representation Metalanguage Modality (semantics) Presupposition Principle of compositionality Property
Ambiguity
Two dissimilar translation approaches
the colour of their wings). Due to his focus upon natural semantic metalanguage, Ghil'ad Zuckermann considers such minute distinctions between lexical
Dynamic and formal equivalence
Dynamic_and_formal_equivalence
American artist (born 1956)
colleagues. Also, in 1987, Noland created a slide lecture titled "Towards a Metalanguage of Evil" which she presented at an academic conference in Atlanta. The
Cady_Noland
Mathematical set containing no elements
Grammar Formula atomic closed ground open Free/bound variable Language Metalanguage Logical connective ¬ ∨ ∧ → ↔ = Predicate functional variable propositional
Empty_set
Language for controlling a computer
Lists of programming languages Logic programming Literate programming Metalanguage Metaprogramming Ruby (programming language) § Metaprogramming Modeling
Programming_language
Infinite cardinal number
Grammar Formula atomic closed ground open Free/bound variable Language Metalanguage Logical connective ¬ ∨ ∧ → ↔ = Predicate functional variable propositional
Aleph_number
Impossible task in computing
Grammar Formula atomic closed ground open Free/bound variable Language Metalanguage Logical connective ¬ ∨ ∧ → ↔ = Predicate functional variable propositional
Entscheidungsproblem
Dutch indologist (1930–2012)
point is that Pāṇini showed how to extend spoken Sanskrit to a formal metalanguage for the language itself.[citation needed] English Advaita and Neoplatonism
Frits_Staal
Austrian–British philosopher of science (1902–1994)
truth of a sentence as well as the sentences themselves are part of a metalanguage. So, for example, the sentence "Snow is white" is true if and only if
Karl_Popper
Computation model defining an abstract machine
Grammar Formula atomic closed ground open Free/bound variable Language Metalanguage Logical connective ¬ ∨ ∧ → ↔ = Predicate functional variable propositional
Turing_machine
Language assessment rubric
French sinologist Joël Bellassen suggests the CEFR together with its metalanguage could and should be adapted to distant languages such as Chinese, with
Common European Framework of Reference for Languages
Common_European_Framework_of_Reference_for_Languages
Distinction in the philosophy of language
Intension Language Linguistic relativity Logical form Mental representation Metalanguage Modality (semantics) Presupposition Principle of compositionality Property
Sense_and_reference
Specification of a conceptualization
Characteristica universalis Interoperability Level of measurement Metalanguage Natural semantic metalanguage Dale Jacquette (2002-11-26). Ontology. McGill–Queen's
Ontology (information science)
Ontology_(information_science)
Properties linking logical conjunction and disjunction
Grammar Formula atomic closed ground open Free/bound variable Language Metalanguage Logical connective ¬ ∨ ∧ → ↔ = Predicate functional variable propositional
Conjunction/disjunction duality
Conjunction/disjunction_duality
Entity whose presence indicates the probable existence of something else
Intension Language Linguistic relativity Logical form Mental representation Metalanguage Modality (semantics) Presupposition Principle of compositionality Property
Sign
French philosopher (1930–2004)
Intension Language Linguistic relativity Logical form Mental representation Metalanguage Modality (semantics) Presupposition Principle of compositionality Property
Jacques_Derrida
Axiom of set theory
Grammar Formula atomic closed ground open Free/bound variable Language Metalanguage Logical connective ¬ ∨ ∧ → ↔ = Predicate functional variable propositional
Axiom_of_choice
Argument whose conclusion must be true if its premises are
Grammar Formula atomic closed ground open Free/bound variable Language Metalanguage Logical connective ¬ ∨ ∧ → ↔ = Predicate functional variable propositional
Validity_(logic)
Process of repeating items in a self-similar way
Grammar Formula atomic closed ground open Free/bound variable Language Metalanguage Logical connective ¬ ∨ ∧ → ↔ = Predicate functional variable propositional
Recursion
1917 Brazilian film
Diego Akel (pixilation), Fábio Yamaji (light painting) and Rosana Urbes (metalanguage). It was shown in August at Anima Mundi 2013. History of Brazilian animation
Kaiser_(film)
Intentionally devised human language
modelling and translation Knowledge representation Language translation Metalanguage Universal grammar Mystical languages Glossolalia Language of the birds
Constructed_language
Type of mathematical proof
Grammar Formula atomic closed ground open Free/bound variable Language Metalanguage Logical connective ¬ ∨ ∧ → ↔ = Predicate functional variable propositional
Proof_by_exhaustion
Mathematical logic concept
Grammar Formula atomic closed ground open Free/bound variable Language Metalanguage Logical connective ¬ ∨ ∧ → ↔ = Predicate functional variable propositional
Gentzen's_consistency_proof
Distinction between using a word and mentioning it
relation – Relationship between an object and a representation of that object Metalanguage – Language used to describe another language Pointer (computer programming) –
Use–mention_distinction
Size of a possibly infinite set
Grammar Formula atomic closed ground open Free/bound variable Language Metalanguage Logical connective ¬ ∨ ∧ → ↔ = Predicate functional variable propositional
Cardinal_number
Programming language family
Kay". 2003-07-23. I didn't understand the monster LISP idea of tangible metalanguage then, but got kind of close with ideas about extensible languages ..
Lisp_(programming_language)
travel, tourism, insurance
METALANGUAGE
METALANGUAGE
METALANGUAGE
METALANGUAGE
METALANGUAGE
METALANGUAGE
METALANGUAGE
METALANGUAGE
METALANGUAGE
travel, tourism, insurance