前言 論蘊涵 m-VALUED SUB-SYSTEM OF (m+n)-VALUED PROPOSITIONAL CALCULUS 邏輯課程的現代化 試述《墨辯》中若乾範疇的理論 略述現有形式邏輯存在的主要問題及其 解決途徑 傳統邏輯與數理邏輯 黑格爾怎樣評論形式邏輯的作用與局限性 關於形式化的幾個問題 等度和不等度的結構及在P-T度下集閤的 分離性質 二重命題邏輯係統B4 辯證思維議 主次條件句邏輯 涵義語義與關於概稱句推理的詞項邏輯 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 附錄曆屆博士生論文摘要 · · · · · · (收起)