métalogique
:
Français[modifier le wikicode]
Étymologie[modifier le wikicode]
- (1882)[1] Composé de méta- et logique ; Métalogique lui est antérieur.
Adjectif [modifier le wikicode]
Singulier | Pluriel | |
---|---|---|
Masculin et féminin |
métalogique | métalogiques |
\me.ta.lɔ.ʒik\ |
métalogique \me.ta.lɔ.ʒik\ masculin et féminin identiques
- Relatif à l’analyse 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)
Traductions[modifier le wikicode]
- Anglais : metalogical (en)
- Italien : metalogico (it)
Nom commun [modifier le wikicode]
Singulier | Pluriel |
---|---|
métalogique | métalogiques |
\me.ta.lɔ.ʒik\ |
métalogique \me.ta.lɔ.ʒik\ féminin
- Analyse de la logique, étude des propriétés des systèmes logiques déjà construits.
Le métalangage formalisé n'est pas, épistémologiquement, dans la situation de la métalogique et de la métamathématique. Celles-ci, en effet, rendent compte d'un langage artificiel qui lui-même s'appuie sur le langage naturel, alors que le métalangage formalisé rend compte directement du langage naturel.
— (J. Rey-Debove, Le Métalangage, Paris, Le Robert, 1978)
Traductions[modifier le wikicode]
- Allemand : Metalogik (de)
- Anglais : metalogic (en)
- Espagnol : metalógica (es)
- Polonais : metalogika (pl)
Voir aussi[modifier le wikicode]
- métalogique sur l’encyclopédie Wikipédia
Références[modifier le wikicode]
- ↑ « métalogique », dans TLFi, Le Trésor de la langue française informatisé, 1971–1994 → consulter cet ouvrage