6 loại logic chính

Có một số loại logic và tất cả tập trung vào đối tượng nghiên cứu của họ để hiểu lý do và xác định khi chúng đúng hoặc không chính xác.

Nghiên cứu về logic đã phát triển từ thời của triết gia Hy Lạp Aristotle cho đến hiện tại, và điều này đã được điều chỉnh với mục đích cụ thể hơn, đồng thời, thích nghi hơn với cuộc sống hàng ngày của con người, cho phép nó ứng dụng hữu hình hơn trong các lĩnh vực khác nhau.

Logic tìm kiếm nghiên cứu có hệ thống về các lập luận và mệnh đề, và các loại logic khác nhau cho phép có thể nghiên cứu cả cấu trúc chính thức của các tuyên bố này, và liên quan đến nội dung và sức mạnh của nội dung nói.

Mặc dù logic dựa trên nghiên cứu các phát biểu, nó không tập trung rõ ràng vào ngôn ngữ tự nhiên (ngôn ngữ như chúng ta biết), nhưng tiện ích của nó đã đạt đến các lĩnh vực khác nhau và với các cấu trúc khác nhau, như toán học và điện toán.

Các loại logic có liên quan nhất

Chính thức

Logic hình thức, còn được gọi là logic cổ điển hoặc logic Aristoteles, là nghiên cứu về các mệnh đề, lập luận, phát biểu hoặc câu theo quan điểm cấu trúc.

Đó là một phương pháp để cấu trúc suy nghĩ và xác định các hình thức chính xác hoặc không chính xác của một phương pháp cụ thể.

Logic chính thức không tập trung vào sự thật hoặc giả của nội dung của một đối số cụ thể, mà tập trung vào tính hợp lệ hoặc mặt khác của việc xây dựng hình thức của nó.

Điều đó có nghĩa là, đối tượng nghiên cứu của logic hình thức không phải là kinh nghiệm, đối với người logic, nó không liên quan để xác định xem đối số được trình bày là có thật và đã được chứng minh hay không; nhưng nghiên cứu của ông tập trung rõ ràng vào cấu trúc của lập luận.

Trong logic hình thức có hai phân loại rất quan trọng: logic suy diễn và logic quy nạp.

Logic suy diễn đề cập đến những tuyên bố cụ thể được tạo ra từ các khái niệm chung. Thông qua loại logic này, suy luận có thể được thực hiện từ các khái niệm hoặc lý thuyết đã tồn tại.

Ví dụ, trong logic suy diễn, người ta có thể nói rằng, nếu con người có chân và Clara là một con người, thì Clara có chân.

Trong trường hợp logic quy nạp, việc xây dựng các lập luận xảy ra theo cách ngược lại; đó là, các khái niệm chung được tạo ra từ các đối số cụ thể.

Ví dụ, trong logic quy nạp, người ta có thể nói rằng, nếu một con mèo thích cá, một con khác cũng thích nó, và một con khác cũng vậy, thì tất cả các con mèo đều thích cá.

Không chính thức

Logic không chính thức là một nhánh của nghiên cứu tập trung vào ngôn ngữ và thông điệp phát ra từ các cấu trúc và lập luận ngữ nghĩa.

Logic này khác với logic hình thức, trong đó logic hình thức nghiên cứu cấu trúc của câu và mệnh đề; và logic không chính thức tập trung vào nền tảng của thông điệp được truyền đi.

Đối tượng nghiên cứu của nó là cách tranh luận để đạt được kết quả mong muốn. Logic không chính thức mang lại tính hợp lệ cho các đối số logic chặt chẽ hơn giữa các đối số khác có cấu trúc lập luận yếu hơn.

Không cổ điển

Logic phi cổ điển, hay logic hiện đại, bắt nguồn từ thế kỷ XIX và phát sinh đối lập với sự phát âm của logic cổ điển.

Nó thiết lập các hình thức phân tích khác có thể bao gồm nhiều khía cạnh hơn có thể được bao gồm thông qua cách tiếp cận logic cổ điển.

Đây là cách bao gồm các yếu tố toán học và biểu tượng, các phát biểu hoặc định lý mới để bù đắp cho sự thiếu sót của một hệ thống logic chính thức.

Trong logic phi cổ điển có các kiểu con khác nhau của logic, như phương thức, toán học, hóa trị ba, trong số những thứ khác.

Tất cả các loại logic này khác nhau ở một mức độ nào đó so với logic hình thức, hoặc kết hợp các yếu tố mới bổ sung và cho phép nghiên cứu logic của một tuyên bố cụ thể chính xác hơn và thích nghi với tiện ích trong cuộc sống hàng ngày.

Tượng trưng

Logic biểu tượng còn được gọi là logic thứ tự đầu tiên, hay logic toán học, và được đặc trưng bằng cách sử dụng các ký hiệu cấu thành một ngôn ngữ mới thông qua đó để "dịch" các đối số.

Ý định của logic biểu tượng là chuyển đổi những suy nghĩ trừu tượng thành các cấu trúc chính thức hơn.

Trên thực tế, nó không sử dụng ngôn ngữ tự nhiên (ngôn ngữ), mà sử dụng ngôn ngữ kỹ thuật chuyển đổi các câu thành các yếu tố dễ áp ​​dụng các quy tắc chính xác hơn so với các ngôn ngữ có thể được áp dụng trong ngôn ngữ tự nhiên.

Sau đó, logic biểu tượng cho phép xử lý các mệnh đề thông qua các định luật tính toán, để tránh nhầm lẫn hoặc không chính xác.

Nó tìm cách kết hợp các yếu tố toán học trong phân tích các cấu trúc logic chính thức. Trong lĩnh vực toán học, logic được sử dụng để chứng minh các định lý.

Tóm lại, logic biểu tượng hoặc toán học tìm cách thể hiện suy nghĩ của con người thông qua ngôn ngữ toán học.

Ứng dụng toán học này của logic cho phép các đối số và cấu trúc chính xác hơn.

Phương thức

Logic phương thức tập trung vào nghiên cứu các lập luận, nhưng thêm các yếu tố liên quan đến khả năng tuyên bố trong câu hỏi là đúng hoặc sai.

Logic phương thức giả vờ là phụ âm hơn với suy nghĩ của con người, do đó nó bao gồm việc sử dụng các công trình như "có thể", "có thể", "đôi khi", "có lẽ", "có thể", "có thể", "có thể" ", Trong số những người khác.

Trong logic phương thức, đó là về việc xem xét một kịch bản trong đó có một khả năng, và người ta có xu hướng xem xét tất cả các khả năng có thể tồn tại, từ quan điểm logic.

Tính toán

Logic tính toán là một loại logic xuất phát từ logic biểu tượng hoặc toán học, chỉ có điều nó được áp dụng trong lĩnh vực điện toán.

Các chương trình máy tính sử dụng ngôn ngữ lập trình cho sự phát triển của chúng và thông qua logic, có thể làm việc trên các hệ thống ngôn ngữ đó, phân công các nhiệm vụ cụ thể và thực hiện các hành động xác minh.