|
符号逻辑
周北海 毛 翊 常识推理——常识推理的形式刻画
李小五 刘壮虎 命题型的择类语义与主次条件句逻辑
杜国平 经典命题逻辑公理系统定理证明算法设计
张立英 周北海 基于主谓项涵义联系的概称句推理的几个逻辑
刘新文 张清宇 文恩图解的理论
彭展 谓词演算系统的独立性证明
Pei Wang The Generation and Evaluation of Generic Sentences
应用逻辑
吴 平 “NP+在+处所+VP”句式的逻辑语义分析
逻辑史
张忠义 浅析喻在新因明中的作用
张晓芒 韩非“矛盾”思想的历史必然性
逻辑哲学
刘叶涛 克里普克的逻辑悖论研究
张燕京 达米特发展弗雷格意义理论的基本路径
杨武金 弗协调逻辑及其哲学意义
逻辑应用
宋文坚 辩证思维议
黄展骥 “歧义”及其相关“谬误”
学术批评
楚 白 有名无实的“开放世界的语义理论”
|