TERMIUM Plus^®

Fiche 1,  Justifications,  Anglais

Record number: 1, 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 1, Anglais, - metalogic

Record number: 1, 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 1, Anglais, - metalogic

Fiche 1,  Justifications,  Français

Record number: 1, Textual support number: 1 DEF

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

Record number: 1, 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 1, Français, - m%C3%A9talogique

Fiche 1,  Justifications,  Espagnol