TERMIUM Plus^®

Fiche 1,  Justifications,  Anglais

Fiche 1,  Justifications,  Français

Record number: 1, Textual support number: 1 DEF

Relatif aux principes communs aux différentes logiques.  1, fiche 1, Français, - m%C3%A9talogique

Record number: 1, Textual support number: 1 OBS

En linguistique, J. Rey-Debove définit la métalogique(n. f.) comme métalangage des logiciens.  1, fiche 1, Français, - m%C3%A9talogique

Fiche 1,  Justifications,  Espagnol

Fiche 2,  Justifications,  Français

Fiche 2,  Justifications,  Espagnol

Fiche 3,  Justifications,  Français

Fiche 3,  Justifications,  Espagnol

Fiche 4,  Justifications,  Anglais

Record number: 4, Textual support number: 1 CONT

The prefix "meta" means "about" and it is used because the rules and queries of a metalogical program talk about and manipulate the relation names and rules of other logic programs.  1, fiche 4, Anglais, - metalogical%20program

Fiche 4,  Justifications,  Français

Fiche 4,  Justifications,  Espagnol

Fiche 5,  Justifications,  Anglais

Record number: 5, Textual support number: 1 OBS

A system over and beyond a system of lower logical order, and therefore capable of deciding propositions, discussing criteria, or exercising regulation for systems that are themselves logically incapable of such decisions and discussions or of self-regulation (because the metalogic is inaccessible to the system's logic, or the metalanguage is capable of statements inexpressible in the system's language). Note: a metasystem is of a higher logical order than a system, and not necessarily of higher "seniority" in the sense of command. For example: the school timetable is metasystemic to the timetable of a single class.  1, fiche 5, Anglais, - metasystem

Fiche 5,  Justifications,  Français

Record number: 5, Textual support number: 1 OBS

système situé au-dessus d’un système d’ordre logique inférieur. Un métasystème est donc capable de discuter et de juger des propositions, des critères, et d’assurer la régulation d’un système qui en est incapable du point de vue logique(parce que la métalogique est inaccessible à la logique du système, ou parce que le métalangage est capable de formuler des propositions qui ne sont pas exprimables dans le langage du système). Remarque. Un métasystème est d’un ordre logique supérieur à celui d’un système, mais n’ est pas nécessairement "prioritaire" au sens du contrôle. Par exemple, l'emploi du temps d’une école est métasystémique par rapport à l'emploi du temps d’une classe de cette école.  1, fiche 5, Français, - m%C3%A9tasyst%C3%A8me

Fiche 5,  Justifications,  Espagnol

Fiche 6,  Justifications,  Anglais

Record number: 6, Textual support number: 1 DEF

A branch of analytic philosophy that deals with the critical examination of the basic concepts of logic abstracted from any meaning given them in the systems studied ...  2, fiche 6, Anglais, - metalogic

Record number: 6, Textual support number: 2 DEF

... the study of the syntax, or relations between expressions, and the semantics, or relations between expressions and their meanings, of formal languages and formal systems (such as those of logic and mathematics). It is related to, but does not include, the formal treatment of natural languages.  3, fiche 6, Anglais, - metalogic

Fiche 6,  Justifications,  Français

Record number: 6, Textual support number: 1 DEF

Discipline fondée sur les principes communs aux différentes logiques.  3, fiche 6, Français, - m%C3%A9talogique

Record number: 6, Textual support number: 1 CONT

Et G. Kalinowski, en logicien qu'il est, pose clairement l'essentielle différence qui sépare la métalogique, qui étudie le langage en tant que tel, et la logique proprement dite, qui «toute science formelle qu'elle soit, porte [...] sur le réel».  4, fiche 6, Français, - m%C3%A9talogique

Fiche 6,  Justifications,  Espagnol