前言 論蘊(yùn)涵 m-VALUED SUB-SYSTEM OF (m+n)-VALUED PROPOSITIONAL CALCULUS 邏輯課程的現(xiàn)代化 試述《墨辯》中若干范疇的理論 略述現(xiàn)有形式邏輯存在的主要問(wèn)題及其 解決途徑 傳統(tǒng)邏輯與數(shù)理邏輯 黑格爾怎樣評(píng)論形式邏輯的作用與局限性 關(guān)于形式化的幾個(gè)問(wèn)題 等度和不等度的結(jié)構(gòu)及在P-T度下集合的 分離性質(zhì) 二重命題邏輯系統(tǒng)B4 辯證思維議 主次條件句邏輯 涵義語(yǔ)義與關(guān)于概稱句推理的詞項(xiàng)邏輯 HOW G8del Relates Platonism to Mathematics The Applicability of Mathematics as a Scientific and a Logical Problem Proper Names,Contingency A Priori and Necessity A Posteriori 0n Axiomatizatio of Public Announeement Logic 附錄歷屆博士生論文摘要