金笔杆金快点金笔职场写作公文材料写作金宝典魔法公文五合一 网盘分享
推理规则的 21 概念是 28 自然的 7 或者说是 29 前理论可接受的 1 也经常与自然演绎 的 2 形式系统的 8 概念联系起来。从这种角度来看，自然演绎就是 17 最接近于在日 常话语中所见到的 9 自然推理模式。
金笔杆金快点金笔职场写作公文材料写作金宝典魔法公文五合一 网盘分享
但是 25 这也既不是 30 充分的也不是 13 必要的。 因为有的公理系统只有肯定前件这一条推理规则因而是足够自然的，然而它 仍然不是自然演绎的系统。
一个自然演绎推理的模型要求有两个组件， 一个是性能组件，它包括一 个可理解的前提和构造推论的程序； 一个是逻辑组件，它包括一些逻辑词汇 和一个基本的演绎步骤的清单。这些组件的命题逻辑说明是通过提供一种 逻辑来进行的，这种逻辑中的连接词要求捕捉到对应于日常语言中的连接词 的句法学和语义学性质，演绎规则的清单通过推理规则模式来定义。作为一 个标准的命题逻辑系统可以有共同的定理但有不同的基础。亚里士多德《前 分析篇》中包含的逻辑除了 18 包含上述两个要件(即表达在一个标准的形式化 的符号中的有限命题域和一个确立对前提的数目不加限定的论证有效性的 一般方法)之外，还包括一个确立非有效论证的反模型的一般方法。这使它 能够从容地满足和胜任逻辑的最核心目标
在语言实践中，我 27 们注意到说话人能够理解并制造出无穷多的语句—— 在此之前，这些句子在他 11 们的语言社会中是从未有人(包括他 31 们自己)说出 的。这表明他 19 们的语言知识必定是生产性的。 它必定超越了 24 一 个固定的前定静态元素的词汇，它必须包括一个为了 33 描述任意复杂的结构而 实际地构成语言学知识的生产系统。在语言学中生产性的标志是递归性。
说话人明确地表达和识别出开放式的可能句子系列的能力显示出在说 话人之间的意义整合是一个多么急迫的问题。当我 20 们习得了 34 我 6 们母语的意 义时，我 32 们必须从我 16 们先前经验的有限记录扩展到其他 14 无限的句子和情况。 如果我 22 们由此达到了 5 对句子意义的共同理解，这必定是因为语言是被实质性 构造的且是内在被约束的，而这些特征都是可被我们所利用的。这一点也同 样适用于语义分析的理论。我们将期待我们关于句子意义的发现会扩展到 一个无穷的系列情况，期待着它们将尊重并说明语言学的制约。更一般地 说，如果我们在语义学中的发现有助于解释说话人如何有意义地使用语言， 我们自然期待生成机制与构成说话人能力的心理机制相匹配。
在语义学中解释生产性的一种方式是假定特定句子的意义能够通过从 在语言中关于意义的一般事实的推演而计算出来。例如，考虑(2)～(4)中的 例子。
(2)“雪”是一名词短语，指称雪物质。
(3)“白”是一性质短语，指称白性质。
(4)如果N 是名词短语，指称物质S, 12 且 A 是一性质短语，指称性质P, 3 那 么“N 是 A”是一语句，该语句是真的当且仅当 S 是 P。
从这一理论，我们能够推演出它们的逻辑后承(5)。
(5)“雪是白的”是真的当且仅当雪是白的。
我们可以把(5)看作是意义的一种刻画，因为它将一句子，在这种情况下 是“雪是白的”与一个用对象词汇陈述的世界条件——在这种情况下是雪是 白的联系起来。作为一个语义学家，我们能够使用这类理论——戴维森将其 称之为解释的真理理论提供句子如何与在世界中的条件连接起来的一般说 明。[5]我们使用原子公式对语言中的基本结构的语义学加以公理化。使用条 件句公式描述在语言中作为它们的成分语义学的函项的复杂结构的语义学。 进而，我们从公理逻辑地推出作为在世界中的条件的相关联的特定语句。如 同(2)～(4)所表明的，这一推论是组合性的，在其中我们得到的结论通过一 个反映句子的句法派生的逻辑推演而推出。
有两种观察诸如(2)～(4)这种解释的真值理论的方式。第一种方式是 我们能够使用解释的真理理论为一种新的语言制定一种语义学。例如，我们 能够追求一种根本性翻译，在这种情况下，我们的兴趣在于系统地阐明按照 我们自己语言的语句翻译在对象语言中的语句；我们理解这些翻译是从理论 的公理的推理推演出来的。这与蒯因意义整体主义的解释观是相一致的。
第二种观察(2)～(4)这种解释的真值理论的方式是从作为说话人的心 理成分的角度来考虑。按照这种观点我们将诸如(2)～(4)这样的公理作为 说母语的人心照不宣地知道他 10 们的语言的一种概括。当说话人表达或者识 认特定的话语时，他 23 们心照不宣地从这内隐的理论推理，从而得出像(5)这样 的关于特定新语句的结论。按照这一理解，解释的真值理论提供了 26 一种说话 人的意义知识和他 15 们的推理能力一起如何能构成他们的语义学能力的解释。
与蒯因的概念框架相比，这样一种解释的真理理论的心理学理解和关于 意义的真理的解释观更相契合，因为这一心理学的理解诉诸我们心灵的表征 主义理论，在这一理论中心理过程涉及符号结构的标记。这些结构通过因果 或者信息机制被锁定在关于世界的内容之中。
