=========================
经典逻辑的总体思考(未完成)
=========================
基本概念
------------------------------------
命题
内容
逻辑形式
形式语言:人工构造的符号语言,代替自然语言,能精确表示命题的逻辑形式。
语义:符号及符号表达式的含义
语法:符号表达式的形式结构
经典逻辑
------------------------------------
研究范围:命题逻辑和一阶逻辑
研究内容:
公式结构(构成方式)
语义(对公式的解释)
逻辑推论(?)
形式推演(语法规则、推演规则)
可靠性和完备性(逻辑推理及形式可推演性 关系 ?)
=================================================
命题逻辑 逻辑推理 形式可推演性
---------------------------------------------------------------------
一阶谓词 一阶逻辑推理 一阶形式可推演性
=================================================
可靠性和完备性
------------------------------------
可靠性
可满足的==〉协调的
所有 形式可推演性成立 的关系 逻辑推理成立
完备性
协调的 ==〉可满足的
所有 逻辑推理成立 的关系 形式可推演性成立
可满足性:语义概念
协调性 :语法概念
完备性:语义成立 则语法成立
协调性:语法成立 则语义成立