แบบ จำลองหรือวิธีการสมมติฐานเชิงอนุมานเป็นการอธิบายวิธีการทางวิทยาศาสตร์ ที่เสนอขึ้น ตามแบบจำลองนี้การสืบสวนทางวิทยาศาสตร์ดำเนินไปโดยการกำหนดสมมติฐานในรูปแบบที่สามารถพิสูจน์ได้ว่าผิดโดยใช้การทดสอบกับข้อมูลที่สังเกตได้ซึ่งผลลัพธ์ยังไม่ทราบ ผลการทดสอบที่อาจขัดแย้งกับการคาดการณ์ของสมมติฐานจะถือเป็นการพิสูจน์ว่าสมมติฐานผิด ผลการทดสอบที่อาจขัดแย้งกับสมมติฐานแต่ไม่ขัดแย้งจะยืนยันถึงทฤษฎี จากนั้นจึงเสนอให้เปรียบเทียบคุณค่าในการอธิบายของสมมติฐานที่แข่งขันกันโดยการทดสอบว่าสมมติฐานเหล่านั้นได้รับการยืนยันอย่างเข้มงวดเพียงใดจากการคาดการณ์ของสมมติฐานเหล่านั้น^{[ 1 ]}

ตัวอย่างหนึ่งของข้อความเชิงอัลกอริทึมของวิธีการอนุมานเชิงสมมติฐานมีดังนี้: ^{[ 2 ]}

ลำดับที่เป็นไปได้ในแบบจำลองนี้คือ1 , 2 , 3 , 4ถ้าผลลัพธ์ของ4เป็นจริง และ3ยังไม่ได้รับการพิสูจน์ว่าผิด คุณอาจดำเนินการต่อด้วย3 , 4 , 1และต่อไปเรื่อยๆ แต่ถ้าผลลัพธ์ของ4แสดง ว่า 3ผิด คุณจะต้องกลับไปที่2และพยายามสร้าง2 ใหม่อนุมาน3 ใหม่ค้นหา4และต่อไปเรื่อยๆ

โปรดทราบว่าวิธีนี้ไม่สามารถตรวจสอบ (พิสูจน์ความจริงของ) 2 ได้อย่างแน่นอน มันสามารถพิสูจน์ได้ว่า2เป็น เท็จเท่านั้น ^{[ 4 ]} (นี่คือสิ่งที่ไอน์สไตน์หมายถึงเมื่อเขากล่าวว่า "การทดลองจำนวนมากไม่สามารถพิสูจน์ว่าฉันถูกต้องได้ การทดลองเพียงครั้งเดียวก็สามารถพิสูจน์ว่าฉันผิดได้" ^{[ 5 ]} )

นอกจากนี้ ตามที่Carl Hempel (1905–1997) ชี้ให้เห็น มุมมองที่เรียบง่ายของวิธีการทางวิทยาศาสตร์นี้ยังไม่สมบูรณ์ การคาดการณ์ยังสามารถรวมความน่าจะเป็นได้ เช่น ยามีประสิทธิภาพประมาณ 70% ของเวลา^{[ 6 ]}ในกรณีนี้ ต้องทำการทดสอบซ้ำเพื่อยืนยันการคาดการณ์ (โดยเฉพาะความน่าจะเป็น) ในกรณีนี้และกรณีอื่นๆ เราสามารถหาปริมาณความน่าจะเป็นสำหรับความมั่นใจของเราในการคาดการณ์นั้นเอง แล้วจึงใช้การวิเคราะห์แบบเบย์เซียนโดยผลการทดลองแต่ละครั้งจะทำให้ความน่าจะเป็นเปลี่ยนแปลงขึ้นหรือลงทฤษฎีบทของเบย์แสดงให้เห็นว่าความน่าจะเป็นจะไม่ถึง 0 หรือ 100% อย่างแน่นอน (ไม่มีความแน่นอนสัมบูรณ์ในทิศทางใดทิศทางหนึ่ง) แต่ก็ยังสามารถเข้าใกล้ค่าสุดขั้วใดค่าหนึ่งได้มาก ดูเพิ่มเติมที่การยืนยันแบบองค์รวม

