前言
論蘊涵
m-VALUED SUB-SYSTEM OF (m+n)-VALUED
PROPOSITIONAL CALCULUS
邏輯課程的現代化
試述《墨辯》中若干范疇的理論
略述現有形式邏輯存在的主要問題及其
解決途徑
傳統(tǒng)邏輯與數理邏輯
黑格爾怎樣評論形式邏輯的作用與局限性
關于形式化的幾個問題
等度和不等度的結構及在P-T度下集合的
分離性質
二重命題邏輯系統(tǒng)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
附錄歷屆博士生論文摘要