İndüksiyon
Tümevarım, mantıkta, parçadan bütüne, tikelden genele veya bireyden tümele doğru akıl yürütme yöntemi. Bu terim, 20. yüzyıl sistemlerindeki mantık için geçerli olduğundan, artık kullanılmamaktadır. Geleneksel olarak mantıkçılar tümdengelim mantığı (sonucun öncülden zorunlu olarak çıktığı çıkarım ya da içinde gizil olarak bulundukları öncüllerden yeni önermeler çıkarma) ile tümevarım mantığı arasında ayrım yapmışlardır, ancak daha önce tümevarım altında ele alınan sorunlar doğa bilimlerinin metodolojisiyle ilgili olarak kabul edilir ve mantık genellikle tümdengelim mantığı anlamına gelir.