- Các loại logic phù hợp nhất
- Logic chính thức
- Logic không chính thức
- Logic phi cổ điển
- Logic tượng trưng
- Logic phương thức
- Logic tính toán
- Người giới thiệu
Có một số loại logic và tất cả đều tập trung đối tượng nghiên cứu của chúng vào việc tìm hiểu lý luận và xác định khi nào chúng đúng hay sai. Việc nghiên cứu logic đã phát triển từ thời nhà triết học Hy Lạp Aristotle cho đến ngày nay.
Đạo đức đã đượ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 ứng dụng hữu hình hơn trong các lĩnh vực khác nhau.
Aristotle, được công nhận là cha đẻ của logic.
Logic tìm kiếm việc nghiên cứu một cách có hệ thống 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 hình thức đơn thuần của những phát biểu này, cũng như những gì liên quan đến nội dung và sức mạnh của nội dung đó.
Mặc dù logic dựa trên việc 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 tính hữu í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, chẳng hạn như toán học và tin học.
Các loại logic phù hợp nhất
Logic chính thức
Logic hình thức, còn được gọi là logic cổ điển hoặc logic Aristotle, là ngành nghiên cứu các mệnh đề, lập luận, phát biểu hoặc câu theo quan điểm cấu trúc. Nó là một phương pháp cấu trúc tư tưởng và xác định các dạng đúng hay sai của một cách tiếp cận cụ thể.
Logic hình thức không tập trung vào tính xác thực hay sai lệch của nội dung của một lập luận cụ thể, mà tập trung vào tính hợp lệ hay không 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 lôgíc học hình thức không phải là thực nghiệm, đối với nhà lôgíc học thì việc xác định xem lập luận được trình bày có thực và được chứng minh hay không là không phù hợp; Đúng hơn, nghiên cứu của ông rõ ràng tập trung vào cấu trúc của lập luận đã nói.
Trong logic hình thức có hai cách 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 phát biểu cụ thể được tạo ra từ các khái niệm chung. Thông qua loại logic này, các suy luận có thể được đưa ra từ các khái niệm hoặc lý thuyết đã tồn tại.
Ví dụ, trong logic suy diễn có thể nói rằng, nếu con người có chân và Clara là 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; nghĩa là các khái niệm chung được tạo ra từ các lý lẽ cụ thể.
Ví dụ, trong logic quy nạp, có thể nói rằng, nếu một con mèo thích cá, con khác cũng thích và con khác cũng vậy, thì tất cả con mèo đều thích cá.
Logic không chính thức
Logic học phi chính thức là nhánh 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.
Lôgic này khác với lôgic hình thức, ở chỗ lôgic hình thức nghiên cứu các 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ội dung của thông điệp được truyền tải.
Đối tượng nghiên cứu của nó là cách lập luận để thu được kết quả mong muốn. Logic phi chính thức mang lại giá trị cho các lập luận logic chặt chẽ hơn giữa những lập luận khác có cấu trúc lập luận yếu hơn.
Logic phi cổ điển
Lôgíc phi cổ điển, hay lôgíc hiện đại, bắt nguồn từ thế kỷ 19 và phát sinh đối lập với các tuyên bố của lôgíc 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 những khía cạnh có thể được đề cập thông qua cách tiếp cận logic cổ điển.
Đây là cách các yếu tố toán học và biểu tượng được đưa vào, các phát biểu hoặc định lý mới ra đời để bù đắp cho những khiếm khuyết của một hệ thống logic chính thức.
Trong logic phi cổ điển có các loại logic con khác nhau, chẳng hạn như phương thức, toán học, hóa trị ba, trong số những loại khác.
Tất cả các loại logic này ở một mức độ nào đó khác 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 việc nghiên cứu logic của một câu lệnh cụ thể trở nên chính xác hơn và phù hợp với tiện ích trong cuộc sống hàng ngày.
Logic tượng trưng
Logic biểu tượng còn được gọi là logic bậc nhất, hoặc logic toán học, và được đặc trưng bởi việc sử dụng các ký hiệu tạo thành một ngôn ngữ mới mà qua đó các đối số được "dịch".
Mục đích của logic biểu tượng là chuyển những suy nghĩ trừu tượng thành những 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 (thành ngữ), mà sử dụng ngôn ngữ kỹ thuật biến 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 có thể được áp dụng trong ngôn ngữ tự nhiên.
Vì vậy, logic biểu tượng cho phép xử lý các mệnh đề thông qua các quy luật giải tích, để 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 việc phân tích các cấu trúc của logic hì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 toán học hay biểu tượng tìm cách thể hiện tư tưởng 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 lập luận và cấu trúc chính xác hơn.
Logic phương thức
Logic phương thức tập trung vào việc nghiên cứu các lập luận, nhưng bổ sung các yếu tố liên quan đến khả năng tuyên bố được đề cập là đúng hay sai.
Logic phương thức cố gắng hòa hợp hơn với suy nghĩ của con người, do đó nó bao gồm việc sử dụng các cấu trúc như "có thể", "có thể", "đôi khi", "có lẽ", "có thể", "có thể xảy ra", "có thể ", trong số khác.
Trong logic phương thức, nó là việc xem xét một kịch bản trong đó có khả năng xảy ra, và nó có xu hướng xem xét tất cả các khả năng có thể tồn tại theo quan điểm logic.
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ỉ nó được ứng dụng trong lĩnh vực máy tính.
Các chương trình máy tính sử dụng ngôn ngữ lập trình để phát triển và thông qua logic, có thể hoạt động trên các hệ thống ngôn ngữ đó, chỉ định các nhiệm vụ cụ thể và thực hiện các hành động xác minh.
Người giới thiệu
- "Logic" trong Encyclopedia Britannica. Được lấy vào ngày 4 tháng 8 năm 2017 từ Encyclopedia Britannica: britannica.com
- "Logic hình thức" trong Encyclopedia Britannica. Được lấy vào 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. Được lấy vào 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 không cổ điển" tại Đại học Complutense của Madrid. Được lấy vào ngày 4 tháng 8 năm 2017 từ Đại học Complutense của Madrid: ucm.es
- Julia, J. "Logic biểu tượng là gì?" trong eHow bằng tiếng Tây Ban Nha. Được lấy vào ngày 4 tháng 8 năm 2017 từ eHow bằng tiếng Tây Ban Nha: ehowenespanol.com
- Oller, C. "Logic chính thức và lập luận" (2006) tại Đại học Quốc gia La Plata. Được lấy vào 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 quy nạp và quy nạp" trong Junta de Extremadura. Được truy cập vào ngày 4 tháng 8 năm 2017 tại Junta de Extremadura: educationarex.es.