论文部分内容阅读
在对当关系逻辑中,命题A与命题△A之间是一种下反对关系。在弗协调逻辑系统中,我们通过定义一个一元连接词●,可以证明,在对当关系逻辑中算子△所具有的性质,在弗协调逻辑中其否定﹁也都具有这些性质,从而得出,弗协调逻辑中的否定﹁是一种特殊的下反对关系算子。
C_n（1≤n〈ω）及C_ω中的否定
【摘 要】
：
在对当关系逻辑中,命题A与命题△A之间是一种下反对关系。在弗协调逻辑系统中,我们通过定义一个一元连接词●,可以证明,在对当关系逻辑中算子△所具有的性质,在弗协调逻辑中
【机 构】
：
中国社会科学院哲学研究所,北京大学哲学系
【出 处】
：
湖南科技大学学报：社会科学版
【发表日期】
：
2012年3期
【基金项目】
：
国家社会科学基金项目“不协调理论的推理机制研究”(批准号:10BZX054),中国社会科学院青年科研启动基金项目,国家社科基金重大招标项目“自然语言信息处理的逻辑语义学研究”(批准号:10&ZD073)的研究成果
其他文献
休闲在哲学领域具有特殊的地位和意义。亚里士多德把休闲确立为西方哲学的起源之一，把休闲归结为一种蕴含智慧、中庸和愉悦的理性的精神生活。费希特从人的权利出发，把休闲规定
国网唐山供电公司认真贯彻国家电网有限公司、国网冀北电力有限公司"不忘初心、牢记使命"主题教育各项工作部署,深化向心力、创造力、支撑力、驱动力的"四力"建设,将"不忘初
茶花文化是人类社会历史发展过程中所创造的茶花物质财富和精神财富的总和,包括茶花的物种、品种、古树、文学艺术等。在对中国茶花博物馆的定位与功能、场馆内外区域综合环