Khi ai đó đề cập đến một "sự thật" hoặc tuyên bố rằng một số tuyên bố là "đúng", họ đang đề cập đến loại sự thật nào? Điều này ban đầu có vẻ giống như một câu hỏi kỳ lạ bởi vì chúng ta hiếm khi nghĩ về khả năng có thể có nhiều hơn một loại sự thật ngoài kia, nhưng thực sự có nhiều loại sự thật khác nhau cần được ghi nhớ.
Chân lý
Trong số những điều đơn giản và rõ ràng nhất là những sự thật đối xứng những phát biểu đó thể hiện chính xác các mối quan hệ toán học. Khi chúng ta nói rằng 7 + 2 = 9, chúng ta đang đưa ra yêu cầu về một sự thật không đối xứng. Sự thật này cũng có thể được diễn đạt bằng ngôn ngữ thông thường: bảy điều được thêm vào hai điều cho chúng ta chín điều.
Các chân lý số học thường được thể hiện trong bản tóm tắt, như với phương trình trên, nhưng thông thường có một nền tảng của thực tế, như với tuyên bố trong ngôn ngữ thông thường. Mặc dù đây có thể được coi là những sự thật đơn giản, nhưng chúng là một trong những sự thật chắc chắn nhất mà chúng ta có chúng ta có thể chắc chắn hơn những điều này hơn là về bất cứ điều gì khác.
Chân lý hình học
Liên quan rất chặt chẽ với các sự thật số học là các sự thật hình học. Thường được thể hiện dưới dạng số, các sự thật hình học là những tuyên bố về các mối quan hệ không gian . Xét cho cùng, hình học là nghiên cứu về không gian vật lý xung quanh chúng ta trực tiếp hoặc thông qua các biểu diễn lý tưởng hóa.
Như với các sự thật đối xứng, chúng cũng có thể được biểu thị dưới dạng trừu tượng (ví dụ Định lý Pythagore) hoặc bằng ngôn ngữ thông thường (tổng các góc bên trong của hình vuông là 360 độ). Và, như với những sự thật về mặt số học, những sự thật hình học cũng là một trong những sự thật chắc chắn nhất mà chúng ta có thể có.
Chân lý logic (Chân lý phân tích)
Cũng đôi khi được gọi là sự thật phân tích, sự thật logic là những tuyên bố đúng chỉ đơn giản bằng định nghĩa của các thuật ngữ được sử dụng. Nhãn "sự thật phân tích" bắt nguồn từ ý tưởng mà chúng ta có thể nói rằng tuyên bố đó là đúng chỉ bằng cách phân tích các từ được sử dụng nếu chúng ta hiểu tuyên bố, thì chúng ta cũng phải biết rằng đó là sự thật. Một ví dụ về điều này sẽ là "không có cử nhân nào kết hôn" nếu chúng ta biết "cử nhân" và "kết hôn" nghĩa là gì, thì chúng ta biết thực tế rằng tuyên bố này là chính xác.
Ít nhất, đó là trường hợp khi các sự thật logic được thể hiện bằng ngôn ngữ thông thường. Những phát biểu như vậy cũng có thể được thể hiện trừu tượng hơn như với logic biểu tượng trong những trường hợp đó, việc xác định xem một tuyên bố có đúng hay không sẽ rất giống với việc xác định phương trình số học như vậy. Ví dụ: A = B, B = C, do đó A = C.
Chân lý tổng hợp
Phổ biến và thú vị hơn nhiều là những sự thật tổng hợp: đây là những phát biểu mà chúng ta không thể biết là đúng chỉ đơn giản nhờ vào việc thực hiện một số tính toán toán học hoặc phân tích ý nghĩa của các từ. Khi chúng ta đọc một tuyên bố tổng hợp, vị ngữ được cung cấp dưới dạng thêm thông tin mới chưa có trong chủ đề.
Do đó, ví dụ: "đàn ông cao" là một tuyên bố tổng hợp vì khái niệm "cao" chưa phải là một phần của "đàn ông". Có thể tuyên bố là đúng hoặc sai nếu đúng, thì đó là sự thật tổng hợp. Những sự thật như vậy thú vị hơn bởi vì chúng dạy chúng ta điều gì đó mới mẻ về thế giới xung quanh chúng ta - điều mà trước đây chúng ta không biết. Tuy nhiên, rủi ro là chúng ta có thể sai.
Chân lý đạo đức
Trường hợp của sự thật đạo đức là hơi bất thường bởi vì không rõ ràng rằng một điều như vậy thậm chí còn tồn tại. Đó chắc chắn là trường hợp mà nhiều người tin vào sự tồn tại của các sự thật đạo đức, nhưng đó là một chủ đề tranh cãi nóng bỏng trong triết học đạo đức. Ít nhất, ngay cả khi những sự thật đạo đức tồn tại, không rõ ràng bằng cách nào chúng ta có thể biết đến chúng với bất kỳ mức độ chắc chắn nào.
Không giống như các tuyên bố khác về sự thật, các tuyên bố đạo đức được thể hiện một cách chuẩn mực. Chúng tôi nói rằng 7 + 2 = 9, không phải 7 + 2 nên bằng 9. Chúng tôi nói rằng "cử nhân không được kết hôn" chứ không phải "thật vô đạo đức khi độc thân kết hôn". Một đặc điểm khác của các tuyên bố đạo đức là họ có xu hướng thể hiện một cái gì đó về cách thế giới có thể, không phải là cách thế giới hiện tại. Vì vậy, ngay cả khi các tuyên bố đạo đức có thể đủ điều kiện là sự thật, chúng thực sự là những sự thật rất bất thường.
