Metavariable (original) (raw)
In logic, a metavariable (also metalinguistic variable or 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 sentence Let A and B be two sentences of a language ℒ the symbols A and B are part of the metalanguage in which the statement about the object language ℒ is formulated. John Corcoran considers this terminology unfortunate because it obscures the use of schemata and because such "variables" do not actually range over a domain.
| Property | Value |
|---|---|
| dbo:abstract | In logic, a metavariable (also metalinguistic variable or 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 sentence Let A and B be two sentences of a language ℒ the symbols A and B are part of the metalanguage in which the statement about the object language ℒ is formulated. John Corcoran considers this terminology unfortunate because it obscures the use of schemata and because such "variables" do not actually range over a domain. The convention is that a metavariable is to be uniformly substituted with the same instance in all its appearances in a given schema. This is in contrast with nonterminal symbols in formal grammars where the nonterminals on the right of a production can be substituted by different instances. Attempts to formalize the notion of metavariable result in some kind of type theory. (en) En logique, une métavariable (aussi nommée variable métalinguistique ou encore variable syntaxique) est un symbole ou une chaîne de symboles qui appartient à un métalangage et représente des éléments d'un certain langage objet. Par exemple, dans la phrase Soit A et B deux phrases d'un langage ℒ les symboles A et B font partie du métalangage dans lequel l'énoncé sur le langage objet ℒ est formulé. (en) considère cette terminologie malheureuse parce qu'elle masque l'utilisation des et parce que ces « variables » ne s'étendent pas réellement sur un domaine. Les tentatives de formalisation de la notion de métavariable ont abouti à une sorte de théorie des types. (fr) Em lógica, uma metavariável (também conhecida como variável metalinguística ou variável sintática) é um símbolo ou string de símbolos que pertence a uma metalinguagem e se aplica a elementos de alguma linguagem objeto. Por exemplo, na sentença: Sejam A e B duas sentenças de uma linguagem ℒ os símbolos A e B são parte de uma metalinguagem na qual a afirmação sobre a linguagem objeto ℒ é formulada. John Corcoran considera esta terminologia infeliz porque ela obscurece o uso da forma lógica (schemata) e porque tais "variáveis" não valem realmente para todo o domínio. A convenção é que uma metavariável é uniformemente substituída com a mesma instância em todas as suas aparições em um dado schema. Isto em contraste com símbolos não-terminais em gramáticas formais onde os não-terminais à direita de uma produção podem ser substituídos por diferentes instâncias. Tentativas de formalizar a noção de metavariável resultam em algum tipo de teoria dos tipos. Na computação, frequentemente se é necessário especificar e documentar a sintaxe e a semântica de uma linguagem de programação, de forma mais ou menos formal. Um termo comumente utilizado para metavariável nesta área é "variável metassintática". Mais além, devido à prática da cultura hacker de se fazer uso de palavras aleatórias como "foo" como metavariáveis, o termo "variável metassintática" veio a denotar tais palavras por sí só; por exemplo, "foo" é referido como "a primeira variável metasintática" na primeira edição do Dicionário do Hacker. (pt) |
| dbo:wikiPageExternalLink | https://philpapers.org/archive/CORSTC.pdf https://books.google.com/books%3Fid=oHpMtskGcv0C |
| dbo:wikiPageID | 29557417 (xsd:integer) |
| dbo:wikiPageLength | 3031 (xsd:nonNegativeInteger) |
| dbo:wikiPageRevisionID | 1106501459 (xsd:integer) |
| dbo:wikiPageWikiLink | dbr:Schema_(logic) dbr:Nonterminal dbc:Logic_symbols dbr:Logic dbc:Variables_(mathematics) dbr:Symbol_(formal) dbr:Type_theory dbr:A_K_Peters dbc:Syntax_(logic) dbr:John_Corcoran_(logician) dbc:Metalogic dbr:Metalanguage dbr:Explicit_substitution dbr:Formal_grammars |
| dbp:wikiPageUsesTemplate | dbt:Cite_book dbt:Cite_journal dbt:For dbt:Reflist dbt:Rp dbt:Mathematical_logic |
| dct:subject | dbc:Logic_symbols dbc:Variables_(mathematics) dbc:Syntax_(logic) dbc:Metalogic |
| gold:hypernym | dbr:Symbol |
| rdf:type | dbo:Place yago:WikicatLogicSymbols yago:Abstraction100002137 yago:Communication100033020 yago:Signal106791372 yago:Symbol106806469 |
| rdfs:comment | In logic, a metavariable (also metalinguistic variable or 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 sentence Let A and B be two sentences of a language ℒ the symbols A and B are part of the metalanguage in which the statement about the object language ℒ is formulated. John Corcoran considers this terminology unfortunate because it obscures the use of schemata and because such "variables" do not actually range over a domain. (en) En logique, une métavariable (aussi nommée variable métalinguistique ou encore variable syntaxique) est un symbole ou une chaîne de symboles qui appartient à un métalangage et représente des éléments d'un certain langage objet. Par exemple, dans la phrase Soit A et B deux phrases d'un langage ℒ les symboles A et B font partie du métalangage dans lequel l'énoncé sur le langage objet ℒ est formulé. (en) considère cette terminologie malheureuse parce qu'elle masque l'utilisation des et parce que ces « variables » ne s'étendent pas réellement sur un domaine. (fr) Em lógica, uma metavariável (também conhecida como variável metalinguística ou variável sintática) é um símbolo ou string de símbolos que pertence a uma metalinguagem e se aplica a elementos de alguma linguagem objeto. Por exemplo, na sentença: Sejam A e B duas sentenças de uma linguagem ℒ os símbolos A e B são parte de uma metalinguagem na qual a afirmação sobre a linguagem objeto ℒ é formulada. John Corcoran considera esta terminologia infeliz porque ela obscurece o uso da forma lógica (schemata) e porque tais "variáveis" não valem realmente para todo o domínio. (pt) |
| rdfs:label | Métavariable (fr) Metavariable (en) Metavariável (pt) |
| owl:sameAs | freebase:Metavariable yago-res:Metavariable wikidata:Metavariable dbpedia-fr:Metavariable dbpedia-pt:Metavariable https://global.dbpedia.org/id/fnE8 |
| prov:wasDerivedFrom | wikipedia-en:Metavariable?oldid=1106501459&ns=0 |
| foaf:isPrimaryTopicOf | wikipedia-en:Metavariable |
| is dbo:wikiPageRedirects of | dbr:Meta-variable dbr:Meta_variable dbr:Metalanguage_variable dbr:Metalinguistic_variable dbr:Metamathematical_variable dbr:Metavariable_(logic) dbr:Schematic_letter dbr:Schematic_variable dbr:Syntactic_variable dbr:Syntactical_variable |
| is dbo:wikiPageWikiLink of | dbr:Index_of_logic_articles dbr:Substitution_(logic) dbr:Type_theory dbr:Meta-variable dbr:Meta_variable dbr:Metalanguage_variable dbr:Metalinguistic_variable dbr:Metamathematical_variable dbr:Metavariable_(logic) dbr:Schematic_letter dbr:Schematic_variable dbr:Rack_(web_server_interface) dbr:Rule_of_inference dbr:Variable_(mathematics) dbr:Propositional_variable dbr:Outline_of_logic dbr:Syntactic_variable dbr:Syntactical_variable |
| is foaf:primaryTopic of | wikipedia-en:Metavariable |