关系语义学:模态逻辑系统的一种解释理论

对关系语义学的基本概念可能世界、可通关系、赋值函数、个体域作了简要分析，并运用模型〈Ｗ，Ｒ，Ｖ，Ｄ〉对必然命题、可能命题作出明确的语义定义，在此基础上又根据可通关系Ｒ的不同性质对模态逻辑系统Ｓ５、ＱＳ５等的有效性作了必要的证明通过这些分析和证明，较具体地阐述了关系语义学的基本内容和操作方法图３，参４     

弗雷格的真值函项理论

本文就G·弗雷格为构建一阶逻辑语言，把数学概念“函项”、“主目”、“值”等，通过类比和普遍化方法而用以分析命题的逻辑结构，并用以重建谓词公式的真值函项理论作一简要阐述和分析。     

论推理的有效性

推理或推理形式的有效性是逻辑学的核心概念.由于现代逻辑的形式系统化,推理形式的不同类型构成了不同的逻辑系统,有效性概念相对于不同的系统而言,具有相对性和层次性.同时,系统内的有效性又分为语形有效性与语义有效性,它们分别可由形式证明的方法和语义解释的方法加以判定.