【東西方矛盾觀的形式演算】第二卷正反數理邏輯概論 - 羅翊重雲南科技.pdf
DONGXIFANG MAODUNGUAN DE XINGSHI YANSUI 东西方矛盾观的形式演算 罗翊重／著 第二卷
本书对辩证逻辑的形式化及其与现代形式逻辑的正反对称互 补关系,作了难度极大但方法新颖的开创性研究。作者采用“相 并用《易经》同层次卦象数系统将其量化,纯形式地导出逻辑词 项(助范畴词项即形式词项)的对偶性和描述词项(主范畴词项 即内容词项)的对偶性。由此,讨论了正反数理逻辑的种种逻辑 哲学和哲学逻辑问题。在此基础上,详细地分析了传统性质命题 的非反推理演算法则并将其推厂到正统数理逻辑中,初步解决了 关系命题以及实然命题逻辑和模态命题逻辑的非反推理演算法则 问题。据此,引出了完备形态的正反数理逻辑公式的对偶多盾规“非彼即此”规律.
Abstract Thisisapioneeringstudywithgreatnoveltyand difficultyaboutthepositiveandnegative,symmetric andreciprocalrelation betweentheformalization of thedialecticallogicandtheformallogic.Theauthor employsthedualaxiomaticmodeeuerythingsimilar must beequivalent”andallthatisoppositemust be equivalent”i