Logic hình thức: đối tượng nghiên cứu, đặc điểm, loại và ví dụ

Logic hình thức, còn được gọi là logic lý thuyết hoặc logic toán học, xác định đó là hình thức lý luận hợp lệ và chính xác. Thông qua thực hành này, chúng tôi tìm cách phân biệt đúng và sai.

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

Từ "logic" xuất phát từ tiếng Hy Lạp cổ đại λ γ κή ik ik ik ik, có nghĩa là "có lý do trí tuệ, biện chứng, lý luận". Logic là một trong những nhánh của triết học và toán học, và được coi là rất hữu ích cho các ngành này.

Nói chung, logic nghiên cứu hình thức của suy nghĩ. Các tác phẩm đầu tiên được thực hiện liên quan đến logic được quy cho 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ư duy này.

Trong suốt lịch sử, một số triết gia, nhà toán học và nhà logic học đã 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, nhà toán học và nhà logic học Gottlob Frege; và nhà toán học và triết gia Alfred North Whitehead.

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

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

Logic chính thức sử dụng như một đối tượng của các khía cạnh nghiên cứu như lý luận, khái niệm, phán đoán và trình diễn. Từ những yếu tố này, nó phân tích và nghiên cứu tất cả các tài nguyên 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 logic hình thức, lý luận được nghiên cứu từ điểm có cấu trúc, từ tính hợp lệ hoặc tính vô hiệu 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ý luận. Cũng không nên nhầm lẫn với sự thuyết phục, vì nó cần cấu trúc của các lập luận để có được 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 các hình thức logic của các lập luận, tuyên bố, mệnh đề và câu được sử dụng một cách quyết đoán.

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

Các tính năng

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

-Là một khoa học nghiên cứu hình thức của tiền đề, không giống như các loại logic khác chỉ nghiên cứu về vật liệu.

-Đó là một cấu trúc không có vấn đề.

-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.

-Ứng dụng các phương pháp hiệu quả đến mức thông qua logic hình thức có thể được phân biệt với sai của quyền.

-Các kết luận của lý luận chính xác hoặc hợp lệ phát sinh vì cấu trúc của các cơ sở thực sự được phân tích.

- Nghiên cứu và phân tích con người để trực tiếp đến suy nghĩ, và do đó có thể thiết lập các mô hình mới trong tâm trí của mỗi cá nhân.

-Nó được đặc trưng bởi tính biểu tượng.

-Từ quan điểm của một khoa học chính thức, đó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ê.

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

- Nghiên cứu các cấu trúc, đó 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 nghiên cứu suy nghĩ của mỗi cá nhân.

Các loại

Logic khử trùng

Nó xuất phát từ tiếng Hy Lạp cổ đại [ς ς ς é on cough cough và có nghĩa là "những gì là do" hoặc "những gì là cần thiết". Nhà logic học người Áo Alois Höffler là người khai thác khái niệm này, trong đó đề cập đến việc nghiên cứu và phân tích các tiêu chuẩn.

Logic hai phần

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

Nguyên tắc của nó dựa trên logic Aristoteles, đó là bản sắc, không mâu thuẫn và thứ ba bị loại trừ.

Logic đa năng hoặc đa trị

Loại logic này được sinh ra từ 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 ngoài các giá trị chung "đúng" và "sai" có thể được thừa nhận đến vô cùng.

Theo nghĩa này, nó khác với logic hai phần, chỉ thừa nhận hai giá trị. Các nghiên cứu cho thấy logic đa năng hoặc đa trị quản 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ể.

Tương tự, loại logic chính thức này cũng chịu trách nhiệm 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 logic hình thức, có thể thêm một giá trị của sự thật hoặc giả dối vào một lý luận cụ thể.

Như chúng tôi đã giải thích trước đây, logic chí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 đối số; nó chỉ tập trung vào việc điều này đúng hay sai. Theo nghĩa đó, đây là một số ví dụ dựa trên logic chính thức:

-Buenos Aires là thủ đô của Argentina; sau đó, tất cả những người sinh ra ở Buenos Aires 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.

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

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

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

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

-Có chân có năm ngó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.

-Spain là một quốc gia. Tây Ban Nha là ở châu Âu. Tất cả người Tây Ban Nha là người châu Âu.

- Ana là một sinh vật sống. Ana là phàm nhân. Tất cả chúng sinh đều là phàm nhân.

- José bị ướt nước. Các nước ướt.

- Mary ăn thức ăn nóng của mình. Maria tự thiêu bằng cách ăn thức ăn nóng của mình. Thực phẩm nóng 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ó đèn điện trên đường phố. Đèn điện chiếu sáng đường phố.