تقریر برهان صدیقین سینوی به روش منطق صوری جدید

برهان صدیقین یکی از براهین معروف در اثبات وجود خداست، پایه و اساس این برهان حقیقت وجود و نفی شکاکیت در هستی است. در این برهان وجود خلق پایه استدلال نیست. از این‌رو گفته می‌شود وجود خدا از غیر او و خلق او اثبات نشده است. بنابراین در پایان معلوم می‌شود که از خود خدا وجود او اثبات شده است. با این تفاوت که در آغاز برهان نمی‌دانستیم آن که پایه استدلال است و استدلال از آنجا آغاز شده، همان خدا است. طراح این برهان فارابی است، ولی تقریری از آن ارایه نکرده است، بلکه اولین تقریر آن را ابن‌سینا به دست داده است. این برهان را می‌توان بر اساس منطق جدید هم در بخش منطق جمله‌ها و هم در بخش منطق محمولات صورت‌بندی کرد. مقاله پیش رو ضمن تقریر برهان صدیقین ابن‌سینا صورت‌بندی آن را هم در منطق جمله‌ها و هم منطق محمولات ارایه داده است.