Các nguyên tắc logic tối cao là những tiền đề chi phối quá trình suy nghĩ, tạo cho nó trật tự, ý nghĩa và sự chặt chẽ. Theo logic truyền thống, những nguyên tắc này rất rộng nên chúng được áp dụng cho toán học, vật lý và tất cả các ngành khác của khoa học.
Các nguyên tắc logic tối cao phản ánh các khía cạnh của các đối tượng của thế giới vật chất, đơn giản và hiển nhiên đến mức chúng xuất hiện ở tất cả chúng. Mặc dù có những người nói rằng chúng là sự tùy tiện của phương Tây, nhưng sự thật là chúng là những nguyên tắc chắc chắn như phổ quát.
Một mặt, các nguyên tắc logic tối cao là hiển nhiên, và mặt khác, để phủ nhận chúng, bạn phải dựa vào chúng. Đó là, chúng không thể tránh khỏi.
Điều quan trọng của những nguyên tắc này là cần phải suy luận thấu đáo để tìm ra giải pháp chính xác cho những vấn đề đang được phân tích. Biết các nguyên tắc hoặc quy tắc đảm bảo suy luận chính xác, giúp giải quyết các vấn đề có thể xảy ra theo cách tốt hơn.
Khoa học chuyên nghiên cứu và phản ánh những nguyên tắc này là logic. Kỷ luật này có thể là:
a) Lý thuyết : vì nó cung cấp các phương pháp để phân biệt giữa suy luận đúng và suy luận sai.
b) Thực hành : vì đồng thời cho phép xác định suy luận đúng, nó cũng giúp ta có thể đưa ra phán đoán giá trị đối với suy luận sai.
Các nguyên tắc logic tối cao là gì?
Tuân theo các định đề của logic truyền thống, các nguyên tắc logic tối cao là:
Nguyên tắc nhận dạng
"Tới đó"
Đây là một nguyên tắc ngụ ý rằng một đối tượng là chính nó chứ không phải là cái khác.
Tất cả các đối tượng vật chất đều có một cái gì đó xác định chúng, một cái gì đó cố hữu và bất biến bất chấp những thay đổi mà nó có thể trải qua theo thời gian.
Điều này có nghĩa là thử thách đặt ra là phải phân biệt rõ ràng giữa các đặc điểm riêng biệt của các đối tượng và sử dụng các từ hoặc thuật ngữ chính xác để mô tả những phẩm chất đó.
Điều quan trọng là phải chỉ ra rằng nguyên tắc này đề cập đến các đối tượng hoặc sự vật, vì vậy nó là một nguyên tắc bản thể học.
Cũng cần phải lưu ý rằng ý nghĩa của các từ được sử dụng trong lập luận phải được giữ nguyên.
Điều quan trọng là nó được hoàn thành, như José Ferrater Mora đã chỉ ra, rằng “a thuộc về mọi thứ a”. Nghĩa là, các đặc điểm cụ thể (a) thuộc về cá nhân theo một cách duy nhất (a).
Một cách khác để hình thành nguyên tắc nhận dạng là:
Nếu p, thì p
p, nếu và chỉ nếu p
Nguyên tắc bất mâu thuẫn
Đây là nguyên tắc mà theo đó, không thể có một mệnh đề đúng và sai trong cùng một thời điểm và trong cùng một hoàn cảnh.
Khi một mệnh đề được giả định là đúng hoặc sai, logic yêu cầu rằng các mệnh đề xuất phát từ chúng phải được chấp nhận là đúng hoặc sai, tùy từng trường hợp.
Điều này ngụ ý rằng nếu trong quá trình suy luận, giá trị đúng hoặc sai của mệnh đề thay đổi so với giá trị được giả định lúc đầu, thì đối số đó sẽ bị vô hiệu.
Điều này có nghĩa là, một khi một giá trị chân lý nhất định (đúng hoặc sai) đã được giả định, đối với các mệnh đề đang xem xét, giá trị đó phải giữ nguyên trong suốt quá trình phát triển của chúng.
Một cách để hình thành nguyên tắc này là: "Không thể có A là B và không phải là B, tại cùng một thời điểm."
Có thể xảy ra rằng đối tượng là một cái gì đó bây giờ, và nó không phải là một cái gì đó sau này. Ví dụ, đó có thể là một cuốn sách sau này trở thành thùng rác, lá rụng hoặc tro.
Trong khi nguyên tắc đồng nhất quy định rằng một sự vật là một sự vật, thì nguyên tắc bất mâu thuẫn này chỉ ra rằng một sự vật không phải là hai sự vật cùng một lúc.
Nguyên tắc thứ ba bị loại trừ
Cũng giống như nguyên tắc bất mâu thuẫn đòi hỏi việc đánh dấu một mệnh đề là đúng hay sai, nguyên tắc này ngụ ý chỉ lựa chọn giữa hai phương án: "A bằng B" hoặc "A không bằng B."
Điều này có nghĩa là mọi thứ có hoặc không. Không có lựa chọn thứ ba.
Chẳng hạn như trời mưa hoặc trời không mưa.
Tức là giữa hai mệnh đề trái ngược nhau, chỉ có một mệnh đề đúng và một mệnh đề sai.
Để một lý luận đúng, điều cốt yếu là phải dựa trên sự thật hay sai của một trong những mệnh đề. Nếu không, nó rơi vào mâu thuẫn.
Nguyên tắc này có thể được biểu diễn hoặc vẽ biểu đồ như sau:
Nếu đúng là "S là P" thì "S không phải là P" là sai.
Nguyên tắc lý do đủ
Theo nguyên tắc này, không có gì xảy ra mà không có lý do đủ để nó xảy ra theo cách này và không xảy ra theo cách khác. Nguyên tắc này bổ sung cho nguyên tắc không mâu thuẫn và thiết lập chân lý của mệnh đề.
Trên thực tế, nguyên tắc này là nền tảng của khoa học thực nghiệm, vì nó thiết lập rằng mọi thứ xảy ra đều do một lý do xác định và điều đó có nghĩa là nếu lý do đó được biết thì điều gì sẽ xảy ra trong tương lai cũng có thể được biết trước. .
Từ góc độ này, có những sự kiện dường như ngẫu nhiên chỉ vì nguyên nhân của chúng không được biết đến. Tuy nhiên, thực tế là những nguyên nhân này không rõ không có nghĩa là chúng không tồn tại. Đơn giản là chúng tiết lộ sự hạn chế của trí tuệ con người.
Nguyên tắc lý do đủ ngụ ý tìm ra lời giải thích của các sự kiện. Tìm lý do tại sao của mọi thứ. Đó là hỗ trợ những lời giải thích được đưa ra về các sự kiện khác nhau trong quá khứ, hiện tại hoặc tương lai.
Nguyên tắc này cũng ủng hộ ba nguyên tắc trước vì để một mệnh đề đúng hay sai thì phải có lý do.
Nhà triết học người Đức Wilhem Leibniz tuyên bố rằng "không có gì tồn tại mà không có nguyên nhân hoặc lý do xác định." Trên thực tế, đối với Leibniz, nguyên tắc này và nguyên tắc không mâu thuẫn, chi phối mọi lý luận của con người.
Aristotle là người đã đề xuất hầu hết tất cả các nguyên tắc lôgic tối cao, ngoại trừ nguyên tắc lý trí đủ được Gottfried Wilhelm Leibniz đề xuất trong tác phẩm Theodicea của ông.
Người giới thiệu
- Di Casto Elisabetta (2006). Suy luận logic. Được khôi phục từ: sabefundarieses.unam.mx.
- Heidegger, Martín (s / f). Nguyên tắc nhận dạng. Được khôi phục từ: Magazine.javeriana.edu.co.
- Moreland, J. (2015). Ba định luật logic là gì? Được khôi phục từ: arcapologetics.org.
- Ramírez, Axel (2012). Triết học II: Các nguyên tắc lôgic tối cao. Được phục hồi từ: Philosophiaminervaruizcardona.blogspot.com.
- Stanford Encyclopedia of Philosophy (2000) Logic của Aristotle. Được khôi phục từ: plato.stanford.edu.
- Đại học Tự trị Quốc gia Mexico (2013). Các nguyên tắc logic tối cao. Đã khôi phục từ: objects.unam.mx.