Varlik Mantigi

Niceleme ve özdeslik mantiklarindan farkli olarak “vardir” mantiksal degismezini kapsayan bir mantiktir.Diger mantik sistemleri yalnizca gerçek dünyaya ait varliklar üzerine önermeler olusturur. Oysa varlik mantigi, hem gerçek dünyada hem de gerçek olmayan dünyalardaki varliklar üzerine önermeler olusturur.Örnegin, “Ingiltere kraliçesi Elizabeth vardir.” Ya da “Agri dagi vardir” gibi önermelerin yani sira “Güzellik tanriçasi Afrodit vardir.” Ya da “Kaf dagi vardir.” Önermeleri de varlik mantiginin konusunu olusturur.

“Vardir” mantiksal degismezi “ E! “ sembolü ile gösterilir.