6. Métalogique
6.1 Métalogique
La métalogique (metalogics) est l’étude formalisée des logiques via l’utilisation d’un métalangage.
Si les questions de métalogique sont posées depuis l’époque d’Aristote (384-322 avant notre ère), ce ne fut qu’avec le développement des langages formels initié vers 1900 (Frege, 1893, 1903) que les études sur les fondements de la logique ont émergées.
Alors que la logique étudie comment des systèmes logiques peuvent être utilisés pour construire des raisonnements (et donc des argumentations) valides et corrects, la métalogique concerne les validités qui peuvent être dérivées des langages formels et des systèmes logiques. Alors que la logique traite des démonstrations dans un système logique, exprimées dans un langage formel, la métalogique traite...
Cet article est réservé aux abonnés. Il vous reste 92 % à découvrir.
Déjà abonné ? Se connecter
Métalogique
Propriétés métalogiques des systèmes logiques
Sources bibliographiques
Cet article est réservé aux abonnés. Il vous reste 92 % à découvrir.
Déjà abonné ? Se connecter
Quiz et tests de validation présents dans cet article
Entraînez-vous autant que vous le voulez avec les quiz d'entraînement.
Article inclus dans l'offre
"Mathématiques"
(
228 articles
)
Actualisée et enrichie d’articles validés par nos comités scientifiques.
Quiz, médias, tableaux, formules, vidéos, etc.
Opérationnels et didactiques, pour garantir l'acquisition des compétences transverses.
Un ensemble de services exclusifs en complément des ressources.
