Yarı mantıksal kanıtlar: Sözbilim temelde yalnızca yarı mantıksal kanıtlara dayanır. Bazıları kanıtları ikiye ayırır: yarı mantıksal kanıtlar ve biçimsel mantık alanına dayalı kanıtlar. İkincisi için matematikteki kanıtlamalar örnek verilebilir. Jean-Jacques Robrieux kanıtları üçe ayırır:
Tanımlar: Bir kavrama anlam vermek için denklik ya da eşdeğerlik ilişkisi
sağlar.
Karşılaştırma: Ortak özellikleri olan birden çok kavram arasında yakınlaştırarak ya da ayırarak bir nesne ya da kavramı açıklar ya da betimleme yapar.
Bağdaşmazlık: Aynı sistem içinde bir arada bulunmayacak iki kesinlemeyi belirtir. Diğerini mantıksal olarak yadsımaz, ama ikisi aynı sistem içinde bir arada bulunmaz.