ویستا مرجع مهمترین عناوین خبری / سه شنبه ۸ مهر ۱۳۹۳ / Tuesday, 30 September, 2014
دور نمایی از منطق، فرامنطق و فلسفه منطق

دور نمایی از منطق، فرامنطق و فلسفه منطقبا ظهور فلسفه‌های مضاف ضرورت تدوین فلسفة منطق امری اجتناب ناپذیر شده است و مجموعه فراهم شده در این نوشتار مروری در مباحث منطقی قدیم و تأمل درآن‌ها به منظور بدست آوردن سؤالات فلسفی دربارة آن‌ها است سؤالاتی که برخی از آن‌ها را خود منطق‌دانان مسلمان در لابلای مباحث منطقی پاسخ گفته‌اند و برخی نیز مباحثی است که در حوزة فلسفه منطق قابل طرح است و پاسخ می‌طلبد. بی‌شک مباحثی که در حوزه فلسفة منطق قابل طرح است فراتر از این مقداری است که در اینجا مطرح شده‌اند. در این مجموعه سعی شده است مسائل فلسفه منطق بر اساس منطق قدیم مطرح شود ولی احیاناً پرسش‌های فلسفی در مورد منطق جدید مطرح شده است که با مباحث منطق قدیم بی‌ارتباط نیست از قبیل اعتبار جدول ارزش تابع ارزش، تابع ارزش بودن متصله و منفصله.
● زمینه
پوشیده نیست که از ارسطو تا فیلسوفان مسلمان، همگی علوم حقیقی را به نظری و عملی، و نظری را به سه بخش متافیزیک، فیزیک و ریاضیات و عملی را به سه قسم سیاست مدن، تدبیر منزل و اخلاق تقسیم کرده‌اند. پیشاپیش این شش علم حقیقی، منطق قرار داشت که ابزار علوم تلقی می شد. تلقی ابزاری خود این چالش را به میان کشید که آیا اساسا منطق علم است یا خیر و اگر علم باشد، آیا علم نظری است یا علم عملی؟ منطق‌دانان منطق را علم نظری ابزاری تلقی می‌کردند.
اگر بخواهیم علم منطق را به اختصار تعریف کنیم، باید بگوییم منطق علم اندیشه و تفکر است؛ یعنی منطق قواعد تفکر را بررسی می کند؛ بنابراین، منطق، قواعد تفکر درست از نادرست را بیان می‌کند. تفکر و اندیشه از نظر منطق‌دانان، ترکیب معلومات برای رسیدن معلومات جدید است. از نظر منطق‌دانان، تفکر در دو حوزه تحقق می یابد: در حوزه تصورات، یعنی ترکیب تصورات برای رسیدن به تصور جدید، و در حوزه تصدیقات برای رسیدن به تصدیقات جدید؛ بنابراین، منطق در دو حوزه تعریف و استنتاج فعّالیت می‌کند و هر چیزی که در دو حوزه تعریف و استنتاج باشد، از مباحث منطقی به شمار می‌آید.
برای این که جایگاه فلسفه منطق میان علوم بشری و رابطه آن با خود منطق روشن شود، لازم است به اجمال مباحث منطق را گوشزد کنیم. در حوزه تعریف، اقسام تعریف، شرایط تعریف و قواعد تعریف، امکان یا امتناع تعریف، صعوبت یا سهولت تعریف و مباحثی از این دست مورد کاوش قرار می‌گیرد، و در حوزه استنتاج، از قضایا و اقسام آن، انواع استدلال های مباشر و غیر مباشر (حجت) و صناعت پنجگانه بحث می‌شود. اگر به تعریف منطق برگردیم، و آن را معیار مباحث منطقی قرار دهیم، باید بگوییم که فقط مباحثی دقیقا در محور تعریف از قبیل انواع تعریف، شرایط و موانع تعریف و نیز انواع استدلال از جهت صورت و ماده و اجزای آن (قضایا) و شرایط استنتاج، و اعتبار استنتاج جزو مسائل منطق به شمار می‌آیند و هر چیزی غیر از امور پیش‌گفته به حقیقت جزو منطق نیست. به طور خلاصه هر چیزی که در مورد معرف و حجت یا از اجزای تشکیل دهنده آن باشد، از مباحث منطق شمرده می شود و غیر آن جزو منطق نیست؛ اما در منطق سنتی، مباحث دیگری را مشاهده می کنیم که به حقیقت جزو منطق نیست؛ چه این که جزو هیچ یک از علوم ششگانه نظری و عملی هم نیست و نسبت این مباحث به آن علوم بیگانه‌تر از نسبت آن به منطق است؛ ازاین‌رو منطق‌دانان این مباحث را جزو منطق دانسته و از آن در منطق بحث کرده‌اند؛ برای مثال، بحث از این که اصولا از چه راه‌هایی به علم می رسیم، یکی از مباحثی است که در منطق بحث می شود؛ در حالی که وظیفه منطق، بررسی خصوص رسیدن به علم از طریق نظر و اندیشه است.
باز برای نمونه روشن است که علم منطق بر این پیش فرض استوار است که علم ممکن بلکه واقع می‌شود و شکاکیت غیر قابل قبول است؛ ولی در عین حال بحث شکاکیت و نقد آن را یکی از مباحث منطقی در کتاب برهان قرار داده‌اند. گویا در ذهن منطق‌دان این نکته مغروس بود که هر چیزی ناظر به علم و طرق رسیدن به علم باشد، در حوزه منطق می‌گنجد؛ هر چند از سنخ معرف و حجت نباشد اما همان‌طور که می دانیم، امروزه علوم شاخه‌های متعددی شده‌اند؛ گستردگی اطلاعات در علوم، شاخه شاخه کردن علوم را امری اجتناب ناپذیر کرده است و علم منطق نیز از این قانون مستثنا نیست. امروزه با پدیدار شدن منطق جدید، علم منطق در منطق صورت استنتاج منحصر شده است. بخش برهان منطق در علم معرفت شناسی مورد بحث قرار می گیرد و بخش تعریف نیز یا در حوزه تفکر نقدی ـ‌اگر علم مستقلی باشدـ یا در معرفت شناسی قرار می‌گیرد و باز همان‌طور که می دانیم، امروزه فلسفه های مضاف مانند فلسفه ریاضی، فلسفه منطق و حتی فلسفه فلسفه مطرح شده است که به مضاف الیه علوم خود نگاهی ثانوی دارند.
● فلسفه منطق
فلسفة منطق مانند هر فلسفة مضاف از دانش‌های نوپایی است که خواستگاه آن به‌عنوان علمی مستقل، از مغرب زمین است. هرچند فرهیختگان ما که با علوم گوناگون انسانی سر و کار دارند، عموما تا حدودی با فلسفه‌های مضاف همچون فلسفة علم، فلسفة اخلاق، فلسفة تاریخ و فلسفه‌های دیگر از این دست آشنایی دارند، اما در باره فلسفة منطق می‌توان گفت کسانی که با منطق سر و کار دارند، هنوز تصور درستی از فلسفة منطق نیافته‌اند.
ساده‌انگاری است اگر گمان کنیم که با مقایسة علم منطق با علم اخلاق بتوانیم دریابیم که فلسفة منطق چیست یا فرامنطق کدام است. دشواری فهم فلسفة منطق و فرامنطق از دو جهت است:
اولاً از این جهت که هم علم منطق و هم فرامنطق دو علم صوری و دارای سیستم اصل موضوعی هستند؛ در حالی که علم اخلاق و فرااخلاق صوری نیستند؛ از این‌ر‌و نمی‌توان با مقایسه علم منطق و علم اخلاق، فلسفة منطق و فرامنطق را فهم کرد.
ثانیاً فلسفة منطق در غرب فقط به صورت منطق استنتاج در منطق جدید ناظر است، نه به ماده استنتاج؛ در حالی که در مجامع دانشگاهی و حوزوی ما، هم منطق قدیم و هم منطق جدید تدریس می‌شود؛ بنابراین، فلسفة منطق می‌باید به مباحثی ناظر باشد که در منطق قدیم مطرح بوده است.
برای این که تصوری از منطق، فرامنطق و فلسفة منطق به دست آوریم، لازم است ابتدا این سه واژه را در خواستگاه خودش شناسایی کنیم.
● منطق جدید
از نظر منطق‌دانان جدید، منطق علم استنتاج است. از نظر آنان، منطق بحث می‌کند که چه استنتاجی معتبر و چه استنتاجی نامعتبر است. به تعبیر دیگر، منطق علم مطالعه استدلال‌ها، استنتاج‌ها و تشخیص درستی و نادرستی آن‌ها است (نبوی، ۱۳۷۷:ص ۳) . به تعبیر سوزان هاک، "یکی از اهداف اساسی منطق تشخیص استدلال‌های معتبر از استدلال‌های نامعتبر و هدف از نظام‌های صوری منطقی مانند منطق جمله‌ها و منطق محمولات وضع قوانین دقیق اعتبار یا همان تعیین معیارهای صوری محض آن است (هاک، ۱۳۸۲: ص۲۷).
● فلسفه منطق جدید
فلسفة منطق پاسخ به پرسش‌های نوعا فلسفی‌ای است که در مورد منطق مطرح می‌شود. اگر در منطق سخن از استنتاج معتبر است، در فلسفه منطق پرسیده می‌شود که:
اعتبار یک استدلال به چه معنا است. مقصود از استنتاج یک گزاره از گزاره‌ای دیگر چیست؟ صدق منطقی یک گزاره چه معنا می‌دهد؟ آیا اعتبار لزوما باید در ارتباط با یک نظام صوری تبیین شود یا مفهومی فراسیستمی وجود دارد که نظام‌های صوری در صدد ارائه آنند؟ اعتبار استدلال معتبر و استدلال درست چیست؟ (هاک، همان)
● فرامنطق
برای توضیح در مورد فرامنطق و تفاوت آن با منطق لازم است توجه‌مان را برای نمونه به منطق جمله‌ها معطوف کنیم. می‌دانیم که منطق جدید دارای دو استنتاج طبیعی در بخش منطق گزاره‌ها (یا جمله‌ها) و منطق محمولات است. در منطق گزاره‌ها از قواعد استنتاجی‌ بحث می‌شود که کوچک‌‌ترین فرمول آن یک جمله نشانه است. به عبارت دیگر، یک جمله نشانه، کوچک‌‌ترین عضو یک فرمول در نظر گرفته می‌شود. اگر به این جمله "امروز پنجشنبه است" توجه کنیم، این جمله در منطق جدید مثلا با نماد مثلا p نشان داده می‌شود. روشن است که نمادpی نماد بسیطی است که در آن نمی‌توان موضوع جمله را از محمول آن باز شناخت. در منطق گزاره‌ها با قوانینی سر و کار داریم که بر نمادهای جمله‌ای قابل اعمال هستند تا بعد نوبت به منطق محمولات برسد. حال منطق‌دانان برای بیان قواعد منطقی دو کار را از هم متمایز کرده‌اند. یکی نحو (syntax) منطق جمله‌ها و دیگر معنای (semantic) منطق جمله‌ها.
حال برای توضیح این دو نوع کار متفاوت این استدلال در زبان متعارف را در نظر می‌گیریم:
▪ اگر باران ببارد، سبزه می‌روید.
▪ باران می‌بارد.
▪ پس سبزه می‌روید.
و در توضیح قاعدة وضع مقدم((Modus Ponendo Ponens (و.م) می‌گویند:
بر اساس این قاعده از دو مقدمة A P Q و P می‎توان Q را نتیجه گرفت؛ بنابراین، سطر (۳) از کاربرد وضع مقدم در (۱) و (۲) به دست آمده است؛ ازاین‎رو، در سمت راست شمارة سطرها و قاعده‎ای که با آن از سطر ۱و۲ نتیجه به دست آمد، ذکر می‌شود و در سمت چپ سطر (۳) شمارة دو مقدمه را می‌نویسند که نتیجه بر آن دو استوار است؛ بنابراین در تبیین قاعده وضع مقدم اصلا به درستی یا نادرستی مقدمات و نتیجه کاری نداریم. این نوع تبیین‌ها تبیین‌های نحوی است؛ اما برای تبیین قاعده وضع مقدم می‌توان از سمنتیک و معنای جمله‌ها استفاده کرد. مقصود از سمنتیک و معنای جمله‌ها یا مقدمات ارزش صدق‌های محتمل در آن‌ها است. می‌دانیم که هر جمله خبری یکی از دو ارزش صدق یا کذب را خواهد داشت. تبیین یک استدلال بر اساس سمنتیک تبیین بر اساس صدق و کذب جمله‌هایی است که در یک استدلال به کار می‌رود. در این روش گفته می‌شود یک استدلال معتبر ممکن نیست همه مقدمات آن صادق و نتیجة آن کاذب باشد؛ زیرا مقدمات استدلال به منزلة مقدم شرطی و نتیجه به منزلة تالی شرطی است و شرطی ممکن نیست با مقدم صادق و تالی کاذب صادق باشد. در این روش، ارزش صدق و کذب ادات منطقی بیان، و گفته می‌شود که ارزش ادات منطقی تابع ارزش مؤلفه‌های آن است؛ برای مثال در ارزش‌گذاری شرطی گفته می‌شود: شرطی وقتی صادق است که از مقدم صادق و تالی کاذب تشکیل نشده باشد؛ بنابراین در ارزش شرطی P Q چهار حالت محتمل است:
▪ هم P و Q صادق باشد.
▪ P صادق و Q کاذب باشد
▪ P کاذب و Q صادق باشد.
▪ هم P و Q کاذب باشد.
فقط ارزش شرطی در حالت دوم کاذب است و در سه حالت دیگر صادق است. حال اگر جدول ارزش استدلال پیشین را ترسیم کنیم، نشان داده خواهد شد که این جدول دارای چهار سطر خواهد بود و اگر در هر سطر، ارزش مقدمات را با نتیجه بسنجیم خواهیم دید سطری که در آن مقدمات صادق و نتیجه کاذب باشد وجود ندارد و بدین‌سان اعتبار سمنتیکی استدلال به اثبات می‌رسد؛ یعنی در جدول ارزش سطری یافت نمی‌شود که در آن مقدمات صادق (T) و تالی کاذب (F) باشد.
حال با این توضیحات، علم منطق برای بیان به کارگیری قواعد برای اثبات نتایج از طریق قواعد نحوی است. در علم منطق گفته می‌شود که فرمول درست چیست و قواعد نحوی آن کدام است؛ ولی در فرامنطق، سخن از نحو منطق نیست؛ بلکه سخن از سمنتیک و معنایی قواعد منطق است. در واقع در علم منطق به فرمول‌ها و ادات منطقی معنایی را نسبت نمی‌دهیم. هر چند در منطق این علامت ، ، را مثلا شرط، عطف و فصل می‌نامیم می‌توانیم این‌ها را شرط، عطف و فصل ننامیم و صرفا بگوییم پیکان، هشت و هفت؛ اما در بخش سمنتیک دقیقا آن‌ها را شرط، عاطف و فاصل می‌دانیم و بر اساس آن صدق و کذب آن‌ها را تعیین می‌کنیم؛ بنابراین، با توجه به مباحثی که در منطق سنتی وجود دارد می‌توان گفت: فرامنطق قرابت بیشتری با خود منطق دارد تا با فلسفه منطق؛ بلکه از نظر منطق‌دانان مسلمان این نوع مباحث بخشی از منطق به شمار می‌آیند؛ ولی در عین حال حوزه پژوهشی فلسفة منطق با فرامنطق هم‌پوشی دارند:
قلمرو فلسفة منطق مرتبط با قلمرو فرامنطق و در عین حال متمایز از آن است. فرامنطق به مطالعة ویژگی‌های صوری نظام‌های صوری منطقی می‌پردازد؛ به عنوان مثال، اثبات (یا نفی) سازگاری، تمامیت یا تصمیم‌پذیری نظام‌های منطقی در حوزة فرامنطق قرار می‌گیرد. فلسفه منطق نیز به پرسش‌هایی در بارة نظام‌های صوری منطقی می‌پردازد؛ اما این پرسش‌ها فلسفی‌اند، نه صوری محض؛ برای مثال، در مبحث منطق جمله‌های دو ارزشی و چند ارزشی متعارف فیلسوف به دنبال آن است که بداند به چه معنایی ـ اگر چنین معنایی وجود داشته باشد ـ منطق‌های چند ارزشی جایگزین‌هایی برای منطق دو ارزشی‌اند؟ آیا باید میان منطق دو ارزشی و منطق چند ارزشی یکی را انتخاب کرد؟ در این صورت آن انتخاب بر چه مبنایی است؟ اگر نظام چند ارزشی انتخاب شود، لوازم مفهوم صدق چگونه خواهد بود؟ و قس علی هذا. (هاک، همان: ص۲۸).
● فلسفه منطق قدیم
با توضیحات سه واژة منطق، فرامنطق و فلسفة منطق به اصطلاح جدید، تا حدودی می‌توانیم بیان کنیم که در فرامنطق و فلسفة منطق سنتی چه مباحثی قابل طرح هستند و در منطق قدیم چه مباحثی از این دست طرح شده‌ یا زمینه طرح آن فراهم آمده است.
برای این که با مسائل فلسفة منطق (قدیم) آشنا شویم، همان‌طور که پیش‌تر اشاره کردیم، لازم است قلمرو منطق قدیم را بررسی کنیم. مباحث اصیل منطقی را می‌توانیم به طور کلی به دو بخش اساسی تقسیم کنیم:
۱) منطق تعریف: در این بخش از انواع تعریف، قواعد و شرایط تعریف سخن به میان می‌آید و مغالطات تعریفی گوشزد می‌شود. هدف از تعریف برای رسیدن به علم تصوری نظری از طریق تعریف و پرهیز از مغالطات تعریفی است.
۲) منطق استنتاج: در این بخش از انواع استدلال‌ها، قواعد و شرایط استدلال معتبر گفت‌وگو، و مغالطات در حوزه ماده و صورت استدلال بیان می‌شود. هدف از منطق استنتاج، رسیدن به علم تصدیقی نظری از طریق استنتاج‌های معتبر و پرهیز از استدلال‌های نامعتبر است.
منطق‌دانان هم در حوزه تعریف و هم در حوزه استنتاج بین ماده و صورت تفکیک، و برای هر یک از این دو شرایط و قواعدی را تنظیم کرده‌اند؛ برای نمونه در حوزه تعریف، شرط تعریف درست از نظر صورت را این دانسته‌اند که مفاهیم تعریفی از عام به خاص مرتب شده و به صورت مرکب تقییدی درآیند. شرط تعریف را از نظر مادی جامعیت و مانعیت و مانند آن قرار داده‌اند و برای نمونه، در حوزه استنتاج مثلا در شکل اول از نظر صورت، ایجاب صغرا و کلیت کبرا را مطرح کرده‌اند و از نظر ماده، یقینی بودن مقدمات در برهان را متذکر شده‌اند. بنابراین در کل می‌توان گفت منطق قدیم در چهار حوزه فعالیت می‌کند: صورت و ماده تعریف، صورت و ماده استدلال؛ بنابراین، فلسفه منطق علمی است که به سؤالات فلسفی ناظر به هر یک از این چهار حوزه پاسخ می‌دهد.
سوزان هاک بر اساس تفکیکی که منطق‌دانان بین صورت استدلال و ماده آن داده‌بودند و منطق را در صورت منحصر کرده‌اند، معتقد است که نظام‌های صوری منطقی که در قلمرو فلسفة منطق می‌گنجد و فلسفة منطق پاسخ‌گوی پرسش‌های فلسفی آن است، به شرح ذیل است:
▪ منطق سنتی: منطق قیاسی ارسطویی.
▪ منطق کلاسیک: حساب جمله‌های دو ارزشی.
▪ منطق‌های توسعه یافته: منطق‌های موجّهات
▪ منطق‌های زمان.
▪ منطق‌های تکلیفی.
▪ منطق‌های معرفتی.
▪ منطق‌های ترجیح.
▪ منطق‌های امری.
▪ منطق‌های پرسشی.
▪ منطق‌های غیرمتعارف: منطق‌های چند ارزشی.
▪ منطق‌های شهودی.
▪ منطق‌های کوانتومی.
▪ منطق‌های آزاد.
▪ منطق‌های استقرایی. ( ها ک، همان: ص۳۱).
این که در این مجموعه از منطق‌های مادی استنتاج و نیز از منطق‌های صوری و مادی تعریف خبری نیست، برای آن است که منطق جدید را در صورت استنتاج محصور کرده‌اند؛ اما از آن‌جای که در منطق قدیم این نوع مباحث را جزو مباحث منطقی دانسته‌اند، پرسش‌های فلسفی ناظر به منطق ماده استنتاج و منطق ماده و صورت تعریف در فلسفة منطق بحث می‌شود.
● منطق (قدیم) و فرامنطق
با توجه به مفهومی که از فرامنطق به دست داده‌ایم می‌توان گفت: مباحثی از سنخ فرامنطق، در منطق قدیم به کار می‌رفته است. منطق‌دانان سنتی اساسا قواعد استنتاج را بر اساس صدق و کذب اثبات می‌کردند؛ برای نمونه، در تعریف تناقض قضایا، صدق و کذب را مطرح، و نیز در عکس مستوی و عکس نقیض بقای صدق را ذکر کرده‌اند (حلّی، ۱۳۶۳: ص۸۳). و در تعریف قیاس تسلیم به مقدمات را آورده‌اند: "القیاس قول مؤلف من اقوال اذا سُلّم ما اورد فیه من القضایا لزم عنه لذاته قول آخر (ابن سینا، ۱۳۷۷: ص۲۳۳)؛ بنابراین می‌توان گفت که از نظر منطق‌دانان مانند ابن‌سینا و محقق طوسی مباحثی که در فرامنطق طرح می‌شود، جزو مباحث منطقی تلقی می‌شود.
● نمونه‌هایی از مباحث در فرامنطق و فلسفه منطق
اگر ما بخواهیم علم منطق را به همان ترکیب سنتی‌اش حفظ کنیم، یعنی ملتزم باشیم و بپذیریم که منطق علمی است که طرق مختلف تعریف و استدلال را در دو جهت ماده و صورت بیان می‌کند و نیز مانند امروزی‌ها بپذیریم که فلسفة هر علم، مستقل از آن علم است، باید مباحثی را که به دو حوزة تعریف و استنتاج ناظر هستند از خود این دو جدا، و فلسفة منطق را تدوین کنیم. این که فلسفة منطق را به صورت علم مستقل از علم منطق مشروط به دو شرط پیشین کرده‌ایم، برای آن است که تقسیم علوم تا حدود زیادی به ذوق و سلیقه و به معیار مختلف وابسته است و تمایز علوم صرفا به موضوعات ـ هر چند بسیار مهم و کارآمد است ـ امری برهانی نیست؛ بنابراین، هرگاه منطق را صرفا قوانین مادی و صوری تعریف و استنتاج، اقسام و شرایط آن دو تلقی کنیم و مباحث دیگری که ناظر به این‌ها است می‌توانیم از سنخ فرامنطق یا فلسفة منطق قرار دهیم؛ بنابراین، امور ذیل یا از مباحث فرامنطقی و یا از مباحث فلسفة منطق است:
▪ آیا اصلا علم ممکن است یا خیر؟ اگر کسی رسیدن به علم را ناممکن بداند، منطق جایگاهی ندارد. در یونان باستان کسانی بوده‌اند که اصل علم را منکر شده‌ بودند. (پارادوکس طلب مجهول مطلق) قبل از تدوین منطق ارسطو پارادوکس طلب مجهول مطلق مطرح بوده است و ارسطو این شبهه را در بخش برهان منطق مطرح کرده بود و پاسخ سقراط و افلاطون را به میان کشید و در نهایت خود راه حلی ارائه داد. این شبهه و راه حل آن در منطق مسلمانان نیز انعکاس یافته است. مضمون این شبهه این است که اصلا منطق به صورت علم ابزاری جایگاهی ندارد؛ چرا که یا اصلا علم ممکن نیست یا طلب مجهول ممکن نیست.
▪ اگر وصول به علم ممکن باشد، آیا علم به بدیهی و نظری تقسیم می‌شود یا خیر؟ اگر کسی رسیدن به علم را ممکن بداند ولی وصول به آن را از راه تعریف و استنتاج منکر شود، باز جایگاهی برای علم منطق باقی نمی‌ماند. منون در یونان باستان منکر تعلیم و تعلم بوده و این بدین معنا است که منطق جایگاهی ندارد.
▪ اساسا از چند طریق می‌توان به علم رسید؟ آیا یگانه راه رسیدن به علم، منطق است یا راه‌های دیگری هم برای وصول به علم وجود دارد؟
▪ آیا یگانه راه رسیدن به علم نظری، منطق است یا راه رسیدن به علوم نظری از طریق دیگر هم امکان دارد؟
▪ اگر هر علمی به منطق نیازمند است، آیا منطق هم به منطق دیگری نیازدارد؟ و آن منطق به منطق سومی و هکذا و یا منطق دوم خود به منطق اول نیازمند است. (دور یا تسلسل در منطق).
▪ آیا علم منطق علم نظری است یا علم بدیهی؟ در صورت اول، منطق نیاز به منطق دیگر دارد و در صورت دوم اصلا به علم منطق نیازی نیست.
▪ آیا منطق دانش است یا مهارت؟ آیا منطق علم است یا ابزار؟ آیا علم بودن منطق با ابزار بودن آن قابل جمع است؟ آیا جهت صوری منطق را می‌توان دانش دانست؟ اگر آری از چه نوع دانش است؟ آیا از دانش‌های مهارتی است یا از غیر آن؟ اگر منطق علم باشد، آیا علم نظری است یا علم عملی (ناظر به عمل) است؟ منطق را از این‌رو می‌توان علم عملی دانست که دستورهایی برای چگونگی رسیدن به علم است. به عبارت دیگر، منطق دستور می دهد که چگونه می‌توان تصورات یا تصدیقات را کنار هم بچینیم تا به مطلوب تصوری یا تصدیقی برسیم.
▪ اگر منطق علم ابزاری است، آیا فقط ابزار برای علوم حقیقی است یا علوم اعتباری مانند ادبیات، فقه و اصول فقه هم می‌تواند از این علم استفاده کنند؟
▪ آیا منطق، علم ابزاری برای علوم مدون به صورت مجموعه مرتبط و مدون است یا علم ابزاری برای ترکیب هر نوع دانش اعم از مجموعه مدون و تک تک آن‌ها است؟ می توان گفت منطق دانان دست‌کم در بخش استنتاج عملا آن را ابزار برای علوم مدون قرار داده‌اند. شاهد بر این مسأله را می‌توان در عکس مستوی دید؛ زیرا منطق‌دانان عکس مستوی در محصورات اربعه را مطرح کرده‌اند؛ اما از عکس مستوی در شخصیات سخنی به میان نیاورده‌اند.
▪ چند نوع منطق وجود دارد؟ آیا باید میان منطق‌های گوناگون یکی را برگزید؟ آیا منطق قدیم را انتخاب کنیم یا منطق جدید را؟ آیا میان منطق سنتی منطق رواقی را انتخاب کنیم یا منطق ارسطویی را؟ آیا منطق رایج میان مسلمانان صرفا منطق ارسطویی است یا ارسطویی‌ـ رواقی؟ آیا منطق مشایی را برگزینیم یا منطق اشراقی را؟▪ موضوع منطق چیست؟ معرّف و حجّت یا معقولات ثانیه از آن رو که طریق وصول به دانش‌‌های نظری‌اند؟
▪ آیا برای علم منطق لازم است تقسیمات مختلف الفاظ مانند حقیقت و مجاز منقول و مرتجل مترادف و مشترک را مطرح کرد؟ اگر منطق علم ابزاری برای کسب علم و دانش تصوری و تصدیقی است، تقسیمات الفاظ باید متناسب به هدف منطق باشد. اگر در مقام تعریف نباید از الفاظ مجازی یا مشترک بدون قرینه استفاده کنیم می‌توانیم هر لفظی که در چند معنا به کار می‌روند همه را معانی مشترک تلقی کنیم؛ بنابراین، لازم نیست انواع مختلف الفاظ را مطرح کنیم؛ زیرا در این علم این ویژگی‌های ادبی کارایی ندارد.
▪ آیا علم به تصور و تصدیق تقسیم می‌شود؟ به عبارت دیگر آیا تصدیق از سنخ علم و انفعال نفسانی است یا تصدیق فعل نفسانی است و فقط متعلق تصور قرار می‌گیرد؟ فارابی در جهان اسلام علم را به دو تصور و تصدیق و به تصور مطلق و تصور با تصدیق تقسیم کرده بود و پس از او شیخ‌الرئیس از یک‌سو علم را به تصور ساده و تصدیق، و از سوی دیگر به تصور و تصور با تصدیق تقسیم کرد. میان منطق‌دانان، تقسیم علم به تصور و تصدیق مشهور شده است؛ ولی شیخ اشراق اشکال می‌کند که علم از کیف نفسانی و امری انفعالی است؛ در حالی که تصدیق فعل نفسانی است؛ بنابراین، تقسیم علم به تصور و تصدیق امری مسامحه‌ای و برای رعایت حال متعلم در ابتدای کتاب‌های منطقی بوده است. به هر حال چه علم به تصور و تصدیق تقسیم شود یا نشود، ترکیب بعضی از تصورات به تصور جدید می‌انجامد و ترکیب چند تصدیق به تصدیق جدید منجر می‌شود؛ بنابراین، تقسیم علم به تصور و تصدیق تقسیمی فرامنطقی است و در قواعد منطقی تأثیری ندارد.
▪ آیا علم به معنای حصول صورت شیء نزد عقل (ذهن) به تصور یعنی حصول صورت شیء نزد عقل و تصدیق تقسیم می‌پذیرد؟ آیا این تقسیم مستلزم تقسیم شیء به خود و غیر خود نیست؟
▪ آیا تصدیق بسیط است و شرط آن تصور است و یا تصدیق مرکب از تصور موضوع و محمول یا مقدم و تالی و حکم است؟ در هر حال گمان می‌شود که لازمة آن یا جزء واقع شدن قسیم شیء در شیء است یا شرط واقع شدن قسیم شیء در شیء است.
فخر رازی ادعا می کند که تصدیق مرکب است ( رازی، ۱۳۸۱: ص۷)؛ بنابراین، هرگاه تصور بعضی از اجزای قضیه نظری باشد تصدیق بدیهی نخواهد بود؛ در حالی که به نظر حکیمان به دلیل بساطت تصدیق ممکن است تصدیق بدیهی باشد و تصورات آن نظری باشند. به هر حال این امور در فرایند تعریف یا استنتاج تأثیری ندارد.
▪ طلب مجهول مطلق: فخر رازی پارادوکس مجهول مطلق را در بخش تعریف منطق مطرح کرده و تعریف را محل تردید قرار داده است. فخر رازی همه تصورات را بدیهی تلقی کرده و تعریف را ناممکن دانسته؛ پس این که آیا تعریف ممکن است یا خیر، یکی از مباحثی است که باید در فلسفة منطق مطرح شود (طوسی، ۱۴۰۵ق: ص۷ و ۸).
▪ آیا تعریف به حقیقی و مفهومی (اسمی) تقسیم می‌شود؟ آیا علوم دنبال تعریف مفهومی است؟ بغدادی مدعی است که علوم به دنبال تعریف مفهومی است (بغدادی، ۱۳۷۷: ص۶۴ - ۶۹).
▪ آیا تعریف منحصر در تعریف حدی و رسمی است؟ آیا تعاریف دیگر از قبیل تعریف اشاری، تعریف به مصداق، تعریف بافتی و ... از مباحث منطقی است یا خیر؟
▪ آیا با تعریف به حقیقت شیء نایل می‌شویم یا چون به حقیقت راه نداریم، به تعریف متوسل می‌شویم تا به وجهی از شیء نایل شویم؟
▪ آیا در تعریف باید مقومات بیرونی مانند فاعل و غایت ذکر شوند؟
▪ آیا تعریف سهولت دارد یا صعوبت یا امتناع؟ یا تفصیل بین سهولت تعریف مفهومی و صعوبت تعریف حقیقی؟ شیخ‌الرئیس و پیش از او فارابی، شناخت ماهیت و حد تام شیء را بسیار دشوار دانستند تا جایی که ابن‌سینا از آوردن حدود بلکه آوردن رسوم اشیا عذر می‌خواهد. در مقابل، بغدادی بر سهولت تعریف اصرار ورزید و استدلال شیخ‌رئیس را به نقد ‌کشید (همان). نظریه بغدادی مورد تأیید شیخ اشراق قرار گرفت و تعریف حقیقی را ممتنع دانست (سهروردی، ۱۳۷۲: ص۲۰ و۲۱)؛ اما منطق‌دانان پس از شیخ اشراق بر تفصیل بین تعریف حقیقی و مفهومی (اسمی) تأکید کرده و به دشواری اوّلی، و آسانی دومی رأی داده‌اند (طوسی، بی‌تا: ص۴۴۱ و۴۴۲).
▪ آیا محمول به ذاتی و عرضی و ذاتی به جنس و فصل و نوع و عرضی به خاصه و عرض عام تقسیم می‌شود؟
▪ رابطه جنس و فصل با ماده و صورت چیست؟
▪ آیا تعریف قضیه به صدق و کذب مبتنی بر دور نیست؛ چرا که صدق را باید به خبر تعریف کرد و خبر را به صدق و کذب؟
▪ آیا قضیه ضرورتا یکی از دو ارزش صدق و کذب را می‌پذیرد یا ممکن است در بعضی موارد قضیه نه صادق باشد و نه کاذب؟
▪ تقسیم حمل به حمل مواطات و اشتقاق از نوع تقسیم منطقی است یا فرامنطقی؟ یا اصلا این تقسیم به منطق ارتباط ندارد؟
▪ حقیقت حمل چیست؟ آیا مفاد آن در موجبه هوهویت است یا ثبوت شیء لشیء؟
▪ آیا تقسیم حمل به طبعی و وضعی منطقی است یا فرامنطقی؟
▪ چرا در حمل موجبه باید محمول را اعم از موضوع در نظر گرفت؟
▪ تقسیم حمل به حمل ذاتی اولی و شایع صناعی منطقی است یا فرامنطقی؟
ی قضیه حملی دارای چند جزء است؟ آیا بین موجبه و سالبه تفاوت وجود دارد؟ آیا در این بحث بین منظر منطقی و فلسفی تفاوت وجود دارد؟ آیا در قضایای سالبه رابط بین موضوع و محمول لازم است.
▪ مفاد سالبه حملیه چیست؟ آیا حملیه سالبه حقیقتا حملیه است؟
▪ آیا هر سالبه‌ای با موجبة معدولة المحمول معادل است و بالعکس یا در صورتی معادل است که سالبه به انتفاء موضوع نباشد؟
▪ آیا عقد الوضع در حملیه فعلی است یا امکانی؟ (اختلاف منسوب به ابن سینا و فارابی)
▪ آیا در صدق حملیه موجبه وجود موضوع ضرورت دارد؟ و در سالبه وجود موضوع ضرور نیست؟ به عبارت دیگر، سالبه به انتفای موضوع صادق است؟ به تعبیر دیگر، آیا سالبه اعم از موجبه است؟ ( حلّی، ۱۳۶۳، ص۵۳). اگر این حکم درست باشد، آیا اختصاص به قضایای شخصیه دارد یا در محصورات هم قابل فرض است؟ از نظر شیخ اشراق در محصورات، سالبه به انتفای موضوع نادرست است؛ زیرا عقد الوضع ناظر به قضیه حملیه موجبه است (سهروردی، ۱۳۷۲: ج۲، ص۳۴). آیا وجود موضوع در موجبة سالبة المحمول ضرورت دارد یا خیر؟
▪ حقیقیه و خارجیه یکی از تقسیمات قضیه است که در قرن هفتم مطرح شده. ریشه این تقسیم به کلام شیخ‌رئیس بر می‌گردد. طبق این تقسیم ما با دو دسته قضایای کلی مواجه هستیم؛ اما از نظر محقق طوسی و تابعان او چون علامه حلی، قطب شیرازی و قطب رازی قضیه خارجی باطل است و یگانه قضیه قابل قبول، قضیه حقیقه است (طوسی، ۱۳۷۰: ص۱۶۰ - ۱۶۵؛ حلّی، ۱۴۲۱ق: ص۲۵۲ - ۲۵۵) آیا منطق در مقام استنتاج به تقسیم قضیه به حقیقیه و خارجیه نیازی دارد؟ با منفی بودن پاسخ، تقسیم قضیه به حقیقیه و خارجیه تقسیم فرامنطقی است.
▪ آیا تقسیم قضیه به شخصیه، طبیعیه، مهمله و محصوره منطقی است یا فرامنطقی؟
▪ آیا قضیه طبیعیه در حکم قضیه شخصیه است؟
▪ چرا باید در منطق قضایای مهمله در حکم جزئیه باشد؟ ( حلّی، ۱۳۶۳: ص۵۵)
▪ آیا مفاد حملیه کلیه شرطی است؟ یا دست‌کم مفاد قضایای حقیقیه کلیه شرطی است یا حملی است و معادل با شرطی است؟
▪ آیا قضایای شخصیه در علوم اعتبار ندارد؟ (حلی، ۱۳۶۳، ص۵۵) آیا این بحث از مباحث منطقی است یا فرامنطقی؟
▪ چرا منطق‌دانان مسلمان در موجهات مواد را به وجوب و امکان و امتناع منحصر کرده‌اند؛ ولی جهت را افزون بر آن‌ها به دائمه مطلقه، عرفیه عامه، مطلقه عامه و ممکنه عامه و غیره تقسیم کرده‌اند (حلی، ۱۳۶۳: ص۶۱).
▪ اگر مفاد جهت کیفیت نسبت است، در این صورت چگونه می‌توان در سالبه‌ها کیفیت نسبت را تصور کرد؟ مخصوصا اگر مدعی شویم که سالبه سلب الحمل است یعنی آن ربط ایجابی سلب می‌شود بنابراین ربط و نسبتی نیست تا متصف به کیفیت نسبت شود؟
▪ حقیقت شرطی متصله چیست؟ آیا مفاد آن اخبار از تالی به شرط مقدم است (نظریه ادباء) یا اخبار از لزوم تالی نسبت به مقدم یا به تعبیر دیگر اخبار از استلزم مقدم نسبت به تالی است. اگر در مفاد حملیه موجبه ثبوت شیء لشیء را پذیرفته‌ باشیم، نباید این‌جا اخبار از تالی به شرط مقدم را بپذیریم و اگر در مفاد حملیه موجبه هوهویت را پذیرفته‌ایم، آیا این‌ جا نباید لزوم تالی به مقدم را بپذیریم؟‌
▪ آیا تقسیم شرطی‌ها به لزومی و اتفاقی منطقی است یا فرامنطقی؟
▪ آیا شرطی متصله اعم از لزومی و اتفاقی تابع ارزش مؤلفه‌هایش هست؟
▪ آیا شرطی منفصله اعم از عنادی و اتفاقی تابع ارزش مؤلفه‌هایش هست؟ و اگر بپذیریم منفصله تابع ارزش است، آیا نمی‌توان نتیجه گرفت که متصله هم تابع ارزش است؟ زیرا هر متصله‌ای با یک منفصله مانعةالخلو معادل است.
▪ چرا کلیت و جزئیت در شرطی‌ها به لحاظ احوال و حالات و اوقات در نظر گرفته می‌شود و کلیت و جزئیت در حملیه‌ها به لحاظ افراد در نظر گرفته می‌شود، نه به لحاظ احوال و اوقات؟
● استدلال‌های مباشر
▪ آیا ممکن است با یک قضیه بدون هیچ گزارة دیگری به نتیجه رسید؟ اگر آری، آیا در استدلال‌های مباشر حقیقتا از یک قضیه به نتیجه می‌رسیم یا به ظاهر از یک قضیه به نتیجه می‌رسیم. آیا واقعا در استدلال های مباشر هم از چند مقدمه به نتیجه می‌رسیم؟ به عبارت دیگر، آیا ما دو نوع استدلال مباشر و غیر مباشر (حجت) داریم یا همة استدلال ها از چند مقدمه به نتیجه می‌رسند؟
۵۰. آیا استدلال‌های مباشر منحصر در تناقض در قضایا، عکس مستوی، عکس نقیض، نقض المحمول، نقض الموضوع و نقض التام است؟ یا استدلال‌های دیگر هم قابل فرض است؟
▪ چرا در تناقض قضایای موجهة مرکبه باید بین کلیه و جزئیه تفکیک کرد؟ به عبارت دیگر، چرا در نقیض موجبه کلیه دو جزئیه به نحو منفصله حقیقیه است؛ ولی در نقیض موجبة جزئیه یک کلیه مرددة المحمول است؟ آیا این تفکیک به جهت کژتابی زبان است یا به جهت ضوابط صوری منطق؟ به هر حال آیا می‌توان راهی یافت که نقیض موجهة مرکبه چه جزئیه و چه کلیه با یک نظم و نسق ساخته شود؟
▪ آیا عکس مستوی استدلالی از نوع صوری است یا استدلالی از نوع مادی؟ برخی گمان کرده‌اند که استدلال در عکس مستوی به ماده استدلال بر می گردد، نه به صورت آن.
ی چرا منطق‌دانان متأخر از روش قدما در عکس نقیض عدول کرده‌اند؟ آیا ریشة این اختلاف به عقد الوضع در سالبه بر می‌گردد؟ اگر آری، آیا با توجیه شیخ اشراق در مورد عقد الوضع در سالبه می‌توان برای عکس مستوی به روش قدما اعتبار قائل شد.
▪ آیا نقض‌المحمول به صورت استدلال میان منطق‌دانان مسلمان مطرح بود؟
▪ آیا نقض‌الموضوع، نقض التام و عکس نقیض قواعد مستقلی هستند یا ترکیبی از عکس مستوی و نقض‌المحمول است؟
حجت (استدلال غیر مباشر)
▪ آیا سه نوع استدلال از کلی به جزئی، از جزئی به کلی، و از جزئی به جزئی دیگرقابل قبول است؟ به عبارت دیگر، آیا استدلال از نظر صورت به قیاس، استقرا و تمثیل تقسیم می شود؟ یا هر استدلالی به لحاظ صورت از کلی به جزئی است و در واقع استقرا و تمثیل نوعی قیاسند.
▪ آیا در قیاس استثنایی شرط است که مقدمی شرطی آن لزومی یا عنادی باشد و آیا قیاس با شرطی اتفاقی منتج نیست؟ به عبارت دیگر، آیا تقسیم متصله به لزومی و اتفاقی و منفصله به عنادی و اتفاقی تقسیم منطقی است یا تقسیم فرامنطقی؟ آیا می توان به استناد قول محقق طوسی مبنی بر این که اتفاق و لزوم در متصله به منزلی امکان و ضرورت در حملیه است و قیاس اقترانی با امکان منتج است، نتیجه گرفت که قیاس استثنایی با شرطی اتفاقی منتج است؟
▪ آیا هر یک از قیاس‌های اقترانی و استثنایی را می‌توان به دیگری تبدیل کرد؟ از نظر شیخ اشراق شرطی‌ها را می‌توان به حملی تبدیل کرد و بدین‌سان قواعد منطق محدود می‌شود؛ اما توضیح نداده است که چگونه می‌توان قیاس استثنایی مانند:
۱) اگر باران ببارد سبزه می‌روید.
۲) باران می‌بارد.
۳) سبزه می‌روید.
را به قیاس اقترانی تبدیل کرد؟
▪ پرسش بالا را می توان بر اساس این که شرطی تابع ارزش است یا نیست به گونه ای دیگر تقریر کرد به این صورت که مقدمات با نتیجه شرطی‌ای تشکیل می دهند که مقدمات آن مقدم شرطی و نتیجه آن تالی شرطی است. آیا صدق این شرطی بر اساس جدول ارزش تعیین می شود یا خیر؟
▪ آیا حد وسط در قیاس‌های اقترانی حملی باید محمول یا موضوع صغرا یا کبرا قرار گیرد؟ بنابراین آیا قیاس مساوات در حقیقت قیاس نیست؟ ولی چرا منطق دانان در شرطیات اقترانی بحث اشتراک در جزء تام یا ناقص را مطرح کرده‌اند (حلی، ۱۳۶۳: ص۱۴۳)؛ ولی این بحث را در قیاس‌های اقترانی حملی مطرح نکرده‌اند؟ آیا نمی‌توان گفت که قیاس مساوات از نوع قیاس اقترانی حملی مشترک در جزء ناقص است؟
▪ آیا لازم است قیاس اقترانی را به چهار شکل تقسیم، و برای هرشکل شرایطی را مشخص کنیم یا هیچ لزومی ندارد اشکال چهارگانه و شرایط آن را مطرح کنیم؟ در منطق جدید بعضی از اشکال اربعه حملی و تمام اشکال اربعه شرطی قابل طرح هستند بدون این که به شرایط انتاج توجه شود. به عبارت دیگر، آیا ذکرشرایط اشکال، نشان دهنده این نیست که کاملاً قیاس اقترانی، صوری نشده است؟ به عبارت دیگر، آیا ذکر شرایط از این جهت است که منطق از زبان متعارف استفاده می‌کند، نه از زبان مصنوعی؟
▪ آیا حصر اقترانی به چهار شکل حصر عقلی است؟ یا برای انحصاری شدن قیاس اقترانی آن را باید به سه شکل تنزل و یا به شش شکل ارتقا داد به این صورت که شکل چهارم از فروعات شکل اول و برای هر یک از دو شکل دیگر فروعاتی در نظر گرفت (عسکری سلیمانی،۱۳۸۴)
▪ آیا ایجاب صغرا از شرایط انتاج شکل اول است؟ اگر آری در مورد این استدلال چه باید گفت: "العرض لیس بجوهر و کل جوهر موجود مستقل فالعرض لیس بموجود مستقل".
▪ آیا مقدمات برهان از نظر جهت باید ضرور باشند یا حتی قیاس با مقدمات امکانی هم منتج است؟ شیخ‌رئیس ادعا می کند که ضرور بودن مقدمات به حسب جهت لازم نیست. اگر این سخن محقق طوسی پذیرفتنی باشد که اتفاق به منزلی امکان در حملیه است و او و شیخ‌رئیس تأیید کرده اند که لازم نیست مقدمات برهان ضرور به حسب جهت باشند می توان گفت در قیاس‌های استثنایی لزومی یا عنادی بودن شرطی لازم نیست.
▪ آیا نتیجه تابع اخس المقدمتین است؟ شیخ‌رئیس کلیت این ادعا را رد می‌کند ( ابن سینا، ۱۳۷۷: ص۲۵۰).
ی آیا فعلیت صغرا در شکل اول و سوم از شرایط انتاج است؟ یا در صورت ممکنه بودن نیز این دو شکل منتج هستند؟ (مولی عبدالله، ۱۳۶۳: ص۸۹).
برهان
▪ آیا علم تصدیقی ممکن است؟
▪ آیا علم تصدیقی به بدیهی و نظری تقسیم می شود؟
▪ آیا مبادی برهان به آن دسته از مبادی یقینی گفته می‌شود که برهان برای آن‌ها ممکن نیست یا اعم از آن‌هایی است که صرفا نیاز به برهان ندارند؛ هر چند می‌توان برای آن‌ها برهان اقامه کرد؟
▪ آیا فقط اولیات بدیهی هستند و مابقی نظری؟ آیا حتی می توان گفت که وجدانیات هم بدیهی نیستند؟
▪ چگونه رابطه بدیهیات غیر اولی با اولی توجیه می شود.
▪ رابطه بین اولیات با اولی الاوائل یا اصل امتناع تناقض چگونه توجیه می‌شود؟ آیا همة اولیات از اصل امتناع تناقض استنتاج می‌شوند؟ اگر آری چگونه؟ فخر رازی مدعی است که همة بدیهیات از اصل امتناع تناقض استنتاج می‌شوند؛ ولی محقق طوسی آن را به شدت انکار می‌کند ( طوسی، ۱۴۰۵: ص۲۷ - ۲۹)
▪ آیا حواس مفید تصدیق کلی هستند؟ به تعبیر دیگر آیا نقش حس صرفاً در اقتناص تصورات کلی و تصدیقات اولیه است؟
▪ آیا علوم ما در حس ریشه دارند؟ بنابراین، این قول صحیح است که من فقد حسا فقد علما. آیا این قاعده به تصورات کلی ناظر است یا به تصدیقات هم ناظر هست؟ اگر به تصدیقات ناظر باشد، تفسیر آن چیست؟ بنابراین آیا باید نوعی اصالت حس را پذیرفت؟
▪ آیا تقسیم برهان به لم و ان تقسیم منطقی است یا فرا منطقی؟
▪ آیا برهان لمی از نظر منطقی بر برهان انی ترجیح دارد؟ به عبارت دیگر آیا منطقا ارزش استنتاج لمی برتر از برهان انی است؟
▪ آیا برهان لمی و انی در قیاس‌های استثنایی جریان می‌یابد یا خیر؟
▪ آیا برهان خلف از نوع برهان انی است؟
▪ آیا در برهان بودن برهان لازم است مقدمات افزون بر شرط یقینی بودن، دارای شرط دیگری از قبیل اقدم بالطبع، اقدم نزد عقل، اعرف از نتایج، ضرور و کلی باشد؟ آیا اگر یکی از مقدمات برهان مثلا صغرای استدلال جزئی باشد، به نتیجة یقینی نمی‌رسیم؟
▪ آیا قضایا در علوم کلی و ضرور هستند؟ به عبارت دیگر آیا امکان در علوم مطلوب واقع می‌شود و در نتیجه قضایای امکانی به قضایای ضرور تبدیل می‌شود.
▪ آیا می‌توان در منطق سنتی بین استنتاج بر اساس قواعد استنتاج (قواعد نحوی) و استنتاج بر اساس معنایی (سمنتیک) تفکیک کرد؟ اگر آری، آیا می‌توان همین تفکیک را در منطق تعریف اجرا کرد یا خیر؟
▪ آیا با جدول ارزش می‌توان اعتبار صوری استنتاج‌ها را به دست آورد؟
▪ آیا با نمودار درختی می‌توان اعتبار صوری استنتاج‌ها را به دست آورد؟
منابع و مآخذ
۱.ابن سینا، الاشارات و التنبیهات، شرح الاشارات، بی‌جا، دفتر نشر الکتاب، ۱۳۷۷.
۲.بغدادی ابو البرکات ، المعتبر، اصفهان، انتشارات دانشگاه اصفهان ، ۱۳۷۳.
۳.حلی، حسن ابن یوسف، القواعد الجلیة فی شرح الرسالة الشمسیه، قم، مؤسسة النشر الاسلامی، ۱۴۲۱ ق.
۴.رازی فخر الدین ، منطق الملخص، تهران، دانشگاه امام صادق†، ۱۳۸۱ش.
۵.سلیمانی امیری عسکری، چرا چهار شکل؟ سه شکل یا شش شکل، معرفت فلسفی، ش ۸ .
۶.سهروردی شهاب الدین ،‌ حکمة الاشراق، مجموعه مصنفات شیخ اشراق ، تهران،‌ مؤسسه مطالعات و تحقیقات فرهنگی، ۱۳۷۲،‌ ج۲.
۷.طوسی محمد بن محمد ، اساس الاقتباس، تهران، دانشگاه تهران.
۸.طوسی محمد بن محمد ، تعدیل المعیار فی نقد تنزیل الافکار، منطق و مباحث الفاظ، تهران، دانشگاه تهران،‌ ۱۳۷۰ش.
۹.طوسی محمد‌بن‌محمد (خواجه نصیر الدین) تلخیص المحصل، بیروت، دارالاضواء، ۱۴۰۵ق.
۱۰.علامه‌حلی،حسن ابن یوسف، الجوهر النضید، قم،‌ انتشارات بیدار، ۱۳۶۳ش.
۱۱.مولی عبدالله، الحاشیة، قم، مؤسسة النشر الاسلامی، ۱۳۶۳ش.
۱۲.نبوی لطف الله ، مبانی منطق جدید، تهران، سازمان مطالعه و تدوین کتب علوم انسانی دانشگاه‌ها (سمت)، ۱۳۷۷ش.
۱۳.هاک سوزان ، فلسفه منّطق، سید محمدعلی حجتی، قم، طه، ۱۳۸۲ش.
منبع : خبرگزاری فارس

