مؤسسه آموزشی و پژوهشی امام خمینی(ره) معرفت کلامی 2008-8876 2 1 2012 02 29 تقریر برهان صدیقین سینوی به روش منطق صوری جدید 33 44 622 FA عسکری سلیمانی امیری استاد - مؤسسه آموزشی و پژوهشی امام خمینی (ره) 0 Journal Article 2011 11 23 Seddiqin argument, a famous argument used for proving the existence of God, was first mooted by Avicenna. This argument can, according to modern logic, be formulated as part of the logic of sentences and as part of the logic of predicates. Giving an account of Avicenna's Seddiqin argument, the present paper discusses the formulation of this argument both in the logic of sentences and in the logic of predicates. برهان صدیقین یکی از براهین معروف در اثبات وجود خداست، پایه و اساس این برهان حقیقت وجود و نفی شکاکیت در هستی است. در این برهان وجود خلق پایه استدلال نیست. از این رو گفته می شود وجود خدا از غیر او و خلق او اثبات نشده است. بنابراین در پایان معلوم می شود که از خود خدا وجود او اثبات شده است. با این تفاوت که در آغاز برهان نمی دانستیم آن که پایه استدلال است و استدلال از آنجا آغاز شده، همان خدا است. طراح این برهان فارابی است، ولی تقریری از آن ارائه نکرده است، بلکه اولین تقریر آن را ابن سینا به دست داده است. این برهان را می توان بر اساس منطق جدید هم در بخش منطق جمله ها و هم در بخش منطق محمولات صورت بندی کرد. مقاله‌ی پیش رو ضمن تقریر برهان صدیقین ابن سینا صورت بندی آن را هم در منطق جمله ها و هم منطق محمولات ارائه داده است.