استقرا
استدلال کل به جزء یا استدلال قیاسی (deductive reasoning) یکی از دو استدلال معروف در منطق (استدلال کل به جزء و استدلال جزء به کل {the deductive and inductive approaches}) می‌باشد . استدلال کل به جزء هنگامی است که در استدلال از یک نظریه (تئوری) کلی استفاده کنیم و به فرضیه یا فرضیه‌های جزئی برسیم. در پژوهش ها، زمانی که پژوهشگر از نظریه استفاده می‌کند و فرضیه می‌سازد و برای ازمون فرضیه‌ها داده جمع‌آوری می‌کند و نتیجه می‌گیرد می گوییم پژوهشگر از روش استدلال کل به جزء استفاده کرده‌است. روش استدلال جزء به کل (inductive approaches) بر عکس این روش می‌باشد یعنی پژوهشگر داده جمع‌آوری می‌کند و الگو بین داده‌ها و متغیرها کشف می‌کند سپس فرضیه می‌سازد و فرضیه را آزمون می‌کند و در نهایت نظریه می‌دهد. روش‌های جز به کل و کل به جز از دو روش مهم در پژوهش می‌باشد (the deductive and inductive methods).
منطق
این استدلال را نمی‌توان به اشکال Aها B هستند و غیره درآورد. از قدیم تلاش‌هایی برایِ این کار انجام شده و به شکست منجر گردیده بود. فرگه منطق را از این قبیل صورت‌ها آغاز نمود. او نمادهایی مانند P و Q و غیره را به عنوانِ جانشین گزارهها (p اولِ proposition به معنیِ گزاره‌است) و نشانه‌های دیگر را به عنوانِ پیوند دهنده جملات به کار برد. اگر P و Q گزاره باشند P~ خوانده می‌شود «نقیضِ P» و P→Q خوانده می‌شود «اگر P آنگاه Q». منطقِ فرگه و راسل قادر است به بررسیِ روابطِ بینِ گزاره‌ها و استدلال‌هایی که به دلیلِ چینشِ این روابط معتبر اند بپردازد. به همین دلیل آن را حسابِ گزاره‌ها یا منطقِ جملات می‌نامند. در مقابل به آنچه با منطقِ ارسطویی آغاز گردید منطقِ محمولات گفته می‌شود (زیرا گزاره‌ها را به موضوع و محمول تقسیم می‌کند).