formalisierte Sprache

formalisierte Sprache, ein semantisch interpretierter Kalkül. Eine formalisierte Sprache besteht aus einer Menge von Grundzeichen (Alphabet), Formregeln zum Aufbau von Ausdrücken aus den Grundzeichen, Ableitungsregeln für den Übergang von Ausdrücken zu anderen Ausdrücken und Interpretationsregeln, die den Ausdrücken Bedeutungen verleihen und den Wahrheitsbegriff festlegen.