Suy diễn so với quy nạp

Suy luận sử dụng thông tin nhất định, cơ sở hoặc các quy tắc chung được chấp nhận để đi đến kết luận đã được chứng minh. Mặt khác, logic quy nạp hoặc lý luận liên quan đến việc khái quát hóa dựa trên hành vi được quan sát trong các trường hợp cụ thể. Đối số suy diễn là hợp lệ hoặc không hợp lệ. Nhưng logic quy nạp cho phép kết luận sai ngay cả khi các tiền đề mà nó dựa trên là chính xác. Vì vậy, lập luận quy nạp là mạnh hay yếu.

Biểu đồ so sánh

Biểu đồ so sánh suy diễn so với quy nạp

	Khấu trừ	Cảm ứng
Giới thiệu (từ Wikipedia)	Lý luận suy diễn, còn được gọi là logic suy diễn, là quá trình suy luận từ một hoặc nhiều tuyên bố chung liên quan đến những gì được biết để đạt được một kết luận chắc chắn về mặt logic.	Lý luận quy nạp, còn được gọi là logic cảm ứng hoặc logic từ dưới lên, xây dựng hoặc đánh giá các đề xuất chung có nguồn gốc từ các ví dụ cụ thể.
Tranh luận	Các đối số trong logic suy diễn là hợp lệ hoặc không hợp lệ. Đối số không hợp lệ luôn không có căn cứ. Đối số hợp lệ chỉ là âm thanh nếu các tiền đề mà chúng dựa trên là đúng.	Luận cứ trong lý luận quy nạp là mạnh hay yếu. Lập luận yếu luôn không đồng nhất. Lập luận mạnh mẽ chỉ là hợp tác nếu các tiền đề mà chúng dựa trên là đúng.
Hiệu lực của kết luận	Kết luận có thể được chứng minh là hợp lệ nếu các cơ sở được biết là đúng.	Kết luận có thể không chính xác ngay cả khi lập luận mạnh và các tiền đề là đúng.

Nội dung: Khấu trừ vs quy nạp

• 1 Lý do suy diễn là gì?
  • 1.1 Đối số âm thanh hoặc không chắc chắn
  • 1.2 Các loại logic suy diễn
• 2 Lý luận quy nạp là gì?
  • 2.1 Đối số không đồng nhất và không đồng nhất
  • 2.2 Các loại lý luận quy nạp
• 3 ví dụ khác
  • 3.1 Ví dụ về lý luận suy diễn
  • 3.2 Ví dụ về lý luận quy nạp
• 4 ứng dụng của lý luận quy nạp và suy diễn
• 5 xu
  • 5.1 Sẵn có Heuristic
  • 5.2 Xác nhận thiên vị
• 6 tài liệu tham khảo

Suy luận suy diễn áp dụng các quy tắc chung để đưa ra kết luận về các trường hợp cụ thể. Lý luận quy nạp quan sát các mẫu trong các trường hợp cụ thể để suy ra kết luận về các quy tắc chung.

Ví dụ: Tất cả đàn ông đều là phàm nhân. John là một người đàn ông. Do đó, John là phàm nhân. Đây là một ví dụ về lý luận suy diễn hợp lệ. Mặt khác, đây là một ví dụ về lý luận quy nạp: Hầu hết đàn ông đều thuận tay phải. John là một người đàn ông. Do đó, John phải thuận tay phải. Sức mạnh của lập luận quy nạp này phụ thuộc vào tỷ lệ phần trăm của những người thuận tay trái trong dân số. Trong mọi trường hợp, kết luận cuối cùng có thể không hợp lệ vì lý luận quy nạp không đảm bảo tính hợp lệ của kết luận.

Lý luận suy diễn là gì?

Lý luận suy diễn (logic từ trên xuống) tương phản với lý luận quy nạp (logic từ dưới lên) và thường bắt đầu bằng một hoặc nhiều tuyên bố chung hoặc tiền đề để đi đến kết luận logic. Nếu các tiền đề là đúng, kết luận phải có giá trị. Phân tích lại suy diễn được sử dụng bởi các nhà khoa học và nhà toán học để chứng minh giả thuyết của họ.

Đối số âm thanh hoặc không chắc chắn

Với lý luận suy diễn, các đối số có thể hợp lệ hoặc không hợp lệ, âm thanh hoặc không có căn cứ. Nếu logic là chính xác, tức là kết luận chảy từ các tiền đề, thì các đối số là hợp lệ. Tuy nhiên, các đối số hợp lệ có thể là âm thanh hoặc không có căn cứ. Nếu các tiền đề được sử dụng trong đối số hợp lệ là đúng, thì đối số là âm thanh nếu không nó là không có căn cứ.

Ví dụ,

1. Tất cả đàn ông có mười ngón tay.
2. John là một người đàn ông.
3. Do đó, John có mười ngón tay..

Lập luận này là hợp lý và hợp lệ. Tuy nhiên, tiền đề "Tất cả đàn ông có mười ngón tay." là không chính xác bởi vì một số người được sinh ra với 11 ngón tay. Do đó, đây là một lập luận không có căn cứ. Lưu ý rằng tất cả các đối số không hợp lệ cũng không có căn cứ.

Các loại logic suy diễn

Luật biệt đội

Một tuyên bố điều kiện duy nhất được đưa ra, và một giả thuyết (P) được nêu. Kết luận (Q) sau đó được suy ra từ tuyên bố và giả thuyết. Ví dụ: sử dụng định luật tách rời dưới dạng câu lệnh if-then: (1.) Nếu một góc A> 90 °, thì A là một góc tù. (2.) A = 125 °. (3.) Do đó, A là một góc tù.

Định luật âm mưu

