Formal methods in language syntax and semantics encompass a range of logical and algebraic frameworks designed to characterise grammatical structure and meaning assignment with mathematical precision.