همچنین مشاهده کنید


همچنین سایر کاربران این صفحات را هم دیده‌اند
بازار و بازاریابی    اصول بازاریابی    بازاریابی بین المللی    تصمیمات مهم در بازاریابی بین المللی    تصمیم دربارهٔ برنامه بازاریابی   
کشاورزی جنگلداری و شیلات    آبیاری    طراحی سیستم های آبیاری بارانی    طراحی سیستم بارانی   
کشاورزی جنگلداری و شیلات    كشاورزی    علف های هرز و علف کش ها    تیره های مختلف علف های هرز   
شعر و ادب    شهریار    غزلیات   
دارو و درمان    درمان    روانپزشکی    داروشناسی روانی    آنتی پسیکوتیک ها    آنتاگونیست های گیرنده دوپامین    احتیاط ها و واکنش های جانبی   
فرهنگ عامهٔ مردم ایران    افسانه ها و قصه های عامیانه مردم ایران    افسانه ها و قصه ها   
دارو و درمان    درمان    چشم پزشکی(افتالمولوژی)    پلک ها و دستگاه اشکی    اشک    سندرم چشم خشک   
شعر و ادب    جامی    هفت اورنگ    اورنگ پنجم یوسف و زلیخا   
شعر و ادب    مولوی    دیوان شمس    غزلیات   
بهداشت و سلامت    سلامت    ضدعفونی    مواد ضدعفونی   

