序言：邏輯教學與研究的合作與發展  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