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