ตรรกศาสตร์คลุมเครือ
ตรรกศาสตร์คลุมเครือนั้น สามารถระบุค่าความเป็นสมาชิกของเซต (set membership values) ด้วยค่าระหว่าง 0 และ 1 ทำให้เกิดระดับกึ่งในลักษณะของ สีเทา นอกจาก ขาว และ ดำ ซึ่งมีประโยชน์ในการจำลองระดับซึ่งสามารถระบุด้วยคำพูด "เล็กน้อย" "ค่อนข้าง" "มาก" โดยใช้ค่าความเป็นสมาชิกของเซตบางส่วน ตรรกศาสตร์คลุมเครือนี้มีความสัมพันธ์กับ เซตวิภัชนัย (en:fuzzy set) และ ทฤษฎีความเป็นไปได้ (en:possibility theory) ซึ่งคิดค้นขึ้นในปี ค.ศ. 1965 โดยศาสตราจารย์ ลอตฟี ซาเดห์ แห่งมหาวิทยาลัยแห่งรัฐแคลิฟอร์เนีย เบิร์กลีย์
ควร์ท เกอเดิล
ควร์ท ฟรีดริช เกอเดิล (; 28 เมษายน ค.ศ. 1906 – 14 มกราคม ค.ศ. 1978) เป็นนักปรัชญา นักคณิตศาสตร์ และนักปรัชญาชาวออสเตรีย และต่อมาชาวอเมริกัน ถือว่าเป็นนักตรรกศาสตร์คนสำคัญที่สุดคนหนึ่งในประวัติศาสตร์ร่วมกับอาริสโตเติล, แอลฟริด ทาร์สกี และก็อทโลพ เฟรเกอ เกอเดิลสร้างผลกระทบใหญ่หลวงต่อการคิดวิทยาศาสตร์และปรัชญาในคริสต์ศตวรรษที่ 20 ซึ่งขณะนั้น เมื่อผู้อื่นอย่างเบอร์ทรันด์ รัสเซลล์, แอลฟริด นอร์ท ไวต์เฮด, และดาวิท ฮิลเบิร์ท บุกเบิกการใช้ตรรกะและทฤษฎีเซตเพื่อทำความเข้าใจรากฐานแห่งคณิตศาสตร์