正确性和真理性

---

逻辑学和认识论的两个范畴。

正确性(逻辑上的正确性)是对逻辑演算(推理、证明、定义、分类等等)所作的一种性质评定。这种性质评定并不取决于认识行为的具体内容，虽然逻辑演算要应用到认识行为中去；这种性质评定更不取决于命题和概念，即这些演算之对象的具体内容。

某种逻辑演算正确性的条件(通常按某种规则表述出来)决定于演算的逻辑任务和规律。真理性是对认识结果(命题、理论)的内容所作的一种性质评定，表示认识结果符合于所认识的客观现实(参见真理)。

但是，正确性也说明思维同现实之间的关系，因为逻辑演算的形式以及基于逻辑演算的逻辑规律，都是客观世界最一般的特点和关系的一种反映。这一情况决定著认识过程中正确性和真理性的联系。

正确性是达到逻辑演算目的的必要条件，而归根到底，正确性是认识结果的真理性的必要条件。唯心主义派别的逻辑学家和哲学家(康德派哲学家、逻辑实证主义的代表等)否认逻辑形式和逻辑规律的客观来源，对正确性作了错误的解释，认为正确性的基础在思维本身之中，即在理智的本质之中或在人们对于使用某种语言形式所达成的协议之中(参见约定论)。