Logic học đại cương
Khái niệm phản ánh dấu hiệu bản chất của đối tượng. Nội hàm là tập dấu hiệu ấy, ngoại diên là tập đối tượng mang chúng; thêm dấu hiệu thì ngoại diên hẹp lại.
Logic học đại cương
Xét theo ngoại diên, hai khái niệm có bốn quan hệ: đồng nhất, bao hàm, giao nhau, tách rời; tách rời gồm mâu thuẫn, đối lập, ngang hàng. Ba câu hỏi để xác định
Logic học đại cương
Định nghĩa đúng nêu giống gần nhất cộng khác biệt về loài và tuân bốn quy tắc. Lỗi quá rộng, quá hẹp, vòng quanh và cách soát bằng phản ví dụ hai chiều.
Logic học đại cương
Phân chia khái niệm phải cân đối, theo một cơ sở, các nhóm loại trừ nhau và không nhảy cấp. Cách nhận ra lỗi chia thiếu, chia thừa, chồng lấn qua ví dụ cụ thể.
Logic học đại cương
Phán đoán khẳng định hay phủ định điều gì đó và luôn đúng hoặc sai. Phán đoán đơn chia theo chất và lượng thành bốn kiểu A, E, I, O, kèm quy tắc chu diên.
Logic học đại cương
Quy luật đồng nhất đòi mỗi khái niệm, phán đoán giữ nguyên một nội dung suốt lập luận, công thức p → p. Vi phạm sinh lỗi đánh tráo khái niệm và đánh tráo luận đ
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
Logic học đại cương
Quy luật lý do đầy đủ, gắn với Leibniz, đòi mọi khẳng định có căn cứ chân thực và đủ để rút ra nó. Năm kiểu vi phạm, lý do khác nguyên nhân, đủ tới mức nào.
Logic học đại cương
Chứng minh dùng luận cứ đúng để rút ra luận đề qua luận chứng hợp lệ. Quy tắc cho từng phần, cách bác bỏ bằng phản ví dụ và vì sao bác luận cứ chưa làm luận đề
Quy nạp & suy luận khoa học
Quy nạp hoàn toàn xét đủ mọi phần tử nên kết luận chắc chắn; quy nạp không hoàn toàn chỉ xét một phần nên có thể sai, như số Fermat hay đa thức n² + n + 41.
