论文部分内容阅读
近几十年来,人们尝试不以形式语言为中介、而是重新直接用自然语言来研究人类推理的基本模式,这些尝试被称做“自然逻辑(natural logic)”。其中最具影响力工作之一是20世纪80年代范·本特姆(Van Benthem)以及他所在的荷兰形式语义团体关于自然逻辑方案的系列成熟的结果。目前,在逻辑学、哲学、语言学、计算机科学以及认知科学等领域,人们从不同的关注点出发,