Llenguatge formal

El llenguatge pròpiament dit formal, serà fruit de la construcció per part de la lògica, d'una sèrie de regles que expliquen la manera de produir fórmules correctes amb els símbols. A més, però, el llenguatge formal és aquell llenguatge que no només està simbolitzat, sinó aquell llenguatge amb el qual es pot operar d'una manera mecànica sense necessitat de pensar mai en el contingut ( en allò que significa ). Per tant, podem dir que la formalització és igual a l'abstracció dels continguts del llenguatge.

Característiques:

• Permet sintetitzar i condensar formes de discurs.

• Ajuda a evitar l'ambigüitat del llenguatge natural

• Permet establir relacions entre expressions que són necessàries per la ciència, però que no existeixen en els llenguatges naturals. Per exemple : la relació de deducció.