Remove ads
یک روش استدلال در ریاضی و منطق From Wikipedia, the free encyclopedia
استقرا (به انگلیسی: Induction) یا استدلال استقرائی(به انگلیسی: Inductive reasoning) نوعی استدلال است که مقدمات آن از نتیجه به صورت محتمل پشتیبانی میکنند. در مقابل استدلال قیاسی است که مقدمات به صورت قطعی از نتیجه حمایت میکنند. در منطق کلاسیک استدلال استقرایی را استدلال از جز به کل تعریف میکردند که در منطق جدید این تعریف پذیرفته نیست. بعضی انواع استقرا، تعمیم، استدلال علمی، استدلال بر مبنای تمثیل و پیشبینی نام دارند. فرایند استقرا از مشاهدات جزئی شروع شده و استنتاج نتایج تعمیم داده میشود.[۱]
مثالی از استدلال استقرایی: هر خرگوشی که تا به حال مشاهده شده است دستگاه تنفسی داشته است .بنا بر این همهی خرگوشها دستگاه تنفسی دارند.[۲]
هر استدلال مدعی است که مقدمات آن زمینهی درستی نتیجهٔ آن استدلال را فراهم میسازند و در واقع حضور همین ادعا هست که نشان دهندهی وجود یک استدلال است. یک استدلال استنتاجی مدعی است که مقدمات آن نتیجه را بهطور قطعی پشتیبانی میکند. به عکس یک استدلال استقرایی چنین ادعایی ندارد. اگر قضاوت ما از تفسیر یک متن استدلالی اینگونه باشد که چنین ادعایی به قطع وجود دارد، آنگاه برداشت ما از آن متن یک استدلال استنتاجی است. اگر چنین قضاوتی نداشته باشیم، برداشت ما از آن متن یک استدلال استقرایی است. از آنجا که در هر استدلال چنین قطعیتی(بهطور ضمنی یا صریح) ادعا میشود یا نمیشود، بنابراین هر استدلال، استنتاجی یا استقرایی خواهد بود.
استدلال کل به جزء یا استدلال قیاسی (deductive reasoning) یکی از دو استدلال معروف در منطق (استدلال کل به جزء و استدلال جزء به کل (the deductive and inductive approaches)) میباشد.[۳] استدلال کل به جز هنگامی است که در استدلال از یک نظریه (تئوری) کلی استفاده کنیم و به فرضیه یا فرضیههای جزئی برسیم. در پژوهشها، زمانی که پژوهشگر از نظریه استفاده میکند و فرضیه میسازد و برای آزمون فرضیهها داده جمعآوری میکند و نتیجه میگیرد میگوییم پژوهشگر از روش استدلال کل به جز استفاده کردهاست. روش استدلال جز به کل (inductive approaches) بر عکس این روش میباشد یعنی پژوهشگر داده جمعآوری میکند و الگو بین دادهها و متغیرها کشف میکند سپس فرضیه میسازد و فرضیه را آزمون میکند و در نهایت نظریه میدهد. روشهای جز به کل و کل به جز از دو روش مهم در پژوهش میباشد (the deductive and inductive methods).
استقرا تام در جایی است که افراد مورد نظر، یعنی نمونههای جزئی که میخواهیم از آنها نتیجهگیری کنیم، به تعدادی باشند که بتوانیم همهٔ آنها را بررسی کنیم، یعنی افراد و نمونهها، محدود و معدود باشند و هر یک جداجدا مورد بررسی قرار گرفته باشند و پس از بررسی همهٔ آنها، حکم کلی صادر شود. این حکم کلی در مورد همهٔ آنها صادق است، زیرا تک تک آنها مورد بررسی قرار گرفته و مشمول این حکم بودهاند.
این استقرا در صورتی است که همهٔ افراد مورد نظر بررسی نشده باشند. به این صورت که ما در تعدادی از آنها صفتی معین بیابیم و سپس حکم کنیم که همهٔ افراد آن موضوع دارای آن صفت هستند.
مثال زیر، ویژگی این روش را نشان میدهد:
پیش فرض نخست بیان میکند که همه موجودات قرار گرفته زیر نام و عنوان «انسان» که تاکنون مورد مشاهدهٔ فرد مدعی قرار گرفتهاند میمیرند. عبارت دوم بیان میکند: سقراط هم زیر عنوان یک «انسان» قرار دارد. در نتیجه سقراط بالاخره میمیرد، زیرا او نیز به عنوان یک انسان خواهد مرد، چون که عنوان «انسان» به او نسبت داده شده و این ویژگی او را نیز شامل میشود.
روش استقرایی ـ قیاسی روشی است که از زمان ارسطو باب شده، و در سیر تحولی خود در عهد رنسانس در علوم مختلف تجربی آن را نقد و بررسی کردهاند. در مجموع میتوان گفت دانشمندان مختلف اصل روش استقرایی ـ قیاسی را پذیرفته بودند، اما کسانی مانند بیکن در قرن شانزدهم و هفدهم در کیفیت شرایط و اصول موضوعه اش مجادلاتی با روش ارسطویی داشتهاند که این مجادلات به تصحیح روش ارسطویی میانجامید، ولی در کنار این روش، روش استقرایی محض، که مورد تأیید کسانی چون دونس اسکوتس، اکام، هیوم و هرشل بود، در قرن نوزدهم به همت جان استوارت میل بهطور فزاینده ای تبلیغ و ترویج شد. میل مدعی بود که از راه استقرای صرف و بدون کاربست روش قیاسی میتوان به ضرورت و علیت پدیدهها دست یافت. روش استقرایی محض در قرن بیستم به مکتب اصالت تجربه انجامید. این مکتب بهطور کلی منکر هرگونه معرفت پیشین و غیر حسی است.[۴]
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.