สมมุติฐานในลอจิกคืออะไร?

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