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