Varlık mantığı nedir? Varlık mantığının özellikleri nelerdir? Kısaca varlık mantığı hakkında bilgi.
Varlık Mantığı
Niceleme ve özdeşlik mantığı, sadece gerçek dünyadaki varlıklar üzerine önermeler oluşturur. Oysa varlık mantığı; gerek gerçek dünyadaki, gerekse de gerçek olmayan dünyalardaki varlıklar üzerine önermeler oluşturur. Örneğin, “Küba devlet başkanı Castro vardır.” ya da “Devekuşu vardır.” gibi önermelerin yanısıra, “Deniz kızı vardır.” ya da “Anka kuşu vardır.” önermeleri de varlık mantığının konusunu oluşturur.
Varlık mantığı, özdeşlik mantığı değişmezlerine varlık değişmezi katılarak elde edilen mantık sistemidir. Varlık değişmezi “var” sözcüğüyle ifade edilir ve E! sembolüyle gösterilir, içinde varlık değişmezi olan önermelere varlık önermeleri adı verilir. Örneğin; “Devekuşu vardır.” önermesi Ela biçiminde sembolleştirilir. Burada “Devekuşu”, “a” ile; “vardır” E! ile sembolleştirilmiştir. Örneğin; “Deniz kızı vardır.” önermesi, gerçekte deniz kızı olmadığından varlık mantığında yanlış değer alır. “Devekuşu vardır.” önermesi, gerçek dünyada devekuşu var olduğundan doğru değer alır.
