Birsözedilen dilin olağan yorumuyla tüm olanaklı yorumlarını belirleyip dilin düzgün deyimlerinin her bir yorumda kazandıkları anlamları belirten, doğruluk, geçerlilik, tutarlılık, içerme, eşdeğerlik gibi kavramları tanımlayan düzgün deyimler ile anlamları arasındaki ilişkiler konusundaki kanıtsavları ortaya koyan sözeden kuram. ||Anl. anlambilim.
TDK Mantık Terimleri Sözlüğü