Métalogique définitions

Rechercher

Métalogique

Métalogique logo #196[nom] Livre de (XII siècle), destiné à défendre les belles connaissances contre une secte barbare de charlatans et de sophistes, que l’auteur appelle les cornificiens, du nom de Cornificius, leur chef réel ou supposé.
Trouvé sur https://fr.wiktionary.org/wiki/Métalogique

métalogique

métalogique logo #1961) [adjectif] Relatif à l’analyse de la logique. [nom] 2) Analyse de la logique, étude des propriétés des systèmes logiques déjà construits.
Trouvé sur https://fr.wiktionary.org/wiki/métalogique

métalogique

métalogique logo #122MÉTALOGIQUE, adj. et subst. fém. LOGIQUE I. − Adj. Qui se rapporte aux principes de base, aux fondements de la logique. Est parfois considéré comme métalogique ce qui, dans un système formel, précède la formulation des axiomes (Thinès-Lemp. 1975). II. − Subst. fém. Étude qui a pour objet les propriétés des systèmes logiques déjà...
Trouvé sur https://www.cnrtl.fr/definition/métalogique

métalogique

métalogique logo #725 Etude des règles qui composent une logique déterminée. Traduction anglais : metalogic
Trouvé sur https://www.linternaute.fr/dictionnaire/fr/definition/metalogique/

Métalogique

Métalogique logo #651La métalogique est l`étude de la métathéorie de la logique. Alors que la logique étudie comment des systèmes logiques peuvent être utilisés pour construire un argument valide et correct, la métalogique concerne les vérités qui peuvent être dérivées des langages et des systèmes qui ...
Trouvé sur https://fr.wikipedia.org/wiki/Métalogique
Aucun résultat n’a été trouvé dans l’encyclopédie.