Olgusal düzenliliklerin gözlemlenmesine dayanan tümevarımsal çıkarımlar bağlamında sahip olduğumuzu düşündüğümüz bilgiye ilişkindir. Çıkarım, en az bir öncülden hareket edilen ve bir sonuca varılan düşünce zincirine verilen addır. Tümdengelimsel çıkarım, veya kısaca tümdengelim, öncüllerden sonucun %100 kesinlikle çıktığı durumlar için kullanılır. Tümevarımsal çıkarım, veya kısaca tümevarım, öncüllerden sonucun kesin bir şekilde çıkmadığı durumlar için kullanılır.