بنا بر باور شبهه فلسفي موجود در كلام اسلامي و مسيحي، كه برگرفته از آراي برخي فلاسفه ي خاص (چون افلاطون و ارسطو) است، و در عين حال متكلمين آنها را اصول بديهي و غير قابل اجتنابِ تمام فلسفه هاي دنيا مي دانند، وجود به دو نوعِ واجب و ممكن تقسيم مي شود. وجودِ واجب، وجودِ ماهيتي ست كه نبودنش تناقض آميز باشد، و وجودِ ممكن آنچه واجب نباشد. مثلا وجود نداشتن قلمي كه اكنون بر روي ميز من است، ممكن است (؟) تناقضي منطقي به وجود نياورد، در اين صورت ممكن الوجود است. اگر نبودِ آن تناقض آميز باشد، واجب الوجود خواهد بود.