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