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

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