کلمات در حال جستجو
انگلیس    فاحشگی    دانشجو    محیط زیست    حیات وحش    اعتماد به نفس    ذهن و بدن    سردار نجات    سپاه پاسداران    هاشمی    محمد خاتمی    یزدی    فتنه    موسوی    کروبی    آمریکا    افغانستان    توافقنامه    امنیت    داوری    اصولگرایان    بازگشت    قدرت    هدیه    ایران    لبنان    شمخانی    داعش    روستا    بعقوبه    غرق    طلا    حدادی   

برخی منابع مهم خبری
برهان - بی باک - ایبنا - بورس نیوز - ای استخدام - جنوب - فارس - سفیر - لیزنا - خبرنامه دانشجویان - شفقنا - آرمان - سیاست روز - ملت - جام جم - قدس آنلاین - شانا - معماری - فرهنگ امروز - سیتنا - مثلث - پول - ایربا - افکار - عصرایران - رجانیوز - سراج 24 - روزنامه نود - ایلنا - کتابخانه مجلس - آی تی آنالیز - آریا - اصفهان امروز - سنا - اقتصاد پنهان - روزنو - پی سی ورلد - فرهنگ‌نیوز - گفتار - تریبون - ایران ورزشی - نماینده - ایفنام - پانا - رسالت - نورپرتال - گسترش صنعت - ایران و جهان - آفتاب نیوز - تدبیر 24 - جماران - دیپلماسی ایرانی - سلامانه - خبر آنلاین - خرداد - مشرق - ارانیکو - اقتصاد ایرانی - بهارنیوز - تبیان - پرسپولیس - ورزش سه - سیمرغ - فرارو - مجله ماشین - تسنیم - تهران پرس - گویا آی تی - سلامت نیوز - ایتنا - شفاف - ایمنا - سی نت - جهان نیوز - پارسینه - فارنت - ایران استخدام - تفاهم - زیباکلام - تیک - شفا - دنیای اقتصاد - تابناک - سینما پرس - جوان - پارس فوتبال - فان پاتوق - الف - عماریون - دانشجو - پارس - موسیقی ایرانیان - خبرورزشی - اقتصاد آنلاین - . - شهرخبر - پرداد - شبکه - ایران اکونومیست - ایران گراند - نیک صالحی - رویش - همشهری - برترینها - ایرنا - پیام نو - انتخاب - پویش - نامه - العالم - عصر خودرو - جمهوریت - مهر - بنکر - دیدبان - واحد مرکزی خبر - باشگاه خبرنگاران - موج - صراط - شرق - طلا - آی سی تی - خودرو - افق - پیام نفت - تراز - حوادث - اقتصادایران آنلاین - بانک ورزش - حوزه هنری - انصاف - ایران - پرشین خودرو - ایسنا - موبنا - عیارآنلاین - سخن‌آنلاین - فردا - پرشین وی - سینما نگار - اعتدال - بانی فیلم - ایستنا - بولتن - برنا - آفتاب - اکو - زومیت - شهرسخت‎‌افزار - اروم‌نیوز - شفقنا ورزشی - خانه ملت - موسیقی ما - استخدام - خانه‌ ورزش - کافه سینما - میراث فرهنگی - رهیاب - روزگارنو - سینما خبر -

