برهان اولی در علم منطق به برهانی گفته میشود که نتیجه را بهصورت مستقیم، بیواسطه و بالذات برای یک موضوع اثبات میکند، بهگونهای که مطلوب اصلی خودِ برهان، بدون اتکاء به واسطههای غیرضروری، بهدست میآید. در این نوع برهان، رابطه میان مقدمات و نتیجه چنان مستقیم است که اثبات، به ماهیت خود موضوع مربوط میشود نه به اموری بیرون از آن. به همین دلیل، برهان اولی در برابر برهان ثانوی قرار میگیرد که در آن نتیجه بهطور غیرمستقیم و از طریق اثبات امر اعم یا واسطهای دیگر حاصل میشود. برای مثال، اگر برهانی ارائه شود که بهطور مستقیم ویژگی «مجموع زوایای مثلث برابر ۱۸۰ درجه است» را برای مطلق مثلث ثابت کند، آن برهان نسبت به موضوع کلی، برهان اولی محسوب میشود. اما اگر همان نتیجه تنها از طریق اثبات یک نوع خاص از مثلث یا از طریق واسطههای دیگر به دست آید، جنبه ثانوی پیدا میکند. در دیدگاه منطقی خواجه نصیرالدین طوسی، برهان اولی زمانی تحقق مییابد که اوسط یا حد وسط برهان با موضوع نسبت مستقیم و همسطح داشته باشد و استنتاج بدون پیچیدگیهای زائد انجام گیرد. همچنین ایشان توضیح میدهد که در برخی موارد ممکن است حمل یک قضیه اولی باشد اما برهان آن اولی نباشد، زیرا ساختار استدلال ممکن است شامل واسطههایی باشد. در مقابل، هنگامی که برهان بدون واسطه زائد و بهصورت مستقیم بر موضوع منطبق شود، هم برهان و هم نتیجه در مرتبه اولی قرار میگیرند. این مفهوم نشاندهنده دقت منطق در تفکیک شیوههای مختلف استنتاج و میزان مستقیم بودن آنهاست.
برهان اولی
دانشنامه اسلامی
[ویکی فقه] برهان اولی یکی از اصطلاحات به کار رفته در علم منطق بوده و به معنای برهان اثبات کننده بی واسطه مطلوب است.
برهانی که بر یک چیز اقامه می شود گاهی اولاً و بالذات همان چیز را اثبات می کند و گاهی غیر مستقیم آن را ثابت می کند؛ یعنی در واقع چیزی را اثبات می کند که اعم از مطلوب است و مطلوب، از آن لحاظ ثابت شده تلقی می شود که اعمّ آن اثبات شده است. قسم اول را برهان اوّلی گفته اند و قسم دوم برهان ثانوی است؛ مثلاً اقامه برهان برای اینکه مجموع زوایای مثلث برابر ۱۸۰ درجه است اولاً و بالذات این حکم را برای مطلق مثلث و نه یک قسم خاص، ثابت می کند و اگر برای متساوی الاضلاع هم ثابت می شود از این لحاظ است که نوعی از مثلث است؛ بنابراین برهان ثابت کننده این حکم نسبت به مطلق مثلث، برهان اوّلی است و نسبت به هر یک از انواع مثلث، برهان ثانوی است.
دیدگاه خواجه طوسی
خواجه نصیرالدین در بیان فرق بین قضیه اولی و قضیه ای که حملش اولی است و قضیه ای که برهانش اوّلی است می گوید: اول (قضیه اوّلی) آن است که میان موضوع و محمول اوسطی نباشد و قضیه به نفس خود بیّن باشد. دوم (قضیه ای که حمل آن اولی است) قضیه ای است که محمول آن بر عام تر از موضوع حمل نشود، اما ممکن است میان هردو واسطه های زیادی باشد، ولی اوسط حتماً مساوی اصغر خواهد بود، هرچند ممکن است مساوی اکبر نیز باشد و آن در فرضی است که اعراض مساوی باشند. سوم (قضیه ای که برهانش اولی است) قضیه ای است که برهان اولاً و بالذات برای آن باشد مانند برهانی که برای بیان حال زوایای مثلث به کار رود، نسبت به مطلق مثلث، زیرا همان برهان برای انواع مثلث -که جزئیات اصغرند- ثانی و بالعرض است. بنابراین برهان حقیقی نسبت به هر مطلوبی آن است که اولی باشد، در این صورت هرگاه اوسط، عام تر از اصغر باشد برهان، اولی است، ولی نتیجه غیر اولی است، زیرا حمل اکبر بر اصغر -در این فرض- اولی نخواهد بود، اما اگر اوسط مساوی اصغر باشد، هم برهان اولی است و هم نتیجه قضیه اولی خواهد بود.
مستندات مقاله
در تنظیم این مقاله از منابع ذیل استفاده شده است: • خواجه نصیرالدین طوسی، محمد بن محمد، اساس الاقتباس.
...