İkinci analitikler kitabında ilim bilenlerin bilgiyi ıspat yolu ile koyarken bildiğini sananların, yani bir sanıya kapılanların ilim tabiatını anlamadığı belirtilmekte. Bu kitapta beyan, çelişme, karşı olum kavramları ele alınmıştır. Bir yüklemi bir konuya birleştiren bir çelişmenin bölümü tasdikdir cümlesi ise yazım dilinde bütüncül konuların çekişkilerle birlikte alındığında bile tasdik yoluyla ispat edildiğini gösterebilir.