โจทย์หมวดหมู่

โจทย์หมวดหมู่ในเชิงพยางค์หรือตรรกะดั้งเดิมประพจน์หรือคำแถลงซึ่งคำกริยานั้นไม่มีคุณสมบัติยืนยันหรือปฏิเสธทั้งหมดหรือบางส่วนของหัวเรื่อง ดังนั้นประพจน์เชิงหมวดหมู่จึงมีรูปแบบพื้นฐาน 4 รูปแบบ ได้แก่ “ ทุกSคือP ”“ ไม่มีSคือP ”“ SบางตัวคือP ” และ“ Sบางตัวไม่ใช่พี ” รูปแบบเหล่านี้กำหนดโดยตัวอักษรA, E , IและOตามลำดับตัวอย่างเช่น "มนุษย์ทุกคนเป็นมรรตัย" คือA-โจทย์. ประพจน์หมวดหมู่จะต้องแตกต่างจากประพจน์เชิงซ้อนและประพจน์ที่ซับซ้อน โดยเฉพาะอย่างยิ่งการยืนยันความเป็นจริงมากกว่าการเชื่อมต่อเชิงตรรกะพวกเขาตรงกันข้ามโดยเฉพาะอย่างยิ่งกับข้อเสนอเชิงสมมุติเช่น“ ถ้าทุกคนเป็นมนุษย์โสกราตีสก็เป็นมรรตัย”

เวนน์ไดอะแกรมของประพจน์เชิงหมวดหมู่ บทความนี้ได้รับการแก้ไขและปรับปรุงล่าสุดโดย John M. Cunningham, Readers Editor