(1)摇晃杯子,没有发出声响;
(2)如果食物在杯子里,那么摇晃杯子的时候会发出声响;
(3)因此,食物一定不在杯子里(杯子是空的)。
值得注意的是,除了进行上述推理,黑猩猩还会进行一个额外推理,在这个例子中,它会把自己对声响产生因果关系的理解与食物被放置在两个杯子中的其中一个这条信息联合起来,以在没有摇晃另一只(other)杯子的情况下确定杯子里是否有食物。这样,黑猩猩的这种推论就带有析取三段论中的排除性推理成分。
“否定”是很复杂的认知操作,因此“类人猿逻辑推理时涉及‘否定’过程”这类说法很容易就会受到攻击。伯慕德兹(Bermudez,2003)关于形式否定出现之前的一些逻辑形式先导的论述使得上述说法相对变得更容易被接受,他把原型否定(protonegation)当作包含互斥构念的一个连续体,如“在-不在”“嘈杂-安静”“成功-失败”“可用-不可用”。按照此种说法,如果我们假设类人猿可以理解这些互斥构念(例如,如果某些东西缺失,它们不可能同时在场;发出噪声的同时不可能保持安静),那么否定的发生就成为可能。实际上,我们这里谈及的“否定”都是从伯慕德兹对原型否定的定义这一层次来说的。