TERMIUM Plus®

The Government of Canada’s terminology and linguistic data bank.

METALOGIQUE [2 records]

Record 1 1989-12-05

English

Subject field(s)
  • Artificial Intelligence

French

Domaine(s)
  • Intelligence artificielle
DEF

Relatif aux principes communs aux différentes logiques.

OBS

En linguistique, J. Rey-Debove définit la métalogique (n.f.) comme métalangage des logiciens.

Spanish

Save record 1

Record 2 1980-07-25

English

Subject field(s)
  • Logic (Philosophy)
  • Philosophy (General)
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 ...

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.

French

Domaine(s)
  • Logique (Philosophie)
  • Philosophie (Généralités)
DEF

Discipline fondée sur les principes communs aux différentes logiques.

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».

Spanish

Save record 2

Copyright notice for the TERMIUM Plus® data bank

© Public Services and Procurement Canada, 2024
TERMIUM Plus®, the Government of Canada's terminology and linguistic data bank
A product of the Translation Bureau

Features

Language Portal of Canada

Access a collection of Canadian resources on all aspects of English and French, including quizzes.

Writing tools

The Language Portal’s writing tools have a new look! Easy to consult, they give you access to a wealth of information that will help you write better in English and French.

Glossaries and vocabularies

Access Translation Bureau glossaries and vocabularies.

Date Modified: