جهان بالفعل، جهان واقعی:

جهان بالفعل جهان ممکنی است که ما بالفعل در آن ساکن‌ایم. واژه‌ی «بالفعل»، چنانکه در منطق وجهی به‌ کار برده می‌شود (و بدین‌سان عبارت «جهان بالفعل»)، یک عبارت نمایه‌ای (indexical) است. لذا جهانِ بالفعل، در نزد هر صاحب دلیلی در هر جهان ممکنی، جهانی است که او در آن سُکنی دارد و نه ما.

منبع:

Cook, Roy. T. (2009). Actual World. A Dictionary of Philosophicl Logic, Edinburgh University Press