Logic and Metalogic
Logique et métalogique
Abstract
The term "logic" is derived from ancient Greek meaning both "speech" and "reasoning". As an interdisciplinary field of philosophy, linguistics, mathematics, and more recently computer science and especially artificial intelligence, logic deals with inference, which is defined as a "cognitive operation", elementary form of reasoning from premises to a conclusion. This article, the first in a series of three, presents elements on languages and on reasoning, before approaching logical systems, then metalogic. A glossary in the appendix precisely summarizes the definitions of many concepts.
Le terme « logique » est dérivé du grec ancien signifiant à la fois « discours » et « raisonnement ». En tant que domaine interdisciplinaire de la philosophie, de la linguistique, des mathématiques et plus récemment de l’informatique et surtout de l’intelligence artificielle, la logique traite de l’inférence, qui se définit comme une « opération cognitive », forme élémentaire de raisonnement passant de prémisses à une conclusion. Cet article, le premier d’une série de trois, présente des éléments sur les langages et sur les raisonnements, avant d’aborder les systèmes logiques, puis la métalogique. Un glossaire en annexe résume précisément les définitions de nombreuses notions.