syllogism เป็น ข้อโต้แย้งที่ประกอบด้วยสามข้อเสนอ; ของพวกเขาคนสุดท้ายคือคนที่มักจะอนุมานจากคนก่อนหน้า คำที่มาจากแนวคิดละติน syllogĭsmus ซึ่งในที่สุดก็พบว่าต้นกำเนิดของมันในคำภาษากรีก

จะต้องเน้นว่าบิดาแห่งการอ้างเหตุผลเป็นนักคิดและนักปรัชญาชาวกรีกผู้ยิ่งใหญ่อริสโตเติล ดังนั้นนี่เป็นครั้งแรกที่ใช้คำนี้เริ่มต้นหรือสร้างสิ่งที่เรียกว่าการตัดสินของอริสโตเติ้ล โดยเฉพาะภายใต้การตั้งค่าเป็นชุดของคำที่มารวมกันและก่อให้เกิดการเรียกตรรกะ

อย่างแม่นยำยิ่งขึ้นตามที่ผู้เขียนคำเหล่านั้นไม่ได้เป็นอะไรมากไปกว่าการรวมกันของหัวเรื่องและภาคแสดง ทั้งหมดนี้สามารถไตร่ตรองและศึกษาผ่านผลงานที่สำคัญที่สุดบางชิ้นของงานชิ้นนั้นตัวอย่างเช่น First Analytical หรือ The Organon ซึ่งเป็นบทสรุปของผลงานที่ดีที่สุดของเขา

มันสามารถถือได้ว่าเป็นกิริยาช่วยของ เหตุผลแบบนิรนัย ซึ่งทั้งสองข้อเสนอเป็น สถานที่ และส่วนที่เหลือทำงานเป็น ข้อสรุป การอ้างเหตุผลเป็นข้อโต้แย้งที่อิงมาก่อนที่เปรียบเทียบสองแนวคิดกับหนึ่งในสามช่วยให้อนุมานหรืออนุมานผลที่ตามมา

กล่าวอีกนัยหนึ่งมันอาจกล่าวได้ว่าแบบจำลองการอ้างเหตุผลประกอบด้วยสามข้อเสนอที่รวมถึง คำกลาง (ซึ่งเป็นเรื่องปกติของทั้งสองสถานที่และทิ้งในบทสรุป) และสุดขั้วทั้งสอง หนึ่งในตัวอย่างที่พบบ่อยที่สุดคือ:

"มนุษย์ทุกคนเป็นมนุษย์"
"อริสโตเติลเป็นมนุษย์"
"ดังนั้นอริสโตเติลจึงตาย"

เราต้องจำไว้ว่าการอ้างเหตุผลไม่ได้ทำให้เกิดข้อสรุปที่แท้จริงเสมอไปนอกเหนือจากการใช้เหตุผลในรูปแบบที่ถูกต้อง ตัวอย่างเช่น

"สุนัขทุกตัวเป็นลูกสุนัข"
"Snoopy เป็นสุนัข"
"ดังนั้น Snoopy เป็นลูกสุนัข"

ถึงแม้ว่าการอ้างเหตุผลจะถูกต้องจากมุมมองเชิงตรรกะ แต่ข้อสรุปมีตัวละครที่ผิดเนื่องจาก Snoopy เป็นสุนัขที่โกหกและไม่เคยมีลูกสุนัขเลย

มันควรจะสังเกตว่า syllogisms สันนิษฐานว่าจากสองสถานที่เชิงลบข้อสรุปที่ไม่สามารถได้รับ ในทางตรงกันข้ามจากสองสถานที่ยืนยันไม่สามารถได้ข้อสรุปเชิงลบ

ประเภทของการอ้างเหตุผล สามารถแบ่งออกเป็นสี่ร่างต่าง ๆ ที่มีสามคำศัพท์รวม 256 ประเภทของการอ้างเหตุผล: เพียง 19 คนเท่านั้นที่ถูกต้องตามกฎหมาย

ในบรรดา syllogisms ประเภทต่าง ๆ ที่มีอยู่เราสามารถเน้นสามประการได้ ครั้งแรกของสิ่งเหล่านี้เป็นที่เรียกว่าคอมโพสิต syllogism ที่โดดเด่นด้วยความจริงที่ว่าหลักฐานที่สำคัญคือข้อเสนอประกอบและเนื่องจากหลักฐานรองยืนยันหรือปฏิเสธส่วนหนึ่งของก่อนหน้านี้

ประเภทที่สองเรียกว่า syllogism แบบมีเงื่อนไข ตามชื่อของมันบ่งบอกว่าสถานที่ตั้งที่สำคัญคือข้อเสนอชั้นเรียนที่มีเงื่อนไขและสถานที่รองเป็นหมวดหมู่ ในทำนองเดียวกันมีความจำเป็นที่จะต้องเน้นว่าสิ่งนั้นมีสิ่งที่มาก่อนแล้วจึงเป็นสิ่งที่ตามมา

ประเภทที่สามของ syllogism คือสิ่งที่เรียกว่าการแยก ในกรณีเฉพาะนี้หลักฐานที่สำคัญคือการแยกและผู้เยาว์คือสิ่งที่มันยืนยันหรือปฏิเสธหนึ่งในทางเลือกที่เสนอ ตัวอย่างจะเป็นดังต่อไปนี้: ทั้งสองเป็นเลขคู่หรือเป็นเลขคี่ ทั้งสองเป็นเลขคู่ดังนั้นจึงไม่แปลก