TERMIUM Plus®
The Government of Canada’s terminology and linguistic data bank.
FORMAL LOGIC [2 records]
Record 1 - internal organization data 2013-10-21
Record 1, English
Record 1, Subject field(s)
- Information Theory
- Artificial Intelligence
Record 1, Main entry term, English
- formal logic
1, record 1, English, formal%20logic
correct, standardized
Record 1, Abbreviations, English
Record 1, Synonyms, English
Record 1, Textual support, English
Record number: 1, Textual support number: 1 DEF
The study of the structure and form of an argument without regard to the meaning of the terms in the argument. 2, record 1, English, - formal%20logic
Record number: 1, Textual support number: 1 OBS
formal logic: term standardized by ISO and CSA. 3, record 1, English, - formal%20logic
Record 1, French
Record 1, Domaine(s)
- Théorie de l'information
- Intelligence artificielle
Record 1, Main entry term, French
- logique formelle
1, record 1, French, logique%20formelle
correct, feminine noun, standardized
Record 1, Abbreviations, French
Record 1, Synonyms, French
Record 1, Textual support, French
Record number: 1, Textual support number: 1 DEF
Étude de la structure et de la forme des arguments, abstraction faite de la nature des objets auxquels ils s'appliquent. 2, record 1, French, - logique%20formelle
Record number: 1, Textual support number: 1 OBS
logique formelle : terme normalisé par l'ISO et la CSA. 3, record 1, French, - logique%20formelle
Record 1, Spanish
Record 1, Campo(s) temático(s)
- Teoría de la información
- Inteligencia artificial
Record 1, Main entry term, Spanish
- lógica formal
1, record 1, Spanish, l%C3%B3gica%20formal
correct, feminine noun
Record 1, Abbreviations, Spanish
Record 1, Synonyms, Spanish
Record 1, Textual support, Spanish
Record number: 1, Textual support number: 1 DEF
Estudio de la estructura y formas de argumentos válidos sin considerar el significado de los términos en el argumento. 1, record 1, Spanish, - l%C3%B3gica%20formal
Record 2 - external organization data 2006-02-20
Record 2, English
Record 2, Subject field(s)
- Compartment - ISO/IEC JTC 1 Information Technology Vocabulary
Universal entry(ies) Record 2
Record 2, Main entry term, English
- formal logic
1, record 2, English, formal%20logic
correct, standardized
Record 2, Abbreviations, English
Record 2, Synonyms, English
Record 2, Textual support, English
Record number: 2, Textual support number: 1 DEF
study of the structure and forms of valid argument without regard to the meaning of the terms in the argument 1, record 2, English, - formal%20logic
Record number: 2, Textual support number: 1 OBS
formal logic: term and definition standardized by ISO/IEC [ISO 2382-2:1976]. 2, record 2, English, - formal%20logic
Record 2, French
Record 2, Domaine(s)
- Tiroir - ISO/CEI JTC 1 Vocabulaire des technologies de l'information
Entrée(s) universelle(s) Record 2
Record 2, Main entry term, French
- logique formelle
1, record 2, French, logique%20formelle
correct, feminine noun, standardized
Record 2, Abbreviations, French
Record 2, Synonyms, French
Record 2, Textual support, French
Record number: 2, Textual support number: 1 DEF
étude de la structure et de la forme des raisonnements, abstraction faite de la nature des objets auxquels ils s'appliquent 1, record 2, French, - logique%20formelle
Record number: 2, Textual support number: 1 OBS
logique formelle : terme et définition normalisés par l'ISO/CEI [ISO 2382-2:1976]. 2, record 2, French, - logique%20formelle
Record 2, Spanish
Record 2, Textual support, Spanish
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: