مفهوم وجود از جمله مفاهیمی است که از گذشته تاکنون در بین فلاسفه مورد بحث قرار گرفته است.چنین بحث هایی را میتوان به دو محور اصلی تقسیم کرد. محور اول به ابعاد هستی شناسان? وجود می پردازد که به موجب آن با دو مکتب ممکن گرایی و واقعیگرایی مواجه هستیم که هر کدام در راستای مبانی متافیزیکی خود سعی میکنند دربار? محدود? دامن? اشیاء سخن بگویند. محور دوم شامل بحث هایی میشود که به محمول واقع شدن وجود می پردازند. به موجب چنین بحث هایی به واسط? اینکه وجود را بعنوان محمولی درجه اول و یا درجه دوم در نظر بگیریم میتوانیم از وجود ممکن و یا در مقابل از وجود ضروری اشیاء سخن بگوئیم . وجود ضروری از جمله فرمولهایی است که در سیستم s5 ساده ترین منطق موجهات محمولی در کنار فرمول هایی نظیر bf,cbf قابل اثبات و معتبر است. اما در عین حال که صحبت از اعتبار وجود ضروری اشیاء نیازمند ارائه مفهومی درجه دوم از وجود است ، صحبت از اعتبار فرمول بارکان نیازمند تعهد وجودی به اشیاء ممکنی است که به اعتقاد ممکن گرایان در دامن? اشیاء موجود قرار نمی گیرند. در همین راستا تیموتی ویلیامسون به تبعیت از لینسکی و زالتا به منظور دفاع از هر دو فرمول ne ,bf ، بحث اعتبار فرمول بارکان را از محور اول خارج کرده و به محور دوم انتقال میدهد. به این ترتیب او با استفاده از اوصاف جهت مند تعریف جدیدی از اشیاء ممکن ارائه میکند که از طریق آن می توان بدون داشتن تعهد وجودی به اشیاء ممکن غیر واقعی از اعتبار فرمول بارکان در کنار وجود ضروری اشیاء دفاع کرد . پس از آن ویلیامسون با ارائه مفهومی درجه دوم از وجود در قالب نظریه سورهای نامقید شرایط صحبت از وجود منطقی برای اشیاء را فراهم میکند تا از آن طریق بتوانیم درک بهتری از وجود ضروری داشته باشیم .