Mở trình đơn chính

Wikipedia β

Quy nạp hay lập luận quy nạp, đôi khi còn được gọi là logic quy nạp, là quá trình lập luận mà trong đó tiên đề của lý lẽ được cho là chứng minh cho kết luận nhưng không đảm bảo nó. Kiểu lập luận này được dùng để gán tính chất hay quan hệ cho một phạm trù dựa trên các ví dụ của phạm trù đó; hoặc để phát triển định luật dựa trên một số giới hạn các quan sát của các hiện tượng lặp đi lặp lại. Quy nạp được ứng dụng trong việc dùng các mệnh đề như:

Nước đá thì lạnh.
Một trái banh bi-da di chuyển khi bị đánh bởi cây cơ.

...để suy ra những mệnh đề tổng quát như:

Tất cả nước đá đều lạnh.
Tất cả banh bi-da bị đánh bởi cây cơ đều di chuyển.

Thư mụcSửa đổi

  • John H. Holland, Keith J. Holyoak, Richard E. Nisbett, and Paul R. Thagard (1989): Induction: Processes of Inference, Learning, and Discovery. Cambridge, MA: The MIT Press, ISBN 0262580969

Tham khảoSửa đổi

Liên kết ngoàiSửa đổi