演绎逻辑的真值语义和直观推理语义

Truth Value Semantics and Commonsensible Reasoning Semantics of Deductive Logic

真值语义将逻辑联结词都解释为真值联结词,是一种简明的外延形式语义。真值语义面临的主要问题是:逻辑联结词→、的真值解释,与对应的日常联结词"如果,那么"和"当且仅当"产生了距离。直观推理语义关注逻辑联结词→、的推理涵义,借助日常语言来阐释逻辑表达式的具体内容,重视表达式的内涵。使用直观推理语义,检验逻辑表达式的直观有效性,有助于实现逻辑学家的目标和理想:有效的推理形式应普遍适用于各种场合的日常推理。

In truth value semantics,a simple formal semantics of extension,logical connectives are interpreted as of truth value.The main issue is therefore:logical connectives → and  in truth value interpretation are different from corresponding daily connectives,'if,then' and 'if and only if'.Commonsensible reasoning semantics focuses on the reasoning meaning of logical connectives → and .With the help of daily language,it explains specific contents of logical expressions,and emphasizes intensions of expressions.Commonsensible reasoning semantics can be used to verify the validity of logical expressions.Thus it approaches a goal and ideal of logicians:valid forms of inference should be able to be widely used in various situations of daily reasoning.