一个析取等值式及其相关逻辑问题的学术对话

发布时间：2017-12-16 22:07

  本文关键词：一个析取等值式及其相关逻辑问题的学术对话

  更多相关文章： 动物 有效模式 推理规则 析取 等值式 真语句 肯定前提 逻辑问题 当且仅当 复合命题

【摘要】：在学术研究中,马雷通过电子邮件向张建军、翟玉章和杜国平①三位逻辑学专家请教了一个析取等值式问题,引发了一场讨论。其中涉及的相关逻辑问题非常重要,也十分有趣。在问答之前和问答过程中,问答专家对问答结果的公开发表并无心理准备,所以在问答中都是率性而写,并没有仔细斟酌和修改。只是问答完成到一个阶段后,马雷无意中发现,问答已经形成一个相对完整的问答链,建议整理出来,以"原生态"形式发表,作为逻辑学、问题学和语言学研究的一个基础文本,得到其他参与专家的支持。为保存"原生态",对于第二轮的意见或评论只在注释中注明。从这种原初形式的讨论中,我们可以看到,专家的一次性思维,即不是经过两次以上的反复思维,可能在严谨中出现不严谨,在正确中出现错误。对象、逻辑、问题和语言本身的复杂性或歧义以及人的思维本身的复杂性可能导致不同专家对同一问题的理解出现歧义或解答上的差异。本问答的意义并不在于提出一种惊世骇俗的观点,而是在于表明,通过一种原初问答链,我们有可能透视问题提出机制、观点展示机制、答案纠错机制和知识增生机制,而通过电子邮件形式进行小范围学术讨论的可行性也因此增加一个典型案例。基于此,我们愿意将问答内容分类展示如下,供方家参考。
【作者单位】： 东南大学人文学院;南京大学哲学系;中国社会科学院逻辑研究所;南京师范大学哲学系;
【分类号】：B812
【正文快照】： 一、马雷与张建军的问答马雷(以下简称“马”):我们能不能说“A∨B∨C永真,当且仅当A∨B永真或者A∨C永真”?A、B、C代表单一命题和代表复合命题对于这个论断有区别吗?张建军(以下简称“张”):不知这个问题是针对何具体问题提出的。“A∨B∨C永真,当且仅当A∨B永真或者A∨C永

【参考文献】

中国期刊全文数据库 前1条

1 张建军;;从形式蕴涵看“实质蕴涵怪论”——怪论定理之“反例”化解路径新探[J];学术研究;2012年04期

【共引文献】

中国期刊全文数据库 前1条

1 李新良;袁毓林;;面向计算的汉语动词蕴涵关系研究和型式库建设[J];中国社会科学;2013年12期

中国硕士学位论文全文数据库 前1条

1 田灿;蕴涵理论与逻辑学发展关系研究[D];河北大学;2013年

【二级参考文献】

中国期刊全文数据库 前3条

1 张建军;也谈传统演绎逻辑与经典逻辑演算的关系——兼与杜岫石、林邦瑾等同志商榷[J];河北大学学报(哲学社会科学版);1988年01期

2 柯华庆,梁庆寅;论实质蕴涵、形式蕴涵与逻辑蕴涵[J];学术研究;2002年06期

3 程仲棠;;关于“蕴涵怪论”及其反例[J];学术研究;2011年08期

【相似文献】

中国期刊全文数据库 前10条

1 张凤华;杨群;张庆林;汤永隆;;条件推理中的二元效应初探[J];心理科学;2008年06期

2 欧阳丹彤，刘叙华;关于strong形RUE－NRF归结的反倒[J];计算机学报;1994年05期

3 林尚垣;;谓词逻辑推理与机器证明[J];安庆师范学院学报(自然科学版);2005年04期

4 霍书全;;推理关系形式化产生的问题及哲学思考[J];广东广播电视大学学报;2006年04期

5 麻昌贵;;“在愚人节里”的故事不能说明联言判断原理——与彭涟漪、余式厚先生商榷[J];贵州教育学院学报;2008年08期

6 于西昌;谭桂梅;张兴芳;;连续值命题逻辑系统中公式的条件概率真度[J];计算机工程与应用;2009年28期

7 谭桂梅;于西昌;;G銉del命题逻辑中公式概率真度的相似度及伪距离[J];计算机工程与应用;2010年20期

8 于西昌;谭桂梅;;几种逻辑系统中的概率真度[J];计算机工程与应用;2011年12期

9 于西昌;张兴芳;;连续值命题逻辑中公式的概率真度及相似度[J];计算机工程与应用;2009年24期

10 于西昌;胡凯;张兴芳;;命题逻辑中概率真度的相似度及伪距离[J];系统科学与数学;2009年12期

