Język formalny – co to jest?

Język formalny charakteryzuje się precyzją, unikaniem zwrotów potocznych oraz stosowaniem specjalistycznego słownictwa. Jego przykładem jest np. język matematyki, język programowania czy język formalny w logice, które mają określone reguły i składnię służące do przekazywania informacji w sposób precyzyjny i jednoznaczny. Tłumacze muszą być zaznajomieni z językiem formalnym, aby móc przekładać teksty o charakterze technicznym, prawnym czy akademickim.