TERMIUM Plus®
La banque de données terminologiques et linguistiques du gouvernement du Canada.
METALOGIQUE [2 fiches]
Fiche 1 - données d’organisme interne 1989-12-05
Fiche 1, Anglais
Fiche 1, Subject field(s)
- Artificial Intelligence
Fiche 1, La vedette principale, Anglais
- metalogic
1, fiche 1, Anglais, metalogic
correct
Fiche 1, Les abréviations, Anglais
Fiche 1, Les synonymes, Anglais
Fiche 1, Justifications, Anglais
Fiche 1, Français
Fiche 1, Domaine(s)
- Intelligence artificielle
Fiche 1, La vedette principale, Français
- métalogique
1, fiche 1, Français, m%C3%A9talogique
correct
Fiche 1, Les abréviations, Français
Fiche 1, Les synonymes, Français
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, Espagnol
Fiche 1, Justifications, Espagnol
Fiche 2 - données d’organisme interne 1980-07-25
Fiche 2, Anglais
Fiche 2, Subject field(s)
- Logic (Philosophy)
- Philosophy (General)
Fiche 2, La vedette principale, Anglais
- metalogic
1, fiche 2, Anglais, metalogic
correct
Fiche 2, Les abréviations, Anglais
Fiche 2, Les synonymes, Anglais
Fiche 2, Justifications, Anglais
Record number: 2, 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 2, Anglais, - metalogic
Record number: 2, 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 2, Anglais, - metalogic
Fiche 2, Français
Fiche 2, Domaine(s)
- Logique (Philosophie)
- Philosophie (Généralités)
Fiche 2, La vedette principale, Français
- métalogique
1, fiche 2, Français, m%C3%A9talogique
correct, nom féminin
Fiche 2, Les abréviations, Français
Fiche 2, Les synonymes, Français
- méta-logique 2, fiche 2, Français, m%C3%A9ta%2Dlogique
correct, nom féminin
Fiche 2, Justifications, Français
Record number: 2, Textual support number: 1 DEF
Discipline fondée sur les principes communs aux différentes logiques. 3, fiche 2, Français, - m%C3%A9talogique
Record number: 2, 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 2, Français, - m%C3%A9talogique
Fiche 2, Espagnol
Fiche 2, Justifications, Espagnol
Avis de droit d’auteur pour la banque de données TERMIUM Plus®
© Services publics et Approvisionnement Canada, 2024
TERMIUM Plus®, la banque de données terminologiques et linguistiques du gouvernement du Canada
Un produit du Bureau de la traduction
En vedette
Portail linguistique du Canada
Accédez à une collection de ressources canadiennes sur tous les aspects du français et de l'anglais, y compris des jeux.
Outils d'aide à la rédaction
Les outils d’aide à la rédaction du Portail linguistique ont fait peau neuve! Faciles à consulter, ils vous donnent accès à une foule de renseignements utiles pour mieux écrire en français et en anglais.
Lexiques et vocabulaires
Accédez aux lexiques et vocabulaires du Bureau de la traduction.
- Date de modification :