Sperber和Wilson的语用推理逻辑.pdf

( ) 　山东外语教学 1997 年第 2 期 总第 67 期 　 Sperber 和 Wilson 的语用推理逻辑 熊 学 亮 ( ) ( 1 逻辑推理的一般性质 p 〕←q , 7 选言三段论 Disjunctive Syllo 推理是一种逻辑过程 ,逻辑形式撇开具 ) ( ) ( ) gism , 〔p ∨q ～p 〕←q , 8 否定后件式 ( ) ( ) ( ) 体的、个别的思维内容 ,从形式结构方面表达 Modus Tollens 〔p →q ～q 〕→～p , 9 假 ( ) ( ) 概念、判断和推理及其正确联系的规律 ,即从 设三段论 Hypothetical Syllogism 〔p ←q ( ) ( ) ( ) 许多具体的、个别的思维形式中抽取出一般 q →r 〕→ p →r , 以及 10 二难推理式 ( ) (p 的逻辑形式和规律、规则。这些逻辑形式和 Constructive Dilemma ,又曰 :两刀论法 〔 ) ( ) ( ) ( ) 规律、规则都是客观现实的反映 ,通过实践 , →q r →s p ∨r 〕→ q ∨s 。箭头左边 在人的意识中固定下来的 ,是一切人所必须 的符号代表前提变项 ,右边的代表结论变项。 ( ) 遵守的东西。逻辑推理是由一个或几个已知 用常项 命题 代替变项 ,就可以从前提的已 ( ) ( ) 判断 前提 推出未知判断 结论 的思维形 知真值 ,推得结论的真值。以二难推理为例 , 式 ,是客观事物的联系通过人们的实践在意 假如变项 p ,q ,r ,s 分别由“老王出国”、“小王 识中的反映。通过逻辑推理得到的知识是间 生病”、“老李在家”、“小李高兴”代替的话 ,假 ( ) ( ) ( 接的、推出的知识。 如这些常项可以代入〔p →q r →s p ( 1 2 n )