切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
一个命题逻辑的排斥演算系统
一个命题逻辑的排斥演算系统
来源 :安徽大学学报:哲学社会科学版 | 被引量 : 0次 | 上传用户:khalista7
【摘 要】
:
在日常推理中,一般的非有效式比逻辑矛盾具有更大的隐蔽性,通过对卢卡西维茨的工作进行改造,可以建立一个排斥所有非有效式的演算系统,并对其可靠性和完全性给出严格的证明。
【作 者】
:
杜国平
【机 构】
:
中国社会科学院哲学研究所
【出 处】
:
安徽大学学报:哲学社会科学版
【发表日期】
:
2015年1期
【关键词】
:
非有效式
排斥演算
等谬
【基金项目】
:
国家社科基金重大招标项目(14ZDBO14)
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
在日常推理中,一般的非有效式比逻辑矛盾具有更大的隐蔽性,通过对卢卡西维茨的工作进行改造,可以建立一个排斥所有非有效式的演算系统,并对其可靠性和完全性给出严格的证明。在此基础上,证明了排斥系统和证明系统的不同性质,这有利于人们进一步认识谬误的本质。
其他文献
聚丙烯酰胺技术重大突破
期刊
聚丙烯酰胺技术
微生物法
工业化聚合技术
市场潜力
生产能力
采油工程
无机合成与制备化学国家重点实验室揭牌
期刊
无机合成与制备化学国家重点实验室
材料科学
高技术产业
学科建设
复合洗衣皂行业标准实施
期刊
复合洗衣皂
行业标准
总有效物
抗硬水度
评价指标
质量管理
PVC合金生产技术
期刊
聚氯乙烯
PVC合金
生产技术
北京化工大学
研制
耐热性
耐磨性
耐化学性能
PEN的应用状况
<正> 聚萘二甲酸乙二醇酯(PEN)是聚酯家族中重要成员之一,由2,6-萘二甲酸(NDC)或2,6-萘二酸二甲酯(DMN)与乙二醇(EG)缩聚而成,是1种性能优良的聚合物。作为一种热塑性树脂,PU
期刊
PEN
应用
聚萘二甲酸乙二醇酯
加工度
共聚聚丙烯EPS30R产品
期刊
共聚聚丙烯
EPS30R产品
吉化研究试验厂
乙撑双硬脂酰胺
成语结构和汉民族社会文化背景
众所周知,汉语成语大多由四个字组成,“四字格”结构在成语中占绝对优势。我调查过古今兼收的《汉语成语大词典》,其四字格成语占88.8%。重在收录今人常用成语的《汉语成语小词典》,其四字格成语占94.1%,从古今成语运用来看,四字格成语似有增长的趋势。为什么会形成这种结果?本文试图从民族的社会文化背景包括民族文化心理来谈谈这个问题。 上古时,汉族的先民们生息在黄河流域和长江流域。外界的自然环境、气候
期刊
《汉语成语大词典》
社会文化背景
汉民族
结构
四字格成语
民族文化心理
绝对优势
成语运用
中国农业大学资环学院教授曹一平:要为缓控释肥二代产品的产业化提速
缓控释肥在我国的研究历史已经有20多年,近些年一些缓控释肥技术也在逐步成熟,走向产业化发展阶段。那么,在当前的缓控释肥继续加强科研阶段需要注意哪些问题呢?为此,我们采
期刊
欧洲氯碱工业寻求可持续发展
<正> 氯行业受环境保护论者的压力正越来越大。绿色和平以及地球的朋友等组织关注氯及其下游产品已经好多年了,他们主要关注的几个方面包括汞法生产氯相关的污染、大量氯化产
期刊
欧洲
氯碱工业
可持续发展
环境保护
基于功能需求的网络服务器模块化设计
针对网络服务器在系统需求变化快、数据类型和数据交互复杂情况下存在系统设计繁琐的问题,提出了一种基于功能需求的网络服务器模块化设计方法。该方法从网络服务器系统的功
期刊
功能需求
网络服务器
模块化设计
数据交互
functional requirement
network servers
modular design
d
与本文相关的学术论文