Lịch sử logic học
Augustus De Morgan và cuộc đổi mới logic học ở thế kỷ 19
Augustus De Morgan đưa vào vũ trụ thảo luận, tam đoạn luận với chữ "phần lớn" và logic quan hệ. Hai luật phủ định mang tên ông vốn đã được Ockham nêu từ trước.
#thế kỷ 19
Lịch sử logic học
Lịch sử logic học
Frege và Begriffsschrift năm 1879: ngày logic hiện đại ra đời
Begriffsschrift của Frege (1879) lần đầu đưa ra lượng từ, biến, hàm và hệ tiên đề rõ ràng cho suy luận, nên được coi là mốc ra đời của logic vị từ hiện đại.
Lịch sử logic học
Lewis Carroll nhà logic: Symbolic Logic và câu đố chuỗi tiền đề
Lewis Carroll là giảng viên toán Oxford, tác giả Symbolic Logic (1896). Ông nổi tiếng với câu đố chuỗi tiền đề và bài Rùa nói gì với Achilles về quy tắc suy luậ