1. برهان انّی و لمّی در منطق

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

اگر حد وسط تنها واسطه در اثبات بود و در مقام ثبوت وساطتی نداشت، آن را "برهان انی" می‌نامند. برهان انی خود دو گونه است؛ گاه حد وسط در اصغر، خود معلول حد اکبر می‌باشد و گاه به گونه‌ای است که حد وسط و اکبر هر دو معلول علت سوم است. برای نمونه اگر گفته شود: این آهن حجمش افزایش یافته است. هر آهنی که حجمش افزایش یافته باشد، درجه حرارتش بالا رفته است. این آهن درجه حرارتش بالا رفته است. چنان‌که ملاحظه می‌شود در این قیاس از افزایش حجم آهن که معلول است بر بالارفتن درجه حرارت که علت می‌باشد استدلال شده است، لذا از علم به معلول علم به علت حاصل شده است. در این صورت حد وسط تنها واسطه در اثبات است؛ یعنی برای تصدیق به این‌که درجه حرارت بالا رفته است، از افزایش حجم کمک گرفته شده است، در حالی‌که در مقام ثبوت و به لحاظ هستی شناختی، حرارت علت افزایش حجم است.

اما در مواردی ‌که حد وسط و اکبر هر دو معلول علت ثالث باشند، در این صورت از علم به وجود یکی وجود دیگری دانسته می‌شود. هرگاه یکی از معلول‌ها برای انسان معلوم شود، این واسطه می‌شود برای این‌که معلول دیگر نیز معلوم  گردد؛ زیرا دو معلول ملازم یکدیگرند، از علم به یکی از آنها، علم به دیگری حاصل می‌شود؛ زیرا از علم به معلول "الف"، علم به علت پیدا می‌کنیم، و از علم به علت، معلول "ب" را تصدیق خواهیم کرد.[1] گو این که این برهان، به ترتیب از یک برهان انّی نوع اول و یک برهان لمّی تشکیل شده است.

2. عمومیت موضوع فلسفه

از آنچه گذشت روشن شد که برهان لمّی عبارت است از: پی بردن از علت به معلول. این برهان افاده یقین می کند؛ یعنی وقتی علت را شناختیم، خواهیم توانست به نحو قطع، معلول آن را نیز بشناسیم با این حال به دلیل دیگری از این برهان در فلسفه استفاده نمی شود، و آن این که موضوع فلسفه، که موجود هست، بیرون از او حقیقتی وجود ندارد، تا علت آن باشد و ما از طریق علت آن به معلولش منتقل شویم. بیرون از وجود عدم است، عدم هم صلاحیت علیت وجود را ندارد. اما در مورد براهین انّی باید گفت: برهان انّی نوع اول که همان پی بردن از معلول به علت است در علم منطق روشن شده است که مفید یقین نیست. به عنوان مثال از پریدن رنگ یک بیمار پی می بریم که سرماخوردگی دارد. این برهان مفید یقین نیست؛ زیرا ممکن است که علت رنگ پریدگی، سرماخوردگی نباشد، بلکه ترس یا چیز دیگری باشد. لذا از این برهان هم نمی توان در فلسفه استفاده کرد؛ چون خود این برهان ذاتاً نتیجه ای یقینی در پی نخواهد داشت، ولی قسم دوم برهان انّی، که همان سلوک و ره پیمودن از یک ملازم به ملازم دیگر است، تنها برهانی است که بدون هیچ محذوری می توان در فلسفه وجودی از آن استفاده کرد و نوع استدلال ها در حکمت متعالیه هم شامل همین برهان است؛ مثلاً از این که خداوند «ماهیت» ندارد، منتقل می شویم به این که پس او «امکان» هم ندارد. انتقال از ماهیت نداشتن به امکان نداشتن، سلوک از یک ملازم به ملازم دیگر است؛ زیرا این دو، ملازم یکدیگرند. همان گونه که انتقال از امکان نداشتن به نبودن احتیاج و فقر برای واجب تعالی، سلوک دیگری از یک ملازم به ملازم دیگر است.[2] بنابراین در فلسفه متعالیه صرفاً می توان از یک حکم فلسفی به حکم فلسفی دیگر که میان آن دو ملازمه بر قرار است منتقل شد و این نحو انتقال موجب حکم یقینی است.

از آنچه گذشت معلوم شد که برهان انّی قسم اول، در خود علم منطق هم یقین آور نیست و برهان لمّی هم اگر چه یقین آور است در فلسفه متعالیه محلی ندارد؛ چرا که منظور از برهان لمّی رسیدن از علت به معلول است، حال آن که هیچ علتی جدای از وجود نیست تا بتوان از طریق آن برای خود وجود (به عنوان یک معلول) استدلال کرد. پس در مورد وجود نه از علت به معلول می توان رسید و نه از معلول به علت؛ چرا که این مورد دوم اساساً منطقی و یقین آور نیست و در مورد اول هم وجود، علتی خارج از خود ندارد. بنابراین، در فلسفه وجود گرا تنها می توان از برخی لوازم کلی وجود به برخی لوازم عام دیگر وجود استدلال کرد، اما خود وجود نه علتی خارج از وجود دارد و نه می توان از چیزی غیر از وجود برای وجود استدلال کرد.

3. چرا برهان انّی نوع دوم یقین آور است با این که ترکیبی از لمّی و انّی نوع اول است

بعد از روشن شدن وجه عدم امکان استفاده از برهان لمّی در فلسفه، باید گفت برهان انّی نوع دوم بدون این که استدلال از علت به معلول باشد صفت یقین آور بودن برهان لمّی را دارد.

نکته قابل تذکر این است که مرکب بودن برهان انّی نوع دوم از یک برهان لمّی و یک برهان انّی نوع اول (همچنان که در منطق گفته می شود) به این معنا نیست که اگر خود این دو برهان در فلسفه استفاده نشوند، برهان انّی نوع دوم هم یقین آور نخواهد بود؛ چرا که گفتیم، هریک از برهان های لمّی و انّی نوع اول به دلیل محذوراتی که بود در فلسفه وجودی استعمال نمی شوند، اما در برهان انّی نوع دوم هیچ یک از این موانع وجود ندارد. بنابراین می توان از این برهان در فلسفه متعالیه استفاده کرد. تجزیه شدن برهان انّی نوع دوم به دو برهانی که در این فلسفه کاربرد ندارد از قبیل تجزیه برخی امور مرکب دیگر نیست که بر فرض فاسد بودن اجزا، خود مرکب هم فاسد باشد، بلکه برهان لمّی یعنی استدلال از علت به معلول برهانی است کاملا یقیین آور، ولی چون حقیقت وجود، خود علت العلل هر چیزی است پس جا ندارد که از یک علت دیگری برای اثبات آن استفاده کرد. بنابراین وجود بی نیاز از اثبات است؛ چرا که خود وجود است که همه چیز را به اثبات می رساند. بنابراین کار فیلسوف وجودی تنها می تواند همین باشد که بین ملازمات مختلف وجود، رابطه ای یقینی را درک کند و به نتایجی فلسفی دست یابد. و این از یقینی بودن وجود است که برهان لمّی را برای اثبات خود مورد استفاده قرار نمی دهد، نه این که برهان لمّی حتی عامل فساد برهان انّی نوع دوم هم باشد و استدلال از یک ملازم به ملازمی دیگر اثبات علت برای وجود نیست تا مورد انکار باشد.