Aristoteles mantığının karşısında çelişik mantık diyebileceğimiz mantık vardır. Buna göre X'in yüklemleri olarak a ve a olmayan, birbirlerini dışta bırakmazlar. Çelişik mantığın düzenlemeleri olumludur: O odur ve o değildir. Bir de olumsuz düzenlemeleri vardır: O ne budur ne de şudur.