LOGIC HÌNH THỨC: ĐỐI TƯỢNG NGHIÊN CỨU, ĐẶC ĐIỂM VÀ VÍ DỤ - TRIẾT HỌC - 2026

Các logic hình thức , cũng gọi là logic lý thuyết hoặc logic toán, trong đó xác định các hình thức hợp lệ và chính xác của lý luận là. Thông qua thực hành này, chúng tôi tìm cách phân biệt điều gì đúng với điều gì không chính xác.

Trong logic hình thức, các ký hiệu được sử dụng một cách rõ ràng và theo cách rõ ràng nhất có thể, do đó chúng không thể bị thao túng. Nhờ thực hành này, bạn có thể phát triển những ý tưởng của riêng mình.

Alfred North Whitehead là một trong những người đề xướng logic hình thức. Nguồn: Wellcome Trust

Từ "logic" xuất phát từ tiếng Hy Lạp cổ đại λογικήlogik ḗ, có nghĩa là "được phú cho trí tuệ, lý trí biện chứng, lập luận." Logic là một trong những nhánh của triết học và toán học, và nó được coi là có giá trị sử dụng lớn cho các ngành này.

Nói chung, lôgic học nghiên cứu hình thức của tư tưởng. Các công trình đầu tiên được thực hiện liên quan đến logic được cho là của nhà triết học Hy Lạp Aristotle, đó là lý do tại sao ông được biết đến như là cha đẻ của lĩnh vực tư tưởng này.

Trong suốt lịch sử, nhiều nhà triết học, toán học và logic học khác nhau đã bảo vệ logic hình thức. Trong số đó, chúng ta có thể kể tên nhà toán học và nhà logic học Alonzo Church; nhà triết học, toán học và logic học Gottlob Frege; và cả nhà toán học và triết học Alfred North Whitehead.

Alfred Tarski, KurtGödel, Bertrand Russell và Willard Van Orman Quine, trong số những người khác, cũng là những hậu vệ tuyệt vời.

Đối tượng nghiên cứu

Logic hình thức sử dụng các khía cạnh như lý luận, khái niệm, phán đoán và chứng minh làm đối tượng nghiên cứu. Từ những yếu tố này, ông phân tích và nghiên cứu tất cả các nguồn lực của ngôn ngữ và ngữ nghĩa, để đi đến kết luận.

Theo nghĩa này, người ta xác định rằng trong lý luận lôgic hình thức được nghiên cứu từ quan điểm cấu trúc, từ tính hợp lệ hay không hợp lệ của nó.

Logic hình thức không phải là một nghiên cứu thực nghiệm về quá trình lập luận. Cũng không nên nhầm lẫn nó với thuyết phục, vì nó cần cấu trúc của các lập luận để đưa ra kết luận.

Logic này còn được gọi là logic lý thuyết hoặc logic thuần túy, và tìm cách thực hiện một nghiên cứu trừu tượng về nội dung hoặc hình thức logic của các lập luận suy luận, phát biểu, mệnh đề và câu khẳng định được sử dụng.

Thực hiện một nghiên cứu toàn diện về các mẫu logic hình thức sẽ cho phép mỗi cá nhân biết chính xác các quy trình liên quan đến suy nghĩ của họ.

nét đặc trưng

Dưới đây là những đặc điểm cụ thể nhất giúp phân biệt logic hình thức với các loại logic khác:

-Là khoa học nghiên cứu hình thức tiền đề, khác với các loại lôgic học chỉ nghiên cứu vật chất.

-Đó là một cấu trúc không có vật chất.

-Nó được thành lập dưới một tập hợp con của các hệ thống chính thức.

-Áp dụng các phương pháp hiệu quả đến mức thông qua logic hình thức, bạn có thể phân biệt điều gì là sai và điều gì là đúng.

-Các kết luận của suy luận đúng đắn hoặc hợp lệ nảy sinh do cấu trúc của các tiền đề chân chính được phân tích.

-Nghiên cứu và phân tích mọi người để đi thẳng vào suy nghĩ, từ đó có thể thiết lập những khuôn mẫu mới trong tâm trí của mỗi cá nhân.

-Nó có đặc điểm là mang tính biểu tượng.

-Trên quan điểm của một khoa học chính thống, nó đóng một vai trò quan trọng trong toán học, triết học, khoa học máy tính và thống kê.

-Có liên quan đến ngữ pháp do nghiên cứu về ngữ nghĩa.

-Cấu trúc nghiên cứu, đó là lý do tại sao nó được so sánh với toán học.

-Nó cũng liên quan đến tâm lý học vì nó tập trung vào việc nghiên cứu tư tưởng của mỗi cá nhân.

Các loại

Logic Deontic

Nó xuất phát từ tiếng Hy Lạp cổ đại δέον déon và có nghĩa là "điều gì đến hạn" hoặc "điều gì là cần thiết". Nhà logic học người Áo Alois Höffler là người tiên phong cho khái niệm này, nó đề cập đến việc nghiên cứu và phân tích các chuẩn mực.

