درخت حوزه‌های تخصصی

بحث از حقیقت صدق و چگونگی مطابقت قضایا با واقع، از قدیم مورد توجه فیلسوفان بوده است، به گونه‏ای که سابقه این بحث را می‏توان تا دوران یونان باستان ره‏یابی کرد. حکمای اسلامی عموما «صدق» را به «قضیه ذهنیه (یقین، علم، و...) مطابق با واقع» تعریف نموده‏اند. فلاسفه اسلامی از ابن سینا به بعد، این تعریف از صدق قضایا را به صورت صریح در آثارشان مطرح نموده‏اند. اما پیش از او، گرچه در کلمات آنها به صراحت مطرح نشده است، اما با توجه به فضای حاکم بر آثارشان، می‏توان گفت: آنان «مطابقت» را یک امر مفروض می‏گرفتند. با وجود توجهی که فلاسفه مسلمان به این مطلب نموده‏اند، به نظر می‏رسد جای یک تفسیر جامع و روشن از دیدگاه فیلسوفان مسلمان در این‏باره خالی است. از این‏رو، در این نوشتار، سعی شده است علاوه بر بررسی کلمات فیلسوفان سرشناس مسلمان در این‏باره، تفسیر روشنی از نظریه «مطابقت» بر اساس دیدگاه فیلسوفان مسلمان ارائه گردد.

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