当有人提到“真相”或声称某些陈述是“真实的”时，他们指的是什么样的真理？ 这看起来似乎是一个奇怪的问题，因为我们很少考虑那里可能存在多种类型的真理的可能性，但确实需要牢记不同类别的真理。
算术真理
最简单和最明显的是算术真理 - 那些准确表达数学关系的陈述。 当我们说7 + 2 = 9时，我们正在对一个算术真理提出主张。 这个真理也可以用普通的语言来表达：两件事上添加的七件事给了我们九件事。
算术真理通常用抽象的方式表达，就像上面的等式一样，但通常有现实的背景，就像普通语言中的陈述一样。 虽然这些可以被视为简单的事实，但它们是我们所拥有的最确定的事实之一 - 我们可以比其他任何事情更加确定这些事实。
几何真理
与算术真理密切相关的是几何真理。 通常以数字形式表达，几何真理是关于空间关系的陈述。 毕竟，几何学是对我们周围的物理空间的研究 - 直接或通过理想化的表征。
与算术真理一样，这些也可以表示为抽象（例如毕达哥拉斯定理）或普通语言（正方形内角的总和为360度）。 而且，与算术真理一样，几何真理也是我们可以拥有的最确定的事实之一。
逻辑真理（分析真理）
有时也称为分析真理，逻辑真理是仅通过定义所使用的术语而成立的陈述。 标签“分析真理”源自我们只能通过分析所使用的单词来判断该陈述是否正确的想法 如果我们理解该陈述，那么我们也必须知道它是真的。 这方面的一个例子是“没有单身汉结婚” 如果我们知道“单身汉”和“已婚”的意思，那么我们就知道该陈述是准确的。
至少，逻辑真理用普通语言表达的情况就是这样。 这些陈述也可以更抽象地表达，就像在这些情况下的符号逻辑，一样，确定陈述是否真实将非常类似于对算术等式的这种确定。 例如：A = B，B = C，因此A = C.
合成真理
更常见和有趣的是合成真理：这些陈述是我们不能简单地通过做一些数学计算或分析词的含义而知道的。 当我们读取合成语句时，谓词被提供为添加主题中尚未包含的新信息。
因此，例如，“男人很高”是一个合成声明，因为“高”的概念不是“男人”的一部分。 声明可能是真或假 如果是真的，那么它就是一个综合真理。 这些真理更有趣，因为它们教给我们一些关于我们周围世界的新东西 - 我们以前不知道的东西。 然而，风险是我们可能错了。
道德真理
道德真理的情况有点不寻常，因为甚至不存在这样的事情。 当然很多人都相信道德真理的存在，但这是道德哲学中一个备受争议的主题。 至少，即使存在道德真理，我们也不清楚如何以任何确定性来认识它们。
与其他真理陈述不同，道德陈述以规范的方式表达。 我们说7 + 2 = 9，而不是7 + 2 应该等于9.我们说“单身汉没有结婚”，而不是“单身汉结婚是不道德的”。 道德声明的另一个特点是，它们倾向于表达世界的方式，而不是世界的方式。 因此，即使道德陈述有资格成为真理，它们确实是非常不寻常的事实。