Logic hóa trị hai

Đây là loại logic chỉ hỗ trợ các giá trị đúng và sai. Anh ta không tin vào sắc thái, mọi thứ đều có màu đen hoặc trắng; thang độ xám là không thể trong loại logic này.

Các nguyên tắc của nó dựa trên logic của Aristotle, đó là sự đồng nhất, không mâu thuẫn và bên thứ ba bị loại trừ.

Logic đa chức năng hoặc đa năng

Loại logic này được sinh ra là kết quả của các nghiên cứu được thực hiện bởi các nhà triết học Jan Łukasiewicz và Emil Post, trong đó họ tuyên bố rằng các giá trị khác với "true" và "false" đã có thể được thừa nhận và những giá trị này trên thực tế có thể đạt được. đến vô cùng.

Theo nghĩa này, nó khác với logic hai chiều, chỉ thừa nhận hai giá trị. Các nghiên cứu chỉ ra rằng logic đa trị hoặc đa năng xử lý các giá trị như khả năng, sự cần thiết, không cần thiết, sự thật, sự giả dối và không thể xảy ra.

Tương tự như vậy, loại logic hình thức này cũng phụ trách nghiên cứu các khía cạnh triết học và cấu trúc của các lập luận.

Ví dụ

Thông qua lôgic hình thức, có thể thêm giá trị của sự thật hoặc giả dối vào một lý luận cụ thể.

Như chúng ta đã giải thích trước đây, logic hình thức không tập trung vào tất cả các khả năng có thể được rút ra từ một lập luận; nó chỉ tập trung vào việc điều này đúng hay sai. Theo nghĩa đó, dưới đây chúng tôi liệt kê một số ví dụ dựa trên logic hình thức:

-Buenos Aires là thủ đô của Argentina; thì tất cả những người sinh ra ở Buenos Aires đều là người Argentina.

-Joao nói tiếng Bồ Đào Nha. Joao sinh ra ở Bồ Đào Nha. Mọi người ở Bồ Đào Nha đều nói tiếng Bồ Đào Nha.

-Con bò cho sữa. Bò là động vật có vú. Tất cả các loài động vật có vú đều cho sữa.

-Pedro là người da trắng và María là tóc nâu, vì vậy có những người da trắng và da nâu.

-María chơi trong dàn nhạc rock. Các nhạc công là những người chơi trong dàn nhạc rock. Maria là một nhạc sĩ.

-José có mái tóc đen. Elena có mái tóc màu nâu. Con gái của họ có thể sinh ra với mái tóc đen hoặc nâu.

-Bàn chân có năm ngón chân. Con người có một bàn chân phải và một bàn chân trái. Mỗi người có mười ngón chân.

-Pain là một quốc gia. Tây Ban Nha vẫn ở châu Âu. Tất cả người Tây Ban Nha đều là người châu Âu.

- Ana là một sinh vật sống. Ana là người phàm. Tất cả các sinh vật đều là sinh tử.

- José bị dính nước. Nước bị ướt.

- Maria ăn đồ nóng của cô ấy. Maria bị bỏng khi ăn thức ăn nóng của mình. Thức ăn nóng bị bỏng.

- Trái đất là một phần của vũ trụ. Trong vũ trụ có các hành tinh. Trái đất là một hành tinh.

- Đèn điện chiếu sáng. Có điện thắp sáng đường phố. Đèn điện thắp sáng các con phố.

Người giới thiệu

1. "Logic hình thức" trong Từ điển bách khoa thế giới mới. Được lấy vào ngày 21 tháng 4 năm 2019 từ Bách khoa toàn thư thế giới mới: newworldencyclopedia.org.
2. Morton L. Schagrin Ge Hughes “Logic chính thức” trong Truy cập ngày 21 tháng 4 năm 2019 từ Britannica: britannica.com.
3. "Logic và phân loại của nó" trong Academy. Được lấy vào ngày 23 tháng 4 năm 2019 từ Academia: academia.edu.
4. "Logic hình thức" trong Từ điển Triết học. Được lấy vào ngày 23 tháng 4 năm 2019 từ Từ điển Triết học: Philosophy.org.
5. "Lôgic hóa trị" trong Từ điển Triết học. Được lấy vào ngày 23 tháng 4 năm 2019 từ Từ điển Triết học: Philosophy.org.
6. "Các khía cạnh chung của logic" trong Tiểu luận của Câu lạc bộ (18 tháng 8 năm 2013). Được lấy vào ngày 23 tháng 4 năm 2019 từ bản dùng thử Club: clubensayos.com.
7. "Deontic logic" trong wikipedia . Được lấy vào ngày 23 tháng 4 năm 2019 từ Wikipedia: es.wikipedia.org.
8. "Logic đa dụng" trong wikipedia . Được lấy vào ngày 23 tháng 4 năm 2019 từ Wikipedia: es.wikipedia.org.
9. "Logic hóa trị" trong wikipedia . Được lấy vào ngày 23 tháng 4 năm 2019 từ Wikipedia: es.wikipedia.org