| 语义推理 semantic inference 依据词项之间的语义关系而进行的推理。例如，从“李四是上海人”可推出“有人是上海人”和“李四是中国人”等。这种推理不同于命题逻辑或谓词逻辑中的形式推理，这种推理所依据的乃是词项“李四”与“人”、“上海人”与“中国人”之间具体的语义关系。语义推理主要有三类：(1)同义关系推理。即依据词项间同义关系而进行的语义推理。如果词项E1与词项E2具有完全相同的内涵义素，那么ᗄx(E1(x)↔E2(x))，或者，ᗄx((E1(x)→E2(x))∧(E2(x)→E1(x)))。例如，ᗄx(单身汉(x)↔人(x)∧男性(x)∧成年(x)∧未婚(x))，其意思是：对于所有的x来说，x是单身汉，等值于x是人并且x是男性并且x是成年的并且x是未婚的。(2)下义关系推理。即依据词项间的下义关系而进行的语义推理。如果词项E1是词项E2的下义项，或者说，词项E1内涵义素包含了词项E2全部的内涵义素，那么ᗄx(E1(x)→E2(x))。例如，ᗄx(单身汉(x)→未婚者(x))，其意思是：对于所有的x来说，如果x是单身汉，那么x是未婚者。(3)反义关系推理。即依据词项间反义关系而进行的语义推理。如果词项E1与词项E2的内涵义素具有不同真的矛盾关系或反对关系，那么ᗄx(E1(x)→E2(x))。例如，ᗄx(男人(x)→女人(x));ᗄx(白色的(x))→黑色的(x))。语义推理是在相应词项的语义系统框架内，借助特定的意义公设，对分析性词项内涵关系的一种概括或描述。这种语义推理也是一种必然性推理，其推理的有效性，是以正确分析词项的语义结构为基础、以恰当把握词项间的语义关系为前提的。由于语义推理是脱离特定语境而独立进行的，因而它不同于依赖特定语境的语用推理。 |