Logic học đại cương
Hình vuông logic nối bốn phán đoán A, E, I, O: A–O, E–I mâu thuẫn; A–E đối chọi trên; I–O đối chọi dưới; A–I, E–O thứ bậc. Bảng suy luận và giả định tồn tại.
Logic học đại cương
Cấm mâu thuẫn: hai phán đoán mâu thuẫn không cùng đúng, ¬(p ∧ ¬p). Bài trung: trong hai phán đoán mâu thuẫn ít nhất một đúng, p ∨ ¬p, và chỉ dành cho cặp mâu th
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.
