Bir çeşit mantık yürütme, bilinen önermelerden bilinmeyen önermeleri çıkarmayı sağlar.Descartes'a göre bir düşünceyi meydana getiren daha önceki bir düşüncedir. Öyleyse düşünce zincirinin arasına yanlış bir düşünce karıştırmaksızın sırayı titizlikle kovalayarak gerçeğe varılabilir. Bir çeşit bulmaca, sonucu bazen beklenmedik olabilir.
