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

An Account of Avicennaʹʹs Seddiqin Argument according to a New Formal Logic

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

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.