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.

Property Value
dbo:abstract
  • 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)
  • 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)
dbo:wikiPageExternalLink
dbo:wikiPageID
  • 10420742 (xsd:integer)
dbo:wikiPageLength
  • 2735 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID
  • 179360035 (xsd:integer)
dbo:wikiPageWikiLink
prop-fr:année
  • 2001 (xsd:integer)
  • 2002 (xsd:integer)
  • 2006 (xsd:integer)
prop-fr:annéePremièreÉdition
  • 1967 (xsd:integer)
prop-fr:art
  • Metavariable (fr)
  • Metavariable (fr)
prop-fr:fr
  • John Corcoran (fr)
  • John Corcoran (fr)
prop-fr:id
  • 697753197 (xsd:integer)
prop-fr:isbn
  • 978 (xsd:integer)
prop-fr:journal
  • Bulletin of Symbolic Logic (fr)
  • Bulletin of Symbolic Logic (fr)
prop-fr:lang
  • en (fr)
  • en (fr)
prop-fr:langue
  • en (fr)
  • en (fr)
prop-fr:lienAuteur
  • Joseph R. Shoenfield (fr)
  • Geoffrey Hunter (fr)
  • Joseph R. Shoenfield (fr)
  • Geoffrey Hunter (fr)
prop-fr:lieu
  • Natick, Mass. (fr)
  • Natick, Mass. (fr)
prop-fr:lireEnLigne
prop-fr:nom
  • Hunter (fr)
  • Corcoran (fr)
  • Shoenfield (fr)
  • Tennent (fr)
  • Hunter (fr)
  • Corcoran (fr)
  • Shoenfield (fr)
  • Tennent (fr)
prop-fr:numéroD'édition
  • 2 (xsd:integer)
prop-fr:pages
  • 219 (xsd:integer)
prop-fr:pagesTotales
  • 289 (xsd:integer)
  • 344 (xsd:integer)
prop-fr:prénom
  • J. (fr)
  • R. D. (fr)
  • Geoffrey (fr)
  • Joseph R. (fr)
  • J. (fr)
  • R. D. (fr)
  • Geoffrey (fr)
  • Joseph R. (fr)
prop-fr:sousTitre
  • A Hands-On Introduction (fr)
  • A Hands-On Introduction (fr)
prop-fr:texte
  • John Corcoran (fr)
  • John Corcoran (fr)
prop-fr:titre
  • Mathematical Logic (fr)
  • Metalogic : An Introduction to the Metatheory of Standard First-Order Logic (fr)
  • Specifying Software (fr)
  • Schemata: the Concept of Schema in the History of Logic (fr)
  • Mathematical Logic (fr)
  • Metalogic : An Introduction to the Metatheory of Standard First-Order Logic (fr)
  • Specifying Software (fr)
  • Schemata: the Concept of Schema in the History of Logic (fr)
prop-fr:trad
  • John Corcoran (fr)
  • John Corcoran (fr)
prop-fr:volume
  • 12 (xsd:integer)
prop-fr:wikiPageUsesTemplate
prop-fr:éditeur
dct:subject
rdfs:comment
  • 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)
  • 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)
rdfs:label
  • Metavariável (pt)
  • Métavariable (fr)
  • Metavariável (pt)
  • Métavariable (fr)
owl:sameAs
prov:wasDerivedFrom
foaf:isPrimaryTopicOf
is dbo:wikiPageWikiLink of
is oa:hasTarget of
is foaf:primaryTopic of