סוגי קיימות של יישים

דבר שקיים בהכרח הוא דבר שקיומו מוכרח. לא יכול להיות שהוא לא יהיה קיים. דבר שהוא "סיבת עצמו" פירושו שהוא לא צריך סיבה שמחוצה לו. דבר קדמון זה דבר שהיה קיים תמיד. לגבי היחס בין המושגים, רבים מזהים אותם אבל לדעתי זה כלל וכלל לא פשוט. ברור שמה שהכרחי היה קיים תמיד (כי הוא לא יכול לא להיות קיים). אבל מה שהיה קיים תמיד הוא לא בהכרח הכרחי. ייתכן שהוא קיים תמיד באופן מקרי (ויכול היה שלא להיות קיים). סיבת עצמו הוא מושג טריקי יותר, שכן ניתן לחשוב שהוא לא יהיה קיים (רק אם הוא קיים הוא לא צריך סיבה מחוצה לו, אבל אולי אפשרי שלא יהיה קיים). אמנם בפשטות סיבת עצמו פירושו שקיומו לא צריך סיבה כלומר הוא הכרחי ותמיד היה. לגבי חוקי הטבע, לא ברור שמדובר בדברים או יישים. בפשטות מדובר בצורות התנהלות של יישים ולא ביישים. חוקי הלוגיקה והמתמטיקה הם הכרחיים, ולכן תמיד היו נכונים (אבל לא תמיד קיימים כי הם לא בהכרח יישים). לעומת זאת, מקובל לחשוב שחוקי הטבע הם לא הכרחיים (יכלו להיות אחרים), אחרת מדעי הטבע היו ענף של המתמטיקה.