则表示句子"n秒之后杰克是个孩子".假设k是个非常大的数字,至少有630,720,000那么大.我们知道,a
n
是正确的.(在零秒之后,杰克仍然是5岁.)对于每个数字n,我们进行以下条件推理:a
n
→a
n
+
1
.(如果杰克在任何时间是一个孩子,那么他在一秒钟之后仍然是孩子.)我们可以采用"假言推理"的推理顺序把所有这些前提联结起来:
最后得到了a
k
,我们知道a
k
不为真.什么地方出现了错误,而且似乎也没有多少回旋的余地.
那么,我们又有什么好说的呢?下面是一个解决方案,它有时被称作
模糊逻辑
.作为孩子的属性似乎逐渐地淡出,而作为(从生理上讲)成人的属性则似乎渐渐显现.人们很自然地会认为"杰克是个孩子