บางครั้งมีการยกประเด็นเรื่องคุณสมบัติของหลักฐานสนับสนุนขึ้นมาว่าเป็นปัญหาทางปรัชญาตัวอย่างที่มีชื่อเสียงคือปริศนาอีกา สมมติฐานที่ว่า 'อีกาทุกตัวเป็นสีดำ' ดูเหมือนจะได้รับการสนับสนุนจากการสังเกตอีกาที่เป็นสีดำเท่านั้น อย่างไรก็ตาม 'อีกาทุกตัวเป็นสีดำ' นั้น เทียบเท่าทางตรรกะกับ 'สิ่งที่ไม่ใช่สีดำทั้งหมดไม่ใช่อีกา' (นี่คือ รูปแบบ ผกผันของความหมายเดิม) 'นี่คือต้นไม้สีเขียว' เป็นการสังเกตสิ่งที่ไม่ใช่สีดำซึ่งไม่ใช่อีกา ดังนั้นจึงสนับสนุน 'สิ่งที่ไม่ใช่สีดำทั้งหมดไม่ใช่อีกา' ดูเหมือนว่าการสังเกต 'นี่คือต้นไม้สีเขียว' จะเป็นหลักฐานสนับสนุนสำหรับสมมติฐานที่ว่า 'อีกาทุกตัวเป็นสีดำ' ^{[ 7 ]}

แนวทางการแก้ไขปัญหาที่พยายามดำเนินการอาจแยกแยะความแตกต่างได้ดังนี้:

• ข้อสังเกตที่ไม่บิดเบือนเกี่ยวกับหลักฐานสนับสนุนที่แข็งแกร่ง ปานกลาง หรืออ่อนแอ
• การสืบสวนที่ดำเนินการหรือไม่ดำเนินการทดสอบสมมติฐานที่อาจผิดพลาด^{[ 8 ]}

หลักฐานที่ขัดแย้งกับสมมติฐานนั้นเป็นปัญหาทางปรัชญา หลักฐานดังกล่าวเรียกว่าการหักล้างสมมติฐาน อย่างไรก็ตาม ภายใต้ทฤษฎีของโฮลิซึมการยืนยันเป็นไปได้เสมอที่จะรักษาสมมติฐานที่กำหนดจากการหักล้าง เนื่องจากข้อสังเกตที่หักล้างใดๆ ก็ตามนั้นฝังอยู่ในพื้นฐานทางทฤษฎี ซึ่งสามารถปรับเปลี่ยนได้เพื่อรักษาสมมติฐานไว้คาร์ล ป็อปเปอร์ยอมรับเรื่องนี้ แต่ยืนยันว่าแนวทางวิพากษ์วิจารณ์ที่เคารพกฎวิธีวิทยาที่หลีกเลี่ยงกลยุทธ์การสร้างภูมิคุ้มกัน ดัง กล่าวเอื้อต่อความก้าวหน้าของวิทยาศาสตร์^{[ 9 ]}

นักฟิสิกส์Sean Carrollอ้างว่าแบบจำลองนี้ละเลยความไม่แน่นอน^{[ 10 ]}

แนวทางสมมติฐานเชิงอนุมานแตกต่างจากแบบจำลองการวิจัยอื่นๆ เช่นแนวทางอุปมานหรือทฤษฎีพื้นฐาน ในระเบียบวิธีการแพร่กระจายข้อมูล แนวทางสมมติฐานเชิงอนุมานถูกรวมอยู่ในกระบวนทัศน์ของลัทธิปฏิบัตินิยมซึ่งมีความสัมพันธ์ระหว่างตัวแปรสี่ประเภท ได้แก่ เชิงพรรณนา อิทธิพล ตามช่วงเวลา หรือเชิงสาเหตุ ตัวแปรถูกจัดกลุ่มเป็นสองกลุ่ม คือ โครงสร้างและหน้าที่ การจัดกลุ่มนี้เป็นตัวขับเคลื่อนการกำหนดสมมติฐานและการทดสอบทางสถิติที่จะดำเนินการกับข้อมูลเพื่อเพิ่มประสิทธิภาพของการวิจัย^{[ 11 ]}

• อคติในการยืนยัน
• กฎเกณฑ์เชิงอนุมาน
• คำอธิบายและคำอธิบาย
• การสอบถาม
• แบบจำลองของการสืบสวนทางวิทยาศาสตร์
• ปรัชญาของวิทยาศาสตร์
• ปรัชญาปฏิบัตินิยม
• วิธีการทางวิทยาศาสตร์
• ทฤษฎีการตรวจสอบความหมาย
• เจตจำนงที่จะเชื่อในหลักคำสอน

• การอนุมานที่แข็งแกร่ง
• การให้เหตุผลแบบอุปนัย
• การให้เหตุผลแบบนิรนัย
• การให้เหตุผลแบบอุปนัย
• การเปรียบเทียบ