هدیه عجیب پوتین به روحانی +عکس - پایان دیدار گرم پوتین - روحانی خاطره انگیز هم شد. رئیس جمهور روسیه دستور داد کارکنان کاخ کرملینِ آستاراخان (قلعه تاریخی تسیخ هاوس که در جنگ جهانی اول دژ و انبار مهمات بوده است) قابی را برای هدیه به رئیس جمهور ایران بیاورند.…
جرج‌ کلونی و همسرش پس از ازدواج + تصاویر - جورج کلونی هنرپیشه معروف آمریکایی در سن ۵۳ سالگی با نامزدش امل علم‌الدین وکیل و فعال حقوق بشر ۳۶ ساله در ونیز ایتالیا ازدواج کرد. این دو برای برگزاری جشن عروسی خود، به ونیز رفته‌ بودند و دیروز استن روسنفیلد، وکیل…
بیلبورد سردار آزمون در اتوبان‌های روسیه +عکس - سردار آزمون بازیکن 19 ساله و ایرانی روبین کازان به یک مدل در روسیه تبدیل شده است. البته شغل جدید او قرار نیست به فوتبالش لطمه ای بزند.
چرا آزاده نامداری و فرزاد حسنی جدا شدند؟ - هنوز آزاده نامداری و فرزاد حسنی شمع یک سالگی ازدواج‌شان را فوت نکرده بودند که خبر طلاق‌شان در محافل پیچید.
تولد‌ نوزادی‌ با‌‌ بیماری‌ وحشتناک‌ در‌ایران /تصاویر+18 - خانم باردار 26 ساله ای در شامگاه 5 شنبه با مراجعه به بخش اورژانس بیمارستان امام حسن(ع) شهرستان داراب از توابع استان فارس تحت عمل سزارین قرار گرفت و نوزاد پسری با بیماری نادر ایکتیوز پیشرفته(هارلیکون)…
نیکی کریمی در خودروی قلعه‌نویی! +تصاویر - عکاس این مجموعه تصاویری پرشمار از مصاحبه های نیکی کریمی با ستاره های فوتبال و عکس های پشت صحنه مستندها را روی صفحه شخصی خود منتشر کرده که تعدادی از آنها را با هم تماشا می‌ کنیم.
ترویج پوشش نامرسوم دو زن در تلویزیون +عکس - پخش زنده مصاحبه با دو زن یک خانواده که به خاطر پوشش نامرسوم آنها که حتی چشم هایشان به خاطر حجاب سخت آنها دیده نمی شد، به سرعت در شبکه های اجتماعی جلب توجه کرد.
عکسی‌سیاسی از مسابقات جهانی‌والیبال! - رامین مهمان‌پرست، سفیر کنونی جمهوری اسلامی ایران در لهستان و سخنگوی سابق وزارت خارجه در دولت احمدی‌نژاد، در کنار آملیا اسدی، از طرفداران تیم ملی والیبال ایران در اروپا. اسدی به واسطه‌ی پخش چندثانیه‌ای تصویرش از تلویزیون…
بیشترین بازدیدها - سرویس خبر
بازگشت ایرباس اماراتی به دوبی/ ایرباس 380 فصلی جدید در صنعت هوایی - مدیر کل فرودگاه بین المللی امام خمینی (ره) با بیان اینکه فرود هواپیمای ایرباس 380 فصلی تازه در صنعت هوایی ایران است، گفت: هواپیمایی امارات نام خود را به عنوان پیشتاز ...
رفع یک ابهام: خاطره سردار رشید از نامه تکان‌دهنده امام - مجری برنامه با اشاره به مکالمه تلفنی حسن روحانی با محسن رضایی پرسید: آقای روحانی گفته بود محسن رضایی تلفنی به من گفت: سقوط فاو امکان ندارد مگر اینکه عراق بمب اتم بزند. محسن رضایی در پاسخ گفت: من چون…
توقف دریافت کارمزد از تراکنش ها واقعی یا حرکت چراغ خاموش! - هیأت وزیران در جلسه یکشنبه شب خود به بانک مرکزی دستور داد تمام جوانب طرح اخذ کارمزد ازکارتخوان ها را بررسی کرده و پیشنهادهای لازم درباره چگونگی و میزان اخذ کارمزد را به شورای پول و اعتبار منعکس…
مظاهری: به خودم فشار نیاوردم/ برای فینالیست شدن روی رینگ می‌روم - نماینده وزن 91 کیلوگرم تیم ملی بوکس ایران پس از راهیابی به مرحله نیمه نهایی بازی‌های آسیایی اینچئون کره‌جنوبی گفت: در مبارزه با بوکسور مغولستانی به خودم فشار نیاوردم و ...
خاطره مربی استقلال از اولین حضور علی کریمی در تیم ملی - مربی تیم فوتبال استقلال با تمجید از علی کریمی و دوران حضورش در تیم ملی فوتبال ایران، خاطره ای از بازیکن پیشین تیم ملی را مرور کرد.
برق طلایی‌های کشتی‌فرنگی در کاروان‌ایران/عبدولی زورش به ناداوری‌ها نرسید - روز یازدهم بازی های آسیایی برای کشتی فرنگی ایران روز پرفروغی بود و فرنگی کاران کشورمان به دو مدال طلا دست یافتند و عبدولی با ناداوری مدال طلای مسجل خود را با برنز عوض کرد.
روز طلایی کشتی فرنگی با چاشنی ناداوری/ حسرت طلا بر دل عبدولی ماند - فرنگی کاران سه وزن نخست تیم ملی کشتی ایران در حالی نخستین روز از رقابتهای کشتی فرنگی بازیهای آسیایی کره جنوبی را با کسب دو مدال طلا و یک برنز پشت سر گذاشتند که شادی این ...
نتایج ایران در روز یازدهم/ 4 طلا و 2 برنز برای ۳ رشته - کاروان ورزشی ایران در یازدهمین روز از بازی‌های آسیایی 4 مدال طلا و 2 برنز کسب کرد.
قلعه‌نویی خطاب به کریمی: یک بُرد بیاوریم شرایط استقلال خوب می‌شود - سرمربی تیم استقلال خطاب به دستیار کی‌روش گفت: اگر یک بُرد بیاوریم شرایط استقلال خوب خواهد شد.
هدیه پوتین به رئیس جمهور به کدام موزه می رود؟ - رئیس موزه ملی ایران با بیان اینکه این موزه آمادگی پذیرش هدیه ولادیمیر پوتین به رئیس جمهور کشورمان را دارد گفت: از سپر رزمی متعلق به دوران شاه عباس اول می توان در موزه ...
سایت آموزشی هسته‌ای در الموت مجموعه گردشگری می‌شود - قزوین – خبرگزاری مهر: رئیس سازمان انرژی اتمی ایران گفت: طرح تغییر کاربری سایت آموزشی سازمان انرژی اتمی در الموت و تبدیل آن به مجموعه گردشگری از سوی کارشناسان در دست ...
اتفاقی نادر برای ورزشکار ایران/ زنبورگزیدگی صمیمی در حین پرتاب دیسک - ورزشکار پرتاب دیسک ایران در هنگام مسابقه خود در بازی‌های آسیایی اینچئون کره‌جنوبی با اتفاقی نادر مواجه شد.
خادم: به خاطر تغییرات رخ داده به پرسپولیسی‌ها تذکر دادیم/ از انتخاب مدیرعامل پرسپولیس بی‌خبرم - معاون وزیر ورزش و جوانان گفت: تغییرات رخ داده در پرسپولیس مناسب نبود و ما این موضوع را به پرسپولیسی‌ها تذکر دادیم.
قلعه‌نویی خطاب به کریمی: حالا زود است اما متوجه خواهی شد ما چه می‌کشیم - سرمربی تیم فوتبال استقلال خطاب به علی کریمی که در تمرین آبی پوشان حضور پیدا کرده بود گفت: حالا زود است اما کم کم متوجه خواهی شد که ما در فوتبال ایران چه می کشیم.
علی کریمی در تمرین استقلال حضور یافت/ گفتگو با قلعه‌نویی - اعضای کادرفنی تیم ملی ایران که علی کریمی هم در بین آنها حضور دارد، در تمرین عصر امروز سه‌شنبه آبی‌پوشان حضور یافت.
برنز مظاهری با برد مقابل بوکسور مغولستانی قطعی شد - نماینده وزن 91 کیلوگرم تیم ملی ایران در مصاف با بوکسور مغولستان به پیروزی رسید و ضمن قطعی کردن مدال برنز خود به مرحله نیمه نهایی راه یافت.
پازاج: ناداوری در حق عبدولی را تا حالا ندیده بودم/ باز هم مدال می‌گیریم - سرمربی تیم ملی کشتی فرنگی ایران قول داد شاگردانش فردا چهارشنبه و در ادامه بازی‌های آسیایی اینچئون باز هم مدال کسب کنند.
درخواستی برای تغییر برنامه لیگ نداشتم/ از برنامه تنظیم شده حمایت می‌کنم - سرمربی تیم ملی فوتبال ایران گفت: هیچ درخواستی برای تغییر برنامه لیگ برتر نداشتیم و این موضوع صحت ندارد.
علیاری: ناداوری اجازه نداد 3 طلا بگیریم/ برای این مدال زحمات زیادی کشیدم - فرنگی‌کار وزن 98 کیلوگرم کشورمان ایران با انتقاد از ناداوری‌های رخ داده در مسابقات کشتی فرنگی بازی‌های آسیایی اینچئون گفت: با ناداوری نگذاشتند در روز نخست رقابتهای کشتی ...
ایرباس 380 بالاخره در فرودگاه امام فرود آمد - نخستین هواپیمایی پهن پیکر ایرباس 380 امروز ساعت 16 در فرودگاه امام خمینی(ره) به زمین نشست.
صدای ناله عمارت عین الدوله در جوار ساخت و ساز قانونی! - میراث فرهنگی و گردشگری - ساخت و ساز دیوار به دیوار عمارت عین الدوله و در قسمت جدا شده این باغ_عمارت سال هاست تن افراد محله و دوستداران میراث فرهنگی را لرزانده است.
‌ایرباس پهن‌پیکر 380 در فرودگاه امام خمینی(ره)‌ به زمین نشست - ایرباس 380 به عنوان پهن‌پیکرترین هواپیمای مسافری دنیا متعلق به امارات‌ایر، هم‌اکنون در فرودگاه امام خمینی (ره) با موفقیت به زمین نشست.
فیلمیران از پخش «عصبانی نیستم» انصراف داد/ دلیل تصمیم پخش‌کننده - علی سرتیپی مدیر دفتر فیلمیران که پخش فیلم «عصبانی نیستم» را برعهده داشت درباره خبری مبنی بر انصراف از پخش این فیلم در سینماها توضیح داد.
کاروان ایران به یک مدالی قزاقستان رسید - کاروان ورزش ایران با کسب 5 طلا در سه رشته کشتی فرنگی، دوومیدانی و تکواندو به کاروان ورزش قزاقستان نزدیک شد. ورزش کشورمان در شرایطی به چهاردهمین مدال رسیده که در دوره ...
دستور آخوندی برای تسهیل دسترسی به شبکه ریلی/ رسوب 3.2 میلیون تن کالا در بنادر - شورای‌عالی هماهنگی ترابری کشور از رسوب 3 میلیون و 250 هزار تن کالا تا ششم مهرماه امسال در بنادر کشور خبر داد و وزیر راه و شهرسازی نیز در این شورا دستور تسهیل دسترسی به ...
نخستین گام عملیاتی برای افزایش نرخ فرزندآوری و چند ابهام! - مگر نه اینکه خطر کهنسال شدن جامعه کم از خطرات تهدید ارضی کشور ندارد و می‌بایست برای مقابله با آن تمام توانمان را بسیج کنیم؟ پس چگونه است که هشدارهای موکد رهبر انقلاب درباره خطر کهنسالی را ندید گرفته…
«یتیم خانه ایران» و «رسوایی ۲» پروانه ساخت گرفتند - شورای صدور پروانه‌ فیلمسازی ۳۵ میلیمتری در جلسه‌ فوق العاده یکشنبه ۶ مهر با صدور مجوز ساخت پنج عنوان فیلم سینمایی موافقت کرد که در بین آنها «یتیم خانه ایران» ...
قدردانی ضرغامی از آتش‌نشان‌ها - رئیس سازمان صدا و سیما همزمان با هفتم مهر روز آتش‌نشانی از همکاران آتش‌نشان قدردانی کرد.
بهره برداری از "پهنای مشترک " نیاز به ساختارسازی دارد - 2015، سال سرنوشت ساز دریای خزر بهره برداری از "پهنای مشترک " نیاز به ساختارسازی داردبهرام امیراحمدیان کارشناس مسایل روسیه در گفت وگو با دیپلماسی ایرانی با اشاره به اجلاس خزر تاکید می کند که ممکن است…
جزییات رانت هفت‌هزار میلیاری در دولت‌ قبل - گروه اقتصادی: رئیس کمیسیون اقتصادی مجلس از رانت 7هزار میلیارد تومانی سه صراف با همکاری بانک مرکزی خبر داد و گفت: سه صراف در سال 90 ...
توافقنامه امنیتی آمریکا-افغانستان امضا شد - گروه بین الملل: توافقنامه همکاری امنیتی دوجانبه آمریکا با افغانستان امروز (سه‌شنبه) در کاخ ریاست جمهوری در کابل ...
پیمان امنیتی آمریکا-افغانستان امضا شد - مقاماتی از دولت آمریکا و افغانستان بعدازظهر امروز سه شنبه در کابل پیمان امنیتی میان دو کشور را امضا کردند.
نویدکیا در دیدار با پرسپولیس به میدان می‌رود - اصفهان – خبرگزاری مهر: کاپیتان تیم فوتبال سپاهان اصفهان که در روزهای گذشته با مصدومیت دست و پنجه نرم می‌کرد، با رفع مصدومیت در این بازی می‌تواند به میدان برود.
محرابی با شکست مقابل بوکسور قزاقستانی حذف شد - سجاد محرابی بوکسور وزن 75 کیلوگرم تیم ملی ایران در بازی‌های آسیایی اینچئون با باخت مقابل حریف قزاقستانی خود از راهیابی به مرحله نیمه نهایی بازماند.
ذخایر آبی 300 دشت کشور بحرانی شد/ تصمیمات جدید درباره مشترکان پُرمصرف آب - قائم مقام وزیر نیرو با اعلام اینکه وضعیت حدود 300 دشت از مجموع 609 دشت کشور ممنوعه بحرانی است و امکان برداشت آب از آنها وجود ندارد، گفت: پیشنهاد شده است دولت تصمیمات ...
اهواز میزبان پیرغلامان حسینی می‌شود - دوازدهمین اجلاس بین‌المللی تجلیل از پیرغلامان به همت معاونت صدای رسانه ملی و با دبیری ابراهیم طاهری، مدیرکل نغمات آیینی رادیو، بیست و سوم و بیست و چهارم مهرماه در ...
سه تکواندوکار ایران چهارشنبه مبارزه می کنند/ نتایج کامل روز نخست - رقابتهای تکواندو در هفدهمین دوره بازیهای  آسیایی فردا چهارشنبه پیگیری می شود و سه نماینده از ایران رقابتهای خود را برگزار می کنند.
اظهار نظر یوسف کرمی پس از خداحافظی از تیم ملی تکواندو - سرگروه تیم ملی تکواندو که بعد از شکست در المپیک 2012 لندن قصد کناره گیری از دنیای قهرمانی را داشت و با اصرار برخی نزدیکان خود در تیم ملی باقی ماند بعد از شکست روی "شی ...
اخلاقی: حق ما کسب سه مدال طلا بود/ فردا هم طلایی می شویم - دارنده مدال طلای وزن 80 کیلوگرم کشتی فرنگی بازیهای آسیایی کره جنوبی گفت: امروز باید سه مدال طلا می گرفتیم که متاسفانه اینگونه نشد.
مرادی از شرکت در دوی 800 متر انصراف داد - ملی پوش دومیدانی ایران با توصیه پزشکان از شرکت در دوی 800 متر انصراف داد.


Copyright © 2008 - 2014 vista.ir. All Rights Reserved