استقرا
استقرا یا استدلال استقرائی نوعی استدلال است که مقدمات آن از نتیجه به صورت محتمل پشتیبانی می‌کنند. در مقابل استدلال قیاسی است که مقدمات به صورت قطعی از نتیجه حمایت می‌کنند. در منطق کلاسیک استدلال استقرایی را استدلال از جزء به کل تعریف می‌کردند که در منطق جدید این تعریف پذیرفته نیست. بعضی انواع استقرا تعمیم، استدلال علی، استدلال بر مبنای تمثیل و پیش‌بینی نام دارند. فرایند استقراء از مشاهدات جزئی شروع شده و استنتاج نتایج تعمیم داده می‌شود.
هر استدلال مدعی است که مقدمات آن زمینهٔ درستی نتیجهٔ آن استدلال را فراهم می‌سازند و در واقع حضور همین ادعا هست که نشان دهندهٔ وجود یک استدلال است. یک استدلال استنتاجی مدعی است که مقدمات آن نتیجه را به‌طور قطعی پشتیبانی می‌کند. به عکس یک استدلال استقرایی چنین ادعایی ندارد. اگر قضاوت ما از تفسیر یک متن استدلالی اینگونه باشد که چنین ادعایی به قطع وجود دارد، آنگاه برداشت ما از آن متن یک استدلال استنتاجی است. اگر چنین قضاوتی نداشته باشیم، برداشت ما از آن متن یک استدلال استقرایی است. از آنجا که در هر استدلال چنین قطعیتی (به‌طور ضمنی یا صریح) ادعا می‌شود یا نمی‌شود، بنابراین هر استدلال استنتاجی یا استقرایی خواهد بود.
استدلال کل به جزء یا استدلال قیاسی (deductive reasoning) یکی از دو استدلال معروف در منطق (استدلال کل به جزء و استدلال جزء به کل {the deductive and inductive approaches}) می‌باشد . استدلال کل به جزء هنگامی است که در استدلال از یک نظریه (تئوری) کلی استفاده کنیم و به فرضیه یا فرضیه‌های جزئی برسیم. در پژوهش ها، زمانی که پژوهشگر از نظریه استفاده می‌کند و فرضیه می‌سازد و برای ازمون فرضیه‌ها داده جمع‌آوری می‌کند و نتیجه می‌گیرد می گوییم پژوهشگر از روش استدلال کل به جزء استفاده کرده‌است. روش استدلال جزء به کل (inductive approaches) بر عکس این روش می‌باشد یعنی پژوهشگر داده جمع‌آوری می‌کند و الگو بین داده‌ها و متغیرها کشف می‌کند سپس فرضیه می‌سازد و فرضیه را آزمون می‌کند و در نهایت نظریه می‌دهد. روش‌های جز به کل و کل به جز از دو روش مهم در پژوهش می‌باشد (the deductive and inductive methods).
استقرا تام در جایی است که افراد مورد نظر، یعنی نمونه‌های جزئی که می‌خواهیم از آن‌ها نتیجه‌گیری کنیم، به تعدادی باشند که بتوانیم همهٔ آن‌ها را بررسی کنیم، یعنی افراد و نمونه‌ها، محدود و معدود باشند و هر یک جداجدا مورد بررسی قرار گرفته باشند و پس از بررسی همهٔ آن‌ها، حکم کلی صادر شود. این حکم کلی در مورد همهٔ آن‌ها صادق است، زیرا تک تک آن‌ها مورد بررسی قرار گرفته و مشمول این حکم بوده‌اند.
این استقرا در صورتی است که همهٔ افراد مورد نظر بررسی نشده باشند. به این صورت که ما در تعدادی از آن‌ها صفتی معین بیابیم و سپس حکم کنیم که همهٔ افراد آن موضوع دارای آن صفت هستند.
مثال زیر، ویژگی این روش را نشان می‌دهد:
پیش فرض نخست بیان می‌کند که همه موجودات قرار گرفته زیر نام و عنوان «انسان» که تاکنون مورد مشاهدهٔ فرد مدعی قرار گرفته‌اند می‌میرند. عبارت دوم بیان می‌کند: سقراط هم زیر عنوان یک «انسان» قرار دارد. در نتیجه سقراط بالاخره می‌میرد، زیرا او نیز به عنوان یک انسان خواهد مرد، چون که عنوان «انسان» به او نسبت داده شده و این ویژگی او را نیز شامل می‌شود.
روش استقرایی ـ قیاسی روشی است که از زمان ارسطو باب شده، و در سیر تحولی خود در عهد رنسانس در علوم مختلف تجربی آن را نقد و بررسی کرده‌اند. در مجموع می‌توان گفت دانشمندان مختلف اصل روش استقرایی ـ قیاسی را پذیرفته بودند، اما کسانی مانند بیکن در قرن شانزدهم و هفدهم در کیفیت شرایط و اصول موضوعه اش مجادلاتی با روش ارسطویی داشته‌اند که این مجادلات به تصحیح روش ارسطویی می‌انجامید، ولی در کنار این روش، روش استقرایی محض، که مورد تأیید کسانی چون دونس اسکوتس، اکام، هیوم و هرشل بود، در قرن نوزدهم به همت جان استوارت میل به‌طور فزاینده ای تبلیغ و ترویج شد. میل مدعی بود که از راه استقرای صرف و بدون کاربست روش قیاسی می‌توان به ضرورت و علیت پدیده‌ها دست یافت. روش استقرایی محض در قرن بیستم به مکتب اصالت تجربه انجامید. این مکتب به‌طور کلی منکر هرگونه معرفت پیشین و غیر حسی است.
استدلال قیاسی
ویکی‌پدیای انگلیسی
https://en.wikipedia.org/wiki/Inductive_reasoning