(منطق چیست؟ (بخش هفدهم

اگر بخش شانزدهم را نخوانده اید میتوانید از طریق این لینک بخوانید منطق چیست؟(بخش شانزدهم)

قواعد استنتاج

قاعده استنتاج  Inference Rule))  به اصول و قواعدی اطلاق می‌ شود که برای استنتاج و استخراج نتائج منطقی از مجموع های از فرضیات یا مقدمات استفاده می‌ شود. در منطق، قواعد استنتاج به طور رسمی تعریف شده‌ اند و نقش اساسی در تحلیل و شکل و ساختماندهی استدلالات منطقی ایفاء می‌ کنند.

خصوصیات و انواع قواعد استنتاج

1. تعریف قاعده استنتاج: قاعده استنتاج یک قاعده یا فرمول منطقی است که نحوه استنتاج نتی جهای صحیح از مقدمات مشخص را تعیین می‌ کند. به عبارت دیگر، اگر مقدمات معین به‌درستی برقرار باشند، قاعده استنتاج تضمین می‌ کند که نتیجه نیز به‌درستی برقرار است.
2. انواع قواعد استنتاج:

• قواعد قیاسی: شامل قواعدی است که برای استنتاج نتائج از مقدمات به‌کار می ‌روند. این قواعد معمولاً در منطق قیاسی استفاده می‌ شوند.
  • قاعدهModus Ponens  (قانون فرضی) : اگر P→QP \rightarrow QP→Q و PPP باشد، آنگاه QQQ است. مثال: اگر باران بیفتد، خیابآنها تر خواهند شد. باران می‌افتد. بنابراین، خیابآنها تر خواهند شد.
  • قاعدهModus Tollens  (قانون نقیض فرضی) :  اگر P→QP \rightarrow QP→Q و ¬Q\neg Q¬Q باشد، آنگاه ¬P\neg P¬P است. مثال: اگر باران بیفتد، خیابآنها تر خواهند شد. خیابآنها تر نشده‌ اند. بنابراین، باران نیفتاده است.
  • قاعده استقراء(Inductive Reasoning) : اگر یک الگوی خاص در تعدادی از موارد مشاهده شود، ممکن است به صورت کلی به‌ طور عمومی صادق باشد. مثال: تمام swans که من دید هام سفید هستند، بنابراین ممکن است تمام swans سفید باشند.
  • قواعد استنتاج در منطق سمبولیک یا نمایشی:
  • قاعدهConjunction  (قانون پیوستگی) :  اگر PPP و QQQ هر دو درست باشند، آنگاه P∧QP \land QP∧Q درست است. مثال: امروز آفتابی است و گرم است. بنابراین، امروز آفتابی و گرم است.
  • قاعدهDisjunction  (قانون جداشدگی) : اگر PPP درست باشد، آنگاه P∨QP \lor QP∨Q درست است. مثال: باران می‌بارد. بنابراین، باران می‌بارد یا برف می‌بارد.
  • قاعدهSimplification  (قانون ساده‌سازی) : از P∧QP \land QP∧Q، می‌ توان نتیجه گرفت که PPP و همچنین QQQ صحیح است. مثال: امروز آفتابی و گرم است. بنابراین، امروز آفتابی است و امروز گرم است.
  • قاعدهAddition  (قانون افزودن) : از PPP می‌ توان نتیجه گرفت که P∨QP \lor QP∨Q نیز درست است. مثال: باران می‌بارد. بنابراین، باران می‌بارد یا برف می‌بارد.

3. نقش و اهمیت:

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

پس، گفته می توانیم که قواعد استنتاج وسایلی اساسی در منطق هستند که برای استخراج نتائج صحیح از مقدمات استفاده می‌ شوند. آنها به تحلیل و شکل و ساختماندهی استدلالات کمک کرده و نقش مهمی در بررسی صحت و اعتبار استدلالات منطقی ایفاء می‌ کنند. از قواعد قیاسی ساده مانند Modus Ponens و Modus Tollens گرفته تا قواعد پیچیده‌تر در منطق‌ های غیرکلاسیک، این قواعد بخش اساسی از منطق و تفکر منطقی را تشکیل می‌ دهند.

نقش مقدمات یا پیشفرض ها در منطق

رول یا نقش مقدمات  Role of Assumptions))  در منطق به اهمیت و مورد استفادهمقدمات در تحلیل، استدلال، و استنتاج منطقی اشاره دارد. مقدمات  (Assumptions)  در منطق به فرضیات اولی های اطلاق می‌ شود که برای ساختن استدلالات، اثبات قضایا، و تحلیل منطقی به کار می ‌روند. نقش مقدمات به خصوص در منطق قیاسی و سایر سیستم‌ های منطقی بسیار کلیدی است. در اینجا به بررسی نقش و اهمیت مقدمات در منطق می‌ پردازیم:

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

• ادامه دارد…

  حق چاپ ونشر این مقاله محفوظ است در صورت استفاده از آن باید نام داکتر صالحه واهب واصل و لینک منبع ذکر شود.

  فهرست منابع مورد استفاده در نگارش این مقاله در بخش آخری آورده شده است.