中国重要会议论文全文数据库 前10条

1 方毅;;牛顿的哲学推理规则之思考[A];第二届中国科技哲学及交叉学科研究生论坛论文集（博士卷）[C];2008年

2 李喜初;;试论《易经》符号系统的推理规则[A];逻辑今探——中国逻辑学会第五次代表大会暨学术讨论会论文集[C];1996年

3 陈旭球;王晓生;;全面管理体系——迎接21世纪挑战的有效模式[A];全国推行全面质量管理20周年大会论文集[C];1999年

4 李小五;;无穷逻辑简史[A];1997年逻辑研究专辑[C];1997年

5 高欣;;基于条件不确定性的不确定推理研究[A];第三届中国智能计算大会论文集[C];2009年

6 姚旭晨;马建强;;几个汉语典型语言现象的范畴语法分析[A];中国计算机语言学研究前沿进展（2007-2009）[C];2009年

7 于法稳;张录德;;“两联一包”:社会扶贫的有效模式——陕西省社会扶贫调查报告[A];社会扶贫中的政府行为调查报告[C];2001年

8 张清宇;;弱条件句逻辑W的自然推理系统[A];1994年逻辑研究专辑[C];1994年

9 赵岚;胡九川;;基于数据表的模糊推理规则生成法[A];模糊集理论与模糊应用专辑——中国系统工程学会模糊数学与模糊系统委员会第十届年会论文选集[C];2000年

10 彭展;;一阶谓词系统的独立性[A];2004年逻辑研究专辑[C];2004年

中国重要报纸全文数据库 前10条

1 陈荣润;积极探索食品监管有效模式[N];中国质量报;2005年

2 江 东 陈雪梅 李建闽;推广食品添加剂监管有效模式[N];中国质量报;2005年

3 肖红;国外经营项目的三种有效模式[N];国际商报;2003年

4 逸群;扶持科技型中小企业的有效模式[N];科技日报;2003年

5 记者　杨国民;我国农资监管体系不断完善[N];经济日报;2006年

6 记者 吴剑;抓好“33111”工程[N];宜春日报;2006年

7 尚 卫;浅析取得时效制度建立的必要性[N];人民法院报;2003年

8 杨峻;浅议规避证券投资风险的有效模式[N];期货日报;2006年

9 记者 宋广玉;“126”,提升市民幸福感的有效模式[N];南京日报;2007年

10 孙朝旺;促进市场的合理运行[N];期货日报;2003年

中国博士学位论文全文数据库 前10条

1 张忠平;基于约束的XML数据库模式规范化研究[D];复旦大学;2004年

2 谈子敬;XML的完整性约束[D];复旦大学;2003年

3 车卡佳;高校高新技术企业的发展模式研究[D];华中科技大学;2004年

4 毛明毅;面向对象的广义空间逻辑运算模型与推理研究[D];西北工业大学;2006年

5 项森;基于逻辑的程序验证方法在高可信软件开发上的应用[D];中国科学技术大学;2006年

6 华保健;一种用于指针程序安全性证明的指针逻辑[D];中国科学技术大学;2008年

7 许琪;多巴胺代谢通路上的SNP型组合与偏执型精神分裂症的系统关联分析[D];中国协和医科大学;2004年

8 李兆鹏;汇编指针程序安全性验证的研究[D];中国科学技术大学;2008年

9 赵华伟;两种安全协议形式化理论的研究[D];山东大学;2006年

10 周平;基于格蕴涵代数的格值逻辑中的近似推理研究[D];西南交通大学;2007年

中国硕士学位论文全文数据库 前10条

1 黄任之;大学生在不确定情景下的析取推理的实验研究[D];西南师范大学;2004年

2 左丽娟;基于多Agent技术的电子商务模拟系统的研究与实现[D];河海大学;2002年

3 张兵;儿童“析取”范畴获得的内隐学习和成分分析研究[D];华东师范大学;2001年

4 孙丽娜;言语交际中的语用推理述评[D];燕山大学;2009年

5 汪彦超;基于OLAP及数据仓库技术的财务分析系统[D];大连理工大学;2002年

6 苏召;XML弱函数依赖与单依赖集合的研究[D];燕山大学;2007年

7 李明洋;基于本体的教育资源知识点推理研究[D];重庆大学;2009年

8 林晖;专利信息检索实验系统的研究与实现[D];北京邮电大学;2009年

9 荣凌燕;XML多值依赖问题的研究[D];燕山大学;2006年

10 陈莉;基于领域本体的智能搜索系统的研究和应用[D];南京航空航天大学;2008年

，

本文编号：1297634