Tanıtlama nedir, ne demektir?

Doğru olduğu kabul edilmiş ya da gösterilmiş ilkelere dayanarak, bir başka önermenin doğruluğunu ortaya koyan akıl yürütme biçimine verilen addır. Aristoteles’e göre tanıtlama, bilimsel bilimsel tasım ya da zorunlu tasımdır ve bilgi ile bilim bunlardan türer.

Tanıtlama, deneye dayanılarak da yapılabilir ve doğa bilimlerinde kullanılan yol budur. Akılla kavranan apaçık ve zorunlu ilkelerden kalkarak yapılan tanıtlamalar ise, matematik bilimlerde yer alır. Felsefe de bu çeşit tanıtlamalar yapmak ister. Demek ki tanıtlamalar deneye, yani tek tek varlıkların ele alınmasına ya da tümele; yani zorunlu ilkelere dayanılarak yapılmasına göre tümevarımlı tanıtlama ya da tümdengelimli tanıtlama olarak iki biçimde yapılabilir.