Anlambilim: Revizyonlar arasındaki fark

Biçimsel semantik, aslında biçimsel mantık çerçevesinde biçimsel [[yapayyapma dil]]lerin semantiğidir. Bu biçimsel mantık semantiğin yanı sıra, mantıksal betimleme imkânlarını kullanan doğal dillerin de biçimsel bir semantiği vardır. Biçimsel semantik; [[Augustus De Morgan]], [[George Boole]], Alfred Tarski ve [[Richard Montague]]’nin etkisi altında gerçeklik koşullarını sağlayan cümle anlamı olarak tanımlanır ve felsefî [[mantık]] ilkelerine yönelik kalıplaşmış bir üst dil ile betimlenir.