Formele semantiek is de overkoepelende term voor de manier waarop zowel de semantiek en de logica als de gewone taal en de formele taal (bijvoorbeeld computertaal) wordt beschreven. Aan de basis van al deze systemen ligt hetzelfde, nl. het gebruik van bepaalde reeksen symbolen (bijv, een alfabet) waar door middel van interpretatie een betekenis aan wordt toegekend. Met behulp hiervan kunnen zowel alle natuurlijke talen alsook programmeertalen, codes etc. worden beschreven en ontcijferd.