第七讲　语句和类

“我们谈逻辑谈了这许久，谈了几种推论。在这几种推论之中，我们常常提到语句。可是，我们在这些场合中提到语句，只假定了语句，而对于语句未曾分析。我们在以上之所以如此，是因为在那些推论之中，我们只须以未经解析的语句作推论中的元素就够了。可是，这种办法，对于以后所要说的推论行不通，我们在以后所要谈的推论是以经过解析的语句做骨架的。因此，我们在这里必须对语句加以解析，以未经解析语句作元素的推论可说是外部推论（outward inference）。所谓外部推论，所涉及的是语句与语句之间的逻辑关系。在这种情形之下，推论有效与否，和各个语句自身内部的结构毫不相干。而以经过解析的语句做骨架的推论，叫作内部推论（inward inference）。所谓内部推论，所涉及的，并不是每一语句可能表示的特殊内容（content），而是语句内部的逻辑结构。比如说，什么包含什么，什么是什么的一分子，等等。在这种情形之下，推论有效与否，和语句自身内部的这类结构直接相干。”吴先生一面说着一面抽烟。 “我简直不懂。”周文璞很着急的样子。 “这当然需要一番解释。”老教授继续道，“我们在前几次所说的选取推论和条件推论以及二者之复合，都是外部推论。兹以条件推论为例。在条件推论中，我们曾经用过p、q等字母。在这种场合，p、q……叫作变量，严格地说，叫作自由变量（free variables）。代数学里也有变量，如X、Y等。在条…