Formel mantıkta diyebiliriz, nam-ı diğer düz mantık. A, A olmayan değildir; A olmayan, A değildir.Şeyleri, neseneleri, durumları, olguları, süreçleri, diğer tüm varlıktan ayırıp kendi içinde açıklamaya çalışmanın mantığıdır. Alınan bir çift ayakkabı o kadar süre giyilip eskitildiği halde bile sanki hiç değişmemişçesine ilk alındığı halindeymişçesine düşüncelere maruz bıraktıran, gündelik hayatı bu özelliğiyle kolaylaştıran ama bilimsel ve felsefi düşünüşte artık yeri olamayacak mantık biçimidir.
