درحالی که به لحاظ شهودی و عرفی جمله ای مثل «رخش وجود ندارد» به وضوح صادق است اما طراحی سیستمی منطقی که بتواند با موضوع قرار دادن رخش و محمول قرار دادن وجود، این جمله را تحلیل کند، تبدیل به یکی از مسائل پیچیده ی منطقی و فلسفی گشته است. این پایان نامه در میان گستره ی نظریات پیرامون وجود محمولی، دامنه ی کاری خود را به تحلیل های سازگار با منطق آزاد محدود کرده است. ابتدا نظریه راسل در تحلیل وجود محمولی- که با سیستم منطقی خود در مقام استدلال برای انکار وجود به عنوان ویژگی افراد پیشتاز است- مطرح می شود. بعد از نقد راسل، منطق آزاد و سمنتیکهای منطق آزاد مطرح می شوند. سپس به خاطر ظرفیت هایی که منطق آزاد ایجاد می کند و موجب ورود سمنتیکهای دو بخشی یا ماینونگی به منطق می شود، ماینونگ گرایی نیز مطرح می شود. در پایان نسخه های اصلاح شده پارسونز و زالتا از ماینونگ گرایی تشریح می شود.