三段论系统的一个关系解释
亚里士多德的三段论在莱布尼茨时代就具有了一个算术意义上的解释, 但该解释中的整除关系实际上可以更进一步抽象成为一个偏序关系.借助于偏序关系就足以表达出四种直言命题, 并可以证明该解释对于卢卡西维茨的三段论句法系统具有可靠性和完全性.
卢卡西维茨、三段论、关系语义、可靠性、完全性
35
B813(逻辑学(论理学))
国家社会科学基金17ZDA025
2018-09-29(万方平台首次上网日期,不代表论文的发表时间)
共3页
55-57
点击收藏,不怕下次找不到~
卢卡西维茨、三段论、关系语义、可靠性、完全性
35
B813(逻辑学(论理学))
国家社会科学基金17ZDA025
2018-09-29(万方平台首次上网日期,不代表论文的发表时间)
共3页
55-57
国家重点研发计划“现代服务业共性关键技术研发及应用示范”重点专项“4.8专业内容知识聚合服务技术研发与创新服务示范”
国家重点研发计划资助 课题编号:2019YFB1406304
National Key R&D Program of China Grant No. 2019YFB1406304
©天津万方数据有限公司 津ICP备20003920号-1
违法和不良信息举报电话:4000115888 举报邮箱:problem@wanfangdata.com.cn