对动作的认知.doc

对动作的认知 刘壮虎 李小五 (北京大学哲学系，北京 100871；中山大学逻辑与认知研究所，广东 广州 510275) 中国分类号: B81 　　文献标识码: A　　文章编号：1672-7835(2005)06-0033-06 一 动作和认知 形式语言 (，(。 我们也按通常的方式定义代入 (((1/p1,…, (n/pn) 和置换([(/(]。 如通常，我们也有关于公式的结构归纳定义和结构归纳证明。 2.3 结构归纳定义 可以按以下方式对每个公式(定义F(()： (1) 任给命题变项p，定义F(p)； (2) 任给动作(，定义F(E()； (3) 由F(()定义F((()； (4) 由F(()和F(()定义F(((()； (5) 任给动作(，由F(()定义F([(]()； (6) 由F(()定义F(E()。■ 2.4 结构归纳证明 可以用以下方式证明：任给公式(，都有((()。 (1) 任给命题变项p，证明((p)； (2) 任给动作(，证明((E()； (3) 由((()证明(((()； (4) 由((()和((()证明((((()； (5) 任给动作(，由((()证明(([(]()； (6) 由((()证明((E()。■ 三 框架和模型 令X是任一集合，我们用P(X)表示X的幂集，并称 N：X( P(P(X)) 是X上的邻域