Từ Aristotle, phái Khắc kỷ, Mặc gia tới Frege, Russell và Smullyan — những người làm nên logic.
Lịch sử logic học
Organon gồm sáu tác phẩm logic của Aristotle, từ Phạm trù tới Bác bỏ ngụy biện. Người đời sau đặt tên "công cụ" vì coi logic là dụng cụ chung cho mọi ngành.
Lịch sử logic học
Phái Khắc kỷ lấy cả câu làm đơn vị suy luận. Chrysippus nêu năm lối suy luận không cần chứng minh, gồm modus ponens, modus tollens và hai lối với chữ "hoặc".
Lịch sử logic học
Mặc kinh là sáu thiên logic trong sách Mặc Tử của phái Hậu Mặc, thế kỷ IV–III TCN: định nghĩa tên gọi, điều kiện cần và đủ, bảy phép lập luận và phép mâu.
Lịch sử logic học
Logic Trung Cổ không chỉ chép Aristotle: Boethius dịch Organon, thế kỷ XIII có thuyết suppositio và thơ Barbara, Ockham phát biểu bằng lời luật De Morgan.
Lịch sử logic học
Leibniz mơ một ngôn ngữ ký hiệu cho mọi khái niệm và một phép tính cho suy luận, để tranh cãi được giải bằng câu "hãy cùng tính". Giấc mơ ấy mở đường cho logic
Lịch sử logic học
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.
Lịch sử logic học
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
Mệnh đề *54.43 tập I Principia Mathematica chỉ chuẩn bị cho 1 + 1 = 2; phép cộng được định nghĩa và kết quả hoàn tất ở tập II. Vì sao Whitehead và Russell viết
Lịch sử logic học
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ậ
Lịch sử logic học
Raymond Smullyan, học trò Alonzo Church, viết sách câu đố hiệp sĩ – kẻ nói dối dẫn người đọc tới định lý bất toàn của Gödel và chuẩn hoá phương pháp bảng phân t
