Що означає формальна семантика?

Формальна семантика - це вивчення семантики, або інтерпретації, формальних і природних мов шляхом їх формального опису в математичних термінах.

Формальна мова може бути заданий без будь-якої інтерпретації. Це досягається завданням безлічі символів (також званого алфавітом) і безлічі правил виведення (також званого формальної граматикою), які визначають, які рядки символів є правильно побудованими формулами. При додаванні правил перетворення і прийнятті деяких пропозицій за аксіоми (що разом називається дедуктивної системою), формується логічна система. Інтерпретація - це завдання сенсу її символам і значень істинності її пропозицій