逻辑图:从古典到形式化的发展

来源 :湖南科技大学学报:社会科学版 | 被引量 : 0次 | 上传用户:liulangdetianya
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
古典的逻辑图主要包括欧拉图和文恩图(一般也把经过皮尔士改造过的文恩图“皮尔士-文恩图”包括在内)。由于可靠(且完全)的逻辑推演规则的提出,在逻辑图从古典形式走向形式化的发展历程中,具有转折性的是皮尔士-文恩图以及皮尔士的存在图系统,现代形式的图式逻辑就是在这两者的基础上建立起来的。
其他文献
探讨蕴含江南地域特色的传统建筑材料在江南地区民宿室内设计中的运用,以期为民宿设计的未来发展提供理论性的支持。通过文献资料法和案例分析法相结合的研究方法,分析地域材
毛泽东的诗歌改革发展观,是其科学的诗学理论和美学思想的重要组成部分。内容丰富系统,包括诗歌改革发展的必要性、价值取向、具体道路、形式标准和总体格局等。学习弘扬这些宝
电厂计算机系统(KIT)是秦二厂3、4#机组的数据采集系统,该系统通过对就地仪表运行参数的采集并将采集到的实时数据提供给主控人员,主控人员依据就地的实时数据对机组进行判断
分析并研究李小龙及其功夫形象,构建具有佛山特色的李小龙名人旅游故事和话题,不断发展李小龙功夫形象演绎新机制,形成功夫文化转译设计的理论的深度和广度。通过融合叙事学
早期家居生产线规划还处于粗旷式发展阶段,几乎未考虑到产能匹配。随着家居生产线规划设计研究不断深入,产能匹配也成为了许多学者和技术人员研究的重点,但多局限于工序间的
韶山城镇化起步较早,但发展不快。目前,实现跨越式发展的主、客观条件充足,正逢其时。从韶山的具体情况出发,城镇化应有生态性、乡村性、肃穆性之特色。乡村城镇化的构想是为田园
在经济全球化、知识化背景下,国家竞争和区域竞争日益加剧,竞争的实质是综合国力的较量。而高新技术产业是知识经济时代的支柱产业,已成为衡量一国综合国力的重要指标。因此,加速
蔡元培由封建翰林转变为民主革命家,不是偶然的。其缘由包含着复杂的社会历史背景与思想动因。后者如传统经世致用思想、反封建专制主义的民主思想和西方达尔文进化论和社会达