提要：作为逻辑工具的语句的条件/词端、词系及词系的用法/主宾词式语句的四种形式/类及其表示方法
“我们谈逻辑谈了这许久，谈了几种推论。在这几种推论之中，我们常常提到语句。可是，我们在这些场合之提到语句，只假定了语句，而对于语句未曾分析。我们在以上之所以如此，是因为在那些推论之中，我们只需以未经解析的语句作推论中的元素就够了。可是，这种办法，对于以后所要说的推论行不通。我们在以后所要谈的推论是以经过解析的语句作骨架的。因此，我们在这里必须对于语句加以解析。以未经解析语句作元素的推论可说是外部推论（outwardinference）。所谓外部推论，所涉及的是语句与语句之间的逻辑关系。在这种情形之下，推论有效与否，和各个语句自身内部的结构毫不相干。而以经过解析的语句作骨架的推论，叫作内部推论（inwardinference）。所谓内部推论，所涉及的，并不是每一语句可能表示的特殊内容（content），而是语句内部的逻辑结构。比如说，什么包含什么、什么是什么的一分子等等。在这种情形之下，推论有效与否，和语句自身内部这类的结构直接相干。”吴先生一面说着一面抽烟。
“我简直不懂。”周文璞很着急的样子。
“这当然需要一番解释。”老教授继续道，“我们在前几次所说的选取推论和条件推论，以及二者之复合，都是外部推论，兹以条件推论为例。在条件推论中，我们曾经用过P、q等等字母。在这种场合，P、q……叫作变量，严格地说，叫作自由变量（freevariables）。代数学里也有变量的，如X、Y等。在条件推论之中，我们以P、q各别代表任何语句。在这种推论之中，只要合于这种推论的规律，以P、q代表语句所行的这种推论总是有效的。在这种场合，我们根本不知道P、q……的内部结构，而且我们根本无须过问它们的内部结构。当着我们根本不知道P、q……的内部结构时，条件推论照样有效。例如说，如果我们知道P涵蕴q，而且又知道q涵蕴r，那么，我们可以不问P、q、r各别地代表什么，更不必问P、q、r这些语句的内部结构如何，我们可以确切无疑地说，P涵蕴r。这样的推论就是外部推论。既然外部推论完全不靠语句的内部结构，这好比从前津浦铁路，火车从浦口开到南京，车内乘客根本不用换车，而是火车乘渡轮到南京似的。载人的火车还是原来的火车，火车内面的人还是原来的人，所不同的，只是火车由浦口过渡到南京而已，内容则毫无改变。”
“那么，内部推论是怎样的呢？”王蕴理问。
