4 loại logic quan trọng nhất (và tính năng)

Logic là nghiên cứu về lý luận và suy luận. Đó là một bộ câu hỏi và phân tích đã cho phép chúng tôi hiểu các đối số hợp lệ khác với ngụy biện như thế nào và cách chúng tôi đến những điều này.

Đối với điều này, nó đã không thể thiếu sự phát triển của các hệ thống và hình thức nghiên cứu khác nhau, dẫn đến bốn loại logic chính. Chúng ta sẽ thấy bên dưới những gì họ nói về.

• Bài viết được đề xuất: ["10 loại ngụy biện logic và lập luận"] (10 loại ngụy biện logic và lập luận)

Logic là gì?

Từ "logic" xuất phát từ "logo" trong tiếng Hy Lạp có thể được dịch theo nhiều cách khác nhau: từ, suy nghĩ, lập luận, nguyên tắc hoặc lý do là một số từ chính. Theo nghĩa này, logic là nghiên cứu về các nguyên tắc và lý luận.

Nghiên cứu này nhằm tìm hiểu các tiêu chí khác nhau của suy luận và cách chúng tôi đến các cuộc biểu tình hợp lệ, trái ngược với các cuộc biểu tình không hợp lệ. Vì vậy, câu hỏi cơ bản của logic là suy nghĩ chính xác là gì và làm thế nào chúng ta có thể phân biệt giữa một đối số hợp lệ và sai lầm??

Để trả lời câu hỏi này, logic đề xuất các cách khác nhau để phân loại các phát biểu và lập luận, cho dù chúng xảy ra trong một hệ thống chính thức hoặc bằng ngôn ngữ tự nhiên. Cụ thể, nó phân tích các mệnh đề (câu tuyên bố) có thể đúng hoặc sai, cũng như ngụy biện, nghịch lý, lập luận liên quan đến quan hệ nhân quả và, nói chung, lý thuyết về lập luận..

Nói chung, để coi một hệ thống là hợp lý, chúng phải đáp ứng ba tiêu chí:

• Kiên định (không có mâu thuẫn giữa các định lý tạo nên hệ thống)
• Sức mạnh (hệ thống kiểm tra không bao gồm suy luận sai)
• Hoàn thành (tất cả các câu đúng phải có thể được chứng minh)

4 loại logic

Như chúng ta đã thấy, logic sử dụng các công cụ khác nhau để hiểu lý do chúng ta sử dụng để biện minh cho điều gì đó. Theo truyền thống, bốn loại logic chính được công nhận, mỗi loại có một số kiểu con và đặc thù. Chúng ta sẽ thấy bên dưới mỗi người nói về cái gì.

1. Logic hình thức

Còn được gọi là logic truyền thống hoặc logic triết học, đó là về nghiên cứu các suy luận với nội dung hoàn toàn chính thức và rõ ràng. Đó là về việc phân tích các tuyên bố chính thức (logic hoặc toán học), có ý nghĩa không phải là nội tại nhưng các biểu tượng của nó có ý nghĩa bởi ứng dụng hữu ích được đưa ra. Truyền thống triết học mà từ đó xuất phát sau này được gọi chính xác là "chủ nghĩa hình thức".

Đổi lại, một hệ thống chính thức là một hệ thống được sử dụng để rút ra kết luận từ một hoặc nhiều cơ sở. Cái sau có thể là tiên đề (mệnh đề tự hiển nhiên) hoặc định lý (kết luận của một bộ quy tắc suy luận và tiên đề cố định).

2. Logic không chính thức

Về phần mình, logic không chính thức là một môn học gần đây hơn, trong đó nghiên cứu, đánh giá và phân tích các đối số được hiển thị bằng ngôn ngữ tự nhiên hoặc hàng ngày. Do đó, nó nhận được danh mục "không chính thức". Nó có thể là ngôn ngữ nói hoặc ngôn ngữ viết hoặc, bất kỳ loại cơ chế và tương tác nào được sử dụng để giao tiếp một cái gì đó. Không giống như logic chính thức, ví dụ sẽ áp dụng cho việc nghiên cứu và phát triển ngôn ngữ máy tính; ngôn ngữ chính thức đề cập đến ngôn ngữ và ngôn ngữ.

Do đó, logic không chính thức có thể phân tích từ lý luận cá nhân và lập luận đến các cuộc tranh luận chính trị, lập luận pháp lý hoặc các cơ sở được truyền thông phổ biến như báo chí, truyền hình, internet, v.v..

