Metalimbaj

Acest articol sau secțiune are mai multe probleme. Puteți să contribuiți la rezolvarea lor sau să le comentați pe pagina de discuție. Pentru ajutor, consultați pagina de îndrumări.
  • Nu are introducere cu explicația scurtă a subiectului sau introducerea existentă este prea scurtă. Marcat din noiembrie 2019.
  • Are nevoie de ajutorul dumneavoastră! Marcat din noiembrie 2019.
  • Calitatea informațiilor sau a exprimării trebuie îmbunătățită. Marcat din noiembrie 2019.
  • Trebuie pus(ă) în formatul standard. Marcat din noiembrie 2019.
  • Are bibliografia incompletă sau inexistentă. Marcat din noiembrie 2019.
 Nu ștergeți etichetele înainte de rezolvarea problemelor.

În logică și lingvistică un metalimbaj este un limbaj folosit în descrierea altui limbaj, numit limbaj-obiect.

Conceptul de metalimbaj se poate aplica unui limbaj formal asociat unei științe formale cum ar fi matematica. Acest limbaj este logica.

Anumiți termeni din limbajul curent, cum ar fi grup, inel sau corp pot avea un înțeles diferit în limbajul matematic față de limbajul natural. Mai des însă, termenii sunt creați și introduși în funcție de necesități: izomorfism, topologie, iterație etc.

Numărul relativ mare al termenilor noi sau cu înțeles schimbat face ca înțelegerea matematicilor avansate de către nespecialiști să fie dificilă.