กฎนิรมัชฌิม

ในตรรกศาสตร์ กฎนิรมัชฌิม (อังกฤษ: law of excluded middle) ระบุว่าสำหรับทุกประพจน์ ประพจน์นั้นจะเป็นจริง หรือนิเสธของประพจน์นั้นจะเป็นจริง อย่างใดอย่างหนึ่งเท่านั้น กฎนิรมัชฌิมเป็นหนึ่งในกฎแห่งความคิดร่วมกับกฎความไม่ขัดแย้งกันและกฎเอกลักษณ์ อย่างไรก็ตาม ไม่มีระบบตรรกะใดที่ถูกสร้างขึ้นโดยอาศัยเพียงแค่กฎเหล่านี้ และไม่มีกฎใด ๆ เหล่านี้ที่ให้กฎการอนุมาน เช่น การแจงผลตามเหตุ หรือกฎเดอมอร์แกน ในตรรกศาสตร์แบบฉบับ กฎนี้ถือเป็นสัจนิรันดร์

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