塞里格曼恰当描述逻辑.pdfVIP

13 6 ( ) Vol． 13 No． 6 第 卷第 期 湖南科技大学学报 社会科学版 2010 11 Journal of Hunan University of Science ＆ Technology (Social Science Edition) Nov ． 2010 年 月 ■ 逻辑今探 ＊ 塞里格曼的恰当描述逻辑 朱建平 ( ， 215123) 苏州大学政治与公共管理学院 江苏苏州 : ， 。 摘 要 塞里格曼的恰当描述情景逻辑的基本原则源自于奥斯汀的真理理论 该理论认为每一陈述都是关于情景的 ， 。 塞里格曼通过在一句子和一情景之间成立的恰当描述关系的描述 从而形式化了奥斯汀的真理理论 系统提供了恰当描 ， ， 。 述的递归定义 考察了一个极强的情景逻辑系统 逻辑的自然演绎系统通过使用局部索引的自然推理事例的方式而引入 : ; ; ; 关键词 真 恰当描述 情景 自然演绎 中图分类号:B81 文献标识码:A 文章编号:1672 － 7835 (2010)06 － 004 1 － 05 。 一 真和恰当描述 评 然而塞里格曼的目的并不是为奥斯汀的理论提供一 ［1］107 － 135 恰当描述的逻辑 所关注的对象是情景语义 种辩护。而是借此考察该理论将给逻辑带来的是一种什 么样的结果。 : 。 ， 塞里格曼的问题是 如果奥斯汀的理论成 学 情景语义学认为 每一个陈述都涉及到某一情景问 ， 。 。 ， “ ” 立 那么逻辑后承的分析会有何种变化 题 例如 为了由说出 米歇尔拌色拉 而做出的一个陈 ， ， 这里所呈现出的主要困难是把陈述而不是句子作为 述 我们必须涉及到一个特定的情景 在该情景中存在一 ， ， 。 ， 个事件 一个如果该陈述是真的 那么米歇尔拌色拉的事 真值的主要负荷者 对逻辑而言 如果一个陈述的真值条 件。 ， 由此可见 情景对确定这类句子的真值是必不可少 ，