5、条件语句的初步探讨

条件语句的初步探讨

1. 条件语句的基础认知

知识大多受到先前知识的约束。例如，理解“John dresses a nice jacket”这句话，需要先明白“dress”“jacket”和“nice”在日常语言和该语境中的含义；理解“All prime numbers are odd”，则要先掌握算术语言里“numbers”“prime”和“odd”的意思。

很多陈述都能以“如果……那么……”的形式表达，像“如果（质数的因数只有它本身和 1，且奇数除以 2 余数为 1），那么（所有质数都是奇数）”。这类语句并非简单的断言，而是条件语句，儿童往往需要一些时间才能完全理解假设性的条件语句。同样，大多数问题也属于条件类型，比如“因为今天阴湿，会发洪水吗？” 或者 “如果连接词是 prod 和 W，分配律是否成立？”

对条件语句含义的分析，对于研究符号表示下的推理至关重要。知识总是蕴含着先前知识，即便在定义正整数的皮亚诺公理，或者定义正交格的公理中也是如此。不过，先前知识和后续知识的性质有时会大不相同，在物理学科中，前者可能是经验性的，后者则可能是纯形式化的；在数学学科中，先前知识通常是形式化的。

实际上，新知识至少部分来源于旧知识。尽管在日常推理中，并非总能像算术领域依据皮亚诺公理那样，将新知识归结为少数公理，但算术的“人工”语言不仅能转化为日常语言，而且本质上也是基于日常语言思考的，日常语言是我们开展几乎所有活动的工具。

2. 约束谓词 Q/P 的定义与性质

设 (X, <P, mP) 和 (Y, <Q, mQ) 分别是 P 在 X 中和 Q 在 Y 中的含义，假设关系 (R(P, Q) \subseteq