• Logic là gì?
• Lôgic triết học
• Logic học Aristotle
• Lôgic toán học
• Logic tính toán
• Logic chính thức và không chính thức

Chúng tôi giải thích logic là gì và các đặc điểm của logic triết học, Aristotle, toán học, tính toán, chính thức và không chính thức.

Logic được sử dụng trong các quy trình khác nhau như chứng minh, suy luận hoặc suy diễn.

Logic là gì?

Logic là một khoa học chính thức, là một phần của triết lý và của môn Toán. Nó tập trung vào việc nghiên cứu các thủ tục hợp lệ và không hợp lệ của tư tưởng, nghĩa là, trong các quá trình như chứng minh, suy luận hoặc suy diễn, cũng như trong các khái niệm như ngụy biện, nghịch lý và sự thật.

Logic là một kỷ luật cực kỳ cổ xưa, được sinh ra độc lập giữa các nhà tư tưởng vĩ đại nền văn minh cổ điển và cổ đại, như người Trung Quốc, người Hy Lạp hoặc người Ấn Độ. Ngay từ đầu, nó được hiểu là một cách đánh giá suy nghĩ để kiểm tra tính hợp lệ chính thức của nó, nghĩa là, để nhận ra đâu là thủ tục lý tưởng của lý luận, điều thực sự dẫn đến sự thật.

Tuy nhiên, từ thế kỷ 20 trở đi, nó được coi là một lĩnh vực gần giống với toán học hơn, vì các ứng dụng của nó đã đạt được tầm quan trọng lớn về mặt công nghiệp, xã hội và công nghệ.

Từ "logic" có nguồn gốc trong tiếng Hy Lạp logiké ("Được phú cho lý do"), từ thuật ngữ biểu tượng, tương đương với "từ" hoặc "suy nghĩ" như nhau.

Tuy nhiên, trong ngôn ngữ hàng ngày, chúng ta sử dụng từ này như một từ đồng nghĩa với "ý thức chung", nghĩa là theo cách suy nghĩ có giá trị hoặc có giá trị, theo cách tương ứng của chúng. bối cảnh khả thi. Nó cũng được sử dụng như một đồng nghĩa về "cách suy nghĩ", như khi đề cập đến "logic thể thao", "logic quân sự", v.v.

Lôgic triết học

Với thuật ngữ này, chúng tôi gọi các lĩnh vực triết học trong đó phương pháp logic để giải quyết hoặc thúc đẩy các tình huống khó xử triết học nhất định, có thể được xử lý trong logic truyền thống được coi là hoặc ngược lại, logic phi cổ điển. Nói cách khác, logic trong khuôn khổ triết học.

Đây là một kỷ luật rất gần với triết lý của ngôn ngữ, và về cơ bản là sự tiếp nối logic của thời cổ đại, tập trung vào tư tưởng và ngôn ngữ tự nhiên. Chúng tôi thường sử dụng tên này để phân biệt nó với logic toán học mới nhất.

Logic học Aristotle

Trong logic triết học, truyền thống tư tưởng bắt đầu với các tác phẩm của nhà triết học Hy Lạp Aristotle de Estagira (384-322 TCN), được coi là người sáng lập phương Tây của logic và là một trong những tác giả quan trọng nhất, được gọi là logic Aristotle. truyền thống triết học của thế giới.

Các công trình chính của Aristotle về logic được tập hợp trong Đàn organ (từ "nhạc cụ" trong tiếng Hy Lạp), được biên soạn bởi Andronicus ở Rhodes vài thế kỷ sau khi viết. Trong họ, toàn bộ hệ thống logic mở ra có ảnh hưởng cực kỳ lớn đến Châu Âu và Trung Đông cho đến sau này Tuổi trung niên.

Hơn nữa, trong công trình này, Aristotle đã công nhận các tiên đề cơ bản của logic:

• Nguyên tắc không mâu thuẫn. Theo đó cái gì đó không thể có và không đồng thời (A và ¬A không thể đúng cùng một lúc).
• Nguyên tắc nhận dạng. Theo đó một cái gì đó luôn đồng nhất với chính nó (A luôn bằng A).
• Nguyên tắc của thứ ba bị loại trừ. Theo đó một cái gì đó đúng hoặc không đúng, không có bất kỳ sự phân cấp nào có thể xảy ra (A hoặc sau đó ¬A).