3. Logic tượng trưng

Như tên của nó, logic biểu tượng phân tích các mối quan hệ giữa các biểu tượng. Đôi khi nó sử dụng ngôn ngữ toán học phức tạp, vì nó chịu trách nhiệm nghiên cứu các vấn đề mà logic hình thức truyền thống gặp khó khăn hoặc khó giải quyết. Nó thường được chia thành hai loại phụ:

• Logic dự đoán hoặc thứ tự đầu tiên: nó là một hệ thống chính thức bao gồm các công thức và các biến định lượng
• Đề xuất: nó là một hệ thống chính thức bao gồm các mệnh đề, có thể tạo ra các mệnh đề khác thông qua các kết nối được gọi là "liên kết logic". Trong đó hầu như không có biến định lượng.

4. Logic toán học

Tùy thuộc vào tác giả mô tả nó, logic toán học có thể được coi là một loại logic chính thức. Những người khác cho rằng logic toán học bao gồm cả việc áp dụng logic hình thức vào toán học và ứng dụng lý luận toán học vào logic hình thức.

Nói rộng hơn, việc áp dụng ngôn ngữ toán học trong việc xây dựng các hệ thống logic giúp tái tạo tâm trí con người. Ví dụ, điều này đã rất hiện diện trong sự phát triển của trí tuệ nhân tạo và trong các mô hình tính toán của nghiên cứu về nhận thức.

Nó thường được chia thành hai loại phụ:

• Logic: đó là về ứng dụng logic trong toán học. Ví dụ về loại này là lý thuyết về kiểm tra, lý thuyết về mô hình, lý thuyết về tập hợp và lý thuyết về đệ quy.
• Trực giác: lập luận rằng cả logic và toán học là các phương pháp có ứng dụng phù hợp để thực hiện các cấu trúc tinh thần phức tạp. Nhưng, ông nói rằng bản thân họ, logic và toán học không thể giải thích các thuộc tính sâu sắc của các yếu tố họ phân tích.

Lý luận quy nạp, suy diễn và phương thức

Mặt khác, Có ba loại lý luận cũng có thể được coi là hệ thống logic. Đây là những cơ chế cho phép chúng tôi rút ra kết luận từ cơ sở. Suy luận suy diễn làm cho việc trích xuất như vậy từ một tiền đề chung đến một tiền đề cụ thể. Một ví dụ kinh điển là đề xuất của Aristotle: Tất cả con người đều là phàm nhân (đây là tiền đề chung); Socrates là một con người (nó là tiền đề chính), và cuối cùng, Socrates là phàm nhân (đây là kết luận).

Mặt khác, một lý luận quy nạp là quá trình bằng cách rút ra một kết luận theo hướng ngược lại: từ cụ thể đến chung chung. Một ví dụ về điều này sẽ là "Tất cả những con quạ tôi có thể nhìn thấy đều màu đen" (tiền đề cụ thể); Sau đó, tất cả các con quạ đều màu đen (kết luận).

Cuối cùng, lý luận hoặc logic phương thức dựa trên các lập luận xác suất, nghĩa là chúng thể hiện một khả năng (một phương thức). Đây là một hệ thống logic chính thức bao gồm các thuật ngữ như "có thể", "có thể", "nên", "cuối cùng".

Tài liệu tham khảo:

• Groarke, L. (2017). Logic không chính thức. Bách khoa toàn thư Stanford. Truy cập ngày 2 tháng 10 năm 2018. Có sẵn tại https://plato.stanford.edu/entries/logic-informal/
• Logic (2018). Những điều cơ bản của triết học. Truy cập ngày 2 tháng 10 năm 2018. Có sẵn tại https://www.phil Triếtbasics.com / branch_logic.html
• Shapiro, S. và Kouri, S. (2018). Logic cổ điển. Truy cập ngày 2 tháng 10 năm 2018. Có sẵn trong Logic (2018). Những điều cơ bản của triết học. Truy cập ngày 2 tháng 10 năm 2018. Có sẵn tại https://www.phil Triếtbasics.com / branch_logic.html
• Garson, J. (2018). Logic phương thức. Bách khoa toàn thư Stanford. Truy cập ngày 2 tháng 10 năm 2018. Có sẵn tại https://plato.stanford.edu/entries/logic-modal/