Khái niệm, phán đoán, hình vuông logic, các quy luật cơ bản của tư duy, chứng minh và bác bỏ.
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
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
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 đề
