yüzyılda yaşamış ve
değilleme mantığıyla ün kazanmış olan ünlü Budist düşünür. Dünyayı anlama, yorumlama ve varlığın gizini çözme
Kaynak: Nagarjunaöğretiyi geliştirmiş olan Hint düşünür . Nirvana ya erişme yolu olarak
değilleme mantığını kullanan, hakikati mantık işlemleriyle bulmayı
Kaynak: Vasubandhu"Hiçlik öğretisi"ni geliştirmiş olan Harivarman sisteminde, Nirvana 'ya erişmenin yolunu
değilleme mantığında bulmuştur. Ona göre, ne
Kaynak: HarivarmanYüklemsel ifadelerde
değilleme ve niceleyicilerin yeri, anlam bakımından önemlidir. Örneğin:
eg forall x asal(x), “her sayı asal
Kaynak: Matematiksel mantık