序言：逻辑教学与研究的合作与发展  iii
第一届「两岸逻辑教学学术会议」述要 张建军  ix
第二届「两岸逻辑教学学术会议」述要 刘叶涛、夏素敏  xxi
第三届「两岸逻辑教学学术会议」述要 王建芳  xxxix

1. 论沈有鼎悖论在数理逻辑史上的地位
张家龙  1
2. A Study of the Definition of‘Logical Paradox
张建军  19
3. 关于「可能世界」
冯棉  45
4. 趋向意义的逻辑—— 皮亚杰运算逻辑的修正与扩展
张小燕  61
5. 现在的知识与未来的知识之间关系的逻辑刻画
潘天群  77
6. 当代论证理论中的「论辩术」
谢耘  91
7. 交互时态逻辑中的因果关系
刘虎  113
8. Indicative Conditionals and Subjunctive Conditionals
苏庆辉  125
9. 哥德尔的概念实在论及其辩护策略
刘晓力  165
10. 算法、证明与数学的合理性
周柏乔  183
11. 对信念变迁理论回复律的辩护
傅皓政  199
12. 矛盾系统的推理机制
杜国平、周艳、钱波  227
13. 模煳逻辑应用探魅
傅殿英  263
14. 模态、可能世界与上帝存在
张力锋  279
15. Godel定理、Skolem诡论与意识问题
洪裕宏  295
16. 关于张东荪的「逻辑与文化」
崔清田  327
17. 不同的教学对象与不同的逻辑学教学重点
张晓芒  337
18. 序列演算法—— 命题逻辑教学的最佳形式系统初探
高基存  349
19. Quasi-Set Theory: Can There Be a Set Theory of Non-Individuals?
Thomas Benda  369
20. An Inverted-Essentialist Construal of Objects as Trope Bundles
彭孟尧  393
21. 蒯因论逻辑真理的哲学性质
何向东、王磊  409
22. 基于涵义语义的范畴空间—— 兼谈范畴空间的认知语义学意义
周北海  427
23. 公理化与融贯
林正弘  447
24. 从条件句的语用强化谈论证的诠释
王启义  459
25. 精致真理符应论
贾国□  475
26. Some Clarifications on the Equivalence Relation and Semantic Ascent
侯维之  487
27. Tarski的形式语意学与反实在论的崛起
杨金穆  525
28. 辩论术、归谬法与逻辑学—— 论墨家的归谬推理
孙中原  545
29. 论「同」与「推」—— 先秦逻辑基本概念探析
李贤中  565
30. 温公颐的墨辩逻辑研究及其反思
曾昭式  583