Lôgic toán học

Nó được gọi là lôgic toán học, còn được gọi là lôgic biểu tượng, lôgic hình thức, lôgic lý thuyết hoặc lôgic hậu cần, đối với ứng dụng của suy nghĩ logic đến một số lĩnh vực toán học và khoa học.

Điều này ngụ ý việc nghiên cứu quá trình suy luận, thông qua các hệ thống biểu diễn chính thức, chẳng hạn như logic mệnh đề, logic phương thức hoặc logic bậc nhất, cho phép "dịch" ngôn ngữ tự nhiên sang ngôn ngữ toán học để phát triển các minh chứng chặt chẽ.

Lôgic toán học bao gồm bốn lĩnh vực chính, đó là:

• Lý thuyết mô hình. Trong đó đề xuất việc nghiên cứu các lý thuyết tiên đề và logic toán học thông qua các cấu trúc toán học được gọi là nhóm, cơ thể hoặc đồ thị, do đó quy một nội dung ngữ nghĩa cho các cấu trúc logic thuần túy hình thức.
• Thuyết minh. Còn được gọi là lý thuyết chứng minh, nó đề xuất các chứng minh bằng các đối tượng toán học và kỹ thuật toán học như một cách để kiểm tra các vấn đề logic. Do đó, nơi lý thuyết mô hình đề cập đến việc đưa ra một ngữ nghĩa (một ý nghĩa) đối với các cấu trúc chính thức của logic, Lý thuyết về Chứng minh đề cập đến cú pháp (thứ tự của nó).
• Học thuyết về bộ. Tập trung vào việc nghiên cứu các tập hợp trừu tượng của các đối tượng, được hiểu trong bản thân chúng là các đối tượng, cũng như các hoạt động và mối quan hệ cơ bản của chúng. Nhánh logic toán học này là một trong những nhánh cơ bản nhất tồn tại, đến mức nó tạo thành một công cụ cơ bản của bất kỳ lý thuyết toán học nào.
• Lý thuyết tính toán. Khu vực chia sẻ giữa toán học và tin học hoặc là tin học, nghiên cứu các vấn đề quyết định mà thuật toán (tương đương với máy Turing) có thể đối phó. Để làm được điều này, ông sử dụng lý thuyết tập hợp, hiểu chúng là những tập hợp có thể tính toán được hoặc không thể tính toán được.

Logic tính toán

Logic tính toán tạo ra các hệ thống tính toán thông minh.

Logic tính toán là cùng một logic toán học nhưng được áp dụng cho lĩnh vực máy tính, nghĩa là, ở các cấp độ cơ bản khác nhau của tính toán: mạch tính toán, lập trình logic và các thuật toán quản lý. Trí tuệ nhân tạo, một lĩnh vực tương đối gần đây trong khu vực, cũng là một phần của nó.

Có thể nói, nói rộng ra, logic tính toán mong muốn cung cấp cho một hệ thống máy tính thông qua các cấu trúc logic thể hiện, bằng ngôn ngữ toán học, các khả năng suy nghĩ khác nhau của con người, do đó tạo ra các hệ thống máy tính thông minh.

Logic chính thức và không chính thức

Một sự khác biệt cũng thường được thực hiện giữa hai lĩnh vực logic riêng biệt: chính thức và không chính thức, dựa trên cách tiếp cận của họ đối với ngôn ngữ mà các phát biểu được diễn đạt.

• Logic chính thức. Đó là ngôn ngữ quan tâm đến ngôn ngữ chính thống, nghĩa là, cách diễn đạt nội dung của nó, sử dụng chúng một cách chặt chẽ, không mơ hồ, theo cách mà con đường suy diễn có thể được phân tích từ tính hợp lệ của nội dung của nó. hình dạng (do đó tên của nó).
• Logic không chính thức. Thay vào đó, hãy nghiên cứu tranh luận một posteriori, phân biệt các dạng hợp lệ và không hợp lệ với thông tin được đưa ra, bất kể dạng logic hoặc ngôn ngữ chính thức của nó là gì. Biến thể này xuất hiện vào giữa thế kỷ 20 như một bộ môn trong triết học.