Logique et métalogique - Mines Saint-Étienne
Book Sections Year : 2023

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.
No file

Dates and versions

emse-04571325 , version 1 (07-05-2024)

Identifiers

Cite

Jean-Charles Pinoli. Logique et métalogique. Techniques de l'Ingénieur, Sciences fondamentales | Mathématiques |Mathématiques fondamentales |algèbres (AF88 v1), Editions T.I., 2023, ⟨10.51257/a-v1-af88⟩. ⟨emse-04571325⟩
21 View
0 Download

Altmetric

Share

More