Định luật tam đoạn luận có hai phát biểu có điều kiện và đưa ra kết luận bằng cách kết hợp giả thuyết của một tuyên bố với kết luận của một tuyên bố khác. Ví dụ: (1.) Nếu phanh không thành công, xe sẽ không dừng lại. (2.) Nếu xe không dừng, sẽ xảy ra tai nạn. (3.) Do đó, nếu phanh không, sẽ xảy ra tai nạn.

Chúng tôi đã suy luận tuyên bố cuối cùng bằng cách kết hợp giả thuyết của tuyên bố đầu tiên với kết luận của tuyên bố thứ hai.

Lý luận quy nạp là gì?

Lý luận quy nạp, hay quy nạp, là lý luận từ một trường hợp hoặc trường hợp cụ thể và rút ra một quy tắc chung. Điều này là trái với phương pháp khoa học. Nó tạo ra sự khái quát bằng cách quan sát các mẫu và vẽ các suy luận có thể không chính xác.

Đối số không đồng nhất và không hợp lệ

Lập luận mạnh mẽ là những lý do nếu tiền đề là đúng thì kết luận rất có thể đúng. Ngược lại, các lập luận quy nạp yếu đến mức chúng có thể sai ngay cả khi các tiền đề mà chúng dựa trên là đúng.

Nếu đối số là mạnh và các tiền đề dựa trên nó là đúng, thì nó được coi là một đối số chung. Nếu đối số yếu hoặc tiền đề mà nó chảy từ sai hoặc không được chứng minh, thì đối số được cho là không đồng nhất.

Ví dụ, đây là một ví dụ về một lập luận mạnh mẽ.

1. Có 20 cốc kem trong tủ đá.
2. 18 trong số đó là hương vani.
3. Do đó, tất cả các cốc kem là vani.

Nếu trong tiền đề tranh luận số 2 là 2 trong số các cốc là vanilla, thì kết luận rằng tất cả các cốc là vanilla sẽ dựa trên một lập luận yếu. Trong cả hai trường hợp, tất cả các tiền đề đều đúng và kết luận có thể không chính xác, nhưng độ mạnh của đối số thay đổi.

Các loại lý luận quy nạp

Sự khái quát

Một khái quát tiến hành từ tiền đề về một mẫu cho đến kết luận về dân số. Ví dụ: (1.) Một mẫu S từ dân số P được chọn. Phần trăm Q của mẫu S có thuộc tính A. (2.) Do đó, phần trăm Q của dân số P có thuộc tính A.

Biểu đồ thống kê

Một tam đoạn luận thống kê tiến hành từ một khái quát đến một kết luận về một cá nhân. Ví dụ: (1.) Một tỷ lệ Q của dân số P có thuộc tính A. (2.) Một cá nhân X là thành viên của P. (3.) Do đó, có một xác suất tương ứng với Q rằng X có thuộc tính A.

Thêm ví dụ

Ví dụ về lý luận suy diễn

Tứ giác ABCD có cạnh AB ll CD (song song) và cạnh BC ll AD. Chứng minh rằng đó là hình bình hành. Để chứng minh điều này, chúng ta phải sử dụng các tuyên bố chung được đưa ra về tứ giác và đi đến kết luận hợp lý.

Một ví dụ khác về logic suy diễn là lý do sau:

1. Tất cả chó tha mồi labrador là chó.
2. Một số chó tha mồi labrador là thú cưng.
3. Do đó, một số con chó là vật nuôi.

Ví dụ về lý luận quy nạp

Nếu ba hình liên tiếp là hình tam giác, hình vuông và hình ngũ giác sẽ là hình tiếp theo? Nếu người lý luận quan sát mẫu, cô sẽ quan sát thấy số cạnh trong hình tăng thêm một và do đó, việc khái quát hóa mẫu này sẽ khiến cô kết luận rằng hình tiếp theo trong chuỗi sẽ là hình lục giác.

Các ứng dụng của lý luận quy nạp và suy diễn

• Khấu trừ cũng có thể tạm thời được sử dụng để kiểm tra cảm ứng bằng cách áp dụng nó ở nơi khác.
• Một định luật khoa học tốt được khái quát hóa cao như thế trong lý luận quy nạp và có thể được áp dụng trong nhiều tình huống để giải thích các hiện tượng khác.
• Suy luận suy diễn được sử dụng để suy ra nhiều thí nghiệm và chứng minh một quy tắc chung.

Thiên kiến

Lý luận quy nạp còn được gọi là xây dựng giả thuyết bởi vì bất kỳ kết luận nào được đưa ra đều dựa trên kiến ​​thức và dự đoán hiện tại. Cũng như các lập luận suy diễn, các thành kiến ​​có thể làm sai lệch ứng dụng thích hợp của lập luận quy nạp, điều này ngăn cản người lý luận hình thành kết luận hợp lý nhất dựa trên các manh mối.

Sẵn có Heuristic

Các heuristic có sẵn làm cho lý do phụ thuộc chủ yếu vào thông tin có sẵn. Mọi người có xu hướng dựa vào thông tin có thể dễ dàng truy cập trong thế giới xung quanh. Điều này có thể giới thiệu sự thiên vị trong lý luận quy nạp.

Khẳng định xác nhận

Xu hướng xác nhận dựa trên xu hướng tự nhiên để xác nhận, thay vì phủ nhận một giả thuyết hiện tại. Ví dụ, trong nhiều thế kỷ, người ta tin rằng mặt trời và các hành tinh quay quanh trái đất.

Người giới thiệu

• Hướng dẫn quy nạp và suy diễn (dành cho giáo viên)
• Giới thiệu về Logic (Đại học Utah)
• Các loại lý luận