ĐịNh Nghĩa logic

Khoa học dựa trên luật pháp, phương thức và hình thức tri thức khoa học được biết đến dưới cái tên logic . Đây là một khoa học chính thức thiếu nội dung vì nó tập trung vào nghiên cứu các phương án suy luận hợp lệ . Điều đó có nghĩa là, nó đề xuất nghiên cứu các phương pháp và các nguyên tắc phù hợp để xác định lý do chính xác trái ngược với lý do không.

Aristotle

Từ nguyên cho phép biết rằng thuật ngữ 'logic' có nguồn gốc từ từ tiếng Latin logĭca, từ đó xuất phát từ logikós của Hy Lạp (từ logo, "lý do" hoặc "nghiên cứu" ). Nhà triết học Hy Lạp Aristotle, chuyên gia về các câu hỏi lịch sử, đã tiên phong trong việc sử dụng khái niệm này để đặt tên cho việc kiểm tra các lập luận là chỉ số của sự thật trong khoa học và đưa ra tam đoạn luận như một lập luận hợp lệ.

Tuy nhiên, chúng ta không thể bỏ qua rằng trong suốt lịch sử có nhiều nhân vật khác đã đóng góp ý tưởng và phương pháp tiếp cận của họ để phát triển khoa học này. Do đó, chẳng hạn, trong thời Trung cổ, chúng ta phải nhấn mạnh vai trò của Averroes, nhà triết học Cordovan, trong số những người khác, tuyên bố rằng đó là cơ bản để nghiên cứu logic của các bậc thầy cũ và từ đó, tiến tới " triết lý "theo cách đúng đắn.

Vào thế kỷ thứ mười tám và mười chín, một trong những nhân vật đề cập nhiều nhất đến chủ đề logic là Immanuel Kant. Đây được coi là một trong những nhà tư tưởng quan trọng và có ảnh hưởng nhất trong lịch sử và đáng chú ý vì thực tế là trong vấn đề này, chúng tôi đã thiết lập một khái niệm mới: logic siêu việt.

Một thuật ngữ mà nhà triết học gốc Phổ đã cố gắng xác định quá trình con người phải thực hiện một cuộc điều tra về những gì sẽ trở thành khái niệm thuần túy của các thể loại thuộc loại siêu việt hoặc cũng là sự hiểu biết chính xác .

Hegel, Augustus De Morgan, John Venn hay Gottlob Frege là những tác giả khác đã xuất sắc trong lĩnh vực logic và đặc biệt là sau này đã gây ra một cuộc cách mạng xác thực với lý thuyết của họ. Do đó, nó được xem xét, cùng với Aristotle đã nói ở trên, là nhà logic học quan trọng nhất của tất cả lịch sử. Và đó là ông đã thiết lập các khái niệm về bằng chứng, logic vị ngữ hoặc ngôn ngữ chính thức.

Aristotle được coi là cha đẻ của logic hình thức . Mặt khác, logic không chính thức đề cập đến việc kiểm tra một cách có phương pháp các lập luận có thể xảy ra dựa trên câu chuyện ngụ ngôn, hùng biện và triết học, trong số các ngành khoa học khác. Mục tiêu của nó là sự công nhận các nghịch lý và ngụy biện, cũng như là một nguồn lực hiệu quả để xây dựng các bài phát biểu một cách chính xác.

Logic tự nhiên là khả năng tự nhiên để lý luận mà không lôi cuốn khoa học. Mặt khác, cái gọi là logic mờ hoặc khuếch tán là một thứ dự tính một sự không chắc chắn nhất định khi phân tích tính chất đúng hoặc sai của các mệnh đề, tương tự như lý luận phù hợp với con người.

Mặt khác, logic toán học được đặc trưng bằng cách sử dụng ngôn ngữ tượng trưng nhân tạo và sự trừu tượng hóa nội dung.

Có các loại hoặc các lớp logic khác, chẳng hạn như lệnh gọi logic nhị phân, hoạt động với các biến chỉ lấy hai giá trị rời rạc.

Đề XuấT