Chia sẻ:
6 loại logic chính
Có một vài các 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 ý định 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 thuần túy của các tuyên bố này, như những gì phải làm với 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 đúng hoặc không chính xác của một cách tiếp cận 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 đã nói.
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 suy luận logic này có thể được tạo ra 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ó đôi 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á, và 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 để có được kết quả mong muốn. Logic không chính thức xác nhận 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 các tuyên bố 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 quát nhiều khía cạnh hơn khả năng 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 chí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 để qua đó "dịch" các đối số.
Mục đích 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â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 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 tượng trư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 hay 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, vấn đề là 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ó 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..
Tài liệu tham khảo
- "Logic" trong bách khoa toàn thư Britannica. Truy cập ngày 4 tháng 8 năm 2017 từ Encyclopedia Britannica: britannica.com
- "Logic hình thức" trong bách khoa toàn thư Britannica. Truy cập ngày 4 tháng 8 năm 2017 từ Encyclopedia Britannica: britannica.com
- Hernández, F. "Logic tính toán" tại Đại học tự trị quốc gia Mexico. Truy cập ngày 4 tháng 8 năm 2017 từ Đại học Tự trị Quốc gia Mexico: unam.mx
- Muñoz, C. "Logic phi cổ điển" tại Đại học Complutense Madrid. Truy cập ngày 4 tháng 8 năm 2017 từ Đại học Complutense de Madrid: ucm.es
- Julia, J. "Logic tượng trưng là gì?" Trong eHow en Español. Truy cập ngày 4 tháng 8 năm 2017 từ eHow en Español: ehowenespanol.com
- Oller, C. "Logic và lập luận chính thức" (2006) tại Đại học Quốc gia La Plata. Truy cập ngày 4 tháng 8 năm 2017 từ Đại học Quốc gia La Plata: rfytp.fahce.unlp.edu.ar
- "Suy luận suy diễn và quy nạp" trong Junta de Extremadura. Truy cập ngày 4 tháng 8 năm 2017 tại Junta de Extremadura: learnarex.es.