Ekthesis

Ekthesis, (Yunanca: "ortaya koymak" veya "ortaya koymak"), mantıkta, Aristoteles tarafından belirli önermelerin veya kıyasların geçerliliğini belirlemek için kullanılan süreç. Örneğin, Analytica priora'da şöyle demiştir: "Eğer A hiçbir B'ye ait değilse, B de hiçbir A'ya ait olmayacaktır; çünkü herhangi bir A'ya ait olsaydı, diyelim ki Γ (gama), A'nın hiçbir B'ye ait olmadığı doğru olmazdı; çünkü Γ, B'lerden biridir." Ekthesis özellikle, reductio ad impossibile (bir önermeyi, reddinin bir çelişkiye yol açtığını göstererek kanıtlama yöntemi) ilkesiyle birlikte, istenen sonucun çıkarılmasını sağlayan yeni bir terimin (bu durumda Γ) yaratılması anlamına gelir.