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