#Sextus Empiricus

Logic Khắc kỷ: Chrysippus và logic mệnh đề thời cổ đại Hy Lạp

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".