A Formal Approach to Meaning: Formal Semantics and Its Recent Developments

语言意义问题一直是哲学家、逻辑学家和语言学家所关心的问题。近几十年来，语义学研究，特别是形式语义学（ｆｏｒｍａｌｓｅｍａｎｔｉｃｓ）取得了前所未有的进展。在国际语言学界，“形式语义学”几乎成了“理论语义学”的代名词（ＪｏｈｎＬｙｏｎｓ语）。为了向读者介绍形式语义学的基本概念、历史渊源、研究现状、存在问题和发展趋势，本刊特邀请美国密西根州立大学语言学系副主任ＢａｒｂａｒａＡｂｂｏｔ教授撰写了此稿，旨在引起国内语言学界对形式语义学的兴趣，推动这方面的研究。

Conditionals in English and FOPL

该文主要论述了实质条件句和直述条件句的区别,并试图解决在逻辑分析此类句子时所面临的问题。用分析实质条件句的逻辑方法分析自然语言的直述条件句,其存在的问题主要表现在两个方面:1)实质条件句的推理模式明显不适合直述条件句(例如逆否推理和否定前件推理),2)将条件句的否定简单等同于前件与后件否定的合并,这往往不能成立。如果考虑到直述条件句的其它方面,或许能够较成功地解决目前存在的问题。首先,将“条件性”当作 if 的规约含义;其次,if 从句是从属于后件的根修饰语,然而不像多数副词性修饰成分,它们不传达新信息。条件句的不对称性,导致逆否推理在多数情况下难以成立或不可能成立。假前件不足以让条件性含义保留下来,因此否定前件推理似乎不能成立。