بدیهی ثانوی

در فلسفه اسلامی، دو گزاره درباره مفهوم/معنای وجود بسیار مشهور است: مفهوم وجود: 1- کلی ترین مفهوم است، 2- بسیط، بدیهی اولی و غیر قابل تعریف است، اما نظریه مختار درباره نفس الامر ما را به این نتیجه می رساند که وجود (وجود خاص یا وجودی که نقیض عدم است)، ذیلِ دو عنوان عام تر از خود قرار می گیرد:  1- واقعیت به معنای اعم (وجود عام)، 2- وجود حقیقی (در مقابل وجود اعتباری). به تعبیر دیگر، وجود خاص، اولا: زیرمجموعه وجود عام است و ثانیا: زیر مجموعه وجود حقیقی است، می توان این دو ترکیب را چنین صورتبندی کرد: (وجود عام + حقیقی بودن = وجود حقیقی) + خصوصیت طاردیتِ عدم = وجود خاص. پس وجود خاص مرکب از سه امر (وجود عام و حقیقی بودن و خصوصیتِ طاردیتِ عدم) است، لذا: 1- وجود، کلی ترین مفهوم نیست، 2- بسیط و بدیهی اولی نیست هرچند بدیهی ثانوی هست، لذا قابل تعریف است. اما وجود عام، که نقیض عدم نیست: 1- کلی ترین مفهوم است، 2- بسیط، بدیهی اولی و غیرقابل تعریف است.