塞里格曼的恰当描述逻辑

摘要

塞里格曼的恰当描述情景逻辑的基本原则源自于奥斯汀的真理理论,该理论认为每一陈述都是关于情景的。塞里格曼通过在一句子和一情景之间成立的恰当描述关系的描述,从而形式化了奥斯汀的真理理论。系统提供了恰当描述的递归定义,考察了一个极强的情景逻辑系统,逻辑的自然演绎系统通过使用局部索引的自然推理事例